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

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

#include <Exceptions.hpp>

Inheritance diagram for file_parse_exception:
Collaboration diagram for file_parse_exception:

Public Member Functions

 file_parse_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 58 of file Exceptions.hpp.

Constructor & Destructor Documentation

◆ file_parse_exception()

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

Definition at line 48 of file Exceptions.cpp.

49: message() {
50 message += "Failed to parse file: ";
51 message += s;
52}

Member Function Documentation

◆ what()

const char * file_parse_exception::what ( ) const
virtualnoexcept

Definition at line 54 of file Exceptions.cpp.

54 {
55 return message.c_str();
56}

Member Data Documentation

◆ message

std::string file_parse_exception::message
private

Definition at line 60 of file Exceptions.hpp.


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