Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
file_read_exception Class Reference

Exception used by the application in main(...). More...

#include <Exceptions.hpp>

Inheritance diagram for file_read_exception:
Collaboration diagram for file_read_exception:

Public Member Functions

 file_read_exception (const std::string &)
 
virtual const char * what () const noexcept
 

Private Attributes

std::string message
 

Detailed Description

Exception used by the application in main(...).

Definition at line 47 of file Exceptions.hpp.

Constructor & Destructor Documentation

◆ file_read_exception()

file_read_exception::file_read_exception ( const std::string & s)

Definition at line 38 of file Exceptions.cpp.

39: message() {
40 message += "Failed to read file: ";
41 message += s;
42}

Member Function Documentation

◆ what()

const char * file_read_exception::what ( ) const
virtualnoexcept

Definition at line 44 of file Exceptions.cpp.

44 {
45 return message.c_str();
46}

Member Data Documentation

◆ message

std::string file_read_exception::message
private

Definition at line 49 of file Exceptions.hpp.


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