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 30 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 33 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 38 of file require_goto_statements.h.

Member Data Documentation

message

std::string require_goto_statements::no_decl_found_exceptiont::message

private

Definition at line 44 of file require_goto_statements.h.

---

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

• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/jbmc/unit/java-testing-utils/require_goto_statements.h