Saut_io

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.

---

Typedef Documentation

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.

---

Function Documentation

bool format_saut_parse_errors (  std::ostream &  os, const std::string &  filename, saut_parse_error_list &  error_list )

Format diagnostics produced by spot::saut_parse. Parameters: os  Where diagnostics should be output. filename  The filename that should appear in the diagnostics. error_list  The error list filled by spot::ltl::parse while parsing ltl_string. Returns: true iff any diagnostic was output.

saut* 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. Parameters: filename  The name of the file to parse. error_list  A list that will be filled with parse errors that occured during parsing. dict  The BDD dictionary where to use. env  The environment of atomic proposition into which parsing should take place. debug  When true, causes the parser to trace its execution. Returns: A pointer to the saut built from filename, or 0 if the file could not be opened. Note that the parser usually tries to recover from errors. It can return an non zero value even if it encountered error during the parsing of filename. If you want to make sure filename was parsed succesfully, check error_list for emptiness. Warning: This function is not reentrant.

---

Please comment this page and report errors about it on the RefDocComments page.