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

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

#include <Exceptions.hpp>

Inheritance diagram for file_open_exception:
Collaboration diagram for file_open_exception:

Public Member Functions

 file_open_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 36 of file Exceptions.hpp.

Constructor & Destructor Documentation

◆ file_open_exception()

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

Definition at line 28 of file Exceptions.cpp.

29: message() {
30 message += "Failed to open file: ";
31 message += s;
32}

Member Function Documentation

◆ what()

const char * file_open_exception::what ( ) const
virtualnoexcept

Definition at line 34 of file Exceptions.cpp.

34 {
35 return message.c_str();
36}

Member Data Documentation

◆ message

std::string file_open_exception::message
private

Definition at line 38 of file Exceptions.hpp.


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