CBMC
Public Member Functions | List of all members
java_class_typet::componentt Class Reference

#include <java_types.h>

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

Public Member Functions

 componentt ()=default
 
 componentt (const irep_idt &_name, typet _type)
 
bool get_is_final () const
 is a field 'final'? More...
 
void set_is_final (const bool is_final)
 is a field 'final'? More...
 

Detailed Description

Definition at line 199 of file java_types.h.

Constructor & Destructor Documentation

◆ componentt() [1/2]

java_class_typet::componentt::componentt ( )
default

◆ componentt() [2/2]

java_class_typet::componentt::componentt ( const irep_idt &  _name,
typet  _type 
)
inline

Definition at line 204 of file java_types.h.

Member Function Documentation

◆ get_is_final()

bool java_class_typet::componentt::get_is_final ( ) const
inline

is a field 'final'?

Definition at line 210 of file java_types.h.

◆ set_is_final()

void java_class_typet::componentt::set_is_final ( const bool  is_final)
inline

is a field 'final'?

Definition at line 216 of file java_types.h.

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