cprover
|
#include <goto_convert_class.h>
Public Member Functions | |
break_switch_targetst (const targetst &targets) | |
void | restore (targetst &targets) |
Public Attributes | |
goto_programt::targett | break_target |
goto_programt::targett | default_target |
bool | break_set |
bool | default_set |
std::size_t | break_stack_size |
casest | cases |
cases_mapt | cases_map |
Definition at line 390 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 394 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, break_set, break_stack_size, goto_convertt::targetst::break_target, break_target, goto_convertt::targetst::cases, cases, goto_convertt::targetst::cases_map, cases_map, goto_convertt::targetst::default_set, default_set, goto_convertt::targetst::default_target, default_target, goto_convertt::targetst::destructor_stack, and goto_convertt::targets.
|
inline |
Definition at line 405 of file goto_convert_class.h.
References goto_convertt::targetst::break_set, break_set, goto_convertt::targetst::break_target, break_target, goto_convertt::targetst::cases, cases, goto_convertt::targetst::cases_map, cases_map, goto_convertt::targetst::default_set, default_set, goto_convertt::targetst::default_target, default_target, and goto_convertt::targets.
Referenced by goto_convertt::convert_switch().
bool goto_convertt::break_switch_targetst::break_set |
Definition at line 417 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().
std::size_t goto_convertt::break_switch_targetst::break_stack_size |
Definition at line 418 of file goto_convert_class.h.
Referenced by break_switch_targetst().
goto_programt::targett goto_convertt::break_switch_targetst::break_target |
Definition at line 415 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().
casest goto_convertt::break_switch_targetst::cases |
Definition at line 420 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().
cases_mapt goto_convertt::break_switch_targetst::cases_map |
Definition at line 421 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().
bool goto_convertt::break_switch_targetst::default_set |
Definition at line 417 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().
goto_programt::targett goto_convertt::break_switch_targetst::default_target |
Definition at line 416 of file goto_convert_class.h.
Referenced by break_switch_targetst(), and restore().