CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
main_function_resultt Struct Reference

#include <java_entry_point.h>

+ Collaboration diagram for main_function_resultt:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /