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:

• goto-programs/string_instrumentation.h