partial tagging

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@618 ab42f6e0-554d-0410-b580-99e487e6eeb2
grammarware · May 1, 2009 · 93f3018 · 93f3018
1 parent bddb496
commit 93f3018
Show file tree

Hide file tree

Showing 9 changed files with 66 additions and 1,429 deletions.
diff --git a/topics/java/lci/xbgf/correct-app2.xbgf b/topics/java/lci/xbgf/correct-app2.xbgf
@@ -10,6 +10,7 @@
   <!-- ISSUE CORRECT SPECERROR
   They forgot to define a nonterminal with "intuitive" name - we predicted it in ISO N3977! -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ForInitOpt</nonterminal>
@@ -27,6 +28,7 @@
   <!-- ISSUE CORRECT SPECERROR
   They forgot to define a nonterminal with "intuitive" name - we predicted it in ISO N3977! -->
   <!-- GENERALITY -->
+<!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ForUpdateOpt</nonterminal>
@@ -43,6 +45,7 @@
 
   <!-- ISSUE CORRECT SPECERROR
   let's complete some of the statements with a trailing semicolon-->
+ <!-- CORRECTION -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>Statement</nonterminal>
@@ -72,6 +75,7 @@
 
   <!-- ISSUE CORRECT SPECERROR
   Same for BreakStatement -->
+ <!-- CORRECTION -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>Statement</nonterminal>
@@ -108,6 +112,7 @@
      Primary { Selector } { PostfixOp }
   -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:replace>
     <bgf:expression>
       <nonterminal>Expr</nonterminal>
@@ -123,6 +128,7 @@
      vs.
       - [], ,([n(FormalParameters), n(BracketsOpt), ?(,([t(throws), n(QualifiedIdentifierList)])), t((;))])
  -->
+ <!-- CORRECTION -->
   <xbgf:appear>
     <bgf:production>
       <nonterminal>VoidInterfaceMethodDeclaratorRest</nonterminal>
@@ -180,6 +186,7 @@
   <!-- ISSUE CORRECT SPECERROR
   undefined non-terminals -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ExpressionStatement</nonterminal>
@@ -205,6 +212,7 @@
 
   <!--   undefine lexical term -->
   <!-- GENERALITY -->
+  <!-- RELAXATION -->
   <xbgf:undefine>Identifier</xbgf:undefine>
 
   <!-- ISSUE CORRECT SPECERROR
@@ -214,6 +222,7 @@
      vs.
       - [], ;([*(,([n(InfixOp), n(Expression3)])), ,([n(Expression3), t(instanceof), n(Type)])])
   -->
+  <!-- KNOWNBUG -->
   <xbgf:project>
     <bgf:production>
       <nonterminal>Expression2Rest</nonterminal>

diff --git a/topics/java/lci/xbgf/correct-app3.xbgf b/topics/java/lci/xbgf/correct-app3.xbgf
@@ -13,6 +13,7 @@
 Annotation:
         </em><code>@</code><em> TypeName [<code>(</code> [Identifier <code>=</code>] ElementValue<code>)</code>]
   -->
+  <!-- KNOWNBUG -->
   <xbgf:unite>
     <add>TypeName</add>
     <to>QualifiedIdentifier</to>
@@ -25,6 +26,7 @@ Annotation:
      vs.
       - [], ;([*(,([n(InfixOp), n(Expression3)])), ,([n(Expression3), t(instanceof), n(Type)])])
   -->
+  <!-- KNOWNBUG -->
   <xbgf:project>
     <bgf:production>
       <nonterminal>Expression2Rest</nonterminal>
@@ -51,6 +53,7 @@ Annotation:
   <!-- ISSUE CORRECT SPECERROR 
   lacking definition copied from JLS2 with proper renaming -->
   <!-- GENERALITY -->
+  <!-- KNOWNBUG -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ForUpdate</nonterminal>
@@ -66,6 +69,7 @@ Annotation:
       </bgf:expression>
     </bgf:production>
   </xbgf:define>
+  <!-- KNOWNBUG -->
   <xbgf:unite>
     <add>MoreStatementExpressions</add>
     <to>Expressions</to>
