eliminate and introduce are semantics preserving

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@390 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · Oct 29, 2008 · 1203ce0 · 1203ce0
1 parent 662a26c
commit 1203ce0
Show file tree

Hide file tree

Showing 8 changed files with 4 additions and 15 deletions.
diff --git a/topics/java/lci/xbgf/correct-app1.xbgf b/topics/java/lci/xbgf/correct-app1.xbgf
@@ -8,7 +8,6 @@
   </xbgf:reroot>
 
   <!-- not used in other versions -->
-  <!-- NONISS -->
   <xbgf:eliminate>Goal</xbgf:eliminate>
 
 </xbgf:sequence>
diff --git a/topics/java/lci/xbgf/correct-app2.xbgf b/topics/java/lci/xbgf/correct-app2.xbgf
@@ -214,10 +214,11 @@
     </bgf:production>
   </xbgf:define>
 
-  <!-- ISSUE CORRECT SPECERROR
-  unused non-terminals -->
+  <!-- ISSUE CORRECT SPECERROR unused non-terminal -->
   <xbgf:eliminate>ArgumentsOpt</xbgf:eliminate>
+  <!-- ISSUE CORRECT SPECERROR unused non-terminal -->
   <xbgf:eliminate>VoidMethodDeclaratorRest</xbgf:eliminate>
+  <!-- ISSUE CORRECT SPECERROR unused non-terminal -->
   <xbgf:eliminate>VariableDeclaratorsRest</xbgf:eliminate>
 
   <!--   undefine lexical term -->

diff --git a/topics/java/lci/xbgf/edit-doc2.xbgf b/topics/java/lci/xbgf/edit-doc2.xbgf
@@ -14,9 +14,7 @@
     <add>ConstructorBody</add>
     <to>MethodBody</to>
   </xbgf:unite>
-<!-- BREFACTOR -->
   <xbgf:eliminate>ExplicitConstructorInvocation</xbgf:eliminate>
-<!-- BREFACTOR -->
   <xbgf:eliminate>ArgumentList</xbgf:eliminate>
 
   <!-- ISSUE PERMISSIVENESS

diff --git a/topics/java/lci/xbgf/editExpressions.xbgf b/topics/java/lci/xbgf/editExpressions.xbgf
@@ -146,13 +146,9 @@
       </bgf:expression>
     </bgf:production>
   </xbgf:remove>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>ArrayCreationExpression</xbgf:eliminate>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>DimExprs</xbgf:eliminate>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>DimExpr</xbgf:eliminate>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>Dims</xbgf:eliminate>
   <!-- BREFACTOR -->
   <xbgf:add>

diff --git a/topics/java/lci/xbgf/eliminate-doc2.xbgf b/topics/java/lci/xbgf/eliminate-doc2.xbgf
@@ -2,11 +2,8 @@
   xmlns:bgf="http://planet-sl.org/bgf"
   xmlns:xbgf="http://planet-sl.org/xbgf">
 
-  <!-- BREFACTOR -->
   <xbgf:eliminate>ArrayAccess</xbgf:eliminate>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>MethodInvocation</xbgf:eliminate>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>ClassInstanceCreationExpression</xbgf:eliminate>
 
 </xbgf:sequence>
diff --git a/topics/java/lci/xbgf/refactor-app3.xbgf b/topics/java/lci/xbgf/refactor-app3.xbgf
@@ -109,7 +109,6 @@
       </choice>
     </bgf:expression>
   </xbgf:replace>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>Selector</xbgf:eliminate>
 
 </xbgf:sequence>
diff --git a/topics/java/lci/xbgf/refactorExpressions.xbgf b/topics/java/lci/xbgf/refactorExpressions.xbgf
@@ -550,7 +550,6 @@ vs
   <xbgf:undefine>ExclusiveOrExpression</xbgf:undefine>
   <!-- BREFACTOR -->
   <xbgf:undefine>InclusiveOrExpression</xbgf:undefine>
-  <!-- BREFACTOR -->
   <xbgf:eliminate>ConditionalAndExpression</xbgf:eliminate>
 
   <!-- And now "Expression1" -->

diff --git a/topics/presentation/metrics/xbgf_overview.py b/topics/presentation/metrics/xbgf_overview.py
@@ -3,7 +3,7 @@
 import sys
 import elementtree.ElementTree as ET
 
-safexbgf = ('deyaccify', 'yaccify','chain', 'unchain', 'extract', 'fold', 'inline', 'unfold', 'distribute', 'factor', 'massage', 'designate', 'strip')
+safexbgf = ('deyaccify', 'yaccify','chain', 'unchain', 'extract', 'fold', 'inline', 'unfold', 'distribute', 'factor', 'massage', 'designate', 'strip','eliminate','introduce')
 rkeys = ('LOC','NOI','NOX','NI~','NI+','NI!','SGO','COR','NI^')
 
 names   = []