cprover
incorrect_source_program_exceptiont Class Reference

#include <string_instrumentation.h>

+ Inheritance diagram for incorrect_source_program_exceptiont:
+ Collaboration diagram for incorrect_source_program_exceptiont:

Public Member Functions

 incorrect_source_program_exceptiont (std::string message, source_locationt source_location)
 
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
 
source_locationt source_location
 

Detailed Description

Definition at line 22 of file string_instrumentation.h.

Constructor & Destructor Documentation

◆ incorrect_source_program_exceptiont()

incorrect_source_program_exceptiont::incorrect_source_program_exceptiont ( std::string  message,
source_locationt  source_location 
)
inline

Definition at line 25 of file string_instrumentation.h.

Member Function Documentation

◆ what()

std::string incorrect_source_program_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 31 of file string_instrumentation.h.

Member Data Documentation

◆ message

std::string incorrect_source_program_exceptiont::message
private

Definition at line 37 of file string_instrumentation.h.

◆ source_location

source_locationt incorrect_source_program_exceptiont::source_location
private

Definition at line 38 of file string_instrumentation.h.


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