@@ -79,6 +83,7 @@ Annotation:
       - [], ;([n(Block),
                ,([t(break), ?(n(Identifier)), t((;))]),
   -->
+  <!-- CORRECTION -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>Statement</nonterminal>
@@ -108,6 +113,7 @@ Annotation:
 
   <!--   ISSUE CORRECT SPECERROR
          same with continue -->
+	  <!-- CORRECTION -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>Statement</nonterminal>
@@ -145,6 +151,7 @@ Annotation:
 
    The XBGF command could've been concretize!
   -->
+  <!-- KNOWNBUG -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>ElementValues</nonterminal>
@@ -178,6 +185,7 @@ Annotation:
 
   <!--   undefine lexical term -->
   <!-- GENERALITY -->
+  <!-- RELAXATION -->
   <xbgf:undefine>Identifier</xbgf:undefine>
 
   <!-- ISSUE CORRECT SPECERROR -->
@@ -194,6 +202,7 @@ AnnotationMethodRest:
 AnnotationConstantRest:
         VariableDeclarators
   -->
+  <!-- CORRECTION -->
   <xbgf:project>
     <bgf:production>
       <nonterminal>AnnotationTypeElementRest</nonterminal>
@@ -219,6 +228,7 @@ AnnotationConstantRest:
       </bgf:expression>
     </bgf:production>
   </xbgf:project>
+  <!-- CORRECTION -->
   <xbgf:inject>
     <bgf:production>
       <nonterminal>AnnotationMethodOrConstantRest</nonterminal>
@@ -253,6 +263,7 @@ FormalParameter:
 
     -->
   <!-- GENERALITY -->
+  <!-- KNOWNBUG -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>FormalParameter</nonterminal>
@@ -283,6 +294,7 @@ FormalParameter:
     () {[]} [DefaultValue]
       where {[]} means 0 or more []'s. [DefaultValue] means 0 or 1 DefaultValue.
   -->
+  <!-- KNOWNBUG -->
   <xbgf:appear>
     <bgf:production>
       <nonterminal>AnnotationMethodRest</nonterminal>
@@ -324,7 +336,7 @@ FormalParameter:
     </bgf:production>
   </xbgf:appear>
 
-  <!-- ISSUE CORRECT
+  <!-- I S S U E   C O R R E C T 
   as in http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6442525
 * 18.1 defines TypeArgument incorrectly, e.g. '? extends int' is legal.
   Correct are ActualTypeArgument and Wildcard from 4.5.1. They use ReferenceType, which is in 4.3 but not 18.1.

diff --git a/topics/java/lci/xbgf/correct-doc1.xbgf b/topics/java/lci/xbgf/correct-doc1.xbgf
@@ -27,6 +27,7 @@
   <xbgf:vertical>
     <nonterminal>ConstantModifier</nonterminal>
   </xbgf:vertical>
+  <!-- CORRECTION -->
   <xbgf:add>
     <vertical>
       <bgf:production>
@@ -53,6 +54,7 @@
      vs.
       - [], ,([?(n(ConstantModifiers)), n(Type), n(VariableDeclarators)])
   -->
+  <!-- CORRECTION -->
   <xbgf:widen>
     <bgf:expression>
       <nonterminal>ConstantModifiers</nonterminal>
@@ -78,13 +80,15 @@
 
   SimpleTypeName is not defined formally in the JLS1
   -->
+  <!-- CORRECTION -->
   <xbgf:unite>
     <add>SimpleTypeName</add>
     <to>Identifier</to>
   </xbgf:unite>
 
   <!-- ISSUE CORRECT SPECERROR
        Another typo of JLS2 -->
+	  <!-- INITCORR -->
   <xbgf:unite>
     <add>Identifer</add>
     <to>Identifier</to>

diff --git a/topics/java/lci/xbgf/correct-doc2.xbgf b/topics/java/lci/xbgf/correct-doc2.xbgf
@@ -15,13 +15,15 @@
      vs.
       - [], ;([n(ConstantModifier), ,([n(ConstantModifiers), n(ConstantModifer)])])
   -->
+  <!-- INITCORR -->
   <xbgf:unite>
     <add>ConstantModifer</add>
     <to>ConstantModifier</to>
   </xbgf:unite>
 
   <!-- ISSUE CORRECT SPECERROR
   Another typo of JLS2 -->
+  <!-- INITCORR -->
   <xbgf:unite>
     <add>Identifer</add>
     <to>Identifier</to>
@@ -30,6 +32,7 @@
   <!-- ISSUE CORRECT SPECERROR
   Left forgotten and undefined -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ClassName</nonterminal>
@@ -67,6 +70,7 @@
 
   SimpleTypeName is not defined formally in the JLS2
   -->
+  <!-- CORRECTION -->
   <xbgf:unite>
     <add>SimpleTypeName</add>
     <to>Identifier</to>

diff --git a/topics/java/lci/xbgf/correct-doc3.xbgf b/topics/java/lci/xbgf/correct-doc3.xbgf
@@ -14,6 +14,7 @@
      vs.
       - [], ;([n(ConstantModifier), ,([n(ConstantModifier), n(ConstantModifers)])])
   -->
+  <!-- INITCORR -->
   <xbgf:unite>
     <add>ConstantModifers</add>
     <to>ConstantModifiers</to>
@@ -30,6 +31,7 @@
 </em></pre></blockquote>
   -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>TypeParameters</nonterminal>
@@ -49,6 +51,7 @@
     </bgf:production>
   </xbgf:define>
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>TypeParameterList</nonterminal>
@@ -86,6 +89,7 @@
 
   SimpleTypeName is not defined formally in the JLS2
   -->
+  <!-- CORRECTION -->
   <xbgf:unite>
     <add>SimpleTypeName</add>
     <to>Identifier</to>
@@ -94,6 +98,7 @@
   <!-- ISSUE CORRECT SPECERROR
   Left forgotten and undefined -->
   <!-- GENERALITY -->
+  <!-- INITCORR -->
   <xbgf:define>
     <bgf:production>
       <nonterminal>ClassName</nonterminal>
@@ -125,10 +130,12 @@
 
   <!-- ISSUE CORRECT SPECERROR
   "Expression1" and "Expression2" define different "Expression"s in AssertStatement actually -->
+  <!-- INITCORR -->
   <xbgf:unite>
     <add>Expression1</add>
     <to>Expression</to>
   </xbgf:unite>
+  <!-- INITCORR -->
   <xbgf:unite>
     <add>Expression2</add>
     <to>Expression</to>
@@ -280,6 +287,7 @@
               ,([n(TypeName), t(.), n(Identifier)]),
               ,([n(PackageOrTypeName), t(.), n(Identifier)])])
   -->
