java_class_typet Member List

This is the complete list of members for java_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_typet	inline
add_source_location()	typet	inline
add_subtype()	typet	inline
add_type(const irep_idt &name)	typet	inline
add_unknown_lambda_method_handle()	java_class_typet	inline
bases() const	struct_typet	inline
bases()	struct_typet	inline
basest typedef	struct_typet
baset typedef	irept
check(const typet &, const validation_modet=validation_modet::INVARIANT)	typet	inlinestatic
class_typet()	class_typet	inline
clear()	irept	inline
compare(const irept &i) const	irept
component_number(const irep_idt &component_name) const	struct_union_typet
component_type(const irep_idt &component_name) const	struct_union_typet
components() const	java_class_typet	inline
components()	java_class_typet	inline
componentst typedef	java_class_typet
data	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
default_access() const	struct_union_typet	inline
detach()	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protected
dt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
empty_d	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >	protectedstatic
find(const irep_idt &name) const	irept
find_type(const irep_idt &name) const	typet	inline
full_eq(const irept &other) const	irept
full_hash() const	irept
get(const irep_idt &name) const	irept
get_abstract() const	java_class_typet	inline
get_access() const	java_class_typet	inline
get_annotations() const	java_class_typet	inline
get_annotations()	java_class_typet	inline
get_base(const irep_idt &id) const	struct_typet
get_bool(const irep_idt &name) const	irept
get_component(const irep_idt &component_name) const	java_class_typet	inline
get_final() const	java_class_typet	inline
get_inner_name() const	java_class_typet	inline
get_int(const irep_idt &name) const	irept
get_interface() const	java_class_typet	inline
get_is_annotation() const	java_class_typet	inline
get_is_anonymous_class() const	java_class_typet	inline
get_is_enumeration() const	java_class_typet	inline
get_is_inner_class() const	java_class_typet	inline
get_is_static_class() const	java_class_typet	inline
get_is_stub() const	java_class_typet	inline
get_long_long(const irep_idt &name) const	irept
get_name() const	java_class_typet	inline
get_named_sub()	irept	inline
get_named_sub() const	irept	inline
get_outer_class() const	java_class_typet	inline
get_size_t(const irep_idt &name) const	irept
get_string(const irep_idt &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
get_super_class() const	java_class_typet	inline
get_synthetic() const	java_class_typet	inline
get_tag() const	struct_union_typet	inline
has_base(const irep_idt &id) const	struct_typet	inline
has_component(const irep_idt &component_name) const	struct_union_typet	inline
has_subtype() const	typet	inline
has_subtypes() const	typet	inline
hash() const	irept
id() const	irept	inline
id(const irep_idt &_data)	irept	inline
id_string() const	irept	inline
irept(const irep_idt &_id)	irept	inlineexplicit
irept(const irep_idt &_id, const named_subt &_named_sub, const subt &_sub)	irept	inline
irept()=default	irept
is_abstract() const	class_typet	inline
is_class() const	struct_typet	inline
is_comment(const irep_idt &name)	irept	inlinestatic
is_incomplete() const	struct_union_typet	inline
is_nil() const	irept	inline
is_not_nil() const	irept	inline
is_prefix_of(const struct_typet &other) const	struct_typet
java_lambda_method_handlest typedef	java_class_typet
lambda_method_handles() const	java_class_typet	inline
lambda_method_handles()	java_class_typet	inline
make_incomplete()	struct_union_typet	inline
make_nil()	irept	inline
method_handle_kindt enum name	java_class_typet
methods() const	java_class_typet	inline
methods()	java_class_typet	inline
methodst typedef	java_class_typet
methodt typedef	class_typet
move_to_named_sub(const irep_idt &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
named_subt typedef	sharing_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 &)	irept	static
operator!=(const irept &other) const	irept	inline
operator<(const irept &other) const	irept
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) const	irept
ordering(const irept &other) const	irept
pretty(unsigned indent=0, unsigned max_indent=0) const	irept
read() const	sharing_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()	typet	inline
set(const irep_idt &name, const irep_idt &value)	irept	inline
set(const irep_idt &name, irept irep)	irept	inline
set(const irep_idt &name, const long long value)	irept
set_abstract(bool abstract)	java_class_typet	inline
set_access(const irep_idt &access)	java_class_typet	inline
set_final(bool is_final)	java_class_typet	inline
set_inner_name(const irep_idt &name)	java_class_typet	inline
set_interface(bool interface)	java_class_typet	inline
set_is_annotation(bool is_annotation)	java_class_typet	inline
set_is_anonymous_class(const bool &is_anonymous_class)	java_class_typet	inline
set_is_enumeration(const bool is_enumeration)	java_class_typet	inline
set_is_inner_class(const bool &is_inner_class)	java_class_typet	inline
set_is_static_class(const bool &is_static_class)	java_class_typet	inline
set_is_stub(bool is_stub)	java_class_typet	inline
set_name(const irep_idt &name)	java_class_typet	inline
set_outer_class(const irep_idt &outer_class)	java_class_typet	inline
set_size_t(const irep_idt &name, const std::size_t value)	irept
set_super_class(const irep_idt &super_class)	java_class_typet	inline
set_synthetic(bool synthetic)	java_class_typet	inline
set_tag(const irep_idt &tag)	struct_union_typet	inline
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() const	typet	inline
static_members() const	java_class_typet	inline
static_members()	java_class_typet	inline
static_memberst typedef	java_class_typet
static_membert typedef	java_class_typet
struct_typet()	struct_typet	inline
struct_typet(componentst _components)	struct_typet	inlineexplicit
struct_union_typet(const irep_idt &_id)	struct_union_typet	inlineexplicit
struct_union_typet(const irep_idt &_id, componentst _components)	struct_union_typet	inline
subt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
swap(irept &irep)	irept	inline
tree_implementationt typedef	sharing_treet< irept, forward_list_as_mapt< irep_idt, irept > >
typet()	typet	inline
typet(const irep_idt &_id)	typet	inlineexplicit
typet(irep_idt _id, typet _subtype)	typet	inline
validate(const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)	typet	inlinestatic
validate_full(const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)	typet	inlinestatic
with_source_location(source_locationt location) &&	typet	inline
with_source_location(source_locationt location) &	typet	inline
with_source_location(const typet &type) &&	typet	inline
with_source_location(const typet &type) &	typet	inline
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