cprover
|
#include <goto_convert_class.h>
Public Member Functions | |
throw_targett (const targetst &targets) | |
void | restore (targetst &targets) |
Public Attributes | |
goto_programt::targett | throw_target |
bool | throw_set |
std::size_t | throw_stack_size |
Definition at line 503 of file goto_convert_class.h.
|
inlineexplicit |
Definition at line 507 of file goto_convert_class.h.
References goto_convertt::targetst::destructor_stack, goto_convertt::targets, goto_convertt::targetst::throw_set, throw_set, throw_stack_size, goto_convertt::targetst::throw_target, and throw_target.
|
inline |
Definition at line 514 of file goto_convert_class.h.
References goto_convertt::targets, goto_convertt::targetst::throw_set, throw_set, goto_convertt::targetst::throw_target, and throw_target.
bool goto_convertt::throw_targett::throw_set |
Definition at line 521 of file goto_convert_class.h.
Referenced by restore(), and throw_targett().
std::size_t goto_convertt::throw_targett::throw_stack_size |
Definition at line 522 of file goto_convert_class.h.
Referenced by throw_targett().
goto_programt::targett goto_convertt::throw_targett::throw_target |
Definition at line 520 of file goto_convert_class.h.
Referenced by restore(), and throw_targett().