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'?
void	set_is_final (const bool is_final)
	is a field 'final'?

Detailed Description

Definition at line 198 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 203 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 209 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 215 of file java_types.h.

---

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

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_types.h