22 symbolt &method_symbol=*b.method_symbol;
26 if(method_symbol.
name==ID_main)
30 if(body.
id()==
"cpp_not_typechecked")
irep_idt name
The unique identifier.
void convert_function(symbolt &symbol)
instantiation_stackt instantiation_stack
exprt value
Initial value of symbol.
template_mapt template_map
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void swap(template_mapt &template_map)
const irep_idt & id() const
std::list< instantiationt > instantiation_stackt
C++ Language Type Checking.
void typecheck_method_bodies(method_bodiest &)
Base class for all expressions.
void add_argc_argv(const symbolt &main_symbol)
std::list< method_bodyt > method_bodiest