#include <java_entry_point.h>
Definition at line 88 of file java_entry_point.h.
◆ statust
◆ main_function_resultt() [1/2]
main_function_resultt::main_function_resultt |
( |
statust | status | ) |
|
|
inline |
◆ main_function_resultt() [2/2]
main_function_resultt::main_function_resultt |
( |
const symbolt & | main_function | ) |
|
|
inline |
◆ is_error()
bool main_function_resultt::is_error |
( |
| ) |
const |
|
inline |
◆ is_success()
bool main_function_resultt::is_success |
( |
| ) |
const |
|
inline |
◆ main_function
symbolt main_function_resultt::main_function |
◆ status
The documentation for this struct was generated from the following file:
- /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/java_bytecode/java_entry_point.h