cprover
Loading...
Searching...
No Matches
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_typettype () const
java_method_typettype ()
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_idtget_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 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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/java_types.h