main_function_resultt Struct Reference

#include <java_entry_point.h>

Collaboration diagram for main_function_resultt:

Public Attributes
symbolt	main_function
bool	error_found
bool	stop_convert

Detailed Description

Definition at line 23 of file java_entry_point.h.

Member Data Documentation

error_found

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().

main_function

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().

stop_convert

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().

---

The documentation for this struct was generated from the following file:

• java_bytecode/java_entry_point.h