extendModifiers.xbgf

<xbgf:sequence
  xmlns:bgf="http://planet-sl.org/bgf"
  xmlns:xbgf="http://planet-sl.org/xbgf">

  <!-- ISSUE EXTEND
  defining the new nonterminals -->
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>ElementValuePair</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <nonterminal>Identifier</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>=</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>ElementValue</nonterminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>ElementValuePairs</nonterminal>
      <bgf:expression>
        <nonterminal>ElementValuePair</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>ElementValuePairs</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <nonterminal>ElementValuePairs</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>,</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>ElementValuePair</nonterminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>ElementValueArrayInitializer</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <terminal>{</terminal>
          </bgf:expression>
          <bgf:expression>
            <optional>
              <bgf:expression>
                <nonterminal>ElementValues</nonterminal>
              </bgf:expression>
            </optional>
          </bgf:expression>
          <bgf:expression>
            <optional>
              <bgf:expression>
                <terminal>,</terminal>
              </bgf:expression>
            </optional>
          </bgf:expression>
          <bgf:expression>
            <terminal>}</terminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>MarkerAnnotation</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <terminal>@</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>TypeName</nonterminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>SingleElementAnnotation</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <terminal>@</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>TypeName</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>(</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>ElementValue</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>)</terminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>NormalAnnotation</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <terminal>@</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>TypeName</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>(</terminal>
          </bgf:expression>
          <bgf:expression>
            <optional>
              <bgf:expression>
                <nonterminal>ElementValuePairs</nonterminal>
              </bgf:expression>
            </optional>
          </bgf:expression>
          <bgf:expression>
            <terminal>)</terminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <xbgf:introduce>
    <bgf:production>
      <nonterminal>Annotation</nonterminal>
      <bgf:expression>
        <nonterminal>NormalAnnotation</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>Annotation</nonterminal>
      <bgf:expression>
        <nonterminal>MarkerAnnotation</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>Annotation</nonterminal>
      <bgf:expression>
        <nonterminal>SingleElementAnnotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:introduce>
  <!-- GENERALITY -->
  <xbgf:define>
    <bgf:production>
      <nonterminal>ElementValue</nonterminal>
      <bgf:expression>
        <nonterminal>ConditionalExpression</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>ElementValue</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>ElementValue</nonterminal>
      <bgf:expression>
        <nonterminal>ElementValueArrayInitializer</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:define>
  <!-- GENERALITY -->
  <xbgf:define>
    <bgf:production>
      <nonterminal>ElementValues</nonterminal>
      <bgf:expression>
        <nonterminal>ElementValue</nonterminal>
      </bgf:expression>
    </bgf:production>
    <bgf:production>
      <nonterminal>ElementValues</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <nonterminal>ElementValues</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <terminal>,</terminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>ElementValue</nonterminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:define>

  <!-- 
     - Fail: ConstantModifiers.
      - [], ;([n(ConstantModifier), ,([n(ConstantModifiers), n(ConstantModifier)])])
     vs.
      - [], ;([n(ConstantModifier), ,([n(ConstantModifier), n(ConstantModifers)])])
  -->
  <xbgf:deyaccify>ConstantModifiers</xbgf:deyaccify>
  <xbgf:yaccify>
    <bgf:production>
      <nonterminal>ConstantModifiers</nonterminal>
      <bgf:expression>
        <choice>
          <bgf:expression>
            <nonterminal>ConstantModifier</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <sequence>
              <bgf:expression>
                <nonterminal>ConstantModifier</nonterminal>
              </bgf:expression>
              <bgf:expression>
                <nonterminal>ConstantModifiers</nonterminal>
              </bgf:expression>
            </sequence>
          </bgf:expression>
        </choice>
      </bgf:expression>
    </bgf:production>
  </xbgf:yaccify>
  <xbgf:vertical>
    <nonterminal>ConstantModifiers</nonterminal>
  </xbgf:vertical>

  <!-- ISSUE EXTEND
    - Fail: FieldModifier.
      - [], ;([t(public), t(protected), t(private), t(static), t(final), t(transient), t((volatile))])
     vs.
      - [], ;([n(Annotation), t(public), t(protected), t(private), t(static), t(final), t(transient), t((volatile))])
  -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>FieldModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: InterfaceModifier.
      - [], ;([t(public), t(protected), t(private), t(abstract), t(static), t(strictfp)])
     vs.
      - [], ;([n(Annotation), t(public), t(protected), t(private), t(abstract), t(static), t(strictfp)])
  -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>InterfaceModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: AbstractMethodModifier.
      - [], ;([t(public), t(abstract)])
     vs.
      - [], ;([n(Annotation), t(public), t(abstract)])
  -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>AbstractMethodModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: ConstantModifier.
      - [], ;([t(public), t(static), t(final)])
     vs.
      - [], ;([n(Annotation), t(public), t(static), t(final)])
  -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>ConstantModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
   - Fail: MethodModifier.
      - [], ;([t(public), t(protected), t(private), t(abstract), t(static), t(final), t(synchronized), t(native), t(strictfp)])
     vs.
      - [], ;([n(Annotation), t(public), t(protected), t(private), t(abstract), t(static), t(final), t(synchronized), t(native), t(strictfp)])
   -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>MethodModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: ClassModifier.
      - [], ;([t(public), t(protected), t(private), t(abstract), t(static), t(final), t(strictfp)])
     vs.
      - [], ;([n(Annotation), t(public), t(protected), t(private), t(abstract), t(static), t(final), t(strictfp)])
   -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>ClassModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
   - Fail: LocalVariableDeclaration.
      - [], ,([?(t(final)), n(Type), n(VariableDeclarators)])
     vs.
      - [], ,([n(VariableModifiers), n(Type), n(VariableDeclarators)])
   - Fail: FormalParameter.
      - [], ,([?(t(final)), n(Type), n(VariableDeclaratorId)])
     vs.
      - [], ,([n(VariableModifiers), n(Type), n(VariableDeclaratorId)])
  -->
  <xbgf:extract>
    <bgf:production>
      <nonterminal>VariableModifiers</nonterminal>
      <bgf:expression>
        <optional>
          <bgf:expression>
            <terminal>final</terminal>
          </bgf:expression>
        </optional>
      </bgf:expression>
    </bgf:production>
  </xbgf:extract>
  <xbgf:chain>
    <bgf:production>
      <nonterminal>VariableModifiers</nonterminal>
      <bgf:expression>
        <nonterminal>VariableModifier</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:chain>
  <xbgf:add>
    <bgf:production>
      <nonterminal>VariableModifiers</nonterminal>
      <bgf:expression>
        <sequence>
          <bgf:expression>
            <nonterminal>VariableModifiers</nonterminal>
          </bgf:expression>
          <bgf:expression>
            <nonterminal>VariableModifier</nonterminal>
          </bgf:expression>
        </sequence>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: ConstructorModifier.
      - [], ;([t(public), t(protected), t(private)])
     vs.
      - [], ;([n(Annotation), t(public), t(protected), t(private)])
  -->
  <xbgf:add>
    <bgf:production>
      <nonterminal>ConstructorModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

  <!-- ISSUE EXTEND
     - Fail: VariableModifier.
      - [], ?(t(final))
     vs.
      - [], ;([t(final), n(Annotation)])
  -->
  <xbgf:narrow>
    <bgf:expression>
      <optional>
        <bgf:expression>
          <terminal>final</terminal>
        </bgf:expression>
      </optional>
    </bgf:expression>
    <bgf:expression>
      <terminal>final</terminal>
    </bgf:expression>
    <in>
      <nonterminal>VariableModifier</nonterminal>
    </in>
  </xbgf:narrow>
  <xbgf:add>
    <bgf:production>
      <nonterminal>VariableModifier</nonterminal>
      <bgf:expression>
        <nonterminal>Annotation</nonterminal>
      </bgf:expression>
    </bgf:production>
  </xbgf:add>

</xbgf:sequence>