35 if(method_symbol.
name==ID_main)
39 if(body.
id()==
"cpp_not_typechecked")
43 std::cout <<
"convert_method_body: " << method_symbol.
name << std::endl;
44 std::cout <<
" is_not_nil: " << body.
is_not_nil() << std::endl;
45 std::cout <<
" !is_zero: " << (!body.
is_zero()) << std::endl;
57 std::cout <<
"add_method_body: " << _method_symbol->
name << std::endl;
65 std::cout <<
" already exists" << std::endl;
irep_idt name
The unique identifier.
void convert_function(symbolt &symbol)
template_mapt template_map
instantiation_stackt instantiation_stack
void typecheck_method_bodies()
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...
std::set< irep_idt > methods_seen
void swap(template_mapt &template_map)
instantiation_stackt instantiation_stack
void add_method_body(symbolt *_method_symbol)
const irep_idt & id() const
std::list< instantiationt > instantiation_stackt
C++ Language Type Checking.
method_bodiest method_bodies
Base class for all expressions.
void add_argc_argv(const symbolt &main_symbol)