cprover
user_input_error_exceptiont Class Reference

#include <slice_global_inits.h>

+ Inheritance diagram for user_input_error_exceptiont:
+ Collaboration diagram for user_input_error_exceptiont:

Public Member Functions

 user_input_error_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
 

Private Attributes

std::string message
 

Detailed Description

Definition at line 21 of file slice_global_inits.h.

Constructor & Destructor Documentation

◆ user_input_error_exceptiont()

user_input_error_exceptiont::user_input_error_exceptiont ( std::string  message)
inlineexplicit

Definition at line 24 of file slice_global_inits.h.

Member Function Documentation

◆ what()

std::string user_input_error_exceptiont::what ( ) const
inlineoverridevirtual

A human readable description of what went wrong.

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

Implements cprover_exception_baset.

Definition at line 29 of file slice_global_inits.h.

Member Data Documentation

◆ message

std::string user_input_error_exceptiont::message
private

Definition at line 35 of file slice_global_inits.h.


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