diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | 32 |
1 files changed, 17 insertions, 15 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java index cb2da160..4a5cad5d 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |||
@@ -22,8 +22,8 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
22 | 22 | ||
23 | protected AlloyLanguageGrammarAccess grammarAccess; | 23 | protected AlloyLanguageGrammarAccess grammarAccess; |
24 | protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1; | 24 | protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1; |
25 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a; | 25 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a; |
26 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p; | 26 | protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p; |
27 | protected AbstractElementAlias match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; | 27 | protected AbstractElementAlias match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; |
28 | protected AbstractElementAlias match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1; | 28 | protected AbstractElementAlias match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1; |
29 | protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0; | 29 | protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0; |
@@ -33,8 +33,8 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
33 | protected void init(IGrammarAccess access) { | 33 | protected void init(IGrammarAccess access) { |
34 | grammarAccess = (AlloyLanguageGrammarAccess) access; | 34 | grammarAccess = (AlloyLanguageGrammarAccess) access; |
35 | match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1())); | 35 | match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAmpersandAmpersandKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSAndAccess().getAndKeyword_1_1_1())); |
36 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | 36 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); |
37 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p = new TokenAlias(true, false, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_6_0()); | 37 | match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p = new TokenAlias(true, false, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_0()); |
38 | match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0())); | 38 | match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSIffAccess().getIffKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSIffAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0())); |
39 | match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1())); | 39 | match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSImplAccess().getEqualsSignGreaterThanSignKeyword_1_1_0()), new TokenAlias(false, false, grammarAccess.getALSImplAccess().getImpliesKeyword_1_1_1())); |
40 | match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0())); | 40 | match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSOrAccess().getOrKeyword_1_1_1()), new TokenAlias(false, false, grammarAccess.getALSOrAccess().getVerticalLineVerticalLineKeyword_1_1_0())); |
@@ -55,10 +55,10 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
55 | List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax); | 55 | List<INode> syntaxNodes = getNodesFor(transitionNodes, syntax); |
56 | if (match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1.equals(syntax)) | 56 | if (match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1.equals(syntax)) |
57 | emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); | 57 | emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes); |
58 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a.equals(syntax)) | 58 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a.equals(syntax)) |
59 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(semanticObject, getLastNavigableState(), syntaxNodes); | 59 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(semanticObject, getLastNavigableState(), syntaxNodes); |
60 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p.equals(syntax)) | 60 | else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p.equals(syntax)) |
61 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(semanticObject, getLastNavigableState(), syntaxNodes); | 61 | emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p(semanticObject, getLastNavigableState(), syntaxNodes); |
62 | else if (match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0.equals(syntax)) | 62 | else if (match_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0.equals(syntax)) |
63 | emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); | 63 | emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes); |
64 | else if (match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1.equals(syntax)) | 64 | else if (match_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1.equals(syntax)) |
@@ -73,7 +73,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
73 | 73 | ||
74 | /** | 74 | /** |
75 | * Ambiguous syntax: | 75 | * Ambiguous syntax: |
76 | * '&&' | 'and' | 76 | * 'and' | '&&' |
77 | * | 77 | * |
78 | * This ambiguous syntax occurs at: | 78 | * This ambiguous syntax occurs at: |
79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison | 79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison |
@@ -91,18 +91,20 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
91 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm | 91 | * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm |
92 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm | 92 | * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm |
93 | * (rule start) (ambiguity) 'Int' (rule start) | 93 | * (rule start) (ambiguity) 'Int' (rule start) |
94 | * (rule start) (ambiguity) 'String' (rule start) | ||
94 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | 95 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm |
95 | * (rule start) (ambiguity) 'iden' (rule start) | 96 | * (rule start) (ambiguity) 'iden' (rule start) |
96 | * (rule start) (ambiguity) 'none' (rule start) | 97 | * (rule start) (ambiguity) 'none' (rule start) |
97 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | 98 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration |
98 | * (rule start) (ambiguity) 'univ' (rule start) | 99 | * (rule start) (ambiguity) 'univ' (rule start) |
99 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | 100 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm |
100 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | 101 | * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm |
101 | * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID] | 102 | * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID] |
102 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | 103 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] |
103 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | 104 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator |
104 | * (rule start) (ambiguity) type=ALSMultiplicity | 105 | * (rule start) (ambiguity) type=ALSMultiplicity |
105 | * (rule start) (ambiguity) value=INT | 106 | * (rule start) (ambiguity) value=INT |
107 | * (rule start) (ambiguity) value=STRING | ||
106 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} | 108 | * (rule start) (ambiguity) {ALSAnd.leftOperand=} |
107 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} | 109 | * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=} |
108 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} | 110 | * (rule start) (ambiguity) {ALSEquals.leftOperand=} |
@@ -123,7 +125,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
123 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | 125 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} |
124 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | 126 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} |
125 | */ | 127 | */ |
126 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 128 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
127 | acceptNodes(transition, nodes); | 129 | acceptNodes(transition, nodes); |
128 | } | 130 | } |
129 | 131 | ||
@@ -138,7 +140,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
138 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm | 140 | * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm |
139 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration | 141 | * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration |
140 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm | 142 | * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm |
141 | * (rule start) (ambiguity) ('!' | 'not') operand=ALSBasicRelationTerm | 143 | * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm |
142 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] | 144 | * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID] |
143 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator | 145 | * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator |
144 | * (rule start) (ambiguity) type=ALSMultiplicity | 146 | * (rule start) (ambiguity) type=ALSMultiplicity |
@@ -162,7 +164,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
162 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} | 164 | * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=} |
163 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} | 165 | * (rule start) (ambiguity) {ALSSubset.leftOperand=} |
164 | */ | 166 | */ |
165 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_6_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { | 167 | protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) { |
166 | acceptNodes(transition, nodes); | 168 | acceptNodes(transition, nodes); |
167 | } | 169 | } |
168 | 170 | ||
@@ -190,7 +192,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
190 | 192 | ||
191 | /** | 193 | /** |
192 | * Ambiguous syntax: | 194 | * Ambiguous syntax: |
193 | * '||' | 'or' | 195 | * 'or' | '||' |
194 | * | 196 | * |
195 | * This ambiguous syntax occurs at: | 197 | * This ambiguous syntax occurs at: |
196 | * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff | 198 | * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff |
@@ -201,7 +203,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
201 | 203 | ||
202 | /** | 204 | /** |
203 | * Ambiguous syntax: | 205 | * Ambiguous syntax: |
204 | * '!' | 'not' | 206 | * 'not' | '!' |
205 | * | 207 | * |
206 | * This ambiguous syntax occurs at: | 208 | * This ambiguous syntax occurs at: |
207 | * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm | 209 | * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm |