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.
|