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

* src/tgbaparse/tgbaparse.yy (acc_decl): Diagnose acceptance

conditions rejected by the environment.
parent d2cf7199
2006-02-10 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaparse/tgbaparse.yy (acc_decl): Diagnose acceptance
conditions rejected by the environment.
* iface/gspn/ltlgspn.cc (display_stats): New function.
(main): Use it.
* iface/gspn/ssp.cc: Add more counters for statistics.
......
/* Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
** département Systèmes Répartis Coopératifs (SRC), Université Pierre
** et Marie Curie.
/* Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de
** Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
** Université Pierre et Marie Curie.
**
** This file is part of Spot, a model checking library.
**
......@@ -196,6 +196,16 @@ acc_decl:
| acc_decl strident
{
formula* f = parse_environment.require(*$2);
if (! f)
{
std::string s = "acceptance condition `";
s += *$2;
s += "' unknown in environment `";
s += parse_environment.name();
s += "'";
error_list.push_back(spot::tgba_parse_error(@2, s));
YYERROR;
}
result->declare_acceptance_condition(f);
delete $2;
}
......
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