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'? More...
void	set_is_final (const bool is_final)
	is a method 'final'? More...
bool	get_is_native () const
	is a method 'native'? More...
void	set_is_native (const bool is_native)
	marks a method as 'native' More...
const irep_idt &	get_descriptor () const
	Gets the method's descriptor – the mangled form of its type. More...
void	set_descriptor (const irep_idt &id)
	Sets the method's descriptor – the mangled form of its type. More...

Detailed Description

Definition at line 239 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 244 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 285 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 261 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 273 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 291 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 267 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 279 of file java_types.h.

type() [1/2]

java_method_typet& java_class_typet::methodt::type ( )

inline

Definition at line 255 of file java_types.h.

type() [2/2]

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

inline

Definition at line 249 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