30 "symbol " +
id2string(identifier) +
" must be a type");
48 for(java_method_typet::parameterst::iterator it = parameters.begin();
49 it != parameters.end();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const irep_idt & id() const
void typecheck_type_symbol(symbolt &)
void typecheck_type(typet &)
virtual void typecheck_expr(exprt &expr)
symbol_table_baset & symbol_table
std::vector< parametert > parameterst
const symbolt * lookup(const irep_idt &name) const
Find a symbol in the symbol table for read-only access.
typet type
Type of symbol.
irep_idt name
The unique identifier.
irep_idt mode
Language mode.
The type of an expression, extends irept.
const std::string & id2string(const irep_idt &d)
JAVA Bytecode Language Type Checking.
const java_method_typet & to_java_method_type(const typet &type)
const pointer_typet & to_pointer_type(const typet &type)
Cast a typet to a pointer_typet.
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
const struct_tag_typet & to_struct_tag_type(const typet &type)
Cast a typet to a struct_tag_typet.
const array_typet & to_array_type(const typet &type)
Cast a typet to an array_typet.