aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java')
-rw-r--r--Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java216
1 files changed, 0 insertions, 216 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java
deleted file mode 100644
index af3c684a..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java
+++ /dev/null
@@ -1,216 +0,0 @@
1/*
2 * generated by Xtext
3 */
4package hu.bme.mit.inf.dslreasoner.serializer;
5
6import com.google.inject.Inject;
7import hu.bme.mit.inf.dslreasoner.services.AlloyLanguageGrammarAccess;
8import java.util.List;
9import org.eclipse.emf.ecore.EObject;
10import org.eclipse.xtext.IGrammarAccess;
11import org.eclipse.xtext.RuleCall;
12import org.eclipse.xtext.nodemodel.INode;
13import org.eclipse.xtext.serializer.analysis.GrammarAlias.AbstractElementAlias;
14import org.eclipse.xtext.serializer.analysis.GrammarAlias.AlternativeAlias;
15import org.eclipse.xtext.serializer.analysis.GrammarAlias.TokenAlias;
16import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynNavigable;
17import org.eclipse.xtext.serializer.analysis.ISyntacticSequencerPDAProvider.ISynTransition;
18import org.eclipse.xtext.serializer.sequencer.AbstractSyntacticSequencer;
19
20@SuppressWarnings("all")
21public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer {
22
23 protected AlloyLanguageGrammarAccess grammarAccess;
24 protected AbstractElementAlias match_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1;
25 protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a;
26 protected AbstractElementAlias match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p;
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;
29 protected AbstractElementAlias match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0;
30 protected AbstractElementAlias match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1;
31
32 @Inject
33 protected void init(IGrammarAccess 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()));
36 match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a = new TokenAlias(true, true, grammarAccess.getALSBasicRelationTermAccess().getLeftParenthesisKeyword_8_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()));
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()));
41 match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1 = new AlternativeAlias(false, false, new TokenAlias(false, false, grammarAccess.getALSPreficedAccess().getExclamationMarkKeyword_0_1_0_0()), new TokenAlias(false, false, grammarAccess.getALSPreficedAccess().getNotKeyword_0_1_0_1()));
42 }
43
44 @Override
45 protected String getUnassignedRuleCallToken(EObject semanticObject, RuleCall ruleCall, INode node) {
46 return "";
47 }
48
49
50 @Override
51 protected void emitUnassignedTokens(EObject semanticObject, ISynTransition transition, INode fromNode, INode toNode) {
52 if (transition.getAmbiguousSyntaxes().isEmpty()) return;
53 List<INode> transitionNodes = collectNodes(fromNode, toNode);
54 for (AbstractElementAlias syntax : transition.getAmbiguousSyntaxes()) {
55 List<INode> syntaxNodes = getNodesFor(transitionNodes, 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);
58 else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a.equals(syntax))
59 emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(semanticObject, getLastNavigableState(), syntaxNodes);
60 else if (match_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p.equals(syntax))
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))
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))
65 emit_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1(semanticObject, getLastNavigableState(), syntaxNodes);
66 else if (match_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0.equals(syntax))
67 emit_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0(semanticObject, getLastNavigableState(), syntaxNodes);
68 else if (match_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1.equals(syntax))
69 emit_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1(semanticObject, getLastNavigableState(), syntaxNodes);
70 else acceptNodes(getLastNavigableState(), syntaxNodes);
71 }
72 }
73
74 /**
75 * Ambiguous syntax:
76 * 'and' | '&&'
77 *
78 * This ambiguous syntax occurs at:
79 * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison
80 */
81 protected void emit_ALSAnd_AmpersandAmpersandKeyword_1_1_0_or_AndKeyword_1_1_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
82 acceptNodes(transition, nodes);
83 }
84
85 /**
86 * Ambiguous syntax:
87 * '('*
88 *
89 * This ambiguous syntax occurs at:
90 * (rule start) (ambiguity) '#' operand=ALSBasicRelationTerm
91 * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm
92 * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm
93 * (rule start) (ambiguity) 'Int' (rule start)
94 * (rule start) (ambiguity) 'String' (rule start)
95 * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm
96 * (rule start) (ambiguity) 'iden' (rule start)
97 * (rule start) (ambiguity) 'none' (rule start)
98 * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration
99 * (rule start) (ambiguity) 'univ' (rule start)
100 * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm
101 * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm
102 * (rule start) (ambiguity) referred=[ALSRelationDeclaration|ID]
103 * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID]
104 * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator
105 * (rule start) (ambiguity) type=ALSMultiplicity
106 * (rule start) (ambiguity) value=INT
107 * (rule start) (ambiguity) value=STRING
108 * (rule start) (ambiguity) {ALSAnd.leftOperand=}
109 * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=}
110 * (rule start) (ambiguity) {ALSEquals.leftOperand=}
111 * (rule start) (ambiguity) {ALSIff.leftOperand=}
112 * (rule start) (ambiguity) {ALSImpl.leftOperand=}
113 * (rule start) (ambiguity) {ALSIntersection.leftOperand=}
114 * (rule start) (ambiguity) {ALSJoin.leftOperand=}
115 * (rule start) (ambiguity) {ALSLeq.leftOperand=}
116 * (rule start) (ambiguity) {ALSLess.leftOperand=}
117 * (rule start) (ambiguity) {ALSMeq.leftOperand=}
118 * (rule start) (ambiguity) {ALSMinus.leftOperand=}
119 * (rule start) (ambiguity) {ALSMore.leftOperand=}
120 * (rule start) (ambiguity) {ALSNotEquals.leftOperand=}
121 * (rule start) (ambiguity) {ALSOr.leftOperand=}
122 * (rule start) (ambiguity) {ALSOverride.leftOperand=}
123 * (rule start) (ambiguity) {ALSPlus.leftOperand=}
124 * (rule start) (ambiguity) {ALSRangeRestrictionLeft.filter=}
125 * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=}
126 * (rule start) (ambiguity) {ALSSubset.leftOperand=}
127 */
128 protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
129 acceptNodes(transition, nodes);
130 }
131
132 /**
133 * Ambiguous syntax:
134 * '('+
135 *
136 * This ambiguous syntax occurs at:
137 * (rule start) (ambiguity) '#' operand=ALSBasicRelationTerm
138 * (rule start) (ambiguity) '*' operand=ALSBasicRelationTerm
139 * (rule start) (ambiguity) '-' operand=ALSBasicRelationTerm
140 * (rule start) (ambiguity) '^' operand=ALSBasicRelationTerm
141 * (rule start) (ambiguity) 'sum' variables+=ALSVariableDeclaration
142 * (rule start) (ambiguity) '~' operand=ALSBasicRelationTerm
143 * (rule start) (ambiguity) ('not' | '!') operand=ALSBasicRelationTerm
144 * (rule start) (ambiguity) referredDefinition=[ALSDefinition|ID]
145 * (rule start) (ambiguity) referredNumericOperator=ALSNumericOperator
146 * (rule start) (ambiguity) type=ALSMultiplicity
147 * (rule start) (ambiguity) {ALSAnd.leftOperand=}
148 * (rule start) (ambiguity) {ALSDirectProduct.leftOperand=}
149 * (rule start) (ambiguity) {ALSEquals.leftOperand=}
150 * (rule start) (ambiguity) {ALSIff.leftOperand=}
151 * (rule start) (ambiguity) {ALSImpl.leftOperand=}
152 * (rule start) (ambiguity) {ALSIntersection.leftOperand=}
153 * (rule start) (ambiguity) {ALSJoin.leftOperand=}
154 * (rule start) (ambiguity) {ALSLeq.leftOperand=}
155 * (rule start) (ambiguity) {ALSLess.leftOperand=}
156 * (rule start) (ambiguity) {ALSMeq.leftOperand=}
157 * (rule start) (ambiguity) {ALSMinus.leftOperand=}
158 * (rule start) (ambiguity) {ALSMore.leftOperand=}
159 * (rule start) (ambiguity) {ALSNotEquals.leftOperand=}
160 * (rule start) (ambiguity) {ALSOr.leftOperand=}
161 * (rule start) (ambiguity) {ALSOverride.leftOperand=}
162 * (rule start) (ambiguity) {ALSPlus.leftOperand=}
163 * (rule start) (ambiguity) {ALSRangeRestrictionLeft.filter=}
164 * (rule start) (ambiguity) {ALSRangeRestrictionRight.relation=}
165 * (rule start) (ambiguity) {ALSSubset.leftOperand=}
166 */
167 protected void emit_ALSBasicRelationTerm_LeftParenthesisKeyword_8_0_p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
168 acceptNodes(transition, nodes);
169 }
170
171 /**
172 * Ambiguous syntax:
173 * '<=>' | 'iff'
174 *
175 * This ambiguous syntax occurs at:
176 * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl
177 */
178 protected void emit_ALSIff_IffKeyword_1_1_1_or_LessThanSignEqualsSignGreaterThanSignKeyword_1_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
179 acceptNodes(transition, nodes);
180 }
181
182 /**
183 * Ambiguous syntax:
184 * '=>' | 'implies'
185 *
186 * This ambiguous syntax occurs at:
187 * {ALSImpl.leftOperand=} (ambiguity) rightOperand=ALSAnd
188 */
189 protected void emit_ALSImpl_EqualsSignGreaterThanSignKeyword_1_1_0_or_ImpliesKeyword_1_1_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
190 acceptNodes(transition, nodes);
191 }
192
193 /**
194 * Ambiguous syntax:
195 * 'or' | '||'
196 *
197 * This ambiguous syntax occurs at:
198 * {ALSOr.leftOperand=} (ambiguity) rightOperand=ALSIff
199 */
200 protected void emit_ALSOr_OrKeyword_1_1_1_or_VerticalLineVerticalLineKeyword_1_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
201 acceptNodes(transition, nodes);
202 }
203
204 /**
205 * Ambiguous syntax:
206 * 'not' | '!'
207 *
208 * This ambiguous syntax occurs at:
209 * (rule start) '('* (ambiguity) operand=ALSBasicRelationTerm
210 * (rule start) '('+ (ambiguity) operand=ALSBasicRelationTerm
211 */
212 protected void emit_ALSPreficed_ExclamationMarkKeyword_0_1_0_0_or_NotKeyword_0_1_0_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
213 acceptNodes(transition, nodes);
214 }
215
216}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-24 06:11:17 +0000