cprover
main_function_resultt Struct Reference

#include <java_entry_point.h>

Collaboration diagram for main_function_resultt:
[legend]

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

§ stop_convert

bool main_function_resultt::stop_convert

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