CBMC
java_implicitly_generic_class_typet Member List

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

add(const irep_idt &name)irept
add(const irep_idt &name, irept irep)irept
add_base(const struct_tag_typet &base)struct_typet
add_lambda_method_handle(const class_method_descriptor_exprt &method_descriptor, method_handle_kindt handle_kind)java_class_typetinline
add_source_location()typetinline
add_subtype()typetinline
add_type(const irep_idt &name)typetinline
add_unknown_lambda_method_handle()java_class_typetinline
bases() conststruct_typetinline
bases()struct_typetinline
basest typedefstruct_typet
baset typedefirept
check(const typet &, const validation_modet=validation_modet::INVARIANT)typetinlinestatic
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() constjava_class_typetinline
components()java_class_typetinline
componentst typedefjava_class_typet
datasharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
default_access() conststruct_union_typetinline
detach()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protected
dt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
empty_dsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
find(const irep_idt &name) constirept
find_type(const irep_idt &name) consttypetinline
full_eq(const irept &other) constirept
full_hash() constirept
get(const irep_idt &name) constirept
get_abstract() constjava_class_typetinline
get_access() constjava_class_typetinline
get_annotations() constjava_class_typetinline
get_annotations()java_class_typetinline
get_base(const irep_idt &id) conststruct_typet
get_bool(const irep_idt &name) constirept
get_component(const irep_idt &component_name) constjava_class_typetinline
get_final() constjava_class_typetinline
get_inner_name() constjava_class_typetinline
get_int(const irep_idt &name) constirept
get_interface() constjava_class_typetinline
get_is_annotation() constjava_class_typetinline
get_is_anonymous_class() constjava_class_typetinline
get_is_enumeration() constjava_class_typetinline
get_is_inner_class() constjava_class_typetinline
get_is_static_class() constjava_class_typetinline
get_is_stub() constjava_class_typetinline
get_long_long(const irep_idt &name) constirept
get_name() constjava_class_typetinline
get_named_sub()ireptinline
get_named_sub() constireptinline
get_outer_class() constjava_class_typetinline
get_size_t(const irep_idt &name) constirept
get_string(const irep_idt &name) constireptinline
get_sub()ireptinline
get_sub() constireptinline
get_super_class() constjava_class_typetinline
get_synthetic() constjava_class_typetinline
get_tag() conststruct_union_typetinline
has_base(const irep_idt &id) conststruct_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
implicit_generic_types() constjava_implicitly_generic_class_typetinline
implicit_generic_types()java_implicitly_generic_class_typetinline
implicit_generic_typest typedefjava_implicitly_generic_class_typet
irept(const irep_idt &_id)ireptinlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)ireptinline
irept()=defaultirept
is_abstract() constclass_typetinline
is_class() conststruct_typetinline
is_comment(const irep_idt &name)ireptinlinestatic
is_incomplete() conststruct_union_typetinline
is_nil() constireptinline
is_not_nil() constireptinline
is_prefix_of(const struct_typet &other) conststruct_typet
java_implicitly_generic_class_typet(const java_class_typet &class_type, const implicit_generic_typest &generic_types)java_implicitly_generic_class_typetinlineexplicit
java_lambda_method_handlest typedefjava_class_typet
lambda_method_handles() constjava_class_typetinline
lambda_method_handles()java_class_typetinline
make_incomplete()struct_union_typetinline
make_nil()ireptinline
method_handle_kindt enum namejava_class_typet
methods() constjava_class_typetinline
methods()java_class_typetinline
methodst typedefjava_class_typet
methodt typedefclass_typet
move_to_named_sub(const irep_idt &name, irept &irep)irept
move_to_sub(irept &irep)irept
named_subt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
nonrecursive_destructor(dt *old_data)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
number_of_non_comments(const named_subt &)ireptstatic
operator!=(const irept &other) constireptinline
operator<(const irept &other) constirept
operator=(const sharing_treet &irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
operator=(sharing_treet &&irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
operator==(const irept &other) constirept
ordering(const irept &other) constirept
pretty(unsigned indent=0, unsigned max_indent=0) constirept
read() constsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
remove(const irep_idt &name)irept
remove_ref(dt *old_data)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >protectedstatic
remove_subtype()typetinline
set(const irep_idt &name, const irep_idt &value)ireptinline
set(const irep_idt &name, irept irep)ireptinline
set(const irep_idt &name, const long long value)irept
set_abstract(bool abstract)java_class_typetinline
set_access(const irep_idt &access)java_class_typetinline
set_final(bool is_final)java_class_typetinline
set_inner_name(const irep_idt &name)java_class_typetinline
set_interface(bool interface)java_class_typetinline
set_is_annotation(bool is_annotation)java_class_typetinline
set_is_anonymous_class(const bool &is_anonymous_class)java_class_typetinline
set_is_enumeration(const bool is_enumeration)java_class_typetinline
set_is_inner_class(const bool &is_inner_class)java_class_typetinline
set_is_static_class(const bool &is_static_class)java_class_typetinline
set_is_stub(bool is_stub)java_class_typetinline
set_name(const irep_idt &name)java_class_typetinline
set_outer_class(const irep_idt &outer_class)java_class_typetinline
set_size_t(const irep_idt &name, const std::size_t value)irept
set_super_class(const irep_idt &super_class)java_class_typetinline
set_synthetic(bool synthetic)java_class_typetinline
set_tag(const irep_idt &tag)struct_union_typetinline
sharing_treet(irep_idt _id)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inlineexplicit
sharing_treet(irep_idt _id, named_subt _named_sub, subt _sub)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
sharing_treet()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
sharing_treet(const sharing_treet &irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
sharing_treet(sharing_treet &&irep)sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
source_location() consttypetinline
static_members() constjava_class_typetinline
static_members()java_class_typetinline
static_memberst typedefjava_class_typet
static_membert typedefjava_class_typet
struct_typet()struct_typetinline
struct_typet(componentst _components)struct_typetinlineexplicit
struct_union_typet(const irep_idt &_id)struct_union_typetinlineexplicit
struct_union_typet(const irep_idt &_id, componentst _components)struct_union_typetinline
subt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)ireptinline
tree_implementationt typedefsharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
typet()typetinline
typet(const irep_idt &_id)typetinlineexplicit
typet(irep_idt _id, typet _subtype)typetinline
validate(const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)typetinlinestatic
validate_full(const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)typetinlinestatic
with_source_location(source_locationt location) &&typetinline
with_source_location(source_locationt location) &typetinline
with_source_location(const typet &type) &&typetinline
with_source_location(const typet &type) &typetinline
write()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline
~sharing_treet()sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >inline