cprover
|
#include <java_entry_point.h>
Public Attributes | |
symbolt | main_function |
bool | error_found |
bool | stop_convert |
Definition at line 23 of file java_entry_point.h.
bool main_function_resultt::error_found |
Definition at line 26 of file java_entry_point.h.
Referenced by java_bytecode_languaget::final(), and get_main_symbol().
symbolt main_function_resultt::main_function |
Definition at line 25 of file java_entry_point.h.
Referenced by java_bytecode_languaget::final(), get_main_symbol(), and java_entry_point().
bool main_function_resultt::stop_convert |
Definition at line 27 of file java_entry_point.h.
Referenced by java_bytecode_languaget::final(), get_main_symbol(), and java_entry_point().