41 components.insert(components.begin(), component);
47 component.
set_name(
"@class_identifier");
52 components.insert(components.begin(), component);
The type of an expression.
void java_root_class(symbolt &class_symbol)
typet java_boolean_type()
void set_name(const irep_idt &name)
std::vector< componentt > componentst
const componentst & components() const
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
A constant literal expression.
const struct_typet & to_struct_type(const typet &type)
Cast a generic typet to a struct_typet.
void java_root_class_init(struct_exprt &jlo, const struct_typet &root_type, const bool lock, const irep_idt &class_identifier)
Adds members for an object of the root class (usually java.lang.Object).
typet type
Type of symbol.
std::size_t component_number(const irep_idt &component_name) const
void set_pretty_name(const irep_idt &name)
struct constructor from list of elements