main_function_resultt Struct Reference

#include <java_entry_point.h>

Collaboration diagram for main_function_resultt:

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

Detailed Description

Definition at line 88 of file java_entry_point.h.

Member Enumeration Documentation

statust

enum main_function_resultt::statust

Enumerator
Success
Error
NotFound

Definition at line 90 of file java_entry_point.h.

Constructor & Destructor Documentation

main_function_resultt() [1/2]

main_function_resultt::main_function_resultt ( statust status )

inline

Definition at line 100 of file java_entry_point.h.

main_function_resultt() [2/2]

main_function_resultt::main_function_resultt ( const symbolt & main_function )

inline

Definition at line 106 of file java_entry_point.h.

Member Function Documentation

is_error()

bool main_function_resultt::is_error ( ) const

inline

Definition at line 115 of file java_entry_point.h.

is_success()

bool main_function_resultt::is_success ( ) const

inline

Definition at line 111 of file java_entry_point.h.

Member Data Documentation

main_function

symbolt main_function_resultt::main_function

Definition at line 96 of file java_entry_point.h.

status

enum main_function_resultt::statust main_function_resultt::status

---

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

• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/jbmc/src/java_bytecode/java_entry_point.h