Connect++ 0.5.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Exceptions.hpp
1/*
2
3Copyright © 2023-24 Sean Holden. All rights reserved.
4
5*/
6/*
7
8This file is part of Connect++.
9
10Connect++ is free software: you can redistribute it and/or modify it
11under the terms of the GNU General Public License as published by the
12Free Software Foundation, either version 3 of the License, or (at your
13option) any later version.
14
15Connect++ is distributed in the hope that it will be useful, but WITHOUT
16ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18more details.
19
20You should have received a copy of the GNU General Public License along
21with Connect++. If not, see <https://www.gnu.org/licenses/>.
22
23*/
24
25#ifndef EXCEPTIONS_HPP
26#define EXCEPTIONS_HPP
27
28#include <iostream>
29#include <exception>
30#include <string>
31
36class file_open_exception : public std::exception {
37private:
38 std::string message;
39public:
40 file_open_exception(const std::string&);
41 virtual const char* what() const noexcept;
42};
47class file_read_exception : public std::exception {
48private:
49 std::string message;
50public:
51 file_read_exception(const std::string&);
52 virtual const char* what() const noexcept;
53};
58class file_parse_exception : public std::exception {
59private:
60 std::string message;
61public:
62 file_parse_exception(const std::string&);
63 virtual const char* what() const noexcept;
64};
65
66#endif
Exception used by the application in main(...).
Exception used by the application in main(...).
Exception used by the application in main(...).