CBMC
invalid_input_exceptiont Class Reference

Thrown when user-provided input cannot be processed. More...

#include <exception_utils.h>

+ Inheritance diagram for invalid_input_exceptiont:
+ Collaboration diagram for invalid_input_exceptiont:

Public Member Functions

 invalid_input_exceptiont (std::string reason)
 
- Public Member Functions inherited from cprover_exception_baset
virtual std::string what () const
 A human readable description of what went wrong. More...
 
virtual ~cprover_exception_baset ()=default
 
virtual std::string what () const
 A human readable description of what went wrong. More...
 
virtual ~cprover_exception_baset ()=default
 

Additional Inherited Members

- Protected Member Functions inherited from cprover_exception_baset
 cprover_exception_baset (std::string reason)
 This constructor is marked protected to ensure this class isn't used directly. More...
 
 cprover_exception_baset (std::string reason)
 This constructor is marked protected to ensure this class isn't used directly. More...
 
- Protected Attributes inherited from cprover_exception_baset
std::string reason
 The reason this exception was generated. More...
 

Detailed Description

Thrown when user-provided input cannot be processed.

Use invalid_source_file_exceptiont when the precise location of erroneous input is known.

Definition at line 162 of file exception_utils.h.

Constructor & Destructor Documentation

◆ invalid_input_exceptiont()

invalid_input_exceptiont::invalid_input_exceptiont ( std::string  reason)
explicit

Definition at line 83 of file exception_utils.cpp.


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