diff options
author | 2020-06-13 19:24:25 -0400 | |
---|---|---|
committer | 2020-06-13 19:24:25 -0400 | |
commit | 022a1e52e0cf20f64d9cd6685c65d945c04eaecc (patch) | |
tree | c281cd871d008ae63640fbdd9ff5739e273cb224 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java | |
parent | Merge branch 'Vampire-New' into Vampire-New (diff) | |
download | VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.gz VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.tar.zst VIATRA-Generator-022a1e52e0cf20f64d9cd6685c65d945c04eaecc.zip |
remove Alloy solver copy
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java | 2721 |
1 files changed, 0 insertions, 2721 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java deleted file mode 100644 index 82f107a6..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/services/AlloyLanguageGrammarAccess.java +++ /dev/null | |||
@@ -1,2721 +0,0 @@ | |||
1 | /* | ||
2 | * generated by Xtext | ||
3 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.services; | ||
5 | |||
6 | import com.google.inject.Singleton; | ||
7 | import com.google.inject.Inject; | ||
8 | |||
9 | import java.util.List; | ||
10 | |||
11 | import org.eclipse.xtext.*; | ||
12 | import org.eclipse.xtext.service.GrammarProvider; | ||
13 | import org.eclipse.xtext.service.AbstractElementFinder.*; | ||
14 | |||
15 | import org.eclipse.xtext.common.services.TerminalsGrammarAccess; | ||
16 | |||
17 | @Singleton | ||
18 | public class AlloyLanguageGrammarAccess extends AbstractGrammarElementFinder { | ||
19 | |||
20 | |||
21 | public class ALSDocumentElements extends AbstractParserRuleElementFinder { | ||
22 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDocument"); | ||
23 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
24 | private final Alternatives cAlternatives_0 = (Alternatives)cGroup.eContents().get(0); | ||
25 | private final Assignment cEnumDeclarationsAssignment_0_0 = (Assignment)cAlternatives_0.eContents().get(0); | ||
26 | private final RuleCall cEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0 = (RuleCall)cEnumDeclarationsAssignment_0_0.eContents().get(0); | ||
27 | private final Assignment cSignatureBodiesAssignment_0_1 = (Assignment)cAlternatives_0.eContents().get(1); | ||
28 | private final RuleCall cSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0 = (RuleCall)cSignatureBodiesAssignment_0_1.eContents().get(0); | ||
29 | private final Assignment cFunctionDefinitionsAssignment_0_2 = (Assignment)cAlternatives_0.eContents().get(2); | ||
30 | private final RuleCall cFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0 = (RuleCall)cFunctionDefinitionsAssignment_0_2.eContents().get(0); | ||
31 | private final Assignment cRelationDefinitionsAssignment_0_3 = (Assignment)cAlternatives_0.eContents().get(3); | ||
32 | private final RuleCall cRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0 = (RuleCall)cRelationDefinitionsAssignment_0_3.eContents().get(0); | ||
33 | private final Assignment cFactDeclarationsAssignment_0_4 = (Assignment)cAlternatives_0.eContents().get(4); | ||
34 | private final RuleCall cFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0 = (RuleCall)cFactDeclarationsAssignment_0_4.eContents().get(0); | ||
35 | private final Assignment cRunCommandAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
36 | private final RuleCall cRunCommandALSRunCommandParserRuleCall_1_0 = (RuleCall)cRunCommandAssignment_1.eContents().get(0); | ||
37 | |||
38 | //ALSDocument: | ||
39 | // (enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | | ||
40 | // functionDefinitions+=ALSFunctionDefinition | relationDefinitions+=ALSRelationDefinition | | ||
41 | // factDeclarations+=ALSFactDeclaration)+ | ||
42 | // runCommand=ALSRunCommand; | ||
43 | @Override public ParserRule getRule() { return rule; } | ||
44 | |||
45 | //(enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | functionDefinitions+=ALSFunctionDefinition | | ||
46 | //relationDefinitions+=ALSRelationDefinition | factDeclarations+=ALSFactDeclaration)+ runCommand=ALSRunCommand | ||
47 | public Group getGroup() { return cGroup; } | ||
48 | |||
49 | //(enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | functionDefinitions+=ALSFunctionDefinition | | ||
50 | //relationDefinitions+=ALSRelationDefinition | factDeclarations+=ALSFactDeclaration)+ | ||
51 | public Alternatives getAlternatives_0() { return cAlternatives_0; } | ||
52 | |||
53 | //enumDeclarations+=ALSEnumDeclaration | ||
54 | public Assignment getEnumDeclarationsAssignment_0_0() { return cEnumDeclarationsAssignment_0_0; } | ||
55 | |||
56 | //ALSEnumDeclaration | ||
57 | public RuleCall getEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0() { return cEnumDeclarationsALSEnumDeclarationParserRuleCall_0_0_0; } | ||
58 | |||
59 | //signatureBodies+=ALSSignatureBody | ||
60 | public Assignment getSignatureBodiesAssignment_0_1() { return cSignatureBodiesAssignment_0_1; } | ||
61 | |||
62 | //ALSSignatureBody | ||
63 | public RuleCall getSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0() { return cSignatureBodiesALSSignatureBodyParserRuleCall_0_1_0; } | ||
64 | |||
65 | //functionDefinitions+=ALSFunctionDefinition | ||
66 | public Assignment getFunctionDefinitionsAssignment_0_2() { return cFunctionDefinitionsAssignment_0_2; } | ||
67 | |||
68 | //ALSFunctionDefinition | ||
69 | public RuleCall getFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0() { return cFunctionDefinitionsALSFunctionDefinitionParserRuleCall_0_2_0; } | ||
70 | |||
71 | //relationDefinitions+=ALSRelationDefinition | ||
72 | public Assignment getRelationDefinitionsAssignment_0_3() { return cRelationDefinitionsAssignment_0_3; } | ||
73 | |||
74 | //ALSRelationDefinition | ||
75 | public RuleCall getRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0() { return cRelationDefinitionsALSRelationDefinitionParserRuleCall_0_3_0; } | ||
76 | |||
77 | //factDeclarations+=ALSFactDeclaration | ||
78 | public Assignment getFactDeclarationsAssignment_0_4() { return cFactDeclarationsAssignment_0_4; } | ||
79 | |||
80 | //ALSFactDeclaration | ||
81 | public RuleCall getFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0() { return cFactDeclarationsALSFactDeclarationParserRuleCall_0_4_0; } | ||
82 | |||
83 | //runCommand=ALSRunCommand | ||
84 | public Assignment getRunCommandAssignment_1() { return cRunCommandAssignment_1; } | ||
85 | |||
86 | //ALSRunCommand | ||
87 | public RuleCall getRunCommandALSRunCommandParserRuleCall_1_0() { return cRunCommandALSRunCommandParserRuleCall_1_0; } | ||
88 | } | ||
89 | |||
90 | public class ALSIDElements extends AbstractParserRuleElementFinder { | ||
91 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSID"); | ||
92 | private final RuleCall cIDTerminalRuleCall = (RuleCall)rule.eContents().get(1); | ||
93 | |||
94 | //ALSID: | ||
95 | // ID; | ||
96 | @Override public ParserRule getRule() { return rule; } | ||
97 | |||
98 | //ID | ||
99 | public RuleCall getIDTerminalRuleCall() { return cIDTerminalRuleCall; } | ||
100 | } | ||
101 | |||
102 | public class ALSRelationDeclarationElements extends AbstractParserRuleElementFinder { | ||
103 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRelationDeclaration"); | ||
104 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
105 | private final RuleCall cALSTypeDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
106 | private final RuleCall cALSEnumLiteralParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
107 | private final RuleCall cALSFieldDeclarationParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
108 | private final RuleCall cALSVariableDeclarationParserRuleCall_3 = (RuleCall)cAlternatives.eContents().get(3); | ||
109 | |||
110 | //////////////////////////////////// | ||
111 | //// ALS types | ||
112 | //////////////////////////////////// | ||
113 | //ALSRelationDeclaration: | ||
114 | // ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration; | ||
115 | @Override public ParserRule getRule() { return rule; } | ||
116 | |||
117 | //ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration | ||
118 | public Alternatives getAlternatives() { return cAlternatives; } | ||
119 | |||
120 | //ALSTypeDeclaration | ||
121 | public RuleCall getALSTypeDeclarationParserRuleCall_0() { return cALSTypeDeclarationParserRuleCall_0; } | ||
122 | |||
123 | //ALSEnumLiteral | ||
124 | public RuleCall getALSEnumLiteralParserRuleCall_1() { return cALSEnumLiteralParserRuleCall_1; } | ||
125 | |||
126 | //ALSFieldDeclaration | ||
127 | public RuleCall getALSFieldDeclarationParserRuleCall_2() { return cALSFieldDeclarationParserRuleCall_2; } | ||
128 | |||
129 | //ALSVariableDeclaration | ||
130 | public RuleCall getALSVariableDeclarationParserRuleCall_3() { return cALSVariableDeclarationParserRuleCall_3; } | ||
131 | } | ||
132 | |||
133 | public class ALSTypeDeclarationElements extends AbstractParserRuleElementFinder { | ||
134 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeDeclaration"); | ||
135 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
136 | private final RuleCall cALSEnumDeclarationParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
137 | private final RuleCall cALSSignatureDeclarationParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
138 | |||
139 | //ALSTypeDeclaration: | ||
140 | // ALSEnumDeclaration | ALSSignatureDeclaration; | ||
141 | @Override public ParserRule getRule() { return rule; } | ||
142 | |||
143 | //ALSEnumDeclaration | ALSSignatureDeclaration | ||
144 | public Alternatives getAlternatives() { return cAlternatives; } | ||
145 | |||
146 | //ALSEnumDeclaration | ||
147 | public RuleCall getALSEnumDeclarationParserRuleCall_0() { return cALSEnumDeclarationParserRuleCall_0; } | ||
148 | |||
149 | //ALSSignatureDeclaration | ||
150 | public RuleCall getALSSignatureDeclarationParserRuleCall_1() { return cALSSignatureDeclarationParserRuleCall_1; } | ||
151 | } | ||
152 | |||
153 | public class ALSEnumDeclarationElements extends AbstractParserRuleElementFinder { | ||
154 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumDeclaration"); | ||
155 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
156 | private final Keyword cEnumKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
157 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
158 | private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | ||
159 | private final Keyword cLeftCurlyBracketKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
160 | private final Assignment cLiteralAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
161 | private final RuleCall cLiteralALSEnumLiteralParserRuleCall_3_0 = (RuleCall)cLiteralAssignment_3.eContents().get(0); | ||
162 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); | ||
163 | private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | ||
164 | private final Assignment cLiteralAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | ||
165 | private final RuleCall cLiteralALSEnumLiteralParserRuleCall_4_1_0 = (RuleCall)cLiteralAssignment_4_1.eContents().get(0); | ||
166 | private final Keyword cRightCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
167 | |||
168 | //ALSEnumDeclaration: | ||
169 | // 'enum' name=ALSID '{' | ||
170 | // literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)* | ||
171 | // '}'; | ||
172 | @Override public ParserRule getRule() { return rule; } | ||
173 | |||
174 | //'enum' name=ALSID '{' literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)* '}' | ||
175 | public Group getGroup() { return cGroup; } | ||
176 | |||
177 | //'enum' | ||
178 | public Keyword getEnumKeyword_0() { return cEnumKeyword_0; } | ||
179 | |||
180 | //name=ALSID | ||
181 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | ||
182 | |||
183 | //ALSID | ||
184 | public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; } | ||
185 | |||
186 | //'{' | ||
187 | public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; } | ||
188 | |||
189 | //literal+=ALSEnumLiteral | ||
190 | public Assignment getLiteralAssignment_3() { return cLiteralAssignment_3; } | ||
191 | |||
192 | //ALSEnumLiteral | ||
193 | public RuleCall getLiteralALSEnumLiteralParserRuleCall_3_0() { return cLiteralALSEnumLiteralParserRuleCall_3_0; } | ||
194 | |||
195 | //("," literal+=ALSEnumLiteral)* | ||
196 | public Group getGroup_4() { return cGroup_4; } | ||
197 | |||
198 | //"," | ||
199 | public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; } | ||
200 | |||
201 | //literal+=ALSEnumLiteral | ||
202 | public Assignment getLiteralAssignment_4_1() { return cLiteralAssignment_4_1; } | ||
203 | |||
204 | //ALSEnumLiteral | ||
205 | public RuleCall getLiteralALSEnumLiteralParserRuleCall_4_1_0() { return cLiteralALSEnumLiteralParserRuleCall_4_1_0; } | ||
206 | |||
207 | //'}' | ||
208 | public Keyword getRightCurlyBracketKeyword_5() { return cRightCurlyBracketKeyword_5; } | ||
209 | } | ||
210 | |||
211 | public class ALSEnumLiteralElements extends AbstractParserRuleElementFinder { | ||
212 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSEnumLiteral"); | ||
213 | private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1); | ||
214 | private final RuleCall cNameALSIDParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0); | ||
215 | |||
216 | //ALSEnumLiteral: | ||
217 | // name=ALSID; | ||
218 | @Override public ParserRule getRule() { return rule; } | ||
219 | |||
220 | //name=ALSID | ||
221 | public Assignment getNameAssignment() { return cNameAssignment; } | ||
222 | |||
223 | //ALSID | ||
224 | public RuleCall getNameALSIDParserRuleCall_0() { return cNameALSIDParserRuleCall_0; } | ||
225 | } | ||
226 | |||
227 | public class ALSSignatureDeclarationElements extends AbstractParserRuleElementFinder { | ||
228 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureDeclaration"); | ||
229 | private final Assignment cNameAssignment = (Assignment)rule.eContents().get(1); | ||
230 | private final RuleCall cNameALSIDParserRuleCall_0 = (RuleCall)cNameAssignment.eContents().get(0); | ||
231 | |||
232 | //ALSSignatureDeclaration: | ||
233 | // name=ALSID; | ||
234 | @Override public ParserRule getRule() { return rule; } | ||
235 | |||
236 | //name=ALSID | ||
237 | public Assignment getNameAssignment() { return cNameAssignment; } | ||
238 | |||
239 | //ALSID | ||
240 | public RuleCall getNameALSIDParserRuleCall_0() { return cNameALSIDParserRuleCall_0; } | ||
241 | } | ||
242 | |||
243 | public class ALSSignatureBodyElements extends AbstractParserRuleElementFinder { | ||
244 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSignatureBody"); | ||
245 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
246 | private final UnorderedGroup cUnorderedGroup_0 = (UnorderedGroup)cGroup.eContents().get(0); | ||
247 | private final Assignment cMultiplicityAssignment_0_0 = (Assignment)cUnorderedGroup_0.eContents().get(0); | ||
248 | private final RuleCall cMultiplicityALSMultiplicityEnumRuleCall_0_0_0 = (RuleCall)cMultiplicityAssignment_0_0.eContents().get(0); | ||
249 | private final Assignment cAbstractAssignment_0_1 = (Assignment)cUnorderedGroup_0.eContents().get(1); | ||
250 | private final Keyword cAbstractAbstractKeyword_0_1_0 = (Keyword)cAbstractAssignment_0_1.eContents().get(0); | ||
251 | private final Keyword cSigKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
252 | private final Assignment cDeclarationsAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
253 | private final RuleCall cDeclarationsALSSignatureDeclarationParserRuleCall_2_0 = (RuleCall)cDeclarationsAssignment_2.eContents().get(0); | ||
254 | private final Group cGroup_3 = (Group)cGroup.eContents().get(3); | ||
255 | private final Keyword cCommaKeyword_3_0 = (Keyword)cGroup_3.eContents().get(0); | ||
256 | private final Assignment cDeclarationsAssignment_3_1 = (Assignment)cGroup_3.eContents().get(1); | ||
257 | private final RuleCall cDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0 = (RuleCall)cDeclarationsAssignment_3_1.eContents().get(0); | ||
258 | private final Alternatives cAlternatives_4 = (Alternatives)cGroup.eContents().get(4); | ||
259 | private final Group cGroup_4_0 = (Group)cAlternatives_4.eContents().get(0); | ||
260 | private final Keyword cExtendsKeyword_4_0_0 = (Keyword)cGroup_4_0.eContents().get(0); | ||
261 | private final Assignment cSupertypeAssignment_4_0_1 = (Assignment)cGroup_4_0.eContents().get(1); | ||
262 | private final CrossReference cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0 = (CrossReference)cSupertypeAssignment_4_0_1.eContents().get(0); | ||
263 | private final RuleCall cSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1 = (RuleCall)cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0.eContents().get(1); | ||
264 | private final Group cGroup_4_1 = (Group)cAlternatives_4.eContents().get(1); | ||
265 | private final Keyword cInKeyword_4_1_0 = (Keyword)cGroup_4_1.eContents().get(0); | ||
266 | private final Assignment cSupersetAssignment_4_1_1 = (Assignment)cGroup_4_1.eContents().get(1); | ||
267 | private final CrossReference cSupersetALSSignatureDeclarationCrossReference_4_1_1_0 = (CrossReference)cSupersetAssignment_4_1_1.eContents().get(0); | ||
268 | private final RuleCall cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1 = (RuleCall)cSupersetALSSignatureDeclarationCrossReference_4_1_1_0.eContents().get(1); | ||
269 | private final Group cGroup_4_1_2 = (Group)cGroup_4_1.eContents().get(2); | ||
270 | private final Keyword cPlusSignKeyword_4_1_2_0 = (Keyword)cGroup_4_1_2.eContents().get(0); | ||
271 | private final Assignment cSupersetAssignment_4_1_2_1 = (Assignment)cGroup_4_1_2.eContents().get(1); | ||
272 | private final CrossReference cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0 = (CrossReference)cSupersetAssignment_4_1_2_1.eContents().get(0); | ||
273 | private final RuleCall cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1 = (RuleCall)cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0.eContents().get(1); | ||
274 | private final Keyword cLeftCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
275 | private final Group cGroup_6 = (Group)cGroup.eContents().get(6); | ||
276 | private final Assignment cFieldsAssignment_6_0 = (Assignment)cGroup_6.eContents().get(0); | ||
277 | private final RuleCall cFieldsALSFieldDeclarationParserRuleCall_6_0_0 = (RuleCall)cFieldsAssignment_6_0.eContents().get(0); | ||
278 | private final Group cGroup_6_1 = (Group)cGroup_6.eContents().get(1); | ||
279 | private final Keyword cCommaKeyword_6_1_0 = (Keyword)cGroup_6_1.eContents().get(0); | ||
280 | private final Assignment cFieldsAssignment_6_1_1 = (Assignment)cGroup_6_1.eContents().get(1); | ||
281 | private final RuleCall cFieldsALSFieldDeclarationParserRuleCall_6_1_1_0 = (RuleCall)cFieldsAssignment_6_1_1.eContents().get(0); | ||
282 | private final Keyword cRightCurlyBracketKeyword_7 = (Keyword)cGroup.eContents().get(7); | ||
283 | |||
284 | //ALSSignatureBody: | ||
285 | // (multiplicity=ALSMultiplicity? & abstract?='abstract'?) | ||
286 | // 'sig' | ||
287 | // declarations+=ALSSignatureDeclaration (',' declarations+=ALSSignatureDeclaration)* ('extends' | ||
288 | // supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+' | ||
289 | // superset+=[ALSSignatureDeclaration])*)? | ||
290 | // '{' (fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)? '}'; | ||
291 | @Override public ParserRule getRule() { return rule; } | ||
292 | |||
293 | //(multiplicity=ALSMultiplicity? & abstract?='abstract'?) 'sig' declarations+=ALSSignatureDeclaration (',' | ||
294 | //declarations+=ALSSignatureDeclaration)* ('extends' supertype=[ALSSignatureDeclaration] | 'in' | ||
295 | //superset+=[ALSSignatureDeclaration] ('+' superset+=[ALSSignatureDeclaration])*)? '{' (fields+=ALSFieldDeclaration ("," | ||
296 | //fields+=ALSFieldDeclaration)*)? '}' | ||
297 | public Group getGroup() { return cGroup; } | ||
298 | |||
299 | //multiplicity=ALSMultiplicity? & abstract?='abstract'? | ||
300 | public UnorderedGroup getUnorderedGroup_0() { return cUnorderedGroup_0; } | ||
301 | |||
302 | //multiplicity=ALSMultiplicity? | ||
303 | public Assignment getMultiplicityAssignment_0_0() { return cMultiplicityAssignment_0_0; } | ||
304 | |||
305 | //ALSMultiplicity | ||
306 | public RuleCall getMultiplicityALSMultiplicityEnumRuleCall_0_0_0() { return cMultiplicityALSMultiplicityEnumRuleCall_0_0_0; } | ||
307 | |||
308 | //abstract?='abstract'? | ||
309 | public Assignment getAbstractAssignment_0_1() { return cAbstractAssignment_0_1; } | ||
310 | |||
311 | //'abstract' | ||
312 | public Keyword getAbstractAbstractKeyword_0_1_0() { return cAbstractAbstractKeyword_0_1_0; } | ||
313 | |||
314 | //'sig' | ||
315 | public Keyword getSigKeyword_1() { return cSigKeyword_1; } | ||
316 | |||
317 | //declarations+=ALSSignatureDeclaration | ||
318 | public Assignment getDeclarationsAssignment_2() { return cDeclarationsAssignment_2; } | ||
319 | |||
320 | //ALSSignatureDeclaration | ||
321 | public RuleCall getDeclarationsALSSignatureDeclarationParserRuleCall_2_0() { return cDeclarationsALSSignatureDeclarationParserRuleCall_2_0; } | ||
322 | |||
323 | //(',' declarations+=ALSSignatureDeclaration)* | ||
324 | public Group getGroup_3() { return cGroup_3; } | ||
325 | |||
326 | //',' | ||
327 | public Keyword getCommaKeyword_3_0() { return cCommaKeyword_3_0; } | ||
328 | |||
329 | //declarations+=ALSSignatureDeclaration | ||
330 | public Assignment getDeclarationsAssignment_3_1() { return cDeclarationsAssignment_3_1; } | ||
331 | |||
332 | //ALSSignatureDeclaration | ||
333 | public RuleCall getDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0() { return cDeclarationsALSSignatureDeclarationParserRuleCall_3_1_0; } | ||
334 | |||
335 | //('extends' supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+' | ||
336 | //superset+=[ALSSignatureDeclaration])*)? | ||
337 | public Alternatives getAlternatives_4() { return cAlternatives_4; } | ||
338 | |||
339 | //'extends' supertype=[ALSSignatureDeclaration] | ||
340 | public Group getGroup_4_0() { return cGroup_4_0; } | ||
341 | |||
342 | //'extends' | ||
343 | public Keyword getExtendsKeyword_4_0_0() { return cExtendsKeyword_4_0_0; } | ||
344 | |||
345 | //supertype=[ALSSignatureDeclaration] | ||
346 | public Assignment getSupertypeAssignment_4_0_1() { return cSupertypeAssignment_4_0_1; } | ||
347 | |||
348 | //[ALSSignatureDeclaration] | ||
349 | public CrossReference getSupertypeALSSignatureDeclarationCrossReference_4_0_1_0() { return cSupertypeALSSignatureDeclarationCrossReference_4_0_1_0; } | ||
350 | |||
351 | //ID | ||
352 | public RuleCall getSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1() { return cSupertypeALSSignatureDeclarationIDTerminalRuleCall_4_0_1_0_1; } | ||
353 | |||
354 | //'in' superset+=[ALSSignatureDeclaration] ('+' superset+=[ALSSignatureDeclaration])* | ||
355 | public Group getGroup_4_1() { return cGroup_4_1; } | ||
356 | |||
357 | //'in' | ||
358 | public Keyword getInKeyword_4_1_0() { return cInKeyword_4_1_0; } | ||
359 | |||
360 | //superset+=[ALSSignatureDeclaration] | ||
361 | public Assignment getSupersetAssignment_4_1_1() { return cSupersetAssignment_4_1_1; } | ||
362 | |||
363 | //[ALSSignatureDeclaration] | ||
364 | public CrossReference getSupersetALSSignatureDeclarationCrossReference_4_1_1_0() { return cSupersetALSSignatureDeclarationCrossReference_4_1_1_0; } | ||
365 | |||
366 | //ID | ||
367 | public RuleCall getSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1() { return cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_1_0_1; } | ||
368 | |||
369 | //('+' superset+=[ALSSignatureDeclaration])* | ||
370 | public Group getGroup_4_1_2() { return cGroup_4_1_2; } | ||
371 | |||
372 | //'+' | ||
373 | public Keyword getPlusSignKeyword_4_1_2_0() { return cPlusSignKeyword_4_1_2_0; } | ||
374 | |||
375 | //superset+=[ALSSignatureDeclaration] | ||
376 | public Assignment getSupersetAssignment_4_1_2_1() { return cSupersetAssignment_4_1_2_1; } | ||
377 | |||
378 | //[ALSSignatureDeclaration] | ||
379 | public CrossReference getSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0() { return cSupersetALSSignatureDeclarationCrossReference_4_1_2_1_0; } | ||
380 | |||
381 | //ID | ||
382 | public RuleCall getSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1() { return cSupersetALSSignatureDeclarationIDTerminalRuleCall_4_1_2_1_0_1; } | ||
383 | |||
384 | //'{' | ||
385 | public Keyword getLeftCurlyBracketKeyword_5() { return cLeftCurlyBracketKeyword_5; } | ||
386 | |||
387 | //(fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)? | ||
388 | public Group getGroup_6() { return cGroup_6; } | ||
389 | |||
390 | //fields+=ALSFieldDeclaration | ||
391 | public Assignment getFieldsAssignment_6_0() { return cFieldsAssignment_6_0; } | ||
392 | |||
393 | //ALSFieldDeclaration | ||
394 | public RuleCall getFieldsALSFieldDeclarationParserRuleCall_6_0_0() { return cFieldsALSFieldDeclarationParserRuleCall_6_0_0; } | ||
395 | |||
396 | //("," fields+=ALSFieldDeclaration)* | ||
397 | public Group getGroup_6_1() { return cGroup_6_1; } | ||
398 | |||
399 | //"," | ||
400 | public Keyword getCommaKeyword_6_1_0() { return cCommaKeyword_6_1_0; } | ||
401 | |||
402 | //fields+=ALSFieldDeclaration | ||
403 | public Assignment getFieldsAssignment_6_1_1() { return cFieldsAssignment_6_1_1; } | ||
404 | |||
405 | //ALSFieldDeclaration | ||
406 | public RuleCall getFieldsALSFieldDeclarationParserRuleCall_6_1_1_0() { return cFieldsALSFieldDeclarationParserRuleCall_6_1_1_0; } | ||
407 | |||
408 | //'}' | ||
409 | public Keyword getRightCurlyBracketKeyword_7() { return cRightCurlyBracketKeyword_7; } | ||
410 | } | ||
411 | |||
412 | public class ALSFieldDeclarationElements extends AbstractParserRuleElementFinder { | ||
413 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFieldDeclaration"); | ||
414 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
415 | private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
416 | private final RuleCall cNameALSIDParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0); | ||
417 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
418 | private final Assignment cMultiplicityAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
419 | private final RuleCall cMultiplicityALSMultiplicityEnumRuleCall_2_0 = (RuleCall)cMultiplicityAssignment_2.eContents().get(0); | ||
420 | private final Assignment cTypeAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
421 | private final RuleCall cTypeALSTermParserRuleCall_3_0 = (RuleCall)cTypeAssignment_3.eContents().get(0); | ||
422 | |||
423 | //ALSFieldDeclaration: | ||
424 | // name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm; | ||
425 | @Override public ParserRule getRule() { return rule; } | ||
426 | |||
427 | //name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm | ||
428 | public Group getGroup() { return cGroup; } | ||
429 | |||
430 | //name=ALSID | ||
431 | public Assignment getNameAssignment_0() { return cNameAssignment_0; } | ||
432 | |||
433 | //ALSID | ||
434 | public RuleCall getNameALSIDParserRuleCall_0_0() { return cNameALSIDParserRuleCall_0_0; } | ||
435 | |||
436 | //':' | ||
437 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } | ||
438 | |||
439 | //multiplicity=ALSMultiplicity? | ||
440 | public Assignment getMultiplicityAssignment_2() { return cMultiplicityAssignment_2; } | ||
441 | |||
442 | //ALSMultiplicity | ||
443 | public RuleCall getMultiplicityALSMultiplicityEnumRuleCall_2_0() { return cMultiplicityALSMultiplicityEnumRuleCall_2_0; } | ||
444 | |||
445 | //type=ALSTerm | ||
446 | public Assignment getTypeAssignment_3() { return cTypeAssignment_3; } | ||
447 | |||
448 | //ALSTerm | ||
449 | public RuleCall getTypeALSTermParserRuleCall_3_0() { return cTypeALSTermParserRuleCall_3_0; } | ||
450 | } | ||
451 | |||
452 | public class ALSDefinitionElements extends AbstractParserRuleElementFinder { | ||
453 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDefinition"); | ||
454 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
455 | private final RuleCall cALSFunctionDefinitionParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
456 | private final RuleCall cALSRelationDefinitionParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
457 | |||
458 | //ALSDefinition: | ||
459 | // ALSFunctionDefinition | ALSRelationDefinition; | ||
460 | @Override public ParserRule getRule() { return rule; } | ||
461 | |||
462 | //ALSFunctionDefinition | ALSRelationDefinition | ||
463 | public Alternatives getAlternatives() { return cAlternatives; } | ||
464 | |||
465 | //ALSFunctionDefinition | ||
466 | public RuleCall getALSFunctionDefinitionParserRuleCall_0() { return cALSFunctionDefinitionParserRuleCall_0; } | ||
467 | |||
468 | //ALSRelationDefinition | ||
469 | public RuleCall getALSRelationDefinitionParserRuleCall_1() { return cALSRelationDefinitionParserRuleCall_1; } | ||
470 | } | ||
471 | |||
472 | public class ALSFunctionDefinitionElements extends AbstractParserRuleElementFinder { | ||
473 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFunctionDefinition"); | ||
474 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
475 | private final Keyword cFunKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
476 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
477 | private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | ||
478 | private final Keyword cLeftSquareBracketKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
479 | private final Assignment cVariablesAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
480 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_3_0 = (RuleCall)cVariablesAssignment_3.eContents().get(0); | ||
481 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); | ||
482 | private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | ||
483 | private final Assignment cVariablesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | ||
484 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_4_1_0 = (RuleCall)cVariablesAssignment_4_1.eContents().get(0); | ||
485 | private final Keyword cRightSquareBracketKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
486 | private final Keyword cColonKeyword_6 = (Keyword)cGroup.eContents().get(6); | ||
487 | private final Assignment cTypeAssignment_7 = (Assignment)cGroup.eContents().get(7); | ||
488 | private final RuleCall cTypeALSTermParserRuleCall_7_0 = (RuleCall)cTypeAssignment_7.eContents().get(0); | ||
489 | private final Keyword cLeftCurlyBracketKeyword_8 = (Keyword)cGroup.eContents().get(8); | ||
490 | private final Assignment cValueAssignment_9 = (Assignment)cGroup.eContents().get(9); | ||
491 | private final RuleCall cValueALSTermParserRuleCall_9_0 = (RuleCall)cValueAssignment_9.eContents().get(0); | ||
492 | private final Keyword cRightCurlyBracketKeyword_10 = (Keyword)cGroup.eContents().get(10); | ||
493 | |||
494 | //ALSFunctionDefinition: | ||
495 | // "fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm | ||
496 | // "{" value=ALSTerm "}"; | ||
497 | @Override public ParserRule getRule() { return rule; } | ||
498 | |||
499 | //"fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm "{" | ||
500 | //value=ALSTerm "}" | ||
501 | public Group getGroup() { return cGroup; } | ||
502 | |||
503 | //"fun" | ||
504 | public Keyword getFunKeyword_0() { return cFunKeyword_0; } | ||
505 | |||
506 | //name=ALSID | ||
507 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | ||
508 | |||
509 | //ALSID | ||
510 | public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; } | ||
511 | |||
512 | //"[" | ||
513 | public Keyword getLeftSquareBracketKeyword_2() { return cLeftSquareBracketKeyword_2; } | ||
514 | |||
515 | //variables+=ALSVariableDeclaration | ||
516 | public Assignment getVariablesAssignment_3() { return cVariablesAssignment_3; } | ||
517 | |||
518 | //ALSVariableDeclaration | ||
519 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_3_0; } | ||
520 | |||
521 | //(',' variables+=ALSVariableDeclaration)* | ||
522 | public Group getGroup_4() { return cGroup_4; } | ||
523 | |||
524 | //',' | ||
525 | public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; } | ||
526 | |||
527 | //variables+=ALSVariableDeclaration | ||
528 | public Assignment getVariablesAssignment_4_1() { return cVariablesAssignment_4_1; } | ||
529 | |||
530 | //ALSVariableDeclaration | ||
531 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_4_1_0; } | ||
532 | |||
533 | //"]" | ||
534 | public Keyword getRightSquareBracketKeyword_5() { return cRightSquareBracketKeyword_5; } | ||
535 | |||
536 | //":" | ||
537 | public Keyword getColonKeyword_6() { return cColonKeyword_6; } | ||
538 | |||
539 | //type=ALSTerm | ||
540 | public Assignment getTypeAssignment_7() { return cTypeAssignment_7; } | ||
541 | |||
542 | //ALSTerm | ||
543 | public RuleCall getTypeALSTermParserRuleCall_7_0() { return cTypeALSTermParserRuleCall_7_0; } | ||
544 | |||
545 | //"{" | ||
546 | public Keyword getLeftCurlyBracketKeyword_8() { return cLeftCurlyBracketKeyword_8; } | ||
547 | |||
548 | //value=ALSTerm | ||
549 | public Assignment getValueAssignment_9() { return cValueAssignment_9; } | ||
550 | |||
551 | //ALSTerm | ||
552 | public RuleCall getValueALSTermParserRuleCall_9_0() { return cValueALSTermParserRuleCall_9_0; } | ||
553 | |||
554 | //"}" | ||
555 | public Keyword getRightCurlyBracketKeyword_10() { return cRightCurlyBracketKeyword_10; } | ||
556 | } | ||
557 | |||
558 | public class ALSRelationDefinitionElements extends AbstractParserRuleElementFinder { | ||
559 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRelationDefinition"); | ||
560 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
561 | private final Keyword cPredKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
562 | private final Assignment cNameAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
563 | private final RuleCall cNameALSIDParserRuleCall_1_0 = (RuleCall)cNameAssignment_1.eContents().get(0); | ||
564 | private final Keyword cLeftSquareBracketKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
565 | private final Assignment cVariablesAssignment_3 = (Assignment)cGroup.eContents().get(3); | ||
566 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_3_0 = (RuleCall)cVariablesAssignment_3.eContents().get(0); | ||
567 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); | ||
568 | private final Keyword cCommaKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | ||
569 | private final Assignment cVariablesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | ||
570 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_4_1_0 = (RuleCall)cVariablesAssignment_4_1.eContents().get(0); | ||
571 | private final Keyword cRightSquareBracketKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
572 | private final Keyword cLeftCurlyBracketKeyword_6 = (Keyword)cGroup.eContents().get(6); | ||
573 | private final Assignment cValueAssignment_7 = (Assignment)cGroup.eContents().get(7); | ||
574 | private final RuleCall cValueALSTermParserRuleCall_7_0 = (RuleCall)cValueAssignment_7.eContents().get(0); | ||
575 | private final Keyword cRightCurlyBracketKeyword_8 = (Keyword)cGroup.eContents().get(8); | ||
576 | |||
577 | //ALSRelationDefinition: | ||
578 | // "pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" | ||
579 | // "{" value=ALSTerm "}"; | ||
580 | @Override public ParserRule getRule() { return rule; } | ||
581 | |||
582 | //"pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" "{" value=ALSTerm | ||
583 | //"}" | ||
584 | public Group getGroup() { return cGroup; } | ||
585 | |||
586 | //"pred" | ||
587 | public Keyword getPredKeyword_0() { return cPredKeyword_0; } | ||
588 | |||
589 | //name=ALSID | ||
590 | public Assignment getNameAssignment_1() { return cNameAssignment_1; } | ||
591 | |||
592 | //ALSID | ||
593 | public RuleCall getNameALSIDParserRuleCall_1_0() { return cNameALSIDParserRuleCall_1_0; } | ||
594 | |||
595 | //"[" | ||
596 | public Keyword getLeftSquareBracketKeyword_2() { return cLeftSquareBracketKeyword_2; } | ||
597 | |||
598 | //variables+=ALSVariableDeclaration | ||
599 | public Assignment getVariablesAssignment_3() { return cVariablesAssignment_3; } | ||
600 | |||
601 | //ALSVariableDeclaration | ||
602 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_3_0; } | ||
603 | |||
604 | //(',' variables+=ALSVariableDeclaration)* | ||
605 | public Group getGroup_4() { return cGroup_4; } | ||
606 | |||
607 | //',' | ||
608 | public Keyword getCommaKeyword_4_0() { return cCommaKeyword_4_0; } | ||
609 | |||
610 | //variables+=ALSVariableDeclaration | ||
611 | public Assignment getVariablesAssignment_4_1() { return cVariablesAssignment_4_1; } | ||
612 | |||
613 | //ALSVariableDeclaration | ||
614 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_4_1_0; } | ||
615 | |||
616 | //"]" | ||
617 | public Keyword getRightSquareBracketKeyword_5() { return cRightSquareBracketKeyword_5; } | ||
618 | |||
619 | //"{" | ||
620 | public Keyword getLeftCurlyBracketKeyword_6() { return cLeftCurlyBracketKeyword_6; } | ||
621 | |||
622 | //value=ALSTerm | ||
623 | public Assignment getValueAssignment_7() { return cValueAssignment_7; } | ||
624 | |||
625 | //ALSTerm | ||
626 | public RuleCall getValueALSTermParserRuleCall_7_0() { return cValueALSTermParserRuleCall_7_0; } | ||
627 | |||
628 | //"}" | ||
629 | public Keyword getRightCurlyBracketKeyword_8() { return cRightCurlyBracketKeyword_8; } | ||
630 | } | ||
631 | |||
632 | public class ALSFactDeclarationElements extends AbstractParserRuleElementFinder { | ||
633 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSFactDeclaration"); | ||
634 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
635 | private final Action cALSFactDeclarationAction_0 = (Action)cGroup.eContents().get(0); | ||
636 | private final Keyword cFactKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
637 | private final Assignment cNameAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
638 | private final RuleCall cNameALSIDParserRuleCall_2_0 = (RuleCall)cNameAssignment_2.eContents().get(0); | ||
639 | private final Keyword cLeftCurlyBracketKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
640 | private final Assignment cTermAssignment_4 = (Assignment)cGroup.eContents().get(4); | ||
641 | private final RuleCall cTermALSTermParserRuleCall_4_0 = (RuleCall)cTermAssignment_4.eContents().get(0); | ||
642 | private final Keyword cRightCurlyBracketKeyword_5 = (Keyword)cGroup.eContents().get(5); | ||
643 | |||
644 | //ALSFactDeclaration: | ||
645 | // {ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}'; | ||
646 | @Override public ParserRule getRule() { return rule; } | ||
647 | |||
648 | //{ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}' | ||
649 | public Group getGroup() { return cGroup; } | ||
650 | |||
651 | //{ALSFactDeclaration} | ||
652 | public Action getALSFactDeclarationAction_0() { return cALSFactDeclarationAction_0; } | ||
653 | |||
654 | //'fact' | ||
655 | public Keyword getFactKeyword_1() { return cFactKeyword_1; } | ||
656 | |||
657 | //name=ALSID? | ||
658 | public Assignment getNameAssignment_2() { return cNameAssignment_2; } | ||
659 | |||
660 | //ALSID | ||
661 | public RuleCall getNameALSIDParserRuleCall_2_0() { return cNameALSIDParserRuleCall_2_0; } | ||
662 | |||
663 | //'{' | ||
664 | public Keyword getLeftCurlyBracketKeyword_3() { return cLeftCurlyBracketKeyword_3; } | ||
665 | |||
666 | //term=ALSTerm | ||
667 | public Assignment getTermAssignment_4() { return cTermAssignment_4; } | ||
668 | |||
669 | //ALSTerm | ||
670 | public RuleCall getTermALSTermParserRuleCall_4_0() { return cTermALSTermParserRuleCall_4_0; } | ||
671 | |||
672 | //'}' | ||
673 | public Keyword getRightCurlyBracketKeyword_5() { return cRightCurlyBracketKeyword_5; } | ||
674 | } | ||
675 | |||
676 | public class ALSTermElements extends AbstractParserRuleElementFinder { | ||
677 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTerm"); | ||
678 | private final RuleCall cALSQuantifiedParserRuleCall = (RuleCall)rule.eContents().get(1); | ||
679 | |||
680 | //////////////////////////////////// | ||
681 | //// ALS terms | ||
682 | //////////////////////////////////// | ||
683 | //ALSTerm: | ||
684 | // ALSQuantified; | ||
685 | @Override public ParserRule getRule() { return rule; } | ||
686 | |||
687 | //ALSQuantified | ||
688 | public RuleCall getALSQuantifiedParserRuleCall() { return cALSQuantifiedParserRuleCall; } | ||
689 | } | ||
690 | |||
691 | public class ALSQuantifiedElements extends AbstractParserRuleElementFinder { | ||
692 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSQuantified"); | ||
693 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
694 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
695 | private final Action cALSQuantifiedExAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
696 | private final Assignment cTypeAssignment_0_1 = (Assignment)cGroup_0.eContents().get(1); | ||
697 | private final RuleCall cTypeALSMultiplicityEnumRuleCall_0_1_0 = (RuleCall)cTypeAssignment_0_1.eContents().get(0); | ||
698 | private final Assignment cDisjAssignment_0_2 = (Assignment)cGroup_0.eContents().get(2); | ||
699 | private final Keyword cDisjDisjKeyword_0_2_0 = (Keyword)cDisjAssignment_0_2.eContents().get(0); | ||
700 | private final Assignment cVariablesAssignment_0_3 = (Assignment)cGroup_0.eContents().get(3); | ||
701 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_0_3_0 = (RuleCall)cVariablesAssignment_0_3.eContents().get(0); | ||
702 | private final Group cGroup_0_4 = (Group)cGroup_0.eContents().get(4); | ||
703 | private final Keyword cCommaKeyword_0_4_0 = (Keyword)cGroup_0_4.eContents().get(0); | ||
704 | private final Assignment cVariablesAssignment_0_4_1 = (Assignment)cGroup_0_4.eContents().get(1); | ||
705 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_0_4_1_0 = (RuleCall)cVariablesAssignment_0_4_1.eContents().get(0); | ||
706 | private final Keyword cLeftCurlyBracketKeyword_0_5 = (Keyword)cGroup_0.eContents().get(5); | ||
707 | private final Assignment cExpressionAssignment_0_6 = (Assignment)cGroup_0.eContents().get(6); | ||
708 | private final RuleCall cExpressionALSTermParserRuleCall_0_6_0 = (RuleCall)cExpressionAssignment_0_6.eContents().get(0); | ||
709 | private final Keyword cRightCurlyBracketKeyword_0_7 = (Keyword)cGroup_0.eContents().get(7); | ||
710 | private final RuleCall cALSOrParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
711 | |||
712 | //ALSQuantified ALSTerm: | ||
713 | // {ALSQuantifiedEx} type=ALSMultiplicity | ||
714 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | | ||
715 | // ALSOr; | ||
716 | @Override public ParserRule getRule() { return rule; } | ||
717 | |||
718 | //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (',' | ||
719 | //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | ALSOr | ||
720 | public Alternatives getAlternatives() { return cAlternatives; } | ||
721 | |||
722 | //{ALSQuantifiedEx} type=ALSMultiplicity disj?='disj'? variables+=ALSVariableDeclaration (',' | ||
723 | //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | ||
724 | public Group getGroup_0() { return cGroup_0; } | ||
725 | |||
726 | //{ALSQuantifiedEx} | ||
727 | public Action getALSQuantifiedExAction_0_0() { return cALSQuantifiedExAction_0_0; } | ||
728 | |||
729 | //type=ALSMultiplicity | ||
730 | public Assignment getTypeAssignment_0_1() { return cTypeAssignment_0_1; } | ||
731 | |||
732 | //ALSMultiplicity | ||
733 | public RuleCall getTypeALSMultiplicityEnumRuleCall_0_1_0() { return cTypeALSMultiplicityEnumRuleCall_0_1_0; } | ||
734 | |||
735 | //disj?='disj'? | ||
736 | public Assignment getDisjAssignment_0_2() { return cDisjAssignment_0_2; } | ||
737 | |||
738 | //'disj' | ||
739 | public Keyword getDisjDisjKeyword_0_2_0() { return cDisjDisjKeyword_0_2_0; } | ||
740 | |||
741 | //variables+=ALSVariableDeclaration | ||
742 | public Assignment getVariablesAssignment_0_3() { return cVariablesAssignment_0_3; } | ||
743 | |||
744 | //ALSVariableDeclaration | ||
745 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_0_3_0() { return cVariablesALSVariableDeclarationParserRuleCall_0_3_0; } | ||
746 | |||
747 | //(',' variables+=ALSVariableDeclaration)* | ||
748 | public Group getGroup_0_4() { return cGroup_0_4; } | ||
749 | |||
750 | //',' | ||
751 | public Keyword getCommaKeyword_0_4_0() { return cCommaKeyword_0_4_0; } | ||
752 | |||
753 | //variables+=ALSVariableDeclaration | ||
754 | public Assignment getVariablesAssignment_0_4_1() { return cVariablesAssignment_0_4_1; } | ||
755 | |||
756 | //ALSVariableDeclaration | ||
757 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_0_4_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_0_4_1_0; } | ||
758 | |||
759 | //'{' | ||
760 | public Keyword getLeftCurlyBracketKeyword_0_5() { return cLeftCurlyBracketKeyword_0_5; } | ||
761 | |||
762 | //expression=ALSTerm | ||
763 | public Assignment getExpressionAssignment_0_6() { return cExpressionAssignment_0_6; } | ||
764 | |||
765 | //ALSTerm | ||
766 | public RuleCall getExpressionALSTermParserRuleCall_0_6_0() { return cExpressionALSTermParserRuleCall_0_6_0; } | ||
767 | |||
768 | //'}' | ||
769 | public Keyword getRightCurlyBracketKeyword_0_7() { return cRightCurlyBracketKeyword_0_7; } | ||
770 | |||
771 | //ALSOr | ||
772 | public RuleCall getALSOrParserRuleCall_1() { return cALSOrParserRuleCall_1; } | ||
773 | } | ||
774 | |||
775 | public class ALSOrElements extends AbstractParserRuleElementFinder { | ||
776 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSOr"); | ||
777 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
778 | private final RuleCall cALSIffParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
779 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
780 | private final Action cALSOrLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
781 | private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1); | ||
782 | private final Keyword cVerticalLineVerticalLineKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0); | ||
783 | private final Keyword cOrKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1); | ||
784 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
785 | private final RuleCall cRightOperandALSIffParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
786 | |||
787 | //ALSOr ALSTerm: | ||
788 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?; | ||
789 | @Override public ParserRule getRule() { return rule; } | ||
790 | |||
791 | //ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? | ||
792 | public Group getGroup() { return cGroup; } | ||
793 | |||
794 | //ALSIff | ||
795 | public RuleCall getALSIffParserRuleCall_0() { return cALSIffParserRuleCall_0; } | ||
796 | |||
797 | //({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)? | ||
798 | public Group getGroup_1() { return cGroup_1; } | ||
799 | |||
800 | //{ALSOr.leftOperand=current} | ||
801 | public Action getALSOrLeftOperandAction_1_0() { return cALSOrLeftOperandAction_1_0; } | ||
802 | |||
803 | //"||" | "or" | ||
804 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | ||
805 | |||
806 | //"||" | ||
807 | public Keyword getVerticalLineVerticalLineKeyword_1_1_0() { return cVerticalLineVerticalLineKeyword_1_1_0; } | ||
808 | |||
809 | //"or" | ||
810 | public Keyword getOrKeyword_1_1_1() { return cOrKeyword_1_1_1; } | ||
811 | |||
812 | //rightOperand=ALSIff | ||
813 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
814 | |||
815 | //ALSIff | ||
816 | public RuleCall getRightOperandALSIffParserRuleCall_1_2_0() { return cRightOperandALSIffParserRuleCall_1_2_0; } | ||
817 | } | ||
818 | |||
819 | public class ALSIffElements extends AbstractParserRuleElementFinder { | ||
820 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIff"); | ||
821 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
822 | private final RuleCall cALSImplParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
823 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
824 | private final Action cALSIffLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
825 | private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1); | ||
826 | private final Keyword cLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0); | ||
827 | private final Keyword cIffKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1); | ||
828 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
829 | private final RuleCall cRightOperandALSImplParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
830 | |||
831 | //ALSIff ALSTerm: | ||
832 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?; | ||
833 | @Override public ParserRule getRule() { return rule; } | ||
834 | |||
835 | //ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? | ||
836 | public Group getGroup() { return cGroup; } | ||
837 | |||
838 | //ALSImpl | ||
839 | public RuleCall getALSImplParserRuleCall_0() { return cALSImplParserRuleCall_0; } | ||
840 | |||
841 | //({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)? | ||
842 | public Group getGroup_1() { return cGroup_1; } | ||
843 | |||
844 | //{ALSIff.leftOperand=current} | ||
845 | public Action getALSIffLeftOperandAction_1_0() { return cALSIffLeftOperandAction_1_0; } | ||
846 | |||
847 | //"<=>" | "iff" | ||
848 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | ||
849 | |||
850 | //"<=>" | ||
851 | public Keyword getLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0() { return cLessThanSignEqualsSignGreaterThanSignKeyword_1_1_0; } | ||
852 | |||
853 | //"iff" | ||
854 | public Keyword getIffKeyword_1_1_1() { return cIffKeyword_1_1_1; } | ||
855 | |||
856 | //rightOperand=ALSImpl | ||
857 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
858 | |||
859 | //ALSImpl | ||
860 | public RuleCall getRightOperandALSImplParserRuleCall_1_2_0() { return cRightOperandALSImplParserRuleCall_1_2_0; } | ||
861 | } | ||
862 | |||
863 | public class ALSImplElements extends AbstractParserRuleElementFinder { | ||
864 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSImpl"); | ||
865 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
866 | private final RuleCall cALSAndParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
867 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
868 | private final Action cALSImplLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
869 | private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1); | ||
870 | private final Keyword cEqualsSignGreaterThanSignKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0); | ||
871 | private final Keyword cImpliesKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1); | ||
872 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
873 | private final RuleCall cRightOperandALSAndParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
874 | private final Group cGroup_1_3 = (Group)cGroup_1.eContents().get(3); | ||
875 | private final Keyword cElseKeyword_1_3_0 = (Keyword)cGroup_1_3.eContents().get(0); | ||
876 | private final Assignment cElseOperandAssignment_1_3_1 = (Assignment)cGroup_1_3.eContents().get(1); | ||
877 | private final RuleCall cElseOperandALSAndParserRuleCall_1_3_1_0 = (RuleCall)cElseOperandAssignment_1_3_1.eContents().get(0); | ||
878 | |||
879 | //ALSImpl ALSTerm: | ||
880 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?; | ||
881 | @Override public ParserRule getRule() { return rule; } | ||
882 | |||
883 | //ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? | ||
884 | public Group getGroup() { return cGroup; } | ||
885 | |||
886 | //ALSAnd | ||
887 | public RuleCall getALSAndParserRuleCall_0() { return cALSAndParserRuleCall_0; } | ||
888 | |||
889 | //({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)? | ||
890 | public Group getGroup_1() { return cGroup_1; } | ||
891 | |||
892 | //{ALSImpl.leftOperand=current} | ||
893 | public Action getALSImplLeftOperandAction_1_0() { return cALSImplLeftOperandAction_1_0; } | ||
894 | |||
895 | //"=>" | "implies" | ||
896 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | ||
897 | |||
898 | //"=>" | ||
899 | public Keyword getEqualsSignGreaterThanSignKeyword_1_1_0() { return cEqualsSignGreaterThanSignKeyword_1_1_0; } | ||
900 | |||
901 | //"implies" | ||
902 | public Keyword getImpliesKeyword_1_1_1() { return cImpliesKeyword_1_1_1; } | ||
903 | |||
904 | //rightOperand=ALSAnd | ||
905 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
906 | |||
907 | //ALSAnd | ||
908 | public RuleCall getRightOperandALSAndParserRuleCall_1_2_0() { return cRightOperandALSAndParserRuleCall_1_2_0; } | ||
909 | |||
910 | //('else' elseOperand=ALSAnd)? | ||
911 | public Group getGroup_1_3() { return cGroup_1_3; } | ||
912 | |||
913 | //'else' | ||
914 | public Keyword getElseKeyword_1_3_0() { return cElseKeyword_1_3_0; } | ||
915 | |||
916 | //elseOperand=ALSAnd | ||
917 | public Assignment getElseOperandAssignment_1_3_1() { return cElseOperandAssignment_1_3_1; } | ||
918 | |||
919 | //ALSAnd | ||
920 | public RuleCall getElseOperandALSAndParserRuleCall_1_3_1_0() { return cElseOperandALSAndParserRuleCall_1_3_1_0; } | ||
921 | } | ||
922 | |||
923 | public class ALSAndElements extends AbstractParserRuleElementFinder { | ||
924 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSAnd"); | ||
925 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
926 | private final RuleCall cALSComparisonParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
927 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
928 | private final Action cALSAndLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
929 | private final Alternatives cAlternatives_1_1 = (Alternatives)cGroup_1.eContents().get(1); | ||
930 | private final Keyword cAmpersandAmpersandKeyword_1_1_0 = (Keyword)cAlternatives_1_1.eContents().get(0); | ||
931 | private final Keyword cAndKeyword_1_1_1 = (Keyword)cAlternatives_1_1.eContents().get(1); | ||
932 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
933 | private final RuleCall cRightOperandALSComparisonParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
934 | |||
935 | //ALSAnd ALSTerm: | ||
936 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?; | ||
937 | @Override public ParserRule getRule() { return rule; } | ||
938 | |||
939 | //ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? | ||
940 | public Group getGroup() { return cGroup; } | ||
941 | |||
942 | //ALSComparison | ||
943 | public RuleCall getALSComparisonParserRuleCall_0() { return cALSComparisonParserRuleCall_0; } | ||
944 | |||
945 | //({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)? | ||
946 | public Group getGroup_1() { return cGroup_1; } | ||
947 | |||
948 | //{ALSAnd.leftOperand=current} | ||
949 | public Action getALSAndLeftOperandAction_1_0() { return cALSAndLeftOperandAction_1_0; } | ||
950 | |||
951 | //"&&" | "and" | ||
952 | public Alternatives getAlternatives_1_1() { return cAlternatives_1_1; } | ||
953 | |||
954 | //"&&" | ||
955 | public Keyword getAmpersandAmpersandKeyword_1_1_0() { return cAmpersandAmpersandKeyword_1_1_0; } | ||
956 | |||
957 | //"and" | ||
958 | public Keyword getAndKeyword_1_1_1() { return cAndKeyword_1_1_1; } | ||
959 | |||
960 | //rightOperand=ALSComparison | ||
961 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
962 | |||
963 | //ALSComparison | ||
964 | public RuleCall getRightOperandALSComparisonParserRuleCall_1_2_0() { return cRightOperandALSComparisonParserRuleCall_1_2_0; } | ||
965 | } | ||
966 | |||
967 | public class ALSComparisonElements extends AbstractParserRuleElementFinder { | ||
968 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSComparison"); | ||
969 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
970 | private final RuleCall cALSOverrideParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
971 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
972 | private final Alternatives cAlternatives_1_0 = (Alternatives)cGroup_1.eContents().get(0); | ||
973 | private final Group cGroup_1_0_0 = (Group)cAlternatives_1_0.eContents().get(0); | ||
974 | private final Action cALSEqualsLeftOperandAction_1_0_0_0 = (Action)cGroup_1_0_0.eContents().get(0); | ||
975 | private final Keyword cEqualsSignKeyword_1_0_0_1 = (Keyword)cGroup_1_0_0.eContents().get(1); | ||
976 | private final Group cGroup_1_0_1 = (Group)cAlternatives_1_0.eContents().get(1); | ||
977 | private final Action cALSNotEqualsLeftOperandAction_1_0_1_0 = (Action)cGroup_1_0_1.eContents().get(0); | ||
978 | private final Keyword cExclamationMarkEqualsSignKeyword_1_0_1_1 = (Keyword)cGroup_1_0_1.eContents().get(1); | ||
979 | private final Group cGroup_1_0_2 = (Group)cAlternatives_1_0.eContents().get(2); | ||
980 | private final Action cALSSubsetLeftOperandAction_1_0_2_0 = (Action)cGroup_1_0_2.eContents().get(0); | ||
981 | private final Keyword cInKeyword_1_0_2_1 = (Keyword)cGroup_1_0_2.eContents().get(1); | ||
982 | private final Group cGroup_1_0_3 = (Group)cAlternatives_1_0.eContents().get(3); | ||
983 | private final Action cALSLessLeftOperandAction_1_0_3_0 = (Action)cGroup_1_0_3.eContents().get(0); | ||
984 | private final Keyword cGreaterThanSignKeyword_1_0_3_1 = (Keyword)cGroup_1_0_3.eContents().get(1); | ||
985 | private final Group cGroup_1_0_4 = (Group)cAlternatives_1_0.eContents().get(4); | ||
986 | private final Action cALSLeqLeftOperandAction_1_0_4_0 = (Action)cGroup_1_0_4.eContents().get(0); | ||
987 | private final Keyword cGreaterThanSignEqualsSignKeyword_1_0_4_1 = (Keyword)cGroup_1_0_4.eContents().get(1); | ||
988 | private final Group cGroup_1_0_5 = (Group)cAlternatives_1_0.eContents().get(5); | ||
989 | private final Action cALSMoreLeftOperandAction_1_0_5_0 = (Action)cGroup_1_0_5.eContents().get(0); | ||
990 | private final Keyword cLessThanSignKeyword_1_0_5_1 = (Keyword)cGroup_1_0_5.eContents().get(1); | ||
991 | private final Group cGroup_1_0_6 = (Group)cAlternatives_1_0.eContents().get(6); | ||
992 | private final Action cALSMeqLeftOperandAction_1_0_6_0 = (Action)cGroup_1_0_6.eContents().get(0); | ||
993 | private final Keyword cLessThanSignEqualsSignKeyword_1_0_6_1 = (Keyword)cGroup_1_0_6.eContents().get(1); | ||
994 | private final Assignment cRightOperandAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
995 | private final RuleCall cRightOperandALSOverrideParserRuleCall_1_1_0 = (RuleCall)cRightOperandAssignment_1_1.eContents().get(0); | ||
996 | |||
997 | //ALSComparison ALSTerm: | ||
998 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | ||
999 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | ||
1000 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?; | ||
1001 | @Override public ParserRule getRule() { return rule; } | ||
1002 | |||
1003 | //ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | ||
1004 | //{ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | ||
1005 | //{ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? | ||
1006 | public Group getGroup() { return cGroup; } | ||
1007 | |||
1008 | //ALSOverride | ||
1009 | public RuleCall getALSOverrideParserRuleCall_0() { return cALSOverrideParserRuleCall_0; } | ||
1010 | |||
1011 | //(({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" | | ||
1012 | //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" | | ||
1013 | //{ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)? | ||
1014 | public Group getGroup_1() { return cGroup_1; } | ||
1015 | |||
1016 | //{ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | {ALSSubset.leftOperand=current} "in" | | ||
1017 | //{ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | {ALSMore.leftOperand=current} "<" | | ||
1018 | //{ALSMeq.leftOperand=current} "<=" | ||
1019 | public Alternatives getAlternatives_1_0() { return cAlternatives_1_0; } | ||
1020 | |||
1021 | //{ALSEquals.leftOperand=current} "=" | ||
1022 | public Group getGroup_1_0_0() { return cGroup_1_0_0; } | ||
1023 | |||
1024 | //{ALSEquals.leftOperand=current} | ||
1025 | public Action getALSEqualsLeftOperandAction_1_0_0_0() { return cALSEqualsLeftOperandAction_1_0_0_0; } | ||
1026 | |||
1027 | //"=" | ||
1028 | public Keyword getEqualsSignKeyword_1_0_0_1() { return cEqualsSignKeyword_1_0_0_1; } | ||
1029 | |||
1030 | //{ALSNotEquals.leftOperand=current} "!=" | ||
1031 | public Group getGroup_1_0_1() { return cGroup_1_0_1; } | ||
1032 | |||
1033 | //{ALSNotEquals.leftOperand=current} | ||
1034 | public Action getALSNotEqualsLeftOperandAction_1_0_1_0() { return cALSNotEqualsLeftOperandAction_1_0_1_0; } | ||
1035 | |||
1036 | //"!=" | ||
1037 | public Keyword getExclamationMarkEqualsSignKeyword_1_0_1_1() { return cExclamationMarkEqualsSignKeyword_1_0_1_1; } | ||
1038 | |||
1039 | //{ALSSubset.leftOperand=current} "in" | ||
1040 | public Group getGroup_1_0_2() { return cGroup_1_0_2; } | ||
1041 | |||
1042 | //{ALSSubset.leftOperand=current} | ||
1043 | public Action getALSSubsetLeftOperandAction_1_0_2_0() { return cALSSubsetLeftOperandAction_1_0_2_0; } | ||
1044 | |||
1045 | //"in" | ||
1046 | public Keyword getInKeyword_1_0_2_1() { return cInKeyword_1_0_2_1; } | ||
1047 | |||
1048 | //{ALSLess.leftOperand=current} ">" | ||
1049 | public Group getGroup_1_0_3() { return cGroup_1_0_3; } | ||
1050 | |||
1051 | //{ALSLess.leftOperand=current} | ||
1052 | public Action getALSLessLeftOperandAction_1_0_3_0() { return cALSLessLeftOperandAction_1_0_3_0; } | ||
1053 | |||
1054 | //">" | ||
1055 | public Keyword getGreaterThanSignKeyword_1_0_3_1() { return cGreaterThanSignKeyword_1_0_3_1; } | ||
1056 | |||
1057 | //{ALSLeq.leftOperand=current} ">=" | ||
1058 | public Group getGroup_1_0_4() { return cGroup_1_0_4; } | ||
1059 | |||
1060 | //{ALSLeq.leftOperand=current} | ||
1061 | public Action getALSLeqLeftOperandAction_1_0_4_0() { return cALSLeqLeftOperandAction_1_0_4_0; } | ||
1062 | |||
1063 | //">=" | ||
1064 | public Keyword getGreaterThanSignEqualsSignKeyword_1_0_4_1() { return cGreaterThanSignEqualsSignKeyword_1_0_4_1; } | ||
1065 | |||
1066 | //{ALSMore.leftOperand=current} "<" | ||
1067 | public Group getGroup_1_0_5() { return cGroup_1_0_5; } | ||
1068 | |||
1069 | //{ALSMore.leftOperand=current} | ||
1070 | public Action getALSMoreLeftOperandAction_1_0_5_0() { return cALSMoreLeftOperandAction_1_0_5_0; } | ||
1071 | |||
1072 | //"<" | ||
1073 | public Keyword getLessThanSignKeyword_1_0_5_1() { return cLessThanSignKeyword_1_0_5_1; } | ||
1074 | |||
1075 | //{ALSMeq.leftOperand=current} "<=" | ||
1076 | public Group getGroup_1_0_6() { return cGroup_1_0_6; } | ||
1077 | |||
1078 | //{ALSMeq.leftOperand=current} | ||
1079 | public Action getALSMeqLeftOperandAction_1_0_6_0() { return cALSMeqLeftOperandAction_1_0_6_0; } | ||
1080 | |||
1081 | //"<=" | ||
1082 | public Keyword getLessThanSignEqualsSignKeyword_1_0_6_1() { return cLessThanSignEqualsSignKeyword_1_0_6_1; } | ||
1083 | |||
1084 | //rightOperand=ALSOverride | ||
1085 | public Assignment getRightOperandAssignment_1_1() { return cRightOperandAssignment_1_1; } | ||
1086 | |||
1087 | //ALSOverride | ||
1088 | public RuleCall getRightOperandALSOverrideParserRuleCall_1_1_0() { return cRightOperandALSOverrideParserRuleCall_1_1_0; } | ||
1089 | } | ||
1090 | |||
1091 | public class ALSOverrideElements extends AbstractParserRuleElementFinder { | ||
1092 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSOverride"); | ||
1093 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1094 | private final RuleCall cALSRangeRestrictionRightParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1095 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1096 | private final Action cALSOverrideLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1097 | private final Keyword cPlusSignPlusSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1098 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1099 | private final RuleCall cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
1100 | |||
1101 | //ALSOverride ALSTerm: | ||
1102 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?; | ||
1103 | @Override public ParserRule getRule() { return rule; } | ||
1104 | |||
1105 | //ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? | ||
1106 | public Group getGroup() { return cGroup; } | ||
1107 | |||
1108 | //ALSRangeRestrictionRight | ||
1109 | public RuleCall getALSRangeRestrictionRightParserRuleCall_0() { return cALSRangeRestrictionRightParserRuleCall_0; } | ||
1110 | |||
1111 | //({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)? | ||
1112 | public Group getGroup_1() { return cGroup_1; } | ||
1113 | |||
1114 | //{ALSOverride.leftOperand=current} | ||
1115 | public Action getALSOverrideLeftOperandAction_1_0() { return cALSOverrideLeftOperandAction_1_0; } | ||
1116 | |||
1117 | //'++' | ||
1118 | public Keyword getPlusSignPlusSignKeyword_1_1() { return cPlusSignPlusSignKeyword_1_1; } | ||
1119 | |||
1120 | //rightOperand=ALSRangeRestrictionRight | ||
1121 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
1122 | |||
1123 | //ALSRangeRestrictionRight | ||
1124 | public RuleCall getRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0() { return cRightOperandALSRangeRestrictionRightParserRuleCall_1_2_0; } | ||
1125 | } | ||
1126 | |||
1127 | public class ALSRangeRestrictionRightElements extends AbstractParserRuleElementFinder { | ||
1128 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionRight"); | ||
1129 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1130 | private final RuleCall cALSRangeRestrictionLeftParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1131 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1132 | private final Action cALSRangeRestrictionRightRelationAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1133 | private final Keyword cColonGreaterThanSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1134 | private final Assignment cFilterAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1135 | private final RuleCall cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0 = (RuleCall)cFilterAssignment_1_2.eContents().get(0); | ||
1136 | |||
1137 | //ALSRangeRestrictionRight ALSTerm: | ||
1138 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?; | ||
1139 | @Override public ParserRule getRule() { return rule; } | ||
1140 | |||
1141 | //ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? | ||
1142 | public Group getGroup() { return cGroup; } | ||
1143 | |||
1144 | //ALSRangeRestrictionLeft | ||
1145 | public RuleCall getALSRangeRestrictionLeftParserRuleCall_0() { return cALSRangeRestrictionLeftParserRuleCall_0; } | ||
1146 | |||
1147 | //({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)? | ||
1148 | public Group getGroup_1() { return cGroup_1; } | ||
1149 | |||
1150 | //{ALSRangeRestrictionRight.relation=current} | ||
1151 | public Action getALSRangeRestrictionRightRelationAction_1_0() { return cALSRangeRestrictionRightRelationAction_1_0; } | ||
1152 | |||
1153 | //':>' | ||
1154 | public Keyword getColonGreaterThanSignKeyword_1_1() { return cColonGreaterThanSignKeyword_1_1; } | ||
1155 | |||
1156 | //filter=ALSRangeRestrictionLeft | ||
1157 | public Assignment getFilterAssignment_1_2() { return cFilterAssignment_1_2; } | ||
1158 | |||
1159 | //ALSRangeRestrictionLeft | ||
1160 | public RuleCall getFilterALSRangeRestrictionLeftParserRuleCall_1_2_0() { return cFilterALSRangeRestrictionLeftParserRuleCall_1_2_0; } | ||
1161 | } | ||
1162 | |||
1163 | public class ALSRangeRestrictionLeftElements extends AbstractParserRuleElementFinder { | ||
1164 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRangeRestrictionLeft"); | ||
1165 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1166 | private final RuleCall cALSJoinParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1167 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1168 | private final Action cALSRangeRestrictionLeftFilterAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1169 | private final Keyword cLessThanSignColonKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1170 | private final Assignment cRelationAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1171 | private final RuleCall cRelationALSJoinParserRuleCall_1_2_0 = (RuleCall)cRelationAssignment_1_2.eContents().get(0); | ||
1172 | |||
1173 | //ALSRangeRestrictionLeft ALSTerm: | ||
1174 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?; | ||
1175 | @Override public ParserRule getRule() { return rule; } | ||
1176 | |||
1177 | //ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? | ||
1178 | public Group getGroup() { return cGroup; } | ||
1179 | |||
1180 | //ALSJoin | ||
1181 | public RuleCall getALSJoinParserRuleCall_0() { return cALSJoinParserRuleCall_0; } | ||
1182 | |||
1183 | //({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)? | ||
1184 | public Group getGroup_1() { return cGroup_1; } | ||
1185 | |||
1186 | //{ALSRangeRestrictionLeft.filter=current} | ||
1187 | public Action getALSRangeRestrictionLeftFilterAction_1_0() { return cALSRangeRestrictionLeftFilterAction_1_0; } | ||
1188 | |||
1189 | //'<:' | ||
1190 | public Keyword getLessThanSignColonKeyword_1_1() { return cLessThanSignColonKeyword_1_1; } | ||
1191 | |||
1192 | //relation=ALSJoin | ||
1193 | public Assignment getRelationAssignment_1_2() { return cRelationAssignment_1_2; } | ||
1194 | |||
1195 | //ALSJoin | ||
1196 | public RuleCall getRelationALSJoinParserRuleCall_1_2_0() { return cRelationALSJoinParserRuleCall_1_2_0; } | ||
1197 | } | ||
1198 | |||
1199 | public class ALSJoinElements extends AbstractParserRuleElementFinder { | ||
1200 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSJoin"); | ||
1201 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1202 | private final RuleCall cALSMinusParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1203 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1204 | private final Action cALSJoinLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1205 | private final Keyword cFullStopKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1206 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1207 | private final RuleCall cRightOperandALSMinusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
1208 | |||
1209 | //ALSJoin ALSTerm: | ||
1210 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*; | ||
1211 | @Override public ParserRule getRule() { return rule; } | ||
1212 | |||
1213 | //ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* | ||
1214 | public Group getGroup() { return cGroup; } | ||
1215 | |||
1216 | //ALSMinus | ||
1217 | public RuleCall getALSMinusParserRuleCall_0() { return cALSMinusParserRuleCall_0; } | ||
1218 | |||
1219 | //({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)* | ||
1220 | public Group getGroup_1() { return cGroup_1; } | ||
1221 | |||
1222 | //{ALSJoin.leftOperand=current} | ||
1223 | public Action getALSJoinLeftOperandAction_1_0() { return cALSJoinLeftOperandAction_1_0; } | ||
1224 | |||
1225 | //'.' | ||
1226 | public Keyword getFullStopKeyword_1_1() { return cFullStopKeyword_1_1; } | ||
1227 | |||
1228 | //rightOperand=ALSMinus | ||
1229 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
1230 | |||
1231 | //ALSMinus | ||
1232 | public RuleCall getRightOperandALSMinusParserRuleCall_1_2_0() { return cRightOperandALSMinusParserRuleCall_1_2_0; } | ||
1233 | } | ||
1234 | |||
1235 | public class ALSMinusElements extends AbstractParserRuleElementFinder { | ||
1236 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMinus"); | ||
1237 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1238 | private final RuleCall cALSPlusParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1239 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1240 | private final Action cALSMinusLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1241 | private final Keyword cHyphenMinusKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1242 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1243 | private final RuleCall cRightOperandALSPlusParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
1244 | |||
1245 | //ALSMinus ALSTerm: | ||
1246 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*; | ||
1247 | @Override public ParserRule getRule() { return rule; } | ||
1248 | |||
1249 | //ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* | ||
1250 | public Group getGroup() { return cGroup; } | ||
1251 | |||
1252 | //ALSPlus | ||
1253 | public RuleCall getALSPlusParserRuleCall_0() { return cALSPlusParserRuleCall_0; } | ||
1254 | |||
1255 | //({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)* | ||
1256 | public Group getGroup_1() { return cGroup_1; } | ||
1257 | |||
1258 | //{ALSMinus.leftOperand=current} | ||
1259 | public Action getALSMinusLeftOperandAction_1_0() { return cALSMinusLeftOperandAction_1_0; } | ||
1260 | |||
1261 | //'-' | ||
1262 | public Keyword getHyphenMinusKeyword_1_1() { return cHyphenMinusKeyword_1_1; } | ||
1263 | |||
1264 | //rightOperand=ALSPlus | ||
1265 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
1266 | |||
1267 | //ALSPlus | ||
1268 | public RuleCall getRightOperandALSPlusParserRuleCall_1_2_0() { return cRightOperandALSPlusParserRuleCall_1_2_0; } | ||
1269 | } | ||
1270 | |||
1271 | public class ALSPlusElements extends AbstractParserRuleElementFinder { | ||
1272 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPlus"); | ||
1273 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1274 | private final RuleCall cALSIntersectionParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1275 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1276 | private final Action cALSPlusLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1277 | private final Keyword cPlusSignKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1278 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1279 | private final RuleCall cRightOperandALSIntersectionParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
1280 | |||
1281 | //ALSPlus ALSTerm: | ||
1282 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*; | ||
1283 | @Override public ParserRule getRule() { return rule; } | ||
1284 | |||
1285 | //ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* | ||
1286 | public Group getGroup() { return cGroup; } | ||
1287 | |||
1288 | //ALSIntersection | ||
1289 | public RuleCall getALSIntersectionParserRuleCall_0() { return cALSIntersectionParserRuleCall_0; } | ||
1290 | |||
1291 | //({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)* | ||
1292 | public Group getGroup_1() { return cGroup_1; } | ||
1293 | |||
1294 | //{ALSPlus.leftOperand=current} | ||
1295 | public Action getALSPlusLeftOperandAction_1_0() { return cALSPlusLeftOperandAction_1_0; } | ||
1296 | |||
1297 | //'+' | ||
1298 | public Keyword getPlusSignKeyword_1_1() { return cPlusSignKeyword_1_1; } | ||
1299 | |||
1300 | //rightOperand=ALSIntersection | ||
1301 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
1302 | |||
1303 | //ALSIntersection | ||
1304 | public RuleCall getRightOperandALSIntersectionParserRuleCall_1_2_0() { return cRightOperandALSIntersectionParserRuleCall_1_2_0; } | ||
1305 | } | ||
1306 | |||
1307 | public class ALSIntersectionElements extends AbstractParserRuleElementFinder { | ||
1308 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIntersection"); | ||
1309 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1310 | private final RuleCall cALSDirectProductParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1311 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1312 | private final Action cALSIntersectionLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1313 | private final Keyword cAmpersandKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1314 | private final Assignment cRightOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1315 | private final RuleCall cRightOperandALSDirectProductParserRuleCall_1_2_0 = (RuleCall)cRightOperandAssignment_1_2.eContents().get(0); | ||
1316 | |||
1317 | //ALSIntersection ALSTerm: | ||
1318 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*; | ||
1319 | @Override public ParserRule getRule() { return rule; } | ||
1320 | |||
1321 | //ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* | ||
1322 | public Group getGroup() { return cGroup; } | ||
1323 | |||
1324 | //ALSDirectProduct | ||
1325 | public RuleCall getALSDirectProductParserRuleCall_0() { return cALSDirectProductParserRuleCall_0; } | ||
1326 | |||
1327 | //({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)* | ||
1328 | public Group getGroup_1() { return cGroup_1; } | ||
1329 | |||
1330 | //{ALSIntersection.leftOperand=current} | ||
1331 | public Action getALSIntersectionLeftOperandAction_1_0() { return cALSIntersectionLeftOperandAction_1_0; } | ||
1332 | |||
1333 | //'&' | ||
1334 | public Keyword getAmpersandKeyword_1_1() { return cAmpersandKeyword_1_1; } | ||
1335 | |||
1336 | //rightOperand=ALSDirectProduct | ||
1337 | public Assignment getRightOperandAssignment_1_2() { return cRightOperandAssignment_1_2; } | ||
1338 | |||
1339 | //ALSDirectProduct | ||
1340 | public RuleCall getRightOperandALSDirectProductParserRuleCall_1_2_0() { return cRightOperandALSDirectProductParserRuleCall_1_2_0; } | ||
1341 | } | ||
1342 | |||
1343 | public class ALSDirectProductElements extends AbstractParserRuleElementFinder { | ||
1344 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSDirectProduct"); | ||
1345 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1346 | private final RuleCall cALSPreficedParserRuleCall_0 = (RuleCall)cGroup.eContents().get(0); | ||
1347 | private final Group cGroup_1 = (Group)cGroup.eContents().get(1); | ||
1348 | private final Action cALSDirectProductLeftOperandAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1349 | private final Assignment cLeftMultiplicitAssignment_1_1 = (Assignment)cGroup_1.eContents().get(1); | ||
1350 | private final RuleCall cLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0 = (RuleCall)cLeftMultiplicitAssignment_1_1.eContents().get(0); | ||
1351 | private final Keyword cHyphenMinusGreaterThanSignKeyword_1_2 = (Keyword)cGroup_1.eContents().get(2); | ||
1352 | private final Assignment cRightMultiplicitAssignment_1_3 = (Assignment)cGroup_1.eContents().get(3); | ||
1353 | private final RuleCall cRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0 = (RuleCall)cRightMultiplicitAssignment_1_3.eContents().get(0); | ||
1354 | private final Assignment cRightOperandAssignment_1_4 = (Assignment)cGroup_1.eContents().get(4); | ||
1355 | private final RuleCall cRightOperandALSPreficedParserRuleCall_1_4_0 = (RuleCall)cRightOperandAssignment_1_4.eContents().get(0); | ||
1356 | |||
1357 | ////ALSMultiply returns ALSTerm: ALSDirectProduct ({ALSMultiply.leftOperand = current} '*' rightOperand = ALSDirectProduct)*; | ||
1358 | //ALSDirectProduct ALSTerm: | ||
1359 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? | ||
1360 | // '->' | ||
1361 | // rightMultiplicit=ALSMultiplicity? | ||
1362 | // rightOperand=ALSPreficed)?; | ||
1363 | @Override public ParserRule getRule() { return rule; } | ||
1364 | |||
1365 | //ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->' | ||
1366 | //rightMultiplicit=ALSMultiplicity? rightOperand=ALSPreficed)? | ||
1367 | public Group getGroup() { return cGroup; } | ||
1368 | |||
1369 | //ALSPreficed | ||
1370 | public RuleCall getALSPreficedParserRuleCall_0() { return cALSPreficedParserRuleCall_0; } | ||
1371 | |||
1372 | //({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? '->' rightMultiplicit=ALSMultiplicity? | ||
1373 | //rightOperand=ALSPreficed)? | ||
1374 | public Group getGroup_1() { return cGroup_1; } | ||
1375 | |||
1376 | //{ALSDirectProduct.leftOperand=current} | ||
1377 | public Action getALSDirectProductLeftOperandAction_1_0() { return cALSDirectProductLeftOperandAction_1_0; } | ||
1378 | |||
1379 | //leftMultiplicit=ALSMultiplicity? | ||
1380 | public Assignment getLeftMultiplicitAssignment_1_1() { return cLeftMultiplicitAssignment_1_1; } | ||
1381 | |||
1382 | //ALSMultiplicity | ||
1383 | public RuleCall getLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0() { return cLeftMultiplicitALSMultiplicityEnumRuleCall_1_1_0; } | ||
1384 | |||
1385 | //'->' | ||
1386 | public Keyword getHyphenMinusGreaterThanSignKeyword_1_2() { return cHyphenMinusGreaterThanSignKeyword_1_2; } | ||
1387 | |||
1388 | //rightMultiplicit=ALSMultiplicity? | ||
1389 | public Assignment getRightMultiplicitAssignment_1_3() { return cRightMultiplicitAssignment_1_3; } | ||
1390 | |||
1391 | //ALSMultiplicity | ||
1392 | public RuleCall getRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0() { return cRightMultiplicitALSMultiplicityEnumRuleCall_1_3_0; } | ||
1393 | |||
1394 | //rightOperand=ALSPreficed | ||
1395 | public Assignment getRightOperandAssignment_1_4() { return cRightOperandAssignment_1_4; } | ||
1396 | |||
1397 | //ALSPreficed | ||
1398 | public RuleCall getRightOperandALSPreficedParserRuleCall_1_4_0() { return cRightOperandALSPreficedParserRuleCall_1_4_0; } | ||
1399 | } | ||
1400 | |||
1401 | public class ALSPreficedElements extends AbstractParserRuleElementFinder { | ||
1402 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSPreficed"); | ||
1403 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1404 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
1405 | private final Action cALSNotAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
1406 | private final Group cGroup_0_1 = (Group)cGroup_0.eContents().get(1); | ||
1407 | private final Alternatives cAlternatives_0_1_0 = (Alternatives)cGroup_0_1.eContents().get(0); | ||
1408 | private final Keyword cExclamationMarkKeyword_0_1_0_0 = (Keyword)cAlternatives_0_1_0.eContents().get(0); | ||
1409 | private final Keyword cNotKeyword_0_1_0_1 = (Keyword)cAlternatives_0_1_0.eContents().get(1); | ||
1410 | private final Assignment cOperandAssignment_0_2 = (Assignment)cGroup_0.eContents().get(2); | ||
1411 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_0_2_0 = (RuleCall)cOperandAssignment_0_2.eContents().get(0); | ||
1412 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | ||
1413 | private final Action cALSInverseRelationAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1414 | private final Keyword cTildeKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1415 | private final Assignment cOperandAssignment_1_2 = (Assignment)cGroup_1.eContents().get(2); | ||
1416 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_1_2_0 = (RuleCall)cOperandAssignment_1_2.eContents().get(0); | ||
1417 | private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2); | ||
1418 | private final Action cAlSTransitiveClosureAction_2_0 = (Action)cGroup_2.eContents().get(0); | ||
1419 | private final Keyword cCircumflexAccentKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1); | ||
1420 | private final Assignment cOperandAssignment_2_2 = (Assignment)cGroup_2.eContents().get(2); | ||
1421 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_2_2_0 = (RuleCall)cOperandAssignment_2_2.eContents().get(0); | ||
1422 | private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3); | ||
1423 | private final Action cALSReflectiveTransitiveClosureAction_3_0 = (Action)cGroup_3.eContents().get(0); | ||
1424 | private final Keyword cAsteriskKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1); | ||
1425 | private final Assignment cOperandAssignment_3_2 = (Assignment)cGroup_3.eContents().get(2); | ||
1426 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_3_2_0 = (RuleCall)cOperandAssignment_3_2.eContents().get(0); | ||
1427 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); | ||
1428 | private final Action cALSCardinalityAction_4_0 = (Action)cGroup_4.eContents().get(0); | ||
1429 | private final Keyword cNumberSignKeyword_4_1 = (Keyword)cGroup_4.eContents().get(1); | ||
1430 | private final Assignment cOperandAssignment_4_2 = (Assignment)cGroup_4.eContents().get(2); | ||
1431 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_4_2_0 = (RuleCall)cOperandAssignment_4_2.eContents().get(0); | ||
1432 | private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5); | ||
1433 | private final Action cALSUnaryMinusAction_5_0 = (Action)cGroup_5.eContents().get(0); | ||
1434 | private final Keyword cHyphenMinusKeyword_5_1 = (Keyword)cGroup_5.eContents().get(1); | ||
1435 | private final Assignment cOperandAssignment_5_2 = (Assignment)cGroup_5.eContents().get(2); | ||
1436 | private final RuleCall cOperandALSBasicRelationTermParserRuleCall_5_2_0 = (RuleCall)cOperandAssignment_5_2.eContents().get(0); | ||
1437 | private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6); | ||
1438 | private final Action cALSSumAction_6_0 = (Action)cGroup_6.eContents().get(0); | ||
1439 | private final Keyword cSumKeyword_6_1 = (Keyword)cGroup_6.eContents().get(1); | ||
1440 | private final Assignment cVariablesAssignment_6_2 = (Assignment)cGroup_6.eContents().get(2); | ||
1441 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_6_2_0 = (RuleCall)cVariablesAssignment_6_2.eContents().get(0); | ||
1442 | private final Group cGroup_6_3 = (Group)cGroup_6.eContents().get(3); | ||
1443 | private final Keyword cCommaKeyword_6_3_0 = (Keyword)cGroup_6_3.eContents().get(0); | ||
1444 | private final Assignment cVariablesAssignment_6_3_1 = (Assignment)cGroup_6_3.eContents().get(1); | ||
1445 | private final RuleCall cVariablesALSVariableDeclarationParserRuleCall_6_3_1_0 = (RuleCall)cVariablesAssignment_6_3_1.eContents().get(0); | ||
1446 | private final Keyword cLeftCurlyBracketKeyword_6_4 = (Keyword)cGroup_6.eContents().get(4); | ||
1447 | private final Assignment cExpressionAssignment_6_5 = (Assignment)cGroup_6.eContents().get(5); | ||
1448 | private final RuleCall cExpressionALSTermParserRuleCall_6_5_0 = (RuleCall)cExpressionAssignment_6_5.eContents().get(0); | ||
1449 | private final Keyword cRightCurlyBracketKeyword_6_6 = (Keyword)cGroup_6.eContents().get(6); | ||
1450 | private final Group cGroup_7 = (Group)cAlternatives.eContents().get(7); | ||
1451 | private final Action cALSFunctionCallAction_7_0 = (Action)cGroup_7.eContents().get(0); | ||
1452 | private final Alternatives cAlternatives_7_1 = (Alternatives)cGroup_7.eContents().get(1); | ||
1453 | private final Assignment cReferredDefinitionAssignment_7_1_0 = (Assignment)cAlternatives_7_1.eContents().get(0); | ||
1454 | private final CrossReference cReferredDefinitionALSDefinitionCrossReference_7_1_0_0 = (CrossReference)cReferredDefinitionAssignment_7_1_0.eContents().get(0); | ||
1455 | private final RuleCall cReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1 = (RuleCall)cReferredDefinitionALSDefinitionCrossReference_7_1_0_0.eContents().get(1); | ||
1456 | private final Assignment cReferredNumericOperatorAssignment_7_1_1 = (Assignment)cAlternatives_7_1.eContents().get(1); | ||
1457 | private final RuleCall cReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0 = (RuleCall)cReferredNumericOperatorAssignment_7_1_1.eContents().get(0); | ||
1458 | private final Keyword cLeftSquareBracketKeyword_7_2 = (Keyword)cGroup_7.eContents().get(2); | ||
1459 | private final Assignment cParamsAssignment_7_3 = (Assignment)cGroup_7.eContents().get(3); | ||
1460 | private final RuleCall cParamsALSTermParserRuleCall_7_3_0 = (RuleCall)cParamsAssignment_7_3.eContents().get(0); | ||
1461 | private final Group cGroup_7_4 = (Group)cGroup_7.eContents().get(4); | ||
1462 | private final Keyword cCommaKeyword_7_4_0 = (Keyword)cGroup_7_4.eContents().get(0); | ||
1463 | private final Assignment cParamsAssignment_7_4_1 = (Assignment)cGroup_7_4.eContents().get(1); | ||
1464 | private final RuleCall cParamsALSTermParserRuleCall_7_4_1_0 = (RuleCall)cParamsAssignment_7_4_1.eContents().get(0); | ||
1465 | private final Keyword cRightSquareBracketKeyword_7_5 = (Keyword)cGroup_7.eContents().get(5); | ||
1466 | private final RuleCall cALSBasicRelationTermParserRuleCall_8 = (RuleCall)cAlternatives.eContents().get(8); | ||
1467 | |||
1468 | //ALSPreficed ALSTerm: | ||
1469 | // {ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | | ||
1470 | // {AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*" | ||
1471 | // operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-' | ||
1472 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | ||
1473 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} | ||
1474 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' | ||
1475 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm; | ||
1476 | @Override public ParserRule getRule() { return rule; } | ||
1477 | |||
1478 | //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | | ||
1479 | //{AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*" | ||
1480 | //operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-' | ||
1481 | //operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | ||
1482 | //variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} (referredDefinition=[ALSDefinition] | ||
1483 | //| referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' params+=ALSTerm)* ']' | ALSBasicRelationTerm | ||
1484 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1485 | |||
1486 | //{ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | ||
1487 | public Group getGroup_0() { return cGroup_0; } | ||
1488 | |||
1489 | //{ALSNot} | ||
1490 | public Action getALSNotAction_0_0() { return cALSNotAction_0_0; } | ||
1491 | |||
1492 | //=> ("!" | 'not') | ||
1493 | public Group getGroup_0_1() { return cGroup_0_1; } | ||
1494 | |||
1495 | //"!" | 'not' | ||
1496 | public Alternatives getAlternatives_0_1_0() { return cAlternatives_0_1_0; } | ||
1497 | |||
1498 | //"!" | ||
1499 | public Keyword getExclamationMarkKeyword_0_1_0_0() { return cExclamationMarkKeyword_0_1_0_0; } | ||
1500 | |||
1501 | //'not' | ||
1502 | public Keyword getNotKeyword_0_1_0_1() { return cNotKeyword_0_1_0_1; } | ||
1503 | |||
1504 | //operand=ALSBasicRelationTerm | ||
1505 | public Assignment getOperandAssignment_0_2() { return cOperandAssignment_0_2; } | ||
1506 | |||
1507 | //ALSBasicRelationTerm | ||
1508 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_0_2_0() { return cOperandALSBasicRelationTermParserRuleCall_0_2_0; } | ||
1509 | |||
1510 | //{ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | ||
1511 | public Group getGroup_1() { return cGroup_1; } | ||
1512 | |||
1513 | //{ALSInverseRelation} | ||
1514 | public Action getALSInverseRelationAction_1_0() { return cALSInverseRelationAction_1_0; } | ||
1515 | |||
1516 | //=> "~" | ||
1517 | public Keyword getTildeKeyword_1_1() { return cTildeKeyword_1_1; } | ||
1518 | |||
1519 | //operand=ALSBasicRelationTerm | ||
1520 | public Assignment getOperandAssignment_1_2() { return cOperandAssignment_1_2; } | ||
1521 | |||
1522 | //ALSBasicRelationTerm | ||
1523 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_1_2_0() { return cOperandALSBasicRelationTermParserRuleCall_1_2_0; } | ||
1524 | |||
1525 | //{AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | ||
1526 | public Group getGroup_2() { return cGroup_2; } | ||
1527 | |||
1528 | //{AlSTransitiveClosure} | ||
1529 | public Action getAlSTransitiveClosureAction_2_0() { return cAlSTransitiveClosureAction_2_0; } | ||
1530 | |||
1531 | //"^" | ||
1532 | public Keyword getCircumflexAccentKeyword_2_1() { return cCircumflexAccentKeyword_2_1; } | ||
1533 | |||
1534 | //operand=ALSBasicRelationTerm | ||
1535 | public Assignment getOperandAssignment_2_2() { return cOperandAssignment_2_2; } | ||
1536 | |||
1537 | //ALSBasicRelationTerm | ||
1538 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_2_2_0() { return cOperandALSBasicRelationTermParserRuleCall_2_2_0; } | ||
1539 | |||
1540 | //{ALSReflectiveTransitiveClosure} "*" operand=ALSBasicRelationTerm | ||
1541 | public Group getGroup_3() { return cGroup_3; } | ||
1542 | |||
1543 | //{ALSReflectiveTransitiveClosure} | ||
1544 | public Action getALSReflectiveTransitiveClosureAction_3_0() { return cALSReflectiveTransitiveClosureAction_3_0; } | ||
1545 | |||
1546 | //"*" | ||
1547 | public Keyword getAsteriskKeyword_3_1() { return cAsteriskKeyword_3_1; } | ||
1548 | |||
1549 | //operand=ALSBasicRelationTerm | ||
1550 | public Assignment getOperandAssignment_3_2() { return cOperandAssignment_3_2; } | ||
1551 | |||
1552 | //ALSBasicRelationTerm | ||
1553 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_3_2_0() { return cOperandALSBasicRelationTermParserRuleCall_3_2_0; } | ||
1554 | |||
1555 | //{ALSCardinality} '#' operand=ALSBasicRelationTerm | ||
1556 | public Group getGroup_4() { return cGroup_4; } | ||
1557 | |||
1558 | //{ALSCardinality} | ||
1559 | public Action getALSCardinalityAction_4_0() { return cALSCardinalityAction_4_0; } | ||
1560 | |||
1561 | //'#' | ||
1562 | public Keyword getNumberSignKeyword_4_1() { return cNumberSignKeyword_4_1; } | ||
1563 | |||
1564 | //operand=ALSBasicRelationTerm | ||
1565 | public Assignment getOperandAssignment_4_2() { return cOperandAssignment_4_2; } | ||
1566 | |||
1567 | //ALSBasicRelationTerm | ||
1568 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_4_2_0() { return cOperandALSBasicRelationTermParserRuleCall_4_2_0; } | ||
1569 | |||
1570 | //{ALSUnaryMinus} => '-' operand=ALSBasicRelationTerm | ||
1571 | public Group getGroup_5() { return cGroup_5; } | ||
1572 | |||
1573 | //{ALSUnaryMinus} | ||
1574 | public Action getALSUnaryMinusAction_5_0() { return cALSUnaryMinusAction_5_0; } | ||
1575 | |||
1576 | //=> '-' | ||
1577 | public Keyword getHyphenMinusKeyword_5_1() { return cHyphenMinusKeyword_5_1; } | ||
1578 | |||
1579 | //operand=ALSBasicRelationTerm | ||
1580 | public Assignment getOperandAssignment_5_2() { return cOperandAssignment_5_2; } | ||
1581 | |||
1582 | //ALSBasicRelationTerm | ||
1583 | public RuleCall getOperandALSBasicRelationTermParserRuleCall_5_2_0() { return cOperandALSBasicRelationTermParserRuleCall_5_2_0; } | ||
1584 | |||
1585 | //{ALSSum} 'sum' variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | ||
1586 | public Group getGroup_6() { return cGroup_6; } | ||
1587 | |||
1588 | //{ALSSum} | ||
1589 | public Action getALSSumAction_6_0() { return cALSSumAction_6_0; } | ||
1590 | |||
1591 | //'sum' | ||
1592 | public Keyword getSumKeyword_6_1() { return cSumKeyword_6_1; } | ||
1593 | |||
1594 | //variables+=ALSVariableDeclaration | ||
1595 | public Assignment getVariablesAssignment_6_2() { return cVariablesAssignment_6_2; } | ||
1596 | |||
1597 | //ALSVariableDeclaration | ||
1598 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_6_2_0() { return cVariablesALSVariableDeclarationParserRuleCall_6_2_0; } | ||
1599 | |||
1600 | //(',' variables+=ALSVariableDeclaration)* | ||
1601 | public Group getGroup_6_3() { return cGroup_6_3; } | ||
1602 | |||
1603 | //',' | ||
1604 | public Keyword getCommaKeyword_6_3_0() { return cCommaKeyword_6_3_0; } | ||
1605 | |||
1606 | //variables+=ALSVariableDeclaration | ||
1607 | public Assignment getVariablesAssignment_6_3_1() { return cVariablesAssignment_6_3_1; } | ||
1608 | |||
1609 | //ALSVariableDeclaration | ||
1610 | public RuleCall getVariablesALSVariableDeclarationParserRuleCall_6_3_1_0() { return cVariablesALSVariableDeclarationParserRuleCall_6_3_1_0; } | ||
1611 | |||
1612 | //'{' | ||
1613 | public Keyword getLeftCurlyBracketKeyword_6_4() { return cLeftCurlyBracketKeyword_6_4; } | ||
1614 | |||
1615 | //expression=ALSTerm | ||
1616 | public Assignment getExpressionAssignment_6_5() { return cExpressionAssignment_6_5; } | ||
1617 | |||
1618 | //ALSTerm | ||
1619 | public RuleCall getExpressionALSTermParserRuleCall_6_5_0() { return cExpressionALSTermParserRuleCall_6_5_0; } | ||
1620 | |||
1621 | //'}' | ||
1622 | public Keyword getRightCurlyBracketKeyword_6_6() { return cRightCurlyBracketKeyword_6_6; } | ||
1623 | |||
1624 | //{ALSFunctionCall} (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm | ||
1625 | //(',' params+=ALSTerm)* ']' | ||
1626 | public Group getGroup_7() { return cGroup_7; } | ||
1627 | |||
1628 | //{ALSFunctionCall} | ||
1629 | public Action getALSFunctionCallAction_7_0() { return cALSFunctionCallAction_7_0; } | ||
1630 | |||
1631 | //referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator | ||
1632 | public Alternatives getAlternatives_7_1() { return cAlternatives_7_1; } | ||
1633 | |||
1634 | //referredDefinition=[ALSDefinition] | ||
1635 | public Assignment getReferredDefinitionAssignment_7_1_0() { return cReferredDefinitionAssignment_7_1_0; } | ||
1636 | |||
1637 | //[ALSDefinition] | ||
1638 | public CrossReference getReferredDefinitionALSDefinitionCrossReference_7_1_0_0() { return cReferredDefinitionALSDefinitionCrossReference_7_1_0_0; } | ||
1639 | |||
1640 | //ID | ||
1641 | public RuleCall getReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1() { return cReferredDefinitionALSDefinitionIDTerminalRuleCall_7_1_0_0_1; } | ||
1642 | |||
1643 | //referredNumericOperator=ALSNumericOperator | ||
1644 | public Assignment getReferredNumericOperatorAssignment_7_1_1() { return cReferredNumericOperatorAssignment_7_1_1; } | ||
1645 | |||
1646 | //ALSNumericOperator | ||
1647 | public RuleCall getReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0() { return cReferredNumericOperatorALSNumericOperatorEnumRuleCall_7_1_1_0; } | ||
1648 | |||
1649 | //'[' | ||
1650 | public Keyword getLeftSquareBracketKeyword_7_2() { return cLeftSquareBracketKeyword_7_2; } | ||
1651 | |||
1652 | //params+=ALSTerm | ||
1653 | public Assignment getParamsAssignment_7_3() { return cParamsAssignment_7_3; } | ||
1654 | |||
1655 | //ALSTerm | ||
1656 | public RuleCall getParamsALSTermParserRuleCall_7_3_0() { return cParamsALSTermParserRuleCall_7_3_0; } | ||
1657 | |||
1658 | //(',' params+=ALSTerm)* | ||
1659 | public Group getGroup_7_4() { return cGroup_7_4; } | ||
1660 | |||
1661 | //',' | ||
1662 | public Keyword getCommaKeyword_7_4_0() { return cCommaKeyword_7_4_0; } | ||
1663 | |||
1664 | //params+=ALSTerm | ||
1665 | public Assignment getParamsAssignment_7_4_1() { return cParamsAssignment_7_4_1; } | ||
1666 | |||
1667 | //ALSTerm | ||
1668 | public RuleCall getParamsALSTermParserRuleCall_7_4_1_0() { return cParamsALSTermParserRuleCall_7_4_1_0; } | ||
1669 | |||
1670 | //']' | ||
1671 | public Keyword getRightSquareBracketKeyword_7_5() { return cRightSquareBracketKeyword_7_5; } | ||
1672 | |||
1673 | //ALSBasicRelationTerm | ||
1674 | public RuleCall getALSBasicRelationTermParserRuleCall_8() { return cALSBasicRelationTermParserRuleCall_8; } | ||
1675 | } | ||
1676 | |||
1677 | public class ALSVariableDeclarationElements extends AbstractParserRuleElementFinder { | ||
1678 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSVariableDeclaration"); | ||
1679 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1680 | private final Assignment cNameAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
1681 | private final RuleCall cNameALSIDParserRuleCall_0_0 = (RuleCall)cNameAssignment_0.eContents().get(0); | ||
1682 | private final Keyword cColonKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
1683 | private final Assignment cRangeAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
1684 | private final RuleCall cRangeALSTermParserRuleCall_2_0 = (RuleCall)cRangeAssignment_2.eContents().get(0); | ||
1685 | |||
1686 | ////ALSVariable: name = ALSID; | ||
1687 | //ALSVariableDeclaration: | ||
1688 | // name=ALSID ':' range=ALSTerm; | ||
1689 | @Override public ParserRule getRule() { return rule; } | ||
1690 | |||
1691 | //name=ALSID ':' range=ALSTerm | ||
1692 | public Group getGroup() { return cGroup; } | ||
1693 | |||
1694 | //name=ALSID | ||
1695 | public Assignment getNameAssignment_0() { return cNameAssignment_0; } | ||
1696 | |||
1697 | //ALSID | ||
1698 | public RuleCall getNameALSIDParserRuleCall_0_0() { return cNameALSIDParserRuleCall_0_0; } | ||
1699 | |||
1700 | //':' | ||
1701 | public Keyword getColonKeyword_1() { return cColonKeyword_1; } | ||
1702 | |||
1703 | //range=ALSTerm | ||
1704 | public Assignment getRangeAssignment_2() { return cRangeAssignment_2; } | ||
1705 | |||
1706 | //ALSTerm | ||
1707 | public RuleCall getRangeALSTermParserRuleCall_2_0() { return cRangeALSTermParserRuleCall_2_0; } | ||
1708 | } | ||
1709 | |||
1710 | public class ALSBasicRelationTermElements extends AbstractParserRuleElementFinder { | ||
1711 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSBasicRelationTerm"); | ||
1712 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1713 | private final Group cGroup_0 = (Group)cAlternatives.eContents().get(0); | ||
1714 | private final Action cALSNoneAction_0_0 = (Action)cGroup_0.eContents().get(0); | ||
1715 | private final Keyword cNoneKeyword_0_1 = (Keyword)cGroup_0.eContents().get(1); | ||
1716 | private final Group cGroup_1 = (Group)cAlternatives.eContents().get(1); | ||
1717 | private final Action cALSIdenAction_1_0 = (Action)cGroup_1.eContents().get(0); | ||
1718 | private final Keyword cIdenKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1); | ||
1719 | private final Group cGroup_2 = (Group)cAlternatives.eContents().get(2); | ||
1720 | private final Action cALSUnivAction_2_0 = (Action)cGroup_2.eContents().get(0); | ||
1721 | private final Keyword cUnivKeyword_2_1 = (Keyword)cGroup_2.eContents().get(1); | ||
1722 | private final Group cGroup_3 = (Group)cAlternatives.eContents().get(3); | ||
1723 | private final Action cALSIntAction_3_0 = (Action)cGroup_3.eContents().get(0); | ||
1724 | private final Keyword cIntKeyword_3_1 = (Keyword)cGroup_3.eContents().get(1); | ||
1725 | private final Group cGroup_4 = (Group)cAlternatives.eContents().get(4); | ||
1726 | private final Action cALSStringAction_4_0 = (Action)cGroup_4.eContents().get(0); | ||
1727 | private final Keyword cStringKeyword_4_1 = (Keyword)cGroup_4.eContents().get(1); | ||
1728 | private final Group cGroup_5 = (Group)cAlternatives.eContents().get(5); | ||
1729 | private final Action cALSReferenceAction_5_0 = (Action)cGroup_5.eContents().get(0); | ||
1730 | private final Assignment cReferredAssignment_5_1 = (Assignment)cGroup_5.eContents().get(1); | ||
1731 | private final CrossReference cReferredALSRelationDeclarationCrossReference_5_1_0 = (CrossReference)cReferredAssignment_5_1.eContents().get(0); | ||
1732 | private final RuleCall cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1 = (RuleCall)cReferredALSRelationDeclarationCrossReference_5_1_0.eContents().get(1); | ||
1733 | private final Group cGroup_6 = (Group)cAlternatives.eContents().get(6); | ||
1734 | private final Action cALSNumberLiteralAction_6_0 = (Action)cGroup_6.eContents().get(0); | ||
1735 | private final Assignment cValueAssignment_6_1 = (Assignment)cGroup_6.eContents().get(1); | ||
1736 | private final RuleCall cValueINTTerminalRuleCall_6_1_0 = (RuleCall)cValueAssignment_6_1.eContents().get(0); | ||
1737 | private final Group cGroup_7 = (Group)cAlternatives.eContents().get(7); | ||
1738 | private final Action cALSStringLiteralAction_7_0 = (Action)cGroup_7.eContents().get(0); | ||
1739 | private final Assignment cValueAssignment_7_1 = (Assignment)cGroup_7.eContents().get(1); | ||
1740 | private final RuleCall cValueSTRINGTerminalRuleCall_7_1_0 = (RuleCall)cValueAssignment_7_1.eContents().get(0); | ||
1741 | private final Group cGroup_8 = (Group)cAlternatives.eContents().get(8); | ||
1742 | private final Keyword cLeftParenthesisKeyword_8_0 = (Keyword)cGroup_8.eContents().get(0); | ||
1743 | private final RuleCall cALSTermParserRuleCall_8_1 = (RuleCall)cGroup_8.eContents().get(1); | ||
1744 | private final Keyword cRightParenthesisKeyword_8_2 = (Keyword)cGroup_8.eContents().get(2); | ||
1745 | |||
1746 | //ALSBasicRelationTerm ALSTerm: | ||
1747 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} | ||
1748 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | | ||
1749 | // '(' ALSTerm ')'; | ||
1750 | @Override public ParserRule getRule() { return rule; } | ||
1751 | |||
1752 | //{ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} | ||
1753 | //referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | '(' ALSTerm ')' | ||
1754 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1755 | |||
1756 | //{ALSNone} 'none' | ||
1757 | public Group getGroup_0() { return cGroup_0; } | ||
1758 | |||
1759 | //{ALSNone} | ||
1760 | public Action getALSNoneAction_0_0() { return cALSNoneAction_0_0; } | ||
1761 | |||
1762 | //'none' | ||
1763 | public Keyword getNoneKeyword_0_1() { return cNoneKeyword_0_1; } | ||
1764 | |||
1765 | //{ALSIden} 'iden' | ||
1766 | public Group getGroup_1() { return cGroup_1; } | ||
1767 | |||
1768 | //{ALSIden} | ||
1769 | public Action getALSIdenAction_1_0() { return cALSIdenAction_1_0; } | ||
1770 | |||
1771 | //'iden' | ||
1772 | public Keyword getIdenKeyword_1_1() { return cIdenKeyword_1_1; } | ||
1773 | |||
1774 | //{ALSUniv} 'univ' | ||
1775 | public Group getGroup_2() { return cGroup_2; } | ||
1776 | |||
1777 | //{ALSUniv} | ||
1778 | public Action getALSUnivAction_2_0() { return cALSUnivAction_2_0; } | ||
1779 | |||
1780 | //'univ' | ||
1781 | public Keyword getUnivKeyword_2_1() { return cUnivKeyword_2_1; } | ||
1782 | |||
1783 | //{ALSInt} 'Int' | ||
1784 | public Group getGroup_3() { return cGroup_3; } | ||
1785 | |||
1786 | //{ALSInt} | ||
1787 | public Action getALSIntAction_3_0() { return cALSIntAction_3_0; } | ||
1788 | |||
1789 | //'Int' | ||
1790 | public Keyword getIntKeyword_3_1() { return cIntKeyword_3_1; } | ||
1791 | |||
1792 | //{ALSString} 'String' | ||
1793 | public Group getGroup_4() { return cGroup_4; } | ||
1794 | |||
1795 | //{ALSString} | ||
1796 | public Action getALSStringAction_4_0() { return cALSStringAction_4_0; } | ||
1797 | |||
1798 | //'String' | ||
1799 | public Keyword getStringKeyword_4_1() { return cStringKeyword_4_1; } | ||
1800 | |||
1801 | //{ALSReference} referred=[ALSRelationDeclaration] | ||
1802 | public Group getGroup_5() { return cGroup_5; } | ||
1803 | |||
1804 | //{ALSReference} | ||
1805 | public Action getALSReferenceAction_5_0() { return cALSReferenceAction_5_0; } | ||
1806 | |||
1807 | //referred=[ALSRelationDeclaration] | ||
1808 | public Assignment getReferredAssignment_5_1() { return cReferredAssignment_5_1; } | ||
1809 | |||
1810 | //[ALSRelationDeclaration] | ||
1811 | public CrossReference getReferredALSRelationDeclarationCrossReference_5_1_0() { return cReferredALSRelationDeclarationCrossReference_5_1_0; } | ||
1812 | |||
1813 | //ID | ||
1814 | public RuleCall getReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1() { return cReferredALSRelationDeclarationIDTerminalRuleCall_5_1_0_1; } | ||
1815 | |||
1816 | //{ALSNumberLiteral} value=INT | ||
1817 | public Group getGroup_6() { return cGroup_6; } | ||
1818 | |||
1819 | //{ALSNumberLiteral} | ||
1820 | public Action getALSNumberLiteralAction_6_0() { return cALSNumberLiteralAction_6_0; } | ||
1821 | |||
1822 | //value=INT | ||
1823 | public Assignment getValueAssignment_6_1() { return cValueAssignment_6_1; } | ||
1824 | |||
1825 | //INT | ||
1826 | public RuleCall getValueINTTerminalRuleCall_6_1_0() { return cValueINTTerminalRuleCall_6_1_0; } | ||
1827 | |||
1828 | //{ALSStringLiteral} value=STRING | ||
1829 | public Group getGroup_7() { return cGroup_7; } | ||
1830 | |||
1831 | //{ALSStringLiteral} | ||
1832 | public Action getALSStringLiteralAction_7_0() { return cALSStringLiteralAction_7_0; } | ||
1833 | |||
1834 | //value=STRING | ||
1835 | public Assignment getValueAssignment_7_1() { return cValueAssignment_7_1; } | ||
1836 | |||
1837 | //STRING | ||
1838 | public RuleCall getValueSTRINGTerminalRuleCall_7_1_0() { return cValueSTRINGTerminalRuleCall_7_1_0; } | ||
1839 | |||
1840 | //'(' ALSTerm ')' | ||
1841 | public Group getGroup_8() { return cGroup_8; } | ||
1842 | |||
1843 | //'(' | ||
1844 | public Keyword getLeftParenthesisKeyword_8_0() { return cLeftParenthesisKeyword_8_0; } | ||
1845 | |||
1846 | //ALSTerm | ||
1847 | public RuleCall getALSTermParserRuleCall_8_1() { return cALSTermParserRuleCall_8_1; } | ||
1848 | |||
1849 | //')' | ||
1850 | public Keyword getRightParenthesisKeyword_8_2() { return cRightParenthesisKeyword_8_2; } | ||
1851 | } | ||
1852 | |||
1853 | public class ALSRunCommandElements extends AbstractParserRuleElementFinder { | ||
1854 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSRunCommand"); | ||
1855 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1856 | private final Action cALSRunCommandAction_0 = (Action)cGroup.eContents().get(0); | ||
1857 | private final Keyword cRunKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
1858 | private final Keyword cLeftCurlyBracketKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
1859 | private final Keyword cRightCurlyBracketKeyword_3 = (Keyword)cGroup.eContents().get(3); | ||
1860 | private final Group cGroup_4 = (Group)cGroup.eContents().get(4); | ||
1861 | private final Keyword cForKeyword_4_0 = (Keyword)cGroup_4.eContents().get(0); | ||
1862 | private final Assignment cTypeScopesAssignment_4_1 = (Assignment)cGroup_4.eContents().get(1); | ||
1863 | private final RuleCall cTypeScopesALSTypeScopeParserRuleCall_4_1_0 = (RuleCall)cTypeScopesAssignment_4_1.eContents().get(0); | ||
1864 | private final Group cGroup_4_2 = (Group)cGroup_4.eContents().get(2); | ||
1865 | private final Keyword cCommaKeyword_4_2_0 = (Keyword)cGroup_4_2.eContents().get(0); | ||
1866 | private final Assignment cTypeScopesAssignment_4_2_1 = (Assignment)cGroup_4_2.eContents().get(1); | ||
1867 | private final RuleCall cTypeScopesALSTypeScopeParserRuleCall_4_2_1_0 = (RuleCall)cTypeScopesAssignment_4_2_1.eContents().get(0); | ||
1868 | |||
1869 | //////////////////////////////////// | ||
1870 | //// ALS Commands and scopes | ||
1871 | //////////////////////////////////// | ||
1872 | //ALSRunCommand: | ||
1873 | // {ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?; | ||
1874 | @Override public ParserRule getRule() { return rule; } | ||
1875 | |||
1876 | //{ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)? | ||
1877 | public Group getGroup() { return cGroup; } | ||
1878 | |||
1879 | //{ALSRunCommand} | ||
1880 | public Action getALSRunCommandAction_0() { return cALSRunCommandAction_0; } | ||
1881 | |||
1882 | //'run' | ||
1883 | public Keyword getRunKeyword_1() { return cRunKeyword_1; } | ||
1884 | |||
1885 | //'{' | ||
1886 | public Keyword getLeftCurlyBracketKeyword_2() { return cLeftCurlyBracketKeyword_2; } | ||
1887 | |||
1888 | //'}' | ||
1889 | public Keyword getRightCurlyBracketKeyword_3() { return cRightCurlyBracketKeyword_3; } | ||
1890 | |||
1891 | //('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)? | ||
1892 | public Group getGroup_4() { return cGroup_4; } | ||
1893 | |||
1894 | //'for' | ||
1895 | public Keyword getForKeyword_4_0() { return cForKeyword_4_0; } | ||
1896 | |||
1897 | //typeScopes+=ALSTypeScope | ||
1898 | public Assignment getTypeScopesAssignment_4_1() { return cTypeScopesAssignment_4_1; } | ||
1899 | |||
1900 | //ALSTypeScope | ||
1901 | public RuleCall getTypeScopesALSTypeScopeParserRuleCall_4_1_0() { return cTypeScopesALSTypeScopeParserRuleCall_4_1_0; } | ||
1902 | |||
1903 | //(',' typeScopes+=ALSTypeScope)* | ||
1904 | public Group getGroup_4_2() { return cGroup_4_2; } | ||
1905 | |||
1906 | //',' | ||
1907 | public Keyword getCommaKeyword_4_2_0() { return cCommaKeyword_4_2_0; } | ||
1908 | |||
1909 | //typeScopes+=ALSTypeScope | ||
1910 | public Assignment getTypeScopesAssignment_4_2_1() { return cTypeScopesAssignment_4_2_1; } | ||
1911 | |||
1912 | //ALSTypeScope | ||
1913 | public RuleCall getTypeScopesALSTypeScopeParserRuleCall_4_2_1_0() { return cTypeScopesALSTypeScopeParserRuleCall_4_2_1_0; } | ||
1914 | } | ||
1915 | |||
1916 | public class ALSTypeScopeElements extends AbstractParserRuleElementFinder { | ||
1917 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSTypeScope"); | ||
1918 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
1919 | private final RuleCall cALSSigScopeParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | ||
1920 | private final RuleCall cALSIntScopeParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | ||
1921 | private final RuleCall cALSStringScopeParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | ||
1922 | |||
1923 | //ALSTypeScope: | ||
1924 | // ALSSigScope | ALSIntScope | ALSStringScope; | ||
1925 | @Override public ParserRule getRule() { return rule; } | ||
1926 | |||
1927 | //ALSSigScope | ALSIntScope | ALSStringScope | ||
1928 | public Alternatives getAlternatives() { return cAlternatives; } | ||
1929 | |||
1930 | //ALSSigScope | ||
1931 | public RuleCall getALSSigScopeParserRuleCall_0() { return cALSSigScopeParserRuleCall_0; } | ||
1932 | |||
1933 | //ALSIntScope | ||
1934 | public RuleCall getALSIntScopeParserRuleCall_1() { return cALSIntScopeParserRuleCall_1; } | ||
1935 | |||
1936 | //ALSStringScope | ||
1937 | public RuleCall getALSStringScopeParserRuleCall_2() { return cALSStringScopeParserRuleCall_2; } | ||
1938 | } | ||
1939 | |||
1940 | public class ALSSigScopeElements extends AbstractParserRuleElementFinder { | ||
1941 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSSigScope"); | ||
1942 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1943 | private final Assignment cExactlyAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
1944 | private final Keyword cExactlyExactlyKeyword_0_0 = (Keyword)cExactlyAssignment_0.eContents().get(0); | ||
1945 | private final Assignment cNumberAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
1946 | private final RuleCall cNumberINTTerminalRuleCall_1_0 = (RuleCall)cNumberAssignment_1.eContents().get(0); | ||
1947 | private final Assignment cTypeAssignment_2 = (Assignment)cGroup.eContents().get(2); | ||
1948 | private final CrossReference cTypeALSSignatureDeclarationCrossReference_2_0 = (CrossReference)cTypeAssignment_2.eContents().get(0); | ||
1949 | private final RuleCall cTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1 = (RuleCall)cTypeALSSignatureDeclarationCrossReference_2_0.eContents().get(1); | ||
1950 | |||
1951 | //ALSSigScope: | ||
1952 | // exactly?='exactly'? number=INT type=[ALSSignatureDeclaration]; | ||
1953 | @Override public ParserRule getRule() { return rule; } | ||
1954 | |||
1955 | //exactly?='exactly'? number=INT type=[ALSSignatureDeclaration] | ||
1956 | public Group getGroup() { return cGroup; } | ||
1957 | |||
1958 | //exactly?='exactly'? | ||
1959 | public Assignment getExactlyAssignment_0() { return cExactlyAssignment_0; } | ||
1960 | |||
1961 | //'exactly' | ||
1962 | public Keyword getExactlyExactlyKeyword_0_0() { return cExactlyExactlyKeyword_0_0; } | ||
1963 | |||
1964 | //number=INT | ||
1965 | public Assignment getNumberAssignment_1() { return cNumberAssignment_1; } | ||
1966 | |||
1967 | //INT | ||
1968 | public RuleCall getNumberINTTerminalRuleCall_1_0() { return cNumberINTTerminalRuleCall_1_0; } | ||
1969 | |||
1970 | //type=[ALSSignatureDeclaration] | ||
1971 | public Assignment getTypeAssignment_2() { return cTypeAssignment_2; } | ||
1972 | |||
1973 | //[ALSSignatureDeclaration] | ||
1974 | public CrossReference getTypeALSSignatureDeclarationCrossReference_2_0() { return cTypeALSSignatureDeclarationCrossReference_2_0; } | ||
1975 | |||
1976 | //ID | ||
1977 | public RuleCall getTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1() { return cTypeALSSignatureDeclarationIDTerminalRuleCall_2_0_1; } | ||
1978 | } | ||
1979 | |||
1980 | public class ALSIntScopeElements extends AbstractParserRuleElementFinder { | ||
1981 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSIntScope"); | ||
1982 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
1983 | private final Assignment cNumberAssignment_0 = (Assignment)cGroup.eContents().get(0); | ||
1984 | private final RuleCall cNumberINTTerminalRuleCall_0_0 = (RuleCall)cNumberAssignment_0.eContents().get(0); | ||
1985 | private final Keyword cIntKeyword_1 = (Keyword)cGroup.eContents().get(1); | ||
1986 | |||
1987 | //ALSIntScope: | ||
1988 | // number=INT 'Int'; | ||
1989 | @Override public ParserRule getRule() { return rule; } | ||
1990 | |||
1991 | //number=INT 'Int' | ||
1992 | public Group getGroup() { return cGroup; } | ||
1993 | |||
1994 | //number=INT | ||
1995 | public Assignment getNumberAssignment_0() { return cNumberAssignment_0; } | ||
1996 | |||
1997 | //INT | ||
1998 | public RuleCall getNumberINTTerminalRuleCall_0_0() { return cNumberINTTerminalRuleCall_0_0; } | ||
1999 | |||
2000 | //'Int' | ||
2001 | public Keyword getIntKeyword_1() { return cIntKeyword_1; } | ||
2002 | } | ||
2003 | |||
2004 | public class ALSStringScopeElements extends AbstractParserRuleElementFinder { | ||
2005 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSStringScope"); | ||
2006 | private final Group cGroup = (Group)rule.eContents().get(1); | ||
2007 | private final Keyword cExactlyKeyword_0 = (Keyword)cGroup.eContents().get(0); | ||
2008 | private final Assignment cNumberAssignment_1 = (Assignment)cGroup.eContents().get(1); | ||
2009 | private final RuleCall cNumberINTTerminalRuleCall_1_0 = (RuleCall)cNumberAssignment_1.eContents().get(0); | ||
2010 | private final Keyword cStringKeyword_2 = (Keyword)cGroup.eContents().get(2); | ||
2011 | |||
2012 | //ALSStringScope: | ||
2013 | // 'exactly' number=INT 'String'; | ||
2014 | @Override public ParserRule getRule() { return rule; } | ||
2015 | |||
2016 | //'exactly' number=INT 'String' | ||
2017 | public Group getGroup() { return cGroup; } | ||
2018 | |||
2019 | //'exactly' | ||
2020 | public Keyword getExactlyKeyword_0() { return cExactlyKeyword_0; } | ||
2021 | |||
2022 | //number=INT | ||
2023 | public Assignment getNumberAssignment_1() { return cNumberAssignment_1; } | ||
2024 | |||
2025 | //INT | ||
2026 | public RuleCall getNumberINTTerminalRuleCall_1_0() { return cNumberINTTerminalRuleCall_1_0; } | ||
2027 | |||
2028 | //'String' | ||
2029 | public Keyword getStringKeyword_2() { return cStringKeyword_2; } | ||
2030 | } | ||
2031 | |||
2032 | |||
2033 | public class ALSMultiplicityElements extends AbstractEnumRuleElementFinder { | ||
2034 | private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSMultiplicity"); | ||
2035 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
2036 | private final EnumLiteralDeclaration cAllEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0); | ||
2037 | private final Keyword cAllAllKeyword_0_0 = (Keyword)cAllEnumLiteralDeclaration_0.eContents().get(0); | ||
2038 | private final EnumLiteralDeclaration cNoEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1); | ||
2039 | private final Keyword cNoNoKeyword_1_0 = (Keyword)cNoEnumLiteralDeclaration_1.eContents().get(0); | ||
2040 | private final EnumLiteralDeclaration cSomeEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2); | ||
2041 | private final Keyword cSomeSomeKeyword_2_0 = (Keyword)cSomeEnumLiteralDeclaration_2.eContents().get(0); | ||
2042 | private final EnumLiteralDeclaration cLoneEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3); | ||
2043 | private final Keyword cLoneLoneKeyword_3_0 = (Keyword)cLoneEnumLiteralDeclaration_3.eContents().get(0); | ||
2044 | private final EnumLiteralDeclaration cOneEnumLiteralDeclaration_4 = (EnumLiteralDeclaration)cAlternatives.eContents().get(4); | ||
2045 | private final Keyword cOneOneKeyword_4_0 = (Keyword)cOneEnumLiteralDeclaration_4.eContents().get(0); | ||
2046 | private final EnumLiteralDeclaration cSetEnumLiteralDeclaration_5 = (EnumLiteralDeclaration)cAlternatives.eContents().get(5); | ||
2047 | private final Keyword cSetSetKeyword_5_0 = (Keyword)cSetEnumLiteralDeclaration_5.eContents().get(0); | ||
2048 | |||
2049 | //enum ALSMultiplicity: | ||
2050 | // all | no | some | lone | one | set; | ||
2051 | public EnumRule getRule() { return rule; } | ||
2052 | |||
2053 | //all | no | some | lone | one | set | ||
2054 | public Alternatives getAlternatives() { return cAlternatives; } | ||
2055 | |||
2056 | //all | ||
2057 | public EnumLiteralDeclaration getAllEnumLiteralDeclaration_0() { return cAllEnumLiteralDeclaration_0; } | ||
2058 | |||
2059 | //"all" | ||
2060 | public Keyword getAllAllKeyword_0_0() { return cAllAllKeyword_0_0; } | ||
2061 | |||
2062 | //no | ||
2063 | public EnumLiteralDeclaration getNoEnumLiteralDeclaration_1() { return cNoEnumLiteralDeclaration_1; } | ||
2064 | |||
2065 | //"no" | ||
2066 | public Keyword getNoNoKeyword_1_0() { return cNoNoKeyword_1_0; } | ||
2067 | |||
2068 | //some | ||
2069 | public EnumLiteralDeclaration getSomeEnumLiteralDeclaration_2() { return cSomeEnumLiteralDeclaration_2; } | ||
2070 | |||
2071 | //"some" | ||
2072 | public Keyword getSomeSomeKeyword_2_0() { return cSomeSomeKeyword_2_0; } | ||
2073 | |||
2074 | //lone | ||
2075 | public EnumLiteralDeclaration getLoneEnumLiteralDeclaration_3() { return cLoneEnumLiteralDeclaration_3; } | ||
2076 | |||
2077 | //"lone" | ||
2078 | public Keyword getLoneLoneKeyword_3_0() { return cLoneLoneKeyword_3_0; } | ||
2079 | |||
2080 | //one | ||
2081 | public EnumLiteralDeclaration getOneEnumLiteralDeclaration_4() { return cOneEnumLiteralDeclaration_4; } | ||
2082 | |||
2083 | //"one" | ||
2084 | public Keyword getOneOneKeyword_4_0() { return cOneOneKeyword_4_0; } | ||
2085 | |||
2086 | //set | ||
2087 | public EnumLiteralDeclaration getSetEnumLiteralDeclaration_5() { return cSetEnumLiteralDeclaration_5; } | ||
2088 | |||
2089 | //"set" | ||
2090 | public Keyword getSetSetKeyword_5_0() { return cSetSetKeyword_5_0; } | ||
2091 | } | ||
2092 | |||
2093 | public class ALSNumericOperatorElements extends AbstractEnumRuleElementFinder { | ||
2094 | private final EnumRule rule = (EnumRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ALSNumericOperator"); | ||
2095 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | ||
2096 | private final EnumLiteralDeclaration cPlusEnumLiteralDeclaration_0 = (EnumLiteralDeclaration)cAlternatives.eContents().get(0); | ||
2097 | private final Keyword cPlusPlusKeyword_0_0 = (Keyword)cPlusEnumLiteralDeclaration_0.eContents().get(0); | ||
2098 | private final EnumLiteralDeclaration cSubEnumLiteralDeclaration_1 = (EnumLiteralDeclaration)cAlternatives.eContents().get(1); | ||
2099 | private final Keyword cSubSubKeyword_1_0 = (Keyword)cSubEnumLiteralDeclaration_1.eContents().get(0); | ||
2100 | private final EnumLiteralDeclaration cMulEnumLiteralDeclaration_2 = (EnumLiteralDeclaration)cAlternatives.eContents().get(2); | ||
2101 | private final Keyword cMulMulKeyword_2_0 = (Keyword)cMulEnumLiteralDeclaration_2.eContents().get(0); | ||
2102 | private final EnumLiteralDeclaration cRemEnumLiteralDeclaration_3 = (EnumLiteralDeclaration)cAlternatives.eContents().get(3); | ||
2103 | private final Keyword cRemRemKeyword_3_0 = (Keyword)cRemEnumLiteralDeclaration_3.eContents().get(0); | ||
2104 | private final EnumLiteralDeclaration cDivEnumLiteralDeclaration_4 = (EnumLiteralDeclaration)cAlternatives.eContents().get(4); | ||
2105 | private final Keyword cDivDivKeyword_4_0 = (Keyword)cDivEnumLiteralDeclaration_4.eContents().get(0); | ||
2106 | |||
2107 | //enum ALSNumericOperator: | ||
2108 | // plus | sub | mul | rem | div; | ||
2109 | public EnumRule getRule() { return rule; } | ||
2110 | |||
2111 | //plus | sub | mul | rem | div | ||
2112 | public Alternatives getAlternatives() { return cAlternatives; } | ||
2113 | |||
2114 | //plus | ||
2115 | public EnumLiteralDeclaration getPlusEnumLiteralDeclaration_0() { return cPlusEnumLiteralDeclaration_0; } | ||
2116 | |||
2117 | //"plus" | ||
2118 | public Keyword getPlusPlusKeyword_0_0() { return cPlusPlusKeyword_0_0; } | ||
2119 | |||
2120 | //sub | ||
2121 | public EnumLiteralDeclaration getSubEnumLiteralDeclaration_1() { return cSubEnumLiteralDeclaration_1; } | ||
2122 | |||
2123 | //"sub" | ||
2124 | public Keyword getSubSubKeyword_1_0() { return cSubSubKeyword_1_0; } | ||
2125 | |||
2126 | //mul | ||
2127 | public EnumLiteralDeclaration getMulEnumLiteralDeclaration_2() { return cMulEnumLiteralDeclaration_2; } | ||
2128 | |||
2129 | //"mul" | ||
2130 | public Keyword getMulMulKeyword_2_0() { return cMulMulKeyword_2_0; } | ||
2131 | |||
2132 | //rem | ||
2133 | public EnumLiteralDeclaration getRemEnumLiteralDeclaration_3() { return cRemEnumLiteralDeclaration_3; } | ||
2134 | |||
2135 | //"rem" | ||
2136 | public Keyword getRemRemKeyword_3_0() { return cRemRemKeyword_3_0; } | ||
2137 | |||
2138 | //div | ||
2139 | public EnumLiteralDeclaration getDivEnumLiteralDeclaration_4() { return cDivEnumLiteralDeclaration_4; } | ||
2140 | |||
2141 | //"div" | ||
2142 | public Keyword getDivDivKeyword_4_0() { return cDivDivKeyword_4_0; } | ||
2143 | } | ||
2144 | |||
2145 | private final ALSDocumentElements pALSDocument; | ||
2146 | private final TerminalRule tID; | ||
2147 | private final ALSIDElements pALSID; | ||
2148 | private final ALSMultiplicityElements eALSMultiplicity; | ||
2149 | private final ALSRelationDeclarationElements pALSRelationDeclaration; | ||
2150 | private final ALSTypeDeclarationElements pALSTypeDeclaration; | ||
2151 | private final ALSEnumDeclarationElements pALSEnumDeclaration; | ||
2152 | private final ALSEnumLiteralElements pALSEnumLiteral; | ||
2153 | private final ALSSignatureDeclarationElements pALSSignatureDeclaration; | ||
2154 | private final ALSSignatureBodyElements pALSSignatureBody; | ||
2155 | private final ALSFieldDeclarationElements pALSFieldDeclaration; | ||
2156 | private final ALSDefinitionElements pALSDefinition; | ||
2157 | private final ALSFunctionDefinitionElements pALSFunctionDefinition; | ||
2158 | private final ALSRelationDefinitionElements pALSRelationDefinition; | ||
2159 | private final ALSFactDeclarationElements pALSFactDeclaration; | ||
2160 | private final ALSTermElements pALSTerm; | ||
2161 | private final ALSQuantifiedElements pALSQuantified; | ||
2162 | private final ALSOrElements pALSOr; | ||
2163 | private final ALSIffElements pALSIff; | ||
2164 | private final ALSImplElements pALSImpl; | ||
2165 | private final ALSAndElements pALSAnd; | ||
2166 | private final ALSComparisonElements pALSComparison; | ||
2167 | private final ALSOverrideElements pALSOverride; | ||
2168 | private final ALSRangeRestrictionRightElements pALSRangeRestrictionRight; | ||
2169 | private final ALSRangeRestrictionLeftElements pALSRangeRestrictionLeft; | ||
2170 | private final ALSJoinElements pALSJoin; | ||
2171 | private final ALSMinusElements pALSMinus; | ||
2172 | private final ALSPlusElements pALSPlus; | ||
2173 | private final ALSIntersectionElements pALSIntersection; | ||
2174 | private final ALSDirectProductElements pALSDirectProduct; | ||
2175 | private final ALSPreficedElements pALSPreficed; | ||
2176 | private final ALSNumericOperatorElements eALSNumericOperator; | ||
2177 | private final ALSVariableDeclarationElements pALSVariableDeclaration; | ||
2178 | private final ALSBasicRelationTermElements pALSBasicRelationTerm; | ||
2179 | private final ALSRunCommandElements pALSRunCommand; | ||
2180 | private final ALSTypeScopeElements pALSTypeScope; | ||
2181 | private final ALSSigScopeElements pALSSigScope; | ||
2182 | private final ALSIntScopeElements pALSIntScope; | ||
2183 | private final ALSStringScopeElements pALSStringScope; | ||
2184 | |||
2185 | private final Grammar grammar; | ||
2186 | |||
2187 | private final TerminalsGrammarAccess gaTerminals; | ||
2188 | |||
2189 | @Inject | ||
2190 | public AlloyLanguageGrammarAccess(GrammarProvider grammarProvider, | ||
2191 | TerminalsGrammarAccess gaTerminals) { | ||
2192 | this.grammar = internalFindGrammar(grammarProvider); | ||
2193 | this.gaTerminals = gaTerminals; | ||
2194 | this.pALSDocument = new ALSDocumentElements(); | ||
2195 | this.tID = (TerminalRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.AlloyLanguage.ID"); | ||
2196 | this.pALSID = new ALSIDElements(); | ||
2197 | this.eALSMultiplicity = new ALSMultiplicityElements(); | ||
2198 | this.pALSRelationDeclaration = new ALSRelationDeclarationElements(); | ||
2199 | this.pALSTypeDeclaration = new ALSTypeDeclarationElements(); | ||
2200 | this.pALSEnumDeclaration = new ALSEnumDeclarationElements(); | ||
2201 | this.pALSEnumLiteral = new ALSEnumLiteralElements(); | ||
2202 | this.pALSSignatureDeclaration = new ALSSignatureDeclarationElements(); | ||
2203 | this.pALSSignatureBody = new ALSSignatureBodyElements(); | ||
2204 | this.pALSFieldDeclaration = new ALSFieldDeclarationElements(); | ||
2205 | this.pALSDefinition = new ALSDefinitionElements(); | ||
2206 | this.pALSFunctionDefinition = new ALSFunctionDefinitionElements(); | ||
2207 | this.pALSRelationDefinition = new ALSRelationDefinitionElements(); | ||
2208 | this.pALSFactDeclaration = new ALSFactDeclarationElements(); | ||
2209 | this.pALSTerm = new ALSTermElements(); | ||
2210 | this.pALSQuantified = new ALSQuantifiedElements(); | ||
2211 | this.pALSOr = new ALSOrElements(); | ||
2212 | this.pALSIff = new ALSIffElements(); | ||
2213 | this.pALSImpl = new ALSImplElements(); | ||
2214 | this.pALSAnd = new ALSAndElements(); | ||
2215 | this.pALSComparison = new ALSComparisonElements(); | ||
2216 | this.pALSOverride = new ALSOverrideElements(); | ||
2217 | this.pALSRangeRestrictionRight = new ALSRangeRestrictionRightElements(); | ||
2218 | this.pALSRangeRestrictionLeft = new ALSRangeRestrictionLeftElements(); | ||
2219 | this.pALSJoin = new ALSJoinElements(); | ||
2220 | this.pALSMinus = new ALSMinusElements(); | ||
2221 | this.pALSPlus = new ALSPlusElements(); | ||
2222 | this.pALSIntersection = new ALSIntersectionElements(); | ||
2223 | this.pALSDirectProduct = new ALSDirectProductElements(); | ||
2224 | this.pALSPreficed = new ALSPreficedElements(); | ||
2225 | this.eALSNumericOperator = new ALSNumericOperatorElements(); | ||
2226 | this.pALSVariableDeclaration = new ALSVariableDeclarationElements(); | ||
2227 | this.pALSBasicRelationTerm = new ALSBasicRelationTermElements(); | ||
2228 | this.pALSRunCommand = new ALSRunCommandElements(); | ||
2229 | this.pALSTypeScope = new ALSTypeScopeElements(); | ||
2230 | this.pALSSigScope = new ALSSigScopeElements(); | ||
2231 | this.pALSIntScope = new ALSIntScopeElements(); | ||
2232 | this.pALSStringScope = new ALSStringScopeElements(); | ||
2233 | } | ||
2234 | |||
2235 | protected Grammar internalFindGrammar(GrammarProvider grammarProvider) { | ||
2236 | Grammar grammar = grammarProvider.getGrammar(this); | ||
2237 | while (grammar != null) { | ||
2238 | if ("hu.bme.mit.inf.dslreasoner.AlloyLanguage".equals(grammar.getName())) { | ||
2239 | return grammar; | ||
2240 | } | ||
2241 | List<Grammar> grammars = grammar.getUsedGrammars(); | ||
2242 | if (!grammars.isEmpty()) { | ||
2243 | grammar = grammars.iterator().next(); | ||
2244 | } else { | ||
2245 | return null; | ||
2246 | } | ||
2247 | } | ||
2248 | return grammar; | ||
2249 | } | ||
2250 | |||
2251 | @Override | ||
2252 | public Grammar getGrammar() { | ||
2253 | return grammar; | ||
2254 | } | ||
2255 | |||
2256 | |||
2257 | public TerminalsGrammarAccess getTerminalsGrammarAccess() { | ||
2258 | return gaTerminals; | ||
2259 | } | ||
2260 | |||
2261 | |||
2262 | //ALSDocument: | ||
2263 | // (enumDeclarations+=ALSEnumDeclaration | signatureBodies+=ALSSignatureBody | | ||
2264 | // functionDefinitions+=ALSFunctionDefinition | relationDefinitions+=ALSRelationDefinition | | ||
2265 | // factDeclarations+=ALSFactDeclaration)+ | ||
2266 | // runCommand=ALSRunCommand; | ||
2267 | public ALSDocumentElements getALSDocumentAccess() { | ||
2268 | return pALSDocument; | ||
2269 | } | ||
2270 | |||
2271 | public ParserRule getALSDocumentRule() { | ||
2272 | return getALSDocumentAccess().getRule(); | ||
2273 | } | ||
2274 | |||
2275 | //terminal ID: | ||
2276 | // ('a'..'z' | 'A'..'Z' | '_') ('a'..'z' | 'A'..'Z' | '_' | "'" | '"' | '0'..'9')*; | ||
2277 | public TerminalRule getIDRule() { | ||
2278 | return tID; | ||
2279 | } | ||
2280 | |||
2281 | //ALSID: | ||
2282 | // ID; | ||
2283 | public ALSIDElements getALSIDAccess() { | ||
2284 | return pALSID; | ||
2285 | } | ||
2286 | |||
2287 | public ParserRule getALSIDRule() { | ||
2288 | return getALSIDAccess().getRule(); | ||
2289 | } | ||
2290 | |||
2291 | //enum ALSMultiplicity: | ||
2292 | // all | no | some | lone | one | set; | ||
2293 | public ALSMultiplicityElements getALSMultiplicityAccess() { | ||
2294 | return eALSMultiplicity; | ||
2295 | } | ||
2296 | |||
2297 | public EnumRule getALSMultiplicityRule() { | ||
2298 | return getALSMultiplicityAccess().getRule(); | ||
2299 | } | ||
2300 | |||
2301 | //////////////////////////////////// | ||
2302 | //// ALS types | ||
2303 | //////////////////////////////////// | ||
2304 | //ALSRelationDeclaration: | ||
2305 | // ALSTypeDeclaration | ALSEnumLiteral | ALSFieldDeclaration | ALSVariableDeclaration; | ||
2306 | public ALSRelationDeclarationElements getALSRelationDeclarationAccess() { | ||
2307 | return pALSRelationDeclaration; | ||
2308 | } | ||
2309 | |||
2310 | public ParserRule getALSRelationDeclarationRule() { | ||
2311 | return getALSRelationDeclarationAccess().getRule(); | ||
2312 | } | ||
2313 | |||
2314 | //ALSTypeDeclaration: | ||
2315 | // ALSEnumDeclaration | ALSSignatureDeclaration; | ||
2316 | public ALSTypeDeclarationElements getALSTypeDeclarationAccess() { | ||
2317 | return pALSTypeDeclaration; | ||
2318 | } | ||
2319 | |||
2320 | public ParserRule getALSTypeDeclarationRule() { | ||
2321 | return getALSTypeDeclarationAccess().getRule(); | ||
2322 | } | ||
2323 | |||
2324 | //ALSEnumDeclaration: | ||
2325 | // 'enum' name=ALSID '{' | ||
2326 | // literal+=ALSEnumLiteral ("," literal+=ALSEnumLiteral)* | ||
2327 | // '}'; | ||
2328 | public ALSEnumDeclarationElements getALSEnumDeclarationAccess() { | ||
2329 | return pALSEnumDeclaration; | ||
2330 | } | ||
2331 | |||
2332 | public ParserRule getALSEnumDeclarationRule() { | ||
2333 | return getALSEnumDeclarationAccess().getRule(); | ||
2334 | } | ||
2335 | |||
2336 | //ALSEnumLiteral: | ||
2337 | // name=ALSID; | ||
2338 | public ALSEnumLiteralElements getALSEnumLiteralAccess() { | ||
2339 | return pALSEnumLiteral; | ||
2340 | } | ||
2341 | |||
2342 | public ParserRule getALSEnumLiteralRule() { | ||
2343 | return getALSEnumLiteralAccess().getRule(); | ||
2344 | } | ||
2345 | |||
2346 | //ALSSignatureDeclaration: | ||
2347 | // name=ALSID; | ||
2348 | public ALSSignatureDeclarationElements getALSSignatureDeclarationAccess() { | ||
2349 | return pALSSignatureDeclaration; | ||
2350 | } | ||
2351 | |||
2352 | public ParserRule getALSSignatureDeclarationRule() { | ||
2353 | return getALSSignatureDeclarationAccess().getRule(); | ||
2354 | } | ||
2355 | |||
2356 | //ALSSignatureBody: | ||
2357 | // (multiplicity=ALSMultiplicity? & abstract?='abstract'?) | ||
2358 | // 'sig' | ||
2359 | // declarations+=ALSSignatureDeclaration (',' declarations+=ALSSignatureDeclaration)* ('extends' | ||
2360 | // supertype=[ALSSignatureDeclaration] | 'in' superset+=[ALSSignatureDeclaration] ('+' | ||
2361 | // superset+=[ALSSignatureDeclaration])*)? | ||
2362 | // '{' (fields+=ALSFieldDeclaration ("," fields+=ALSFieldDeclaration)*)? '}'; | ||
2363 | public ALSSignatureBodyElements getALSSignatureBodyAccess() { | ||
2364 | return pALSSignatureBody; | ||
2365 | } | ||
2366 | |||
2367 | public ParserRule getALSSignatureBodyRule() { | ||
2368 | return getALSSignatureBodyAccess().getRule(); | ||
2369 | } | ||
2370 | |||
2371 | //ALSFieldDeclaration: | ||
2372 | // name=ALSID ':' multiplicity=ALSMultiplicity? type=ALSTerm; | ||
2373 | public ALSFieldDeclarationElements getALSFieldDeclarationAccess() { | ||
2374 | return pALSFieldDeclaration; | ||
2375 | } | ||
2376 | |||
2377 | public ParserRule getALSFieldDeclarationRule() { | ||
2378 | return getALSFieldDeclarationAccess().getRule(); | ||
2379 | } | ||
2380 | |||
2381 | //ALSDefinition: | ||
2382 | // ALSFunctionDefinition | ALSRelationDefinition; | ||
2383 | public ALSDefinitionElements getALSDefinitionAccess() { | ||
2384 | return pALSDefinition; | ||
2385 | } | ||
2386 | |||
2387 | public ParserRule getALSDefinitionRule() { | ||
2388 | return getALSDefinitionAccess().getRule(); | ||
2389 | } | ||
2390 | |||
2391 | //ALSFunctionDefinition: | ||
2392 | // "fun" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" ":" type=ALSTerm | ||
2393 | // "{" value=ALSTerm "}"; | ||
2394 | public ALSFunctionDefinitionElements getALSFunctionDefinitionAccess() { | ||
2395 | return pALSFunctionDefinition; | ||
2396 | } | ||
2397 | |||
2398 | public ParserRule getALSFunctionDefinitionRule() { | ||
2399 | return getALSFunctionDefinitionAccess().getRule(); | ||
2400 | } | ||
2401 | |||
2402 | //ALSRelationDefinition: | ||
2403 | // "pred" name=ALSID "[" variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* "]" | ||
2404 | // "{" value=ALSTerm "}"; | ||
2405 | public ALSRelationDefinitionElements getALSRelationDefinitionAccess() { | ||
2406 | return pALSRelationDefinition; | ||
2407 | } | ||
2408 | |||
2409 | public ParserRule getALSRelationDefinitionRule() { | ||
2410 | return getALSRelationDefinitionAccess().getRule(); | ||
2411 | } | ||
2412 | |||
2413 | //ALSFactDeclaration: | ||
2414 | // {ALSFactDeclaration} 'fact' name=ALSID? '{' term=ALSTerm '}'; | ||
2415 | public ALSFactDeclarationElements getALSFactDeclarationAccess() { | ||
2416 | return pALSFactDeclaration; | ||
2417 | } | ||
2418 | |||
2419 | public ParserRule getALSFactDeclarationRule() { | ||
2420 | return getALSFactDeclarationAccess().getRule(); | ||
2421 | } | ||
2422 | |||
2423 | //////////////////////////////////// | ||
2424 | //// ALS terms | ||
2425 | //////////////////////////////////// | ||
2426 | //ALSTerm: | ||
2427 | // ALSQuantified; | ||
2428 | public ALSTermElements getALSTermAccess() { | ||
2429 | return pALSTerm; | ||
2430 | } | ||
2431 | |||
2432 | public ParserRule getALSTermRule() { | ||
2433 | return getALSTermAccess().getRule(); | ||
2434 | } | ||
2435 | |||
2436 | //ALSQuantified ALSTerm: | ||
2437 | // {ALSQuantifiedEx} type=ALSMultiplicity | ||
2438 | // disj?='disj'? variables+=ALSVariableDeclaration (',' variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | | ||
2439 | // ALSOr; | ||
2440 | public ALSQuantifiedElements getALSQuantifiedAccess() { | ||
2441 | return pALSQuantified; | ||
2442 | } | ||
2443 | |||
2444 | public ParserRule getALSQuantifiedRule() { | ||
2445 | return getALSQuantifiedAccess().getRule(); | ||
2446 | } | ||
2447 | |||
2448 | //ALSOr ALSTerm: | ||
2449 | // ALSIff ({ALSOr.leftOperand=current} ("||" | "or") rightOperand=ALSIff)?; | ||
2450 | public ALSOrElements getALSOrAccess() { | ||
2451 | return pALSOr; | ||
2452 | } | ||
2453 | |||
2454 | public ParserRule getALSOrRule() { | ||
2455 | return getALSOrAccess().getRule(); | ||
2456 | } | ||
2457 | |||
2458 | //ALSIff ALSTerm: | ||
2459 | // ALSImpl ({ALSIff.leftOperand=current} ("<=>" | "iff") rightOperand=ALSImpl)?; | ||
2460 | public ALSIffElements getALSIffAccess() { | ||
2461 | return pALSIff; | ||
2462 | } | ||
2463 | |||
2464 | public ParserRule getALSIffRule() { | ||
2465 | return getALSIffAccess().getRule(); | ||
2466 | } | ||
2467 | |||
2468 | //ALSImpl ALSTerm: | ||
2469 | // ALSAnd ({ALSImpl.leftOperand=current} ("=>" | "implies") rightOperand=ALSAnd ('else' elseOperand=ALSAnd)?)?; | ||
2470 | public ALSImplElements getALSImplAccess() { | ||
2471 | return pALSImpl; | ||
2472 | } | ||
2473 | |||
2474 | public ParserRule getALSImplRule() { | ||
2475 | return getALSImplAccess().getRule(); | ||
2476 | } | ||
2477 | |||
2478 | //ALSAnd ALSTerm: | ||
2479 | // ALSComparison ({ALSAnd.leftOperand=current} ("&&" | "and") rightOperand=ALSComparison)?; | ||
2480 | public ALSAndElements getALSAndAccess() { | ||
2481 | return pALSAnd; | ||
2482 | } | ||
2483 | |||
2484 | public ParserRule getALSAndRule() { | ||
2485 | return getALSAndAccess().getRule(); | ||
2486 | } | ||
2487 | |||
2488 | //ALSComparison ALSTerm: | ||
2489 | // ALSOverride (({ALSEquals.leftOperand=current} "=" | {ALSNotEquals.leftOperand=current} "!=" | | ||
2490 | // {ALSSubset.leftOperand=current} "in" | {ALSLess.leftOperand=current} ">" | {ALSLeq.leftOperand=current} ">=" | | ||
2491 | // {ALSMore.leftOperand=current} "<" | {ALSMeq.leftOperand=current} "<=") rightOperand=ALSOverride)?; | ||
2492 | public ALSComparisonElements getALSComparisonAccess() { | ||
2493 | return pALSComparison; | ||
2494 | } | ||
2495 | |||
2496 | public ParserRule getALSComparisonRule() { | ||
2497 | return getALSComparisonAccess().getRule(); | ||
2498 | } | ||
2499 | |||
2500 | //ALSOverride ALSTerm: | ||
2501 | // ALSRangeRestrictionRight ({ALSOverride.leftOperand=current} '++' rightOperand=ALSRangeRestrictionRight)?; | ||
2502 | public ALSOverrideElements getALSOverrideAccess() { | ||
2503 | return pALSOverride; | ||
2504 | } | ||
2505 | |||
2506 | public ParserRule getALSOverrideRule() { | ||
2507 | return getALSOverrideAccess().getRule(); | ||
2508 | } | ||
2509 | |||
2510 | //ALSRangeRestrictionRight ALSTerm: | ||
2511 | // ALSRangeRestrictionLeft ({ALSRangeRestrictionRight.relation=current} ':>' filter=ALSRangeRestrictionLeft)?; | ||
2512 | public ALSRangeRestrictionRightElements getALSRangeRestrictionRightAccess() { | ||
2513 | return pALSRangeRestrictionRight; | ||
2514 | } | ||
2515 | |||
2516 | public ParserRule getALSRangeRestrictionRightRule() { | ||
2517 | return getALSRangeRestrictionRightAccess().getRule(); | ||
2518 | } | ||
2519 | |||
2520 | //ALSRangeRestrictionLeft ALSTerm: | ||
2521 | // ALSJoin ({ALSRangeRestrictionLeft.filter=current} '<:' relation=ALSJoin)?; | ||
2522 | public ALSRangeRestrictionLeftElements getALSRangeRestrictionLeftAccess() { | ||
2523 | return pALSRangeRestrictionLeft; | ||
2524 | } | ||
2525 | |||
2526 | public ParserRule getALSRangeRestrictionLeftRule() { | ||
2527 | return getALSRangeRestrictionLeftAccess().getRule(); | ||
2528 | } | ||
2529 | |||
2530 | //ALSJoin ALSTerm: | ||
2531 | // ALSMinus ({ALSJoin.leftOperand=current} '.' rightOperand=ALSMinus)*; | ||
2532 | public ALSJoinElements getALSJoinAccess() { | ||
2533 | return pALSJoin; | ||
2534 | } | ||
2535 | |||
2536 | public ParserRule getALSJoinRule() { | ||
2537 | return getALSJoinAccess().getRule(); | ||
2538 | } | ||
2539 | |||
2540 | //ALSMinus ALSTerm: | ||
2541 | // ALSPlus ({ALSMinus.leftOperand=current} '-' rightOperand=ALSPlus)*; | ||
2542 | public ALSMinusElements getALSMinusAccess() { | ||
2543 | return pALSMinus; | ||
2544 | } | ||
2545 | |||
2546 | public ParserRule getALSMinusRule() { | ||
2547 | return getALSMinusAccess().getRule(); | ||
2548 | } | ||
2549 | |||
2550 | //ALSPlus ALSTerm: | ||
2551 | // ALSIntersection ({ALSPlus.leftOperand=current} '+' rightOperand=ALSIntersection)*; | ||
2552 | public ALSPlusElements getALSPlusAccess() { | ||
2553 | return pALSPlus; | ||
2554 | } | ||
2555 | |||
2556 | public ParserRule getALSPlusRule() { | ||
2557 | return getALSPlusAccess().getRule(); | ||
2558 | } | ||
2559 | |||
2560 | //ALSIntersection ALSTerm: | ||
2561 | // ALSDirectProduct ({ALSIntersection.leftOperand=current} '&' rightOperand=ALSDirectProduct)*; | ||
2562 | public ALSIntersectionElements getALSIntersectionAccess() { | ||
2563 | return pALSIntersection; | ||
2564 | } | ||
2565 | |||
2566 | public ParserRule getALSIntersectionRule() { | ||
2567 | return getALSIntersectionAccess().getRule(); | ||
2568 | } | ||
2569 | |||
2570 | ////ALSMultiply returns ALSTerm: ALSDirectProduct ({ALSMultiply.leftOperand = current} '*' rightOperand = ALSDirectProduct)*; | ||
2571 | //ALSDirectProduct ALSTerm: | ||
2572 | // ALSPreficed ({ALSDirectProduct.leftOperand=current} leftMultiplicit=ALSMultiplicity? | ||
2573 | // '->' | ||
2574 | // rightMultiplicit=ALSMultiplicity? | ||
2575 | // rightOperand=ALSPreficed)?; | ||
2576 | public ALSDirectProductElements getALSDirectProductAccess() { | ||
2577 | return pALSDirectProduct; | ||
2578 | } | ||
2579 | |||
2580 | public ParserRule getALSDirectProductRule() { | ||
2581 | return getALSDirectProductAccess().getRule(); | ||
2582 | } | ||
2583 | |||
2584 | //ALSPreficed ALSTerm: | ||
2585 | // {ALSNot} => ("!" | 'not') operand=ALSBasicRelationTerm | {ALSInverseRelation} => "~" operand=ALSBasicRelationTerm | | ||
2586 | // {AlSTransitiveClosure} "^" operand=ALSBasicRelationTerm | {ALSReflectiveTransitiveClosure} "*" | ||
2587 | // operand=ALSBasicRelationTerm | {ALSCardinality} '#' operand=ALSBasicRelationTerm | {ALSUnaryMinus} => '-' | ||
2588 | // operand=ALSBasicRelationTerm | {ALSSum} 'sum' variables+=ALSVariableDeclaration (',' | ||
2589 | // variables+=ALSVariableDeclaration)* '{' expression=ALSTerm '}' | {ALSFunctionCall} | ||
2590 | // (referredDefinition=[ALSDefinition] | referredNumericOperator=ALSNumericOperator) '[' params+=ALSTerm (',' | ||
2591 | // params+=ALSTerm)* ']' | ALSBasicRelationTerm; | ||
2592 | public ALSPreficedElements getALSPreficedAccess() { | ||
2593 | return pALSPreficed; | ||
2594 | } | ||
2595 | |||
2596 | public ParserRule getALSPreficedRule() { | ||
2597 | return getALSPreficedAccess().getRule(); | ||
2598 | } | ||
2599 | |||
2600 | //enum ALSNumericOperator: | ||
2601 | // plus | sub | mul | rem | div; | ||
2602 | public ALSNumericOperatorElements getALSNumericOperatorAccess() { | ||
2603 | return eALSNumericOperator; | ||
2604 | } | ||
2605 | |||
2606 | public EnumRule getALSNumericOperatorRule() { | ||
2607 | return getALSNumericOperatorAccess().getRule(); | ||
2608 | } | ||
2609 | |||
2610 | ////ALSVariable: name = ALSID; | ||
2611 | //ALSVariableDeclaration: | ||
2612 | // name=ALSID ':' range=ALSTerm; | ||
2613 | public ALSVariableDeclarationElements getALSVariableDeclarationAccess() { | ||
2614 | return pALSVariableDeclaration; | ||
2615 | } | ||
2616 | |||
2617 | public ParserRule getALSVariableDeclarationRule() { | ||
2618 | return getALSVariableDeclarationAccess().getRule(); | ||
2619 | } | ||
2620 | |||
2621 | //ALSBasicRelationTerm ALSTerm: | ||
2622 | // {ALSNone} 'none' | {ALSIden} 'iden' | {ALSUniv} 'univ' | {ALSInt} 'Int' | {ALSString} 'String' | {ALSReference} | ||
2623 | // referred=[ALSRelationDeclaration] | {ALSNumberLiteral} value=INT | {ALSStringLiteral} value=STRING | | ||
2624 | // '(' ALSTerm ')'; | ||
2625 | public ALSBasicRelationTermElements getALSBasicRelationTermAccess() { | ||
2626 | return pALSBasicRelationTerm; | ||
2627 | } | ||
2628 | |||
2629 | public ParserRule getALSBasicRelationTermRule() { | ||
2630 | return getALSBasicRelationTermAccess().getRule(); | ||
2631 | } | ||
2632 | |||
2633 | //////////////////////////////////// | ||
2634 | //// ALS Commands and scopes | ||
2635 | //////////////////////////////////// | ||
2636 | //ALSRunCommand: | ||
2637 | // {ALSRunCommand} 'run' '{' '}' ('for' typeScopes+=ALSTypeScope (',' typeScopes+=ALSTypeScope)*)?; | ||
2638 | public ALSRunCommandElements getALSRunCommandAccess() { | ||
2639 | return pALSRunCommand; | ||
2640 | } | ||
2641 | |||
2642 | public ParserRule getALSRunCommandRule() { | ||
2643 | return getALSRunCommandAccess().getRule(); | ||
2644 | } | ||
2645 | |||
2646 | //ALSTypeScope: | ||
2647 | // ALSSigScope | ALSIntScope | ALSStringScope; | ||
2648 | public ALSTypeScopeElements getALSTypeScopeAccess() { | ||
2649 | return pALSTypeScope; | ||
2650 | } | ||
2651 | |||
2652 | public ParserRule getALSTypeScopeRule() { | ||
2653 | return getALSTypeScopeAccess().getRule(); | ||
2654 | } | ||
2655 | |||
2656 | //ALSSigScope: | ||
2657 | // exactly?='exactly'? number=INT type=[ALSSignatureDeclaration]; | ||
2658 | public ALSSigScopeElements getALSSigScopeAccess() { | ||
2659 | return pALSSigScope; | ||
2660 | } | ||
2661 | |||
2662 | public ParserRule getALSSigScopeRule() { | ||
2663 | return getALSSigScopeAccess().getRule(); | ||
2664 | } | ||
2665 | |||
2666 | //ALSIntScope: | ||
2667 | // number=INT 'Int'; | ||
2668 | public ALSIntScopeElements getALSIntScopeAccess() { | ||
2669 | return pALSIntScope; | ||
2670 | } | ||
2671 | |||
2672 | public ParserRule getALSIntScopeRule() { | ||
2673 | return getALSIntScopeAccess().getRule(); | ||
2674 | } | ||
2675 | |||
2676 | //ALSStringScope: | ||
2677 | // 'exactly' number=INT 'String'; | ||
2678 | public ALSStringScopeElements getALSStringScopeAccess() { | ||
2679 | return pALSStringScope; | ||
2680 | } | ||
2681 | |||
2682 | public ParserRule getALSStringScopeRule() { | ||
2683 | return getALSStringScopeAccess().getRule(); | ||
2684 | } | ||
2685 | |||
2686 | //terminal INT returns ecore::EInt: | ||
2687 | // '0'..'9'+; | ||
2688 | public TerminalRule getINTRule() { | ||
2689 | return gaTerminals.getINTRule(); | ||
2690 | } | ||
2691 | |||
2692 | //terminal STRING: | ||
2693 | // '"' ('\\' . | !('\\' | '"'))* '"' | "'" ('\\' . | !('\\' | "'"))* "'"; | ||
2694 | public TerminalRule getSTRINGRule() { | ||
2695 | return gaTerminals.getSTRINGRule(); | ||
2696 | } | ||
2697 | |||
2698 | //terminal ML_COMMENT: | ||
2699 | // '/*'->'*/'; | ||
2700 | public TerminalRule getML_COMMENTRule() { | ||
2701 | return gaTerminals.getML_COMMENTRule(); | ||
2702 | } | ||
2703 | |||
2704 | //terminal SL_COMMENT: | ||
2705 | // '//' !('\n' | '\r')* ('\r'? '\n')?; | ||
2706 | public TerminalRule getSL_COMMENTRule() { | ||
2707 | return gaTerminals.getSL_COMMENTRule(); | ||
2708 | } | ||
2709 | |||
2710 | //terminal WS: | ||
2711 | // ' ' | '\t' | '\r' | '\n'+; | ||
2712 | public TerminalRule getWSRule() { | ||
2713 | return gaTerminals.getWSRule(); | ||
2714 | } | ||
2715 | |||
2716 | //terminal ANY_OTHER: | ||
2717 | // .; | ||
2718 | public TerminalRule getANY_OTHERRule() { | ||
2719 | return gaTerminals.getANY_OTHERRule(); | ||
2720 | } | ||
2721 | } | ||