cprover
|
#include <java_entry_point.h>
Public Types | |
enum | statust { Success, Error, NotFound } |
Public Member Functions | |
main_function_resultt (statust status) | |
main_function_resultt (const symbolt &main_function) | |
bool | is_success () const |
bool | is_error () const |
Public Attributes | |
enum main_function_resultt::statust | status |
symbolt | main_function |
Definition at line 32 of file java_entry_point.h.
Enumerator | |
---|---|
Success | |
Error | |
NotFound |
Definition at line 34 of file java_entry_point.h.
|
inline |
Definition at line 44 of file java_entry_point.h.
|
inline |
Definition at line 50 of file java_entry_point.h.
|
inline |
Definition at line 59 of file java_entry_point.h.
Referenced by java_bytecode_languaget::generate_support_functions().
|
inline |
Definition at line 55 of file java_entry_point.h.
References status, and Success.
Referenced by ci_lazy_methodst::entry_point_methods(), java_bytecode_languaget::generate_support_functions(), and java_entry_point().
symbolt main_function_resultt::main_function |
Definition at line 40 of file java_entry_point.h.
Referenced by ci_lazy_methodst::entry_point_methods(), java_bytecode_languaget::generate_support_functions(), and java_entry_point().
enum main_function_resultt::statust main_function_resultt::status |
Referenced by is_error(), and is_success().