cprover
|
Public Member Functions | |
remove_static_init_loopst (const symbol_tablet &_symbol_table) | |
void | unwind_enum_static (const goto_functionst &goto_functions, optionst &options) |
unwind static initialization loops of Java enums as far as the enum has elements, thus flattening them completely More... | |
Protected Attributes | |
const symbol_tablet & | symbol_table |
Definition at line 20 of file remove_static_init_loops.cpp.
|
inlineexplicit |
Definition at line 23 of file remove_static_init_loops.cpp.
References unwind_enum_static().
void remove_static_init_loopst::unwind_enum_static | ( | const goto_functionst & | goto_functions, |
optionst & | options | ||
) |
unwind static initialization loops of Java enums as far as the enum has elements, thus flattening them completely
Definition at line 39 of file remove_static_init_loops.cpp.
References forall_goto_functions, optionst::get_option(), irept::get_size_t(), has_suffix(), id2string(), symbol_tablet::lookup(), symbolt::mode, safe_string2unsigned(), optionst::set_option(), symbol_table, to_class_type(), and symbolt::type.
Referenced by remove_static_init_loops(), and remove_static_init_loopst().
|
protected |
Definition at line 32 of file remove_static_init_loops.cpp.
Referenced by unwind_enum_static().