cprover
Loading...
Searching...
No Matches
invalid_restriction_exceptiont Class Reference

#include <restrict_function_pointers.h>

Inheritance diagram for invalid_restriction_exceptiont:
Collaboration diagram for invalid_restriction_exceptiont:

Public Member Functions

 invalid_restriction_exceptiont (std::string reason, std::string correct_format="")
std::string what () const override
 A human readable description of what went wrong.
Public Member Functions inherited from cprover_exception_baset
virtual ~cprover_exception_baset ()=default
virtual ~cprover_exception_baset ()=default

Public Attributes

std::string correct_format

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.
 cprover_exception_baset (std::string reason)
 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.

Detailed Description

Definition at line 68 of file restrict_function_pointers.h.

Constructor & Destructor Documentation

◆ invalid_restriction_exceptiont()

invalid_restriction_exceptiont::invalid_restriction_exceptiont ( std::string reason,
std::string correct_format = "" )
explicit

Definition at line 88 of file restrict_function_pointers.cpp.

Member Function Documentation

◆ what()

std::string invalid_restriction_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.

Reimplemented from cprover_exception_baset.

Definition at line 96 of file restrict_function_pointers.cpp.

Member Data Documentation

◆ correct_format

std::string invalid_restriction_exceptiont::correct_format

Definition at line 77 of file restrict_function_pointers.h.


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