spot
1.0
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
ltlparse
public.hh
Go to the documentation of this file.
1
// Copyright (C) 2010, 2011, 2012 Laboratoire de Recherche et
2
// Développement de l'Epita (LRDE).
3
// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
4
// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
5
// Université Pierre et Marie Curie.
6
//
7
// This file is part of Spot, a model checking library.
8
//
9
// Spot is free software; you can redistribute it and/or modify it
10
// under the terms of the GNU General Public License as published by
11
// the Free Software Foundation; either version 3 of the License, or
12
// (at your option) any later version.
13
//
14
// Spot is distributed in the hope that it will be useful, but WITHOUT
15
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
16
// or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
17
// License for more details.
18
//
19
// You should have received a copy of the GNU General Public License
20
// along with this program. If not, see <http://www.gnu.org/licenses/>.
21
22
#ifndef SPOT_LTLPARSE_PUBLIC_HH
23
# define SPOT_LTLPARSE_PUBLIC_HH
24
25
# include "
ltlast/formula.hh
"
26
// Unfortunately Bison 2.3 uses the same guards in all parsers :(
27
# undef BISON_LOCATION_HH
28
# undef BISON_POSITION_HH
29
# include "ltlparse/location.hh"
30
# include "
ltlenv/defaultenv.hh
"
31
# include <string>
32
# include <list>
33
# include <utility>
34
# include <iosfwd>
35
36
namespace
spot
37
{
38
namespace
ltl
39
{
42
43
#ifndef SWIG
44
45
typedef
std::pair<ltlyy::location, std::string>
parse_error
;
47
typedef
std::list<parse_error>
parse_error_list
;
48
#else
49
// Turn parse_error_list into an opaque type for Swig.
50
struct
parse_error_list
{};
51
#endif
52
71
const
formula
*
parse
(
const
std::string& ltl_string,
72
parse_error_list
& error_list,
73
environment
& env =
default_environment::instance
(),
74
bool
debug =
false
,
75
bool
lenient =
false
);
76
95
const
formula
*
parse_boolean
(
const
std::string& ltl_string,
96
parse_error_list
& error_list,
97
environment
& env =
98
default_environment::instance
(),
99
bool
debug =
false
,
100
bool
lenient =
false
);
101
121
const
formula
*
parse_lbt
(
const
std::string& ltl_string,
122
parse_error_list
& error_list,
123
environment
& env =
default_environment::instance
(),
124
bool
debug =
false
);
125
144
const
formula
*
parse_sere
(
const
std::string& sere_string,
145
parse_error_list
& error_list,
146
environment
& env =
147
default_environment::instance
(),
148
bool
debug =
false
,
149
bool
lenient =
false
);
150
164
bool
format_parse_errors
(std::ostream& os,
165
const
std::string& input_string,
166
const
parse_error_list
& error_list);
167
191
void
192
fix_utf8_locations
(
const
std::string& ltl_string,
193
parse_error_list
& error_list);
194
196
}
197
}
198
199
#endif // SPOT_LTLPARSE_PUBLIC_HH
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Sat Oct 27 2012 09:34:32 for spot by
1.8.1.2