alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltltest/readltl.cc, src/ltltest/equals.cc: Cosmetics.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-04-17 15:52:04 +00:00
parent 2a0f88373e
commit 83cb6f3a39
3 changed files with 9 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,5 +1,7 @@
2003-04-17 Alexandre DURET-LUTZ <aduret@src.lip6.fr> 2003-04-17 Alexandre DURET-LUTZ <aduret@src.lip6.fr>
* src/ltltest/readltl.cc, src/ltltest/equals.cc: Cosmetics.
* src/ltlenv/environment.hh (require): Return a formula, not * src/ltlenv/environment.hh (require): Return a formula, not
an atomic_prop. an atomic_prop.
* src/ltlast/atomic_prop.hh (atomic_prop): New argument env. * src/ltlast/atomic_prop.hh (atomic_prop): New argument env.

8
src/ltltest/equals.cc
View file

@ -7,27 +7,27 @@
#include "ltlvisit/nenoform.hh" #include "ltlvisit/nenoform.hh"
void void
syntax(char *prog) syntax(char* prog)
{ {
std::cerr << prog << " formula1 formula2" << std::endl; std::cerr << prog << " formula1 formula2" << std::endl;
exit(2); exit(2);
} }
int int
main(int argc, char **argv) main(int argc, char** argv)
{ {
if (argc != 3) if (argc != 3)
syntax(argv[0]); syntax(argv[0]);
spot::ltl::parse_error_list p1; spot::ltl::parse_error_list p1;
spot::ltl::formula *f1 = spot::ltl::parse(argv[1], p1); spot::ltl::formula* f1 = spot::ltl::parse(argv[1], p1);
if (spot::ltl::format_parse_errors(std::cerr, argv[1], p1)) if (spot::ltl::format_parse_errors(std::cerr, argv[1], p1))
return 2; return 2;
spot::ltl::parse_error_list p2; spot::ltl::parse_error_list p2;
spot::ltl::formula *f2 = spot::ltl::parse(argv[2], p2); spot::ltl::formula* f2 = spot::ltl::parse(argv[2], p2);
if (spot::ltl::format_parse_errors(std::cerr, argv[2], p2)) if (spot::ltl::format_parse_errors(std::cerr, argv[2], p2))
return 2; return 2;

6
src/ltltest/readltl.cc
View file

@ -4,14 +4,14 @@
#include "ltlvisit/dotty.hh" #include "ltlvisit/dotty.hh"
void void
syntax(char *prog) syntax(char* prog)
{ {
std::cerr << prog << " [-d] formula" << std::endl; std::cerr << prog << " [-d] formula" << std::endl;
exit(2); exit(2);
} }
int int
main(int argc, char **argv) main(int argc, char** argv)
{ {
int exit_code = 0; int exit_code = 0;
@ -31,7 +31,7 @@ main(int argc, char **argv)
spot::ltl::environment& env(spot::ltl::default_environment::instance()); spot::ltl::environment& env(spot::ltl::default_environment::instance());
spot::ltl::parse_error_list pel; spot::ltl::parse_error_list pel;
spot::ltl::formula *f = spot::ltl::parse(argv[formula_index], spot::ltl::formula* f = spot::ltl::parse(argv[formula_index],
pel, env, debug); pel, env, debug);
spot::ltl::parse_error_list::iterator it; spot::ltl::parse_error_list::iterator it;