cprover
|
#include <locals.h>
Public Types | |
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 std::map<irep_idt, symbol_exprt> localst::locals_mapt |
|
inlineexplicit |
|
protected |
Definition at line 18 of file locals.cpp.
References goto_functiont::body, forall_goto_program_instructions, code_declt::get_identifier(), locals_map, code_typet::parameters(), code_declt::symbol(), to_code_decl(), to_symbol_expr(), and goto_functiont::type.
Referenced by localst().
|
inline |
Definition at line 32 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 38 of file locals.h.
Referenced by build(), local_may_aliast::build(), local_bitvector_analysist::build(), is_local(), local_bitvector_analysist::is_tracked(), and output().