cprover
java_class_typet Class Reference

#include <java_types.h>

+ Inheritance diagram for java_class_typet:
+ Collaboration diagram for java_class_typet:

Public Types

using java_lambda_method_handlest = irept::subt
 
- Public Types inherited from class_typet
typedef componentt methodt
 
typedef componentst methodst
 
- Public Types inherited from struct_typet
typedef std::vector< basetbasest
 
- Public Types inherited from struct_union_typet
typedef std::vector< componenttcomponentst
 
- Public Types inherited from irept
typedef std::vector< ireptsubt
 
typedef std::map< irep_namet, ireptnamed_subt
 

Public Member Functions

const irep_idtget_access () const
 
void set_access (const irep_idt &access)
 
bool get_is_inner_class () const
 
void set_is_inner_class (const bool &is_inner_class)
 
const irep_idtget_outer_class () const
 
void set_outer_class (const irep_idt &outer_class)
 
const irep_idtget_super_class () const
 
void set_super_class (const irep_idt &super_class)
 
bool get_is_static_class () const
 
void set_is_static_class (const bool &is_static_class)
 
bool get_is_anonymous_class () const
 
void set_is_anonymous_class (const bool &is_anonymous_class)
 
bool get_final () const
 
void set_final (bool is_final)
 
void set_is_stub (const bool &is_stub)
 
bool get_is_stub () const
 
const java_lambda_method_handlestlambda_method_handles () const
 
java_lambda_method_handlestlambda_method_handles ()
 
void add_lambda_method_handle (const irep_idt &identifier)
 
void add_unknown_lambda_method_handle ()
 
const std::vector< java_annotationt > & get_annotations () const
 
std::vector< java_annotationt > & get_annotations ()
 
const irep_idtget_name () const
 Get the name of the struct, which can be used to look up its symbol in the symbol table. More...
 
void set_name (const irep_idt &name)
 Set the name of the struct, which can be used to look up its symbol in the symbol table. More...
 
- Public Member Functions inherited from class_typet
 class_typet ()
 
const methodstmethods () const
 
componentstmethods ()
 
bool is_abstract () const
 
- Public Member Functions inherited from struct_typet
 struct_typet ()
 
bool is_prefix_of (const struct_typet &other) const
 Returns true if the struct is a prefix of other, i.e., if this struct has n components then the component types and names of this struct must match the first n components of other struct. More...
 
bool is_class () const
 A struct may be a class, where members may have access restrictions. More...
 
const basestbases () const
 Get the collection of base classes/structs. More...
 
basestbases ()
 Get the collection of base classes/structs. More...
 
void add_base (const struct_tag_typet &base)
 Add a base class/struct. More...
 
optionalt< basetget_base (const irep_idt &id) const
 Return the base with the given name, if exists. More...
 
bool has_base (const irep_idt &id) const
 Test whether id is a base class/struct. More...
 
- Public Member Functions inherited from struct_union_typet
 struct_union_typet (const irep_idt &_id)
 
const componentstcomponents () const
 
componentstcomponents ()
 
bool has_component (const irep_idt &component_name) const
 
const componenttget_component (const irep_idt &component_name) const
 Get the reference to a component with given name. More...
 
std::size_t component_number (const irep_idt &component_name) const
 Return the sequence number of the component with given name. More...
 
const typetcomponent_type (const irep_idt &component_name) const
 
irep_idt get_tag () const
 
void set_tag (const irep_idt &tag)
 
bool is_class () const
 A struct may be a class, where members may have access restrictions. More...
 
irep_idt default_access () const
 Return the access specification for members where access has not been modified. More...
 
- Public Member Functions inherited from typet
 typet ()
 
 typet (const irep_idt &_id)
 
 typet (const irep_idt &_id, const typet &_subtype)
 
const typetsubtype () const
 
typetsubtype ()
 
bool has_subtypes () const
 
bool has_subtype () const
 
void remove_subtype ()
 
const source_locationtsource_location () const
 
source_locationtadd_source_location ()
 
typetadd_type (const irep_namet &name)
 
const typetfind_type (const irep_namet &name) const
 
- Public Member Functions inherited from irept
bool is_nil () const
 
bool is_not_nil () const
 
 irept (const irep_idt &_id)
 
 irept ()
 
 irept (const irept &irep)
 
 irept (irept &&irep)
 
ireptoperator= (const irept &irep)
 
ireptoperator= (irept &&irep)
 
 ~irept ()
 
const irep_idtid () const
 
const std::string & id_string () const
 
void id (const irep_idt &_data)
 
const ireptfind (const irep_namet &name) const
 
ireptadd (const irep_namet &name)
 
ireptadd (const irep_namet &name, const irept &irep)
 
const std::string & get_string (const irep_namet &name) const
 
const irep_idtget (const irep_namet &name) const
 
bool get_bool (const irep_namet &name) const
 
signed int get_int (const irep_namet &name) const
 
unsigned int get_unsigned_int (const irep_namet &name) const
 
std::size_t get_size_t (const irep_namet &name) const
 
long long get_long_long (const irep_namet &name) const
 
void set (const irep_namet &name, const irep_idt &value)
 
void set (const irep_namet &name, const irept &irep)
 
void set (const irep_namet &name, const long long value)
 
void remove (const irep_namet &name)
 
void move_to_sub (irept &irep)
 
void move_to_named_sub (const irep_namet &name, irept &irep)
 
bool operator== (const irept &other) const
 
bool operator!= (const irept &other) const
 
void swap (irept &irep)
 
bool operator< (const irept &other) const
 defines ordering on the internal representation More...
 
