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
	deserialization_exceptiont (std::string message)

std::string	what () const override
	A human readable description of what went wrong. More...

Public Member Functions inherited from cprover_exception_baset
virtual	~cprover_exception_baset ()=default

Detailed Description

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

Definition at line 72 of file exception_utils.h.

Constructor & Destructor Documentation

deserialization_exceptiont::deserialization_exceptiont ( std::string message )

explicit

Definition at line 47 of file exception_utils.cpp.

std::string deserialization_exceptiont::what ( ) const

overridevirtual

A human readable description of what went wrong.

For readability, implementors should not add a leading or trailing newline to this description.

Definition at line 52 of file exception_utils.cpp.

std::string deserialization_exceptiont::message

private

Definition at line 80 of file exception_utils.h.

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