[Projects] XRM 56: Minor cleanups in the grammar.

https://svn.lrde.epita.fr/svn/xrm/trunk Index: ChangeLog from SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Minor cleanups in the grammar. * src/syn/prism/PRISM-MetaCongruences.sdf: Add ConstantDef in concrete syntax. * src/syn/prism/PRISM-Main.sdf: Remove useless imports. * src/syn/prism/PRISM-StartSymbols.sdf: Remove useless start symbol (Identifier). * src/syn/xrm/XRM-StartSymbols.sdf: Ditto. * src/syn/prism/Makefile.am: Don't generate .pp tables (they're not used anyway). Don't use PRISM-Label (in fact, this is for PCTL). * src/syn/xrm/Makefile.am: Ditto. prism/Makefile.am | 5 +---- prism/PRISM-Main.sdf | 16 ---------------- prism/PRISM-MetaCongruences.sdf | 1 + prism/PRISM-StartSymbols.sdf | 1 - xrm/Makefile.am | 4 +--- xrm/XRM-StartSymbols.sdf | 1 - 6 files changed, 3 insertions(+), 25 deletions(-) Index: src/syn/prism/PRISM-MetaCongruences.sdf --- src/syn/prism/PRISM-MetaCongruences.sdf (revision 55) +++ src/syn/prism/PRISM-MetaCongruences.sdf (working copy) @@ -7,3 +7,4 @@ "|[" Expression "]|" -> StrategoStrategy {prefer,cons("ToStrategy")} "|[" Declaration "]|" -> StrategoStrategy {prefer,cons("ToStrategy")} "|[" Command "]|" -> StrategoStrategy {prefer,cons("ToStrategy")} + "|[" ConstantDef "]|" -> StrategoStrategy {prefer,cons("ToStrategy")} Index: src/syn/prism/PRISM-Main.sdf --- src/syn/prism/PRISM-Main.sdf (revision 55) +++ src/syn/prism/PRISM-Main.sdf (working copy) @@ -1,20 +1,4 @@ module PRISM-Main imports - PRISM-Command - PRISM-Constant - PRISM-Declaration - PRISM-Expression - PRISM-Formula - PRISM-Global - PRISM-Identifier - PRISM-Init - PRISM-Label PRISM-Layout - PRISM-Literals - PRISM-Module PRISM-ModulesFile - PRISM-ModulesFileType - PRISM-Reward - PRISM-SystemComposition - PRISM-Update - Index: src/syn/prism/PRISM-StartSymbols.sdf --- src/syn/prism/PRISM-StartSymbols.sdf (revision 55) +++ src/syn/prism/PRISM-StartSymbols.sdf (working copy) @@ -13,7 +13,6 @@ Command Expression Updates - Identifier SystemComp RewardStruct ModulesFileSection Index: src/syn/prism/Makefile.am --- src/syn/prism/Makefile.am (revision 55) +++ src/syn/prism/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Fri May 26 02:12:29 2006 SIGOURE Benoit +## Last update Sat Jun 10 00:22:28 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -20,8 +20,6 @@ pkgdata_DATA_built = \ PRISM.def \ PRISM.tbl \ - PRISM.pp \ - PRISM.pp.af \ PRISM.rtg \ PRISM.str \ PRISM-StartSymbols.tbl \ @@ -49,7 +47,6 @@ PRISM-Identifier.sdf \ PRISM-Init.sdf \ PRISM-Keywords.sdf \ - PRISM-Label.sdf \ PRISM-Layout.sdf \ PRISM-Literals.sdf \ PRISM-Main.sdf \ Index: src/syn/xrm/Makefile.am --- src/syn/xrm/Makefile.am (revision 55) +++ src/syn/xrm/Makefile.am (working copy) @@ -5,7 +5,7 @@ ## Mail <sigoure.benoit(a)lrde.epita.fr> ## ## Started on Thu Apr 27 17:40:41 2006 SIGOURE Benoit -## Last update Fri May 26 02:12:42 2006 SIGOURE Benoit +## Last update Sat Jun 10 00:20:27 2006 SIGOURE Benoit ## include $(top_srcdir)/config/Transformers.mk @@ -22,8 +22,6 @@ pkgdata_DATA_built = \ XRM.def \ XRM.tbl \ - XRM.pp \ - XRM.pp.af \ XRM.rtg \ XRM.str \ XRM-StartSymbols.tbl \ Index: src/syn/xrm/XRM-StartSymbols.sdf --- src/syn/xrm/XRM-StartSymbols.sdf (revision 55) +++ src/syn/xrm/XRM-StartSymbols.sdf (working copy) @@ -13,7 +13,6 @@ Command Expression Updates - Identifier SystemComp RewardStruct ModulesFileSection