java_class_typet::methodt Class Reference

#include <java_types.h>

Inheritance diagram for java_class_typet::methodt:

Collaboration diagram for java_class_typet::methodt:

Public Member Functions
	methodt ()=delete
	methodt (const irep_idt &_name, java_method_typet _type)
const java_method_typet &	type () const
java_method_typet &	type ()
bool	get_is_final () const
	is a method 'final'?
void	set_is_final (const bool is_final)
	is a method 'final'?
bool	get_is_native () const
	is a method 'native'?
void	set_is_native (const bool is_native)
	marks a method as 'native'
const irep_idt &	get_descriptor () const
	Gets the method's descriptor – the mangled form of its type.
void	set_descriptor (const irep_idt &id)
	Sets the method's descriptor – the mangled form of its type.

Detailed Description

Definition at line 240 of file java_types.h.

Constructor & Destructor Documentation

methodt() [1/2]

java_class_typet::methodt::methodt ( )

delete

methodt() [2/2]

java_class_typet::methodt::methodt ( const irep_idt & _name, java_method_typet _type )

inline

Definition at line 245 of file java_types.h.

Member Function Documentation

get_descriptor()

const irep_idt & java_class_typet::methodt::get_descriptor ( ) const

inline

Gets the method's descriptor – the mangled form of its type.

Definition at line 286 of file java_types.h.

get_is_final()

bool java_class_typet::methodt::get_is_final ( ) const

inline

is a method 'final'?

Definition at line 262 of file java_types.h.

get_is_native()

bool java_class_typet::methodt::get_is_native ( ) const

inline

is a method 'native'?

Definition at line 274 of file java_types.h.

set_descriptor()

void java_class_typet::methodt::set_descriptor ( const irep_idt & id )

inline

Sets the method's descriptor – the mangled form of its type.

Definition at line 292 of file java_types.h.

set_is_final()

void java_class_typet::methodt::set_is_final ( const bool is_final )

inline

is a method 'final'?

Definition at line 268 of file java_types.h.

set_is_native()

void java_class_typet::methodt::set_is_native ( const bool is_native )

inline

marks a method as 'native'

Definition at line 280 of file java_types.h.

type() [1/2]

java_method_typet & java_class_typet::methodt::type ( )

inline

Definition at line 256 of file java_types.h.

type() [2/2]

const java_method_typet & java_class_typet::methodt::type ( ) const

inline

Definition at line 250 of file java_types.h.

---

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

• /builddir/build/BUILD/cbmc-cbmc-5.95.1/jbmc/src/java_bytecode/java_types.h