/
generalize-impl3.exbgf
34 lines (32 loc) · 1 KB
/
generalize-impl3.exbgf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
<?xml version="1.0" encoding="UTF-8"?>
<exbgf:sequence xmlns:bgf="http://planet-sl.org/bgf" xmlns:xbgf="http://planet-sl.org/xbgf" xmlns:exbgf="http://planet-sl.org/exbgf">
<!-- ISSUE PERMISSIVENESS
- Fail: ElementValue.
- [], ;([n(ConditionalExpression), n(Annotation), n(ElementValueArrayInitializer)])
vs.
- [], ;([n(Expression1), n(Annotation), n(ElementValueArrayInitializer)])
Later should be a massage (AB|AB?)->AB?
-->
<!-- RELAXATION -->
<xbgf:unite>
<add>ConditionalExpression</add>
<to>Expression1</to>
</xbgf:unite>
<exbgf:massageO2C>
<nonterminal>Expression1Rest</nonterminal>
</exbgf:massageO2C>
<exbgf:distributeV>Expression1</exbgf:distributeV>
<exbgf:factor-out>
<start>
<bgf:expression>
<nonterminal>Expression2</nonterminal>
</bgf:expression>
</start>
<optional>
<bgf:expression>
<nonterminal>Expression1Rest</nonterminal>
</bgf:expression>
</optional>
<tail/>
</exbgf:factor-out>
</exbgf:sequence>