Typedefs | |
typedef std::pair< yy::location, std::string > | spot::saut_parse_error |
A parse diagnostic with its location. | |
typedef std::list< saut_parse_error > | spot::saut_parse_error_list |
A list of parser diagnostics, as filled by parse. | |
Functions | |
saut * | spot::saut_parse (const std::string &filename, saut_parse_error_list &error_list, bdd_dict *dict, ltl::environment &env=ltl::default_environment::instance(), bool debug=false) |
Build a spot::saut_explicit from a text file. | |
bool | spot::format_saut_parse_errors (std::ostream &os, const std::string &filename, saut_parse_error_list &error_list) |
Format diagnostics produced by spot::saut_parse. |
|
A parse diagnostic with its location.
|
|
A list of parser diagnostics, as filled by parse.
|
|
Format diagnostics produced by spot::saut_parse.
|
|
Build a spot::saut_explicit from a text file.
|