require_goto_statements::no_decl_found_exceptiont Class Reference

#include <require_goto_statements.h>

Inheritance diagram for require_goto_statements::no_decl_found_exceptiont:

Collaboration diagram for require_goto_statements::no_decl_found_exceptiont:

Public Member Functions
	no_decl_found_exceptiont (const std::string &var_name)
virtual const char *	what () const throw ()

Private Attributes
std::string	message

Detailed Description

Definition at line 32 of file require_goto_statements.h.

Constructor & Destructor Documentation

no_decl_found_exceptiont()

require_goto_statements::no_decl_found_exceptiont::no_decl_found_exceptiont ( const std::string &  var_name )

inlineexplicit

Definition at line 35 of file require_goto_statements.h.

Member Function Documentation

what()

virtual const char* require_goto_statements::no_decl_found_exceptiont::what ( ) const throw ( )

inlinevirtual

Definition at line 40 of file require_goto_statements.h.

Member Data Documentation

message

std::string require_goto_statements::no_decl_found_exceptiont::message

private

Definition at line 46 of file require_goto_statements.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/unit/java-testing-utils/require_goto_statements.h