XRM 56: Minor cleanups in the grammar.

10 Jun 2006

https://svn.lrde.epita.fr/svn/xrm/trunk


Index: ChangeLog
from  SIGOURE Benoit  <sigoure.benoit@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@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@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

    

SIGOURE Benoit

tags

participants (1)