Loading...

Searching...

No Matches

invalid_input_exceptiont Class Reference

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

+ Inheritance diagram for invalid_input_exceptiont:

+ Collaboration diagram for invalid_input_exceptiont:

Public Member Functions

- Public Member Functions inherited from cprover_exception_baset

virtual std::string what () const

A human readable description of what went wrong.

virtual std::string what () const

A human readable description of what went wrong.

Additional Inherited Members

- Protected Member Functions inherited from cprover_exception_baset

This constructor is marked protected to ensure this class isn't used directly.

This constructor is marked protected to ensure this class isn't used directly.

- Protected Attributes inherited from cprover_exception_baset

std::string reason

The reason this exception was generated.

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.

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: