cprover
|
#include <locals.h>
Public Types | |
typedef goto_functionst::goto_functiont | goto_functiont |
typedef std::map< irep_idt, symbol_exprt > | locals_mapt |
Public Member Functions | |
localst (const goto_functiont &goto_function) | |
void | output (std::ostream &out) const |
bool | is_local (const irep_idt &identifier) const |
Public Attributes | |
locals_mapt | locals_map |
Protected Member Functions | |
void | build (const goto_functiont &goto_function) |
typedef goto_functionst::goto_functiont localst::goto_functiont |
typedef std::map<irep_idt, symbol_exprt> localst::locals_mapt |
|
inlineexplicit |
|
protected |
Definition at line 18 of file locals.cpp.
References forall_goto_program_instructions, code_declt::get_identifier(), locals_map, code_declt::symbol(), to_code_decl(), and to_symbol_expr().
Referenced by localst().
|
inline |
Definition at line 34 of file locals.h.
References locals_map.
Referenced by local_may_aliast::assign_lhs(), local_may_aliast::build(), and local_bitvector_analysist::get_rec().
void localst::output | ( | std::ostream & | out | ) | const |
locals_mapt localst::locals_map |
Definition at line 40 of file locals.h.
Referenced by build(), local_may_aliast::build(), local_bitvector_analysist::build(), is_local(), local_bitvector_analysist::is_tracked(), and output().