Loading...

Searching...

No Matches

deserialization_exceptiont Class Reference

Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes. More...

+ Inheritance diagram for deserialization_exceptiont:

+ Collaboration diagram for deserialization_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 failing to deserialize a value from some low level format, like JSON or raw bytes.

Definition at line 79 of file exception_utils.h.

deserialization_exceptiont::deserialization_exceptiont ( std::string message )

explicit

Definition at line 47 of file exception_utils.cpp.

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