A | |
ae_dat_lst [Availexpslv.aeVisitorClass] | |
C | |
cur_ae_dat [Availexpslv.aeVisitorClass] | |
cur_func [Rmciltmps.unusedRemoverClass] | |
cur_rd_dat [Reachingdefs.rdVisitorClass] | |
F | |
force_brace [Printer_api.extensible_printer_type] |
If set to
true (default is false , some additional braces are
printed.
|
I | |
is_ghost [Printer_api.extensible_printer_type] |
are we printing ghost code?
|
L | |
logic_printer_enabled [Printer_api.extensible_printer_type] |
Local logical annotation (function specifications and code annotations
are printed only if
logic_printer_enabled is set to true .
|
R | |
rd_dat_lst [Reachingdefs.rdVisitorClass] | |
U | |
unused_set [Rmciltmps.unusedRemoverClass] | |
V | |
verbose [Printer_api.extensible_printer_type] |
more info is displayed when on verbose mode.
|