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

* evtgbaparse/evtgbaparse.yy, ltlparse/ltlparse.yy,

Browse source 
tgbaparse/tgbaparse.yy: Fix Bison warnings about unset $$.
This commit is contained in:
Alexandre Duret-Lutz 2006-08-30 12:11:28 +00:00
parent 94bf01a53c
commit ac94af5791
4 changed files with 15 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2006-08-30 Alexandre Duret-Lutz <adl@src.lip6.fr>
* evtgbaparse/evtgbaparse.yy, ltlparse/ltlparse.yy,
tgbaparse/tgbaparse.yy: Fix Bison warnings about unset $$.
* src/tgbaparse/Makefile.am (tgbaparse_HEADERS): Also
install location.hh and position.hh, since we no longer share
those of ltlvisit.

8
src/evtgbaparse/evtgbaparse.yy
View file

@ -1,4 +1,4 @@
/* Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
/* Copyright (C) 2004, 2005, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
** département Systèmes Répartis Coopératifs (SRC), Université Pierre
** et Marie Curie.
**
@ -85,6 +85,7 @@ line: strident ',' strident ',' strident ',' acc_list ';'
string: STRING
| UNTERMINATED_STRING
{
$$ = $1;
error_list.push_back(spot::evtgba_parse_error(@1,
"unterminated string"));
}
@ -97,7 +98,8 @@ acc_list:
}
| acc_list strident
{
$1->insert(spot::rsymbol(*$2));
$$ = $1;
$$->insert(spot::rsymbol(*$2));
delete $2;
}
;
@ -121,7 +123,7 @@ init_decl:
%%
void
evtgbayy::parser::error(const location_type& location,
evtgbayy::parser::error(const location_type& location,
const std::string& message)
{
error_list.push_back(spot::evtgba_parse_error(location, message));

10
src/ltlparse/ltlparse.yy
View file

@ -1,6 +1,6 @@
/* 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.
**
@ -103,14 +103,14 @@ using namespace spot::ltl;
%nonassoc OP_POST_NEG OP_POST_POS
%type <ltl> result subformula
%type <ltl> subformula
/* At the time of writing (2004-01-05) there is a bug in CVS Bison: if
you give a token (such a ATOMIC_PROP) a name (such as "atomic
proposition"), then the %destructor should refer to that name.
References to ATOMIC_PROP are silently ignored. */
%destructor { delete $$; } "atomic proposition"
%destructor { spot::ltl::destroy($$); } result subformula
%destructor { spot::ltl::destroy($$); } subformula
%printer { debug_stream() << *$$; } "atomic proposition"

3
src/tgbaparse/tgbaparse.yy
View file

@ -152,6 +152,7 @@ line: strident ',' strident ',' condition ',' acc_list ';'
string: STRING
| UNTERMINATED_STRING
{
$$ = $1;
error_list.push_back(spot::tgba_parse_error(@1,
"unterminated string"));
}
@ -219,7 +220,7 @@ acc_decl:
%%
void
tgbayy::parser::error(const location_type& location,
tgbayy::parser::error(const location_type& location,
const std::string& message)
{
error_list.push_back(spot::tgba_parse_error(location, message));