26 #include "misc/location.hh"
27 #include "ltlenv/defaultenv.hh"
47 struct parse_error_list {};
70 parse_error_list& error_list,
74 bool lenient =
false);
96 parse_error_list& error_list,
100 bool lenient =
false);
123 parse_error_list& error_list,
134 SPOT_API
const formula*
158 parse_error_list& error_list,
162 bool lenient =
false);
179 const std::string& input_string,
180 const parse_error_list& error_list);
208 parse_error_list& error_list);
SPOT_API void fix_utf8_locations(const std::string &input_string, parse_error_list &error_list)
Fix location of diagnostics assuming the input is utf8.
SPOT_API bool format_parse_errors(std::ostream &os, const std::string &input_string, const parse_error_list &error_list)
Format diagnostics produced by spot::ltl::parse or spot::ltl::ratexp.
SPOT_API const formula * parse_prefix_ltl(const std::string <l_string, parse_error_list &error_list, environment &env=default_environment::instance(), bool debug=false)
Build a formula from an LTL string in LBT's format.
SPOT_API const formula * parse_infix_boolean(const std::string <l_string, parse_error_list &error_list, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a Boolean formula from a string.
std::list< one_parse_error > parse_error_list
A list of parser diagnostics, as filled by parse.
Definition: public.hh:44
SPOT_API const formula * parse_infix_sere(const std::string &sere_string, parse_error_list &error_list, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a formula from a string representing a SERE.
SPOT_API const formula * parse_formula(const std::string <l_string, environment &env=default_environment::instance())
A simple wrapper to parse_infix_psl() and parse_prefix_ltl().
SPOT_API const formula * parse_infix_psl(const std::string <l_string, parse_error_list &error_list, environment &env=default_environment::instance(), bool debug=false, bool lenient=false)
Build a formula from an LTL string.
std::pair< location, std::string > one_parse_error
A parse diagnostic with its location.
Definition: public.hh:42
static default_environment & instance()
Get the sole instance of spot::ltl::default_environment.