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 struct_tag_typet &base)	struct_typet
add_lambda_method_handle(const irep_idt &identifier)	java_class_typet	inline
add_source_location()	typet	inline
add_type(const irep_namet &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
check(const typet &, const validation_modet)	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	struct_union_typet	inline
components()	struct_union_typet	inline
componentst typedef	struct_union_typet
data	irept	protected
default_access() const	struct_union_typet	inline
detach()	irept	protected
empty_d	irept	protectedstatic
find(const irep_namet &name) const	irept
find_type(const irep_namet &name) const	typet	inline
full_eq(const irept &other) const	irept
full_hash() const	irept
get(const irep_namet &name) const	irept
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_namet &name) const	irept
get_comments()	irept	inline
get_comments() const	irept	inline
get_component(const irep_idt &component_name) const	struct_union_typet
get_final() const	java_class_typet	inline
get_int(const irep_namet &name) const	irept
get_is_anonymous_class() 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_namet &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_namet &name) const	irept
get_string(const irep_namet &name) const	irept	inline
get_sub()	irept	inline
get_sub() const	irept	inline
get_super_class() const	java_class_typet	inline
get_tag() const	struct_union_typet	inline
get_unsigned_int(const irep_namet &name) const	irept
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()	irept	inline
irept(const irept &irep)	irept	inline
irept(irept &&irep)	irept	inline
is_abstract() const	class_typet	inline
is_class() const	struct_typet	inline
is_comment(const irep_namet &name)	irept	inlineprotectedstatic
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_nil()	irept	inline
methods() const	class_typet	inline
methods()	class_typet	inline
methodst typedef	class_typet
methodt typedef	class_typet
move_to_named_sub(const irep_namet &name, irept &irep)	irept
move_to_sub(irept &irep)	irept
named_subt typedef	irept
nonrecursive_destructor(dt *old_data)	irept	protectedstatic
operator!=(const irept &other) const	irept	inline
operator<(const irept &other) const	irept
operator=(const irept &irep)	irept	inline
operator=(irept &&irep)	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	irept	inline
remove(const irep_namet &name)	irept
remove_ref(dt *old_data)	irept	protectedstatic
remove_subtype()	typet	inline
set(const irep_namet &name, const irep_idt &value)	irept	inline
set(const irep_namet &name, const irept &irep)	irept	inline
set(const irep_namet &name, const long long value)	irept
set_access(const irep_idt &access)	java_class_typet	inline
set_final(bool is_final)	java_class_typet	inline
set_is_anonymous_class(const bool &is_anonymous_class)	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(const 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_super_class(const irep_idt &super_class)	java_class_typet	inline
set_tag(const irep_idt &tag)	struct_union_typet	inline
source_location() const	typet	inline
struct_typet()	struct_typet	inline
struct_union_typet(const irep_idt &_id)	struct_union_typet	inlineexplicit
subt typedef	irept
subtype() const	typet	inline
subtype()	typet	inline
swap(irept &irep)	irept	inline
typet()	typet	inline
typet(const irep_idt &_id)	typet	inlineexplicit
typet(const irep_idt &_id, const 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
write()	irept	inline
~irept()	irept	inline