+  <!-- CORRECTION -->
   <xbgf:remove>
     <vertical>
       <bgf:production>
@@ -307,6 +315,7 @@
   AnnotationTypeElementDeclaration:
     AbstractMethodModifiersopt Type Identifier ( ) Dimsopt DefaultValueopt ;
   -->
+  <!-- KNOWNBUG -->
   <xbgf:appear>
     <bgf:production>
       <nonterminal>AnnotationTypeElementDeclaration</nonterminal>
@@ -365,6 +374,7 @@
   FormalParameter:
     VariableModifiers_opt Type VariableDeclaratorId
     -->
+  <!-- KNOWNBUG -->
   <xbgf:widen>
     <bgf:expression>
       <nonterminal>VariableModifiers</nonterminal>
@@ -390,6 +400,7 @@
     VariableModifiers_opt Type ..._opt VariableDeclaratorId
     FormalParameter
   -->
+  <!-- KNOWNBUG -->
   <xbgf:widen>
     <bgf:expression>
       <nonterminal>VariableModifiers</nonterminal>
@@ -410,6 +421,7 @@
 
     the same problem
   -->
+<!-- KNOWNBUG -->
   <xbgf:widen>
     <bgf:expression>
       <nonterminal>VariableModifiers</nonterminal>

diff --git a/topics/java/lci/xbgf/edit-doc1.xbgf b/topics/java/lci/xbgf/edit-doc1.xbgf
@@ -80,6 +80,7 @@
       - [], ;([,([t(new), n(ClassOrInterfaceType), t((), ?(n(ArgumentList)), t()), ?(n(ClassBody))]),
                ,([n(Primary), t(.), t(new), n(Identifier), t((), ?(n(ArgumentList)), t()), ?(n(ClassBody))])])
   -->
+  <!-- EXTENSION -->
   <xbgf:upgrade>
     <bgf:production>
       <nonterminal>ClassInstanceCreationExpression</nonterminal>
@@ -118,6 +119,7 @@
       </bgf:expression>
     </bgf:production>
   </xbgf:upgrade>
+  <!-- EXTENSION -->
   <xbgf:add>
     <vertical>
       <bgf:production>
@@ -151,6 +153,7 @@
       </bgf:production>
     </vertical>
   </xbgf:add>
+  <!-- EXTENSION -->
   <xbgf:add>
     <vertical>
       <bgf:production>