Commit a28ead2d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

org: simply calls to parse_aut()

* doc/org/tut20.org, doc/org/tut21.org, doc/org/tut30.org: Simplify
the calls to parse_aut.
parent 7b3fdebc
...@@ -142,9 +142,8 @@ non-empty. ...@@ -142,9 +142,8 @@ non-empty.
int main() int main()
{ {
std::string input = "tut20.never";
spot::bdd_dict_ptr dict = spot::make_bdd_dict(); spot::bdd_dict_ptr dict = spot::make_bdd_dict();
spot::parsed_aut_ptr pa = parse_aut(input, dict); spot::parsed_aut_ptr pa = parse_aut("tut20.never", dict);
if (pa->format_errors(std::cerr)) if (pa->format_errors(std::cerr))
return 1; return 1;
// This cannot occur when reading a never claim, but // This cannot occur when reading a never claim, but
...@@ -215,7 +214,7 @@ processed in a loop. For this, you would instanciate a ...@@ -215,7 +214,7 @@ processed in a loop. For this, you would instanciate a
=automaton_stream_parser= object and call its =parse()= method in a =automaton_stream_parser= object and call its =parse()= method in a
loop. Each call to this method will either return one automaton, or loop. Each call to this method will either return one automaton, or
=nullptr= if there is no more automaton to read. The =parse_aut()= =nullptr= if there is no more automaton to read. The =parse_aut()=
function is actually a simple convenience wrapper that instanciate function is actually a simple convenience wrapper that instantiates
an =automaton_stream_parser= and calls its =parse()= method once. an =automaton_stream_parser= and calls its =parse()= method once.
......
...@@ -70,8 +70,7 @@ corresponding BDD variable number, and then use for instance ...@@ -70,8 +70,7 @@ corresponding BDD variable number, and then use for instance
int main() int main()
{ {
std::string input = "tut21.hoa"; spot::parsed_aut_ptr pa = parse_aut("tut21.hoa", spot::make_bdd_dict());
spot::parsed_aut_ptr pa = parse_aut(input, spot::make_bdd_dict());
if (pa->format_errors(std::cerr)) if (pa->format_errors(std::cerr))
return 1; return 1;
// This cannot occur when reading a never claim, but // This cannot occur when reading a never claim, but
......
...@@ -239,8 +239,7 @@ automaton to process. ...@@ -239,8 +239,7 @@ automaton to process.
int main() int main()
{ {
std::string input = "tut30.hoa"; spot::parsed_aut_ptr pa = parse_aut("tut30.hoa", spot::make_bdd_dict());
spot::parsed_aut_ptr pa = parse_aut(input, spot::make_bdd_dict());
if (pa->format_errors(std::cerr)) if (pa->format_errors(std::cerr))
return 1; return 1;
if (pa->aborted) if (pa->aborted)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment