cprover
Loading...
Searching...
No Matches
no_unique_unimplemented_method_exceptiont Class Reference
Inheritance diagram for no_unique_unimplemented_method_exceptiont:
Collaboration diagram for no_unique_unimplemented_method_exceptiont:

Public Member Functions

 no_unique_unimplemented_method_exceptiont (const std::string &s)

Public Attributes

const std::string message

Detailed Description

Definition at line 95 of file lambda_synthesis.cpp.

Constructor & Destructor Documentation

◆ no_unique_unimplemented_method_exceptiont()

no_unique_unimplemented_method_exceptiont::no_unique_unimplemented_method_exceptiont ( const std::string & s)
inlineexplicit

Definition at line 98 of file lambda_synthesis.cpp.

Member Data Documentation

◆ message

const std::string no_unique_unimplemented_method_exceptiont::message

Definition at line 102 of file lambda_synthesis.cpp.


The documentation for this class was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/lambda_synthesis.cpp