bool ordering (const irept &other) const
 defines ordering on the internal representation More...
 
int compare (const irept &i) const
 defines ordering on the internal representation More...
 
void clear ()
 
void make_nil ()
 
subtget_sub ()
 
const subtget_sub () const
 
named_subtget_named_sub ()
 
const named_subtget_named_sub () const
 
named_subtget_comments ()
 
const named_subtget_comments () const
 
std::size_t hash () const
 
std::size_t full_hash () const
 
bool full_eq (const irept &other) const
 
std::string pretty (unsigned indent=0, unsigned max_indent=0) const
 
const dtread () const
 
dtwrite ()
 

Additional Inherited Members

- Static Public Member Functions inherited from typet
static void check (const typet &, const validation_modet)
 Check that the type is well-formed (shallow checks only, i.e., subtypes are not checked) More...
 
static void validate (const typet &type, const namespacet &, const validation_modet vm=validation_modet::INVARIANT)
 Check that the type is well-formed, assuming that its subtypes have already been checked for well-formedness. More...
 
static void validate_full (const typet &type, const namespacet &ns, const validation_modet vm=validation_modet::INVARIANT)
 Check that the type is well-formed (full check, including checks of subtypes) More...
 
- Protected Member Functions inherited from irept
void detach ()
 
- Static Protected Member Functions inherited from irept
static bool is_comment (const irep_namet &name)
 
static void remove_ref (dt *old_data)
 
static void nonrecursive_destructor (dt *old_data)
 Does the same as remove_ref, but using an explicit stack instead of recursion. More...
 
- Protected Attributes inherited from irept
dtdata
 
- Static Protected Attributes inherited from irept
static dt empty_d
 

Detailed Description

Definition at line 101 of file java_types.h.

Member Typedef Documentation

◆ java_lambda_method_handlest

Member Function Documentation

◆ add_lambda_method_handle()

void java_class_typet::add_lambda_method_handle ( const irep_idt identifier)
inline

Definition at line 208 of file java_types.h.

◆ add_unknown_lambda_method_handle()

void java_class_typet::add_unknown_lambda_method_handle ( )
inline

Definition at line 213 of file java_types.h.

◆ get_access()

const irep_idt& java_class_typet::get_access ( ) const
inline

Definition at line 104 of file java_types.h.

◆ get_annotations() [1/2]

std::vector<java_annotationt>& java_class_typet::get_annotations ( )
inline

Definition at line 225 of file java_types.h.

◆ get_annotations() [2/2]

const std::vector<java_annotationt>& java_class_typet::get_annotations ( ) const
inline

Definition at line 219 of file java_types.h.

◆ get_final()

bool java_class_typet::get_final ( ) const
inline

Definition at line 164 of file java_types.h.

◆ get_is_anonymous_class()

bool java_class_typet::get_is_anonymous_class ( ) const
inline

Definition at line 154 of file java_types.h.

◆ get_is_inner_class()

bool java_class_typet::get_is_inner_class ( ) const
inline

Definition at line 114 of file java_types.h.

◆ get_is_static_class()

bool java_class_typet::get_is_static_class ( ) const
inline

Definition at line 144 of file java_types.h.

◆ get_is_stub()

bool java_class_typet::get_is_stub ( ) const
inline

Definition at line 179 of file java_types.h.

◆ get_name()

const irep_idt& java_class_typet::get_name ( ) const
inline

Get the name of the struct, which can be used to look up its symbol in the symbol table.

Definition at line 233 of file java_types.h.

◆ get_outer_class()

const irep_idt& java_class_typet::get_outer_class ( ) const
inline

Definition at line 124 of file java_types.h.

◆ get_super_class()

const irep_idt& java_class_typet::get_super_class ( ) const
inline

Definition at line 134 of file java_types.h.

◆ lambda_method_handles() [1/2]

java_lambda_method_handlest& java_class_typet::lambda_method_handles ( )
inline

Definition at line 203 of file java_types.h.

◆ lambda_method_handles() [2/2]

const java_lambda_method_handlest& java_class_typet::lambda_method_handles ( ) const
inline

Definition at line 198 of file java_types.h.

◆ set_access()

void java_class_typet::set_access ( const irep_idt access)
inline

Definition at line 109 of file java_types.h.

◆ set_final()

void java_class_typet::set_final ( bool  is_final)
inline

Definition at line 169 of file java_types.h.

◆ set_is_anonymous_class()

void java_class_typet::set_is_anonymous_class ( const bool &  is_anonymous_class)
inline

Definition at line 159 of file java_types.h.

◆ set_is_inner_class()

void java_class_typet::set_is_inner_class ( const bool &  is_inner_class)
inline

Definition at line 119 of file java_types.h.

◆ set_is_static_class()

void java_class_typet::set_is_static_class ( const bool &  is_static_class)
inline

Definition at line 149 of file java_types.h.

◆ set_is_stub()

void java_class_typet::set_is_stub ( const bool &  is_stub)
inline

Definition at line 174 of file java_types.h.

◆ set_name()

void java_class_typet::set_name ( const irep_idt name)
inline

Set the name of the struct, which can be used to look up its symbol in the symbol table.

Definition at line 240 of file java_types.h.

◆ set_outer_class()

void java_class_typet::set_outer_class ( const irep_idt outer_class)
inline

Definition at line 129 of file java_types.h.

◆ set_super_class()

void java_class_typet::set_super_class ( const irep_idt super_class)
inline

Definition at line 139 of file java_types.h.


The documentation for this class was generated from the following file: