XRM 58: Add ConstantDef in concrete syntax.

https://svn.lrde.epita.fr/svn/xrm/trunk Index: ChangeLog from SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> Add ConstantDef in concrete syntax. * src/syn/prism/PRISM-ModulesFile.sdf: Remove useless comment. * src/syn/prism/StrategoPRISM.sdf: Add ConstantDef in concrete syntax. PRISM-ModulesFile.sdf | 6 ------ StrategoPRISM.sdf | 1 + 2 files changed, 1 insertion(+), 6 deletions(-) Index: src/syn/prism/PRISM-ModulesFile.sdf --- src/syn/prism/PRISM-ModulesFile.sdf (revision 57) +++ src/syn/prism/PRISM-ModulesFile.sdf (working copy) @@ -37,9 +37,3 @@ SystemComp -> ModulesFileSection RewardStruct -> ModulesFileSection Init -> ModulesFileSection - -%% At this time we don't need to be able to parse property files... - -%% LabelDef* -> PropertiesFile {cons("PropertiesFile")} -%% ConstantDef* -> PropertiesFile {cons("PropertiesFile")} -%% SinglePCTLFormula* -> PropertiesFile {cons("PropertiesFile")} Index: src/syn/prism/StrategoPRISM.sdf --- src/syn/prism/StrategoPRISM.sdf (revision 57) +++ src/syn/prism/StrategoPRISM.sdf (working copy) @@ -15,6 +15,7 @@ "|[" Expression "]|" -> StrategoTerm {prefer,cons("ToTerm")} "|[" Declaration "]|" -> StrategoTerm {prefer,cons("ToTerm")} "|[" Command "]|" -> StrategoTerm {prefer,cons("ToTerm")} + "|[" ConstantDef "]|" -> StrategoTerm {prefer,cons("ToTerm")} context-free syntax
participants (1)
-
SIGOURE Benoit