Awali
Another Weighted Automata library
parse_exception.hh
Go to the documentation of this file.
1 // This file is part of Awali.
2 // Copyright 2016-2021 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
3 //
4 // Awali is a free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
8 //
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with this program. If not, see <http://www.gnu.org/licenses/>.
16 
17 #ifndef AWALI_PARSE_EXCEPTION_HH
18 #define AWALI_PARSE_EXCEPTION_HH
19 
20 #include<stdexcept>
21 #include<istream>
22 
23 namespace awali {
26  struct parse_exception : public std::runtime_error {
31  parse_exception(const std::string& s) : std::runtime_error(s) {}
32 
43  parse_exception(std::istream& i, const std::string& s);
44 
54  parse_exception(size_t p, const std::string& s);
55  };
56 
57 }//end of ns awali::stc
58 
59 #endif
Main namespace of Awali.
Definition: ato.hh:22
Exceptions thrown during parsing.
Definition: parse_exception.hh:26
parse_exception(size_t p, const std::string &s)
Exception with location.
parse_exception(const std::string &s)
Simple constructor.
Definition: parse_exception.hh:31
parse_exception(std::istream &i, const std::string &s)
Exception with location.