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

* src/tgbaalgos/neverclaim.cc: Fix them.

Browse source 
* sanity/style.test: Diagnose semicolons with leading spaces.
This commit is contained in:
Alexandre Duret-Lutz 2004-05-17 10:33:46 +00:00
parent d22c647322
commit 25dc63d1d4
3 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2004-05-17 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-05-17 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/neverclaim.cc: Fix them.
* sanity/style.test: Diagnose semicolons with leading spaces.
* src/ltlvisit/forminf.cc: Fix style to please sanity checks. * src/ltlvisit/forminf.cc: Fix style to please sanity checks.
Also avoid node_type_form_visitor where a dynamic_cast is done. Also avoid node_type_form_visitor where a dynamic_cast is done.

3
src/sanity/style.test
View file

@ -90,6 +90,9 @@ while read file; do
grep '[ ]case.*:[^:].*;' $tmp && grep '[ ]case.*:[^:].*;' $tmp &&
diag 'Label should be on their own line.' diag 'Label should be on their own line.'
grep '[ ];' $tmp &&
diag 'No space before semicolon.'
$fail && echo "$file" >>failures $fail && echo "$file" >>failures
done done

4
src/tgbaalgos/neverclaim.cc
View file

@ -126,7 +126,7 @@ namespace spot
if (fi_needed_ != 0) if (fi_needed_ != 0)
os_ << " fi;" << std::endl; os_ << " fi;" << std::endl;
os_ << get_state_label(s, n) << ": "; os_ << get_state_label(s, n) << ": ";
os_ << "/* " << automata_->format_state(s) << " */" ; os_ << "/* " << automata_->format_state(s) << " */";
os_ << std::endl; os_ << std::endl;
os_ << " if" << std::endl; os_ << " if" << std::endl;
os_ << " :: (0) -> goto " << get_state_label(s, n) << std::endl; os_ << " :: (0) -> goto " << get_state_label(s, n) << std::endl;
@ -160,7 +160,7 @@ namespace spot
{ {
if (in != accept_all_) if (in != accept_all_)
{ {
os_ << " :: (" ; os_ << " :: (";
const ltl::formula* f = bdd_to_formula(si->current_condition(), const ltl::formula* f = bdd_to_formula(si->current_condition(),
automata_->get_dict()); automata_->get_dict());
to_spin_string(f, os_); to_spin_string(f, os_);