cprover
Loading...
Searching...
No Matches
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

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.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/java_entry_point.h