cprover
|
Allows to: More...
Public Member Functions | |
flag_overridet (const source_locationt &source_location) | |
void | set_flag (bool &flag, bool new_value, const irep_idt &flag_name) |
Store the current value of flag and then set its value to new_value . | |
void | disable_flag (bool &flag, const irep_idt &flag_name) |
Sets the given flag to false, overriding any previous value. | |
~flag_overridet () | |
Restore the values of all flags that have been modified via set_flag. |
Private Attributes | |
const source_locationt & | source_location |
std::map< bool *, bool > | flags_to_reset |
std::set< bool * > | disabled_flags |
Allows to:
A flag's initial value (before any set_flag or disable_flag) is restored when the entire object goes out of scope.
Definition at line 352 of file goto_check_c.cpp.
|
inlineexplicit |
Definition at line 355 of file goto_check_c.cpp.
|
inline |
Restore the values of all flags that have been modified via set_flag.
Definition at line 409 of file goto_check_c.cpp.
|
inline |
Sets the given flag to false, overriding any previous value.
Definition at line 387 of file goto_check_c.cpp.
|
inline |
Store the current value of flag
and then set its value to new_value
.
Definition at line 365 of file goto_check_c.cpp.
|
private |
Definition at line 418 of file goto_check_c.cpp.
|
private |
Definition at line 417 of file goto_check_c.cpp.
|
private |
Definition at line 416 of file goto_check_c.cpp.