Commit c4cca8ea authored by Benoit Barbot's avatar Benoit Barbot

p

parent b3a6ac10
......@@ -236,7 +236,7 @@ NbTransitions: NbTr EQ ival SEMICOLON {Reader.spn->tr=$3;
PlacesList: PList EQ '{' PLabels '}' SEMICOLON {
if(Reader.spn->PlacesId.size()!=Reader.spn->pl){
std::cout<<"Place label missing or redeclared, please check your places list"<<std::endl;
std::cout<<"Place label missing or redeclared, expected:"<< Reader.spn->pl <<"; found: "<< Reader.spn->PlacesId.size() <<std::endl;
YYABORT;
}
......@@ -249,6 +249,7 @@ PlacesList: PList EQ '{' PLabels '}' SEMICOLON {
};
PLabels : str {
//cout << "New place name:" << *$1 << endl;
place p;
p.name = *$1;
p.id = Reader.spn->placeStruct.size();
......@@ -257,6 +258,8 @@ PLabels : str {
Reader.spn->PlacesId[*$1]=sz;
}
|PLabels COMMA str {
//cout << "New place name:" << *$3 << endl;
place p;
p.name = *$3;
p.id = Reader.spn->placeStruct.size();
......@@ -267,8 +270,8 @@ PLabels : str {
TransitionsList: TList EQ '{' TLabels '}' SEMICOLON {
if(Reader.spn->TransList.size()!=Reader.spn->tr){
std::cout<<"Transition label missing or redeclared, please check your transitions list"<<std::endl;
YYABORT;
std::cout<<"Transition label missing or redeclared, expected:"<< Reader.spn->tr <<"; found: "<< Reader.spn->TransList.size() << endl;
YYABORT;
}
};
......
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