30 component.set_pretty_name(
"@class_identifier");
34 components.insert(components.begin(),
component);
61 const std::size_t count_nb =
The type of an expression, extends irept.
void java_root_class(symbolt &class_symbol)
Create components to an object of the root class (usually java.lang.Object) Specifically, we add a new component, '@class_identifier'.
auto component(T &struct_expr, const irep_idt &name, const namespacet &ns) -> decltype(struct_expr.op0())
std::vector< componentt > componentst
const componentst & components() const
A constant literal expression.
Structure type, corresponds to C style structs.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
bool has_component(const irep_idt &component_name) const
typet type
Type of symbol.
void java_root_class_init(struct_exprt &jlo, const struct_typet &root_type, const irep_idt &class_identifier)
Adds members for an object of the root class (usually java.lang.Object).
std::size_t component_number(const irep_idt &component_name) const
Return the sequence number of the component with given name.
Struct constructor from list of elements.