cprover
|
#include <java_types.h>
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. | |
Definition at line 240 of file java_types.h.
|
delete |
|
inline |
Definition at line 245 of file java_types.h.
Gets the method's descriptor – the mangled form of its type.
Definition at line 286 of file java_types.h.
|
inline |
is a method 'final'?
Definition at line 262 of file java_types.h.
|
inline |
is a method 'native'?
Definition at line 274 of file java_types.h.
Sets the method's descriptor – the mangled form of its type.
Definition at line 292 of file java_types.h.
is a method 'final'?
Definition at line 268 of file java_types.h.
marks a method as 'native'
Definition at line 280 of file java_types.h.
|
inline |
Definition at line 256 of file java_types.h.
|
inline |
Definition at line 250 of file java_types.h.