cprover
java_class_typet Member List

This is the complete list of members for java_class_typet, including all inherited members.

add(const irep_namet &name)irept
add(const irep_namet &name, const irept &irep)irept
add_base(const typet &base)class_typetinline
add_lambda_method_handle(const irep_idt &identifier)java_class_typetinline
add_source_location()typetinline
add_type(const irep_namet &name)typetinline
add_unknown_lambda_method_handle()java_class_typetinline
bases() constclass_typetinline
bases()class_typetinline
basest typedefclass_typet
class_typet()class_typetinline
clear()ireptinline
compare(const irept &i) constirept
component_number(const irep_idt &component_name) conststruct_union_typet
component_type(const irep_idt &component_name) conststruct_union_typet
components() conststruct_union_typetinline
components()struct_union_typetinline
componentst typedefstruct_union_typet
copy_to_subtypes(const typet &type)typet
dataireptprotected
default_access() constclass_typetinline
detach()ireptprotected
empty_direptprotectedstatic
find(const irep_namet &name) constirept
find_type(const irep_namet &name) consttypetinline
full_eq(const irept &other) constirept
full_hash() constirept
get(const irep_namet &name) constirept
get_access() constjava_class_typetinline
get_annotations() constjava_class_typetinline
get_annotations()java_class_typetinline
get_base(const irep_idt &id) constclass_typetinline
get_bool(const irep_namet &name) constirept
get_comments()ireptinline
get_comments() constireptinline
get_component(const irep_idt &component_name) conststruct_union_typet
get_final()java_class_typetinline
get_int(const irep_namet &name) constirept
get_long_long(const irep_namet &name) constirept
get_named_sub()ireptinline
get_named_sub() constireptinline
get_size_t(const irep_namet &name) constirept
get_string(const irep_namet &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
get_tag() conststruct_union_typetinline
get_unsigned_int(const irep_namet &name) constirept
has_base(const irep_idt &id) constclass_typetinline
has_component(const irep_idt &component_name) conststruct_union_typetinline
has_subtype() consttypetinline
has_subtypes() consttypetinline
hash() constirept
id() constireptinline
id(const irep_idt &_data)ireptinline
id_string() constireptinline
irept(const irep_idt &_id)ireptinlineexplicit
irept()ireptinline
irept(const irept &irep)ireptinline
irept(irept &&irep)ireptinline
is_abstract() constclass_typetinline
is_class() constclass_typetinline
is_comment(const irep_namet &name)ireptinlineprotectedstatic
is_nil() constireptinline
is_not_nil() constireptinline
is_prefix_of(const struct_typet &other) conststruct_typet
java_lambda_method_handlest typedefjava_class_typet
lambda_method_handles() constjava_class_typetinline
lambda_method_handles()java_class_typetinline
make_nil()ireptinline
methods() constclass_typetinline
methods()class_typetinline
methodst typedefclass_typet
methodt typedefclass_typet
move_to_named_sub(const irep_namet &name, irept &irep)irept
move_to_sub(irept &irep)irept
move_to_subtypes(typet &type)typet
named_subt typedefirept
nonrecursive_destructor(dt *old_data)ireptprotectedstatic
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
operator=(const irept &irep)ireptinline
operator=(irept &&irep)ireptinline
operator==(const irept &other) constirept
ordering(const irept &other) constirept
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constireptinline
remove(const irep_namet &name)irept
remove_ref(dt *old_data)ireptprotectedstatic
remove_subtype()typetinline
set(const irep_namet &name, const irep_idt &value)ireptinline
set(const irep_namet &name, const irept &irep)ireptinline
set(const irep_namet &name, const long long value)irept
set_access(const irep_idt &access)java_class_typetinline
set_final(bool is_final)java_class_typetinline
set_tag(const irep_idt &tag)struct_union_typetinline
source_location() consttypetinline
struct_typet()struct_typetinline
struct_union_typet(const irep_idt &_id)struct_union_typetinlineexplicit
subt typedefirept
subtype() consttypetinline
subtype()typetinline
subtypes()typetinline
subtypes() consttypetinline
subtypest typedeftypet
swap(irept &irep)ireptinline
typet()typetinline
typet(const irep_idt &_id)typetinlineexplicit
typet(const irep_idt &_id, const typet &_subtype)typetinline
write()ireptinline
~irept()ireptinline