aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java327
1 files changed, 327 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
new file mode 100644
index 00000000..584cec38
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/SolverLanguageParser.java
@@ -0,0 +1,327 @@
1/*
2 * generated by Xtext 2.21.0
3 */
4package org.eclipse.viatra.solver.language.ide.contentassist.antlr;
5
6import com.google.common.collect.ImmutableMap;
7import com.google.inject.Inject;
8import com.google.inject.Singleton;
9import java.util.Map;
10import org.antlr.runtime.CharStream;
11import org.antlr.runtime.TokenSource;
12import org.eclipse.viatra.solver.language.ide.contentassist.antlr.internal.InternalSolverLanguageParser;
13import org.eclipse.viatra.solver.language.services.SolverLanguageGrammarAccess;
14import org.eclipse.xtext.AbstractElement;
15import org.eclipse.xtext.ide.editor.contentassist.antlr.AbstractContentAssistParser;
16
17public class SolverLanguageParser extends AbstractContentAssistParser {
18
19 @Singleton
20 public static final class NameMappings {
21
22 private final Map<AbstractElement, String> mappings;
23
24 @Inject
25 public NameMappings(SolverLanguageGrammarAccess grammarAccess) {
26 ImmutableMap.Builder<AbstractElement, String> builder = ImmutableMap.builder();
27 init(builder, grammarAccess);
28 this.mappings = builder.build();
29 }
30
31 public String getRuleName(AbstractElement element) {
32 return mappings.get(element);
33 }
34
35 private static void init(ImmutableMap.Builder<AbstractElement, String> builder, SolverLanguageGrammarAccess grammarAccess) {
36 builder.put(grammarAccess.getStatementAccess().getAlternatives(), "rule__Statement__Alternatives");
37 builder.put(grammarAccess.getImportAccess().getAlternatives(), "rule__Import__Alternatives");
38 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getAlternatives_1(), "rule__AssertionOrDefinition__Alternatives_1");
39 builder.put(grammarAccess.getPredicateDefinitionAccess().getAlternatives_0(), "rule__PredicateDefinition__Alternatives_0");
40 builder.put(grammarAccess.getExternDeclarationAccess().getAlternatives(), "rule__ExternDeclaration__Alternatives");
41 builder.put(grammarAccess.getExpressionAccess().getAlternatives(), "rule__Expression__Alternatives");
42 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getAlternatives_1(), "rule__DisjunctiveExpression__Alternatives_1");
43 builder.put(grammarAccess.getUnaryExpressionAccess().getAlternatives(), "rule__UnaryExpression__Alternatives");
44 builder.put(grammarAccess.getBracedAggregateExpressionAccess().getAlternatives(), "rule__BracedAggregateExpression__Alternatives");
45 builder.put(grammarAccess.getAtomicExpressionAccess().getAlternatives(), "rule__AtomicExpression__Alternatives");
46 builder.put(grammarAccess.getArgumentAccess().getAlternatives(), "rule__Argument__Alternatives");
47 builder.put(grammarAccess.getPathComponentAccess().getAlternatives_2(), "rule__PathComponent__Alternatives_2");
48 builder.put(grammarAccess.getLiteralAccess().getAlternatives(), "rule__Literal__Alternatives");
49 builder.put(grammarAccess.getClassDeclarationAccess().getAlternatives_4(), "rule__ClassDeclaration__Alternatives_4");
50 builder.put(grammarAccess.getFieldAccess().getAlternatives_0(), "rule__Field__Alternatives_0");
51 builder.put(grammarAccess.getMultiplicityAccess().getAlternatives(), "rule__Multiplicity__Alternatives");
52 builder.put(grammarAccess.getEnumDeclarationAccess().getAlternatives_2(), "rule__EnumDeclaration__Alternatives_2");
53 builder.put(grammarAccess.getScopeDeclarationAccess().getAlternatives(), "rule__ScopeDeclaration__Alternatives");
54 builder.put(grammarAccess.getBoundedScopeAccess().getAlternatives_1(), "rule__BoundedScope__Alternatives_1");
55 builder.put(grammarAccess.getLowerBoundedScopeAccess().getAlternatives_1(), "rule__LowerBoundedScope__Alternatives_1");
56 builder.put(grammarAccess.getUpperMultiplictyAccess().getAlternatives(), "rule__UpperMultiplicty__Alternatives");
57 builder.put(grammarAccess.getQualifiedNameSegmentAccess().getAlternatives(), "rule__QualifiedNameSegment__Alternatives");
58 builder.put(grammarAccess.getAttributeKindAccess().getAlternatives(), "rule__AttributeKind__Alternatives");
59 builder.put(grammarAccess.getComparisonOperatorAccess().getAlternatives(), "rule__ComparisonOperator__Alternatives");
60 builder.put(grammarAccess.getAdditiveBinaryOperatorAccess().getAlternatives(), "rule__AdditiveBinaryOperator__Alternatives");
61 builder.put(grammarAccess.getMultiplicativeBinaryOperatorAccess().getAlternatives(), "rule__MultiplicativeBinaryOperator__Alternatives");
62 builder.put(grammarAccess.getUnaryOperatorAccess().getAlternatives(), "rule__UnaryOperator__Alternatives");
63 builder.put(grammarAccess.getLogicValueAccess().getAlternatives(), "rule__LogicValue__Alternatives");
64 builder.put(grammarAccess.getObjectiveKindAccess().getAlternatives(), "rule__ObjectiveKind__Alternatives");
65 builder.put(grammarAccess.getProblemAccess().getGroup(), "rule__Problem__Group__0");
66 builder.put(grammarAccess.getProblemAccess().getGroup_0(), "rule__Problem__Group_0__0");
67 builder.put(grammarAccess.getUriImportAccess().getGroup(), "rule__UriImport__Group__0");
68 builder.put(grammarAccess.getUriImportAccess().getGroup_2(), "rule__UriImport__Group_2__0");
69 builder.put(grammarAccess.getNamespaceImportAccess().getGroup(), "rule__NamespaceImport__Group__0");
70 builder.put(grammarAccess.getNamespaceImportAccess().getGroup_2(), "rule__NamespaceImport__Group_2__0");
71 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getGroup(), "rule__AssertionOrDefinition__Group__0");
72 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getGroup_1_0(), "rule__AssertionOrDefinition__Group_1_0__0");
73 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getGroup_1_0_1(), "rule__AssertionOrDefinition__Group_1_0_1__0");
74 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getGroup_1_1(), "rule__AssertionOrDefinition__Group_1_1__0");
75 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getGroup_1_2(), "rule__AssertionOrDefinition__Group_1_2__0");
76 builder.put(grammarAccess.getPredicateDefinitionAccess().getGroup(), "rule__PredicateDefinition__Group__0");
77 builder.put(grammarAccess.getPredicateDefinitionAccess().getGroup_0_0(), "rule__PredicateDefinition__Group_0_0__0");
78 builder.put(grammarAccess.getPredicateDefinitionAccess().getGroup_0_1(), "rule__PredicateDefinition__Group_0_1__0");
79 builder.put(grammarAccess.getUnnamedErrorPredicateDefintionAccess().getGroup(), "rule__UnnamedErrorPredicateDefintion__Group__0");
80 builder.put(grammarAccess.getDefaultAssertionAccess().getGroup(), "rule__DefaultAssertion__Group__0");
81 builder.put(grammarAccess.getDefaultAssertionAccess().getGroup_2(), "rule__DefaultAssertion__Group_2__0");
82 builder.put(grammarAccess.getFunctionDefinitionAccess().getGroup(), "rule__FunctionDefinition__Group__0");
83 builder.put(grammarAccess.getTypeReferenceAccess().getGroup(), "rule__TypeReference__Group__0");
84 builder.put(grammarAccess.getAttributeAccess().getGroup(), "rule__Attribute__Group__0");
85 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getGroup(), "rule__ExternPredicateDeclaration__Group__0");
86 builder.put(grammarAccess.getExternFunctionDeclarationAccess().getGroup(), "rule__ExternFunctionDeclaration__Group__0");
87 builder.put(grammarAccess.getExternAggregationOperatorDeclarationAccess().getGroup(), "rule__ExternAggregationOperatorDeclaration__Group__0");
88 builder.put(grammarAccess.getExternDatatypeDeclarationAccess().getGroup(), "rule__ExternDatatypeDeclaration__Group__0");
89 builder.put(grammarAccess.getExpressionAccess().getGroup_2(), "rule__Expression__Group_2__0");
90 builder.put(grammarAccess.getExpressionAccess().getGroup_2_1(), "rule__Expression__Group_2_1__0");
91 builder.put(grammarAccess.getConditionalExpressionAccess().getGroup(), "rule__ConditionalExpression__Group__0");
92 builder.put(grammarAccess.getLetExpressionAccess().getGroup(), "rule__LetExpression__Group__0");
93 builder.put(grammarAccess.getLetExpressionAccess().getGroup_2(), "rule__LetExpression__Group_2__0");
94 builder.put(grammarAccess.getLetBindingAccess().getGroup(), "rule__LetBinding__Group__0");
95 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getGroup(), "rule__DisjunctiveExpression__Group__0");
96 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getGroup_1_0(), "rule__DisjunctiveExpression__Group_1_0__0");
97 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getGroup_1_0_1(), "rule__DisjunctiveExpression__Group_1_0_1__0");
98 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getGroup_1_1(), "rule__DisjunctiveExpression__Group_1_1__0");
99 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getGroup_1_1_4(), "rule__DisjunctiveExpression__Group_1_1_4__0");
100 builder.put(grammarAccess.getCaseAccess().getGroup(), "rule__Case__Group__0");
101 builder.put(grammarAccess.getConjunctiveExpressionAccess().getGroup(), "rule__ConjunctiveExpression__Group__0");
102 builder.put(grammarAccess.getConjunctiveExpressionAccess().getGroup_1(), "rule__ConjunctiveExpression__Group_1__0");
103 builder.put(grammarAccess.getConjunctiveExpressionAccess().getGroup_1_1(), "rule__ConjunctiveExpression__Group_1_1__0");
104 builder.put(grammarAccess.getComparisonExpressionAccess().getGroup(), "rule__ComparisonExpression__Group__0");
105 builder.put(grammarAccess.getComparisonExpressionAccess().getGroup_1(), "rule__ComparisonExpression__Group_1__0");
106 builder.put(grammarAccess.getAdditiveExpressionAccess().getGroup(), "rule__AdditiveExpression__Group__0");
107 builder.put(grammarAccess.getAdditiveExpressionAccess().getGroup_1(), "rule__AdditiveExpression__Group_1__0");
108 builder.put(grammarAccess.getMultiplicativeExpressionAccess().getGroup(), "rule__MultiplicativeExpression__Group__0");
109 builder.put(grammarAccess.getMultiplicativeExpressionAccess().getGroup_1(), "rule__MultiplicativeExpression__Group_1__0");
110 builder.put(grammarAccess.getExponentialExpressionAccess().getGroup(), "rule__ExponentialExpression__Group__0");
111 builder.put(grammarAccess.getExponentialExpressionAccess().getGroup_1(), "rule__ExponentialExpression__Group_1__0");
112 builder.put(grammarAccess.getCastExpressionAccess().getGroup(), "rule__CastExpression__Group__0");
113 builder.put(grammarAccess.getCastExpressionAccess().getGroup_1(), "rule__CastExpression__Group_1__0");
114 builder.put(grammarAccess.getUnaryExpressionAccess().getGroup_1(), "rule__UnaryExpression__Group_1__0");
115 builder.put(grammarAccess.getAggregationAccess().getGroup(), "rule__Aggregation__Group__0");
116 builder.put(grammarAccess.getCountAccess().getGroup(), "rule__Count__Group__0");
117 builder.put(grammarAccess.getAtomicExpressionAccess().getGroup_4(), "rule__AtomicExpression__Group_4__0");
118 builder.put(grammarAccess.getCallAccess().getGroup(), "rule__Call__Group__0");
119 builder.put(grammarAccess.getArgumentListAccess().getGroup(), "rule__ArgumentList__Group__0");
120 builder.put(grammarAccess.getArgumentListAccess().getGroup_2(), "rule__ArgumentList__Group_2__0");
121 builder.put(grammarAccess.getArgumentListAccess().getGroup_2_1(), "rule__ArgumentList__Group_2_1__0");
122 builder.put(grammarAccess.getStarArgumentAccess().getGroup(), "rule__StarArgument__Group__0");
123 builder.put(grammarAccess.getTypedVariableArgumentAccess().getGroup(), "rule__TypedVariableArgument__Group__0");
124 builder.put(grammarAccess.getTypedStarArgumentAccess().getGroup(), "rule__TypedStarArgument__Group__0");
125 builder.put(grammarAccess.getReferenceAccess().getGroup(), "rule__Reference__Group__0");
126 builder.put(grammarAccess.getReferenceAccess().getGroup_1(), "rule__Reference__Group_1__0");
127 builder.put(grammarAccess.getPathComponentAccess().getGroup(), "rule__PathComponent__Group__0");
128 builder.put(grammarAccess.getIntervalAccess().getGroup(), "rule__Interval__Group__0");
129 builder.put(grammarAccess.getInfinityLiteralAccess().getGroup(), "rule__InfinityLiteral__Group__0");
130 builder.put(grammarAccess.getEmptyLiteralAccess().getGroup(), "rule__EmptyLiteral__Group__0");
131 builder.put(grammarAccess.getClassDeclarationAccess().getGroup(), "rule__ClassDeclaration__Group__0");
132 builder.put(grammarAccess.getClassDeclarationAccess().getGroup_3(), "rule__ClassDeclaration__Group_3__0");
133 builder.put(grammarAccess.getClassDeclarationAccess().getGroup_3_2(), "rule__ClassDeclaration__Group_3_2__0");
134 builder.put(grammarAccess.getClassDeclarationAccess().getGroup_4_0(), "rule__ClassDeclaration__Group_4_0__0");
135 builder.put(grammarAccess.getFieldAccess().getGroup(), "rule__Field__Group__0");
136 builder.put(grammarAccess.getFieldAccess().getGroup_4(), "rule__Field__Group_4__0");
137 builder.put(grammarAccess.getUnboundedMultiplicityAccess().getGroup(), "rule__UnboundedMultiplicity__Group__0");
138 builder.put(grammarAccess.getExactMultiplicityAccess().getGroup(), "rule__ExactMultiplicity__Group__0");
139 builder.put(grammarAccess.getBoundedMultiplicityAccess().getGroup(), "rule__BoundedMultiplicity__Group__0");
140 builder.put(grammarAccess.getEnumDeclarationAccess().getGroup(), "rule__EnumDeclaration__Group__0");
141 builder.put(grammarAccess.getEnumDeclarationAccess().getGroup_2_0(), "rule__EnumDeclaration__Group_2_0__0");
142 builder.put(grammarAccess.getEnumDeclarationAccess().getGroup_2_0_1(), "rule__EnumDeclaration__Group_2_0_1__0");
143 builder.put(grammarAccess.getEnumDeclarationAccess().getGroup_2_0_1_1(), "rule__EnumDeclaration__Group_2_0_1_1__0");
144 builder.put(grammarAccess.getExactScopeAccess().getGroup(), "rule__ExactScope__Group__0");
145 builder.put(grammarAccess.getBoundedScopeAccess().getGroup(), "rule__BoundedScope__Group__0");
146 builder.put(grammarAccess.getBoundedScopeAccess().getGroup_1_0(), "rule__BoundedScope__Group_1_0__0");
147 builder.put(grammarAccess.getBoundedScopeAccess().getGroup_1_0_0(), "rule__BoundedScope__Group_1_0_0__0");
148 builder.put(grammarAccess.getBoundedScopeAccess().getGroup_1_1(), "rule__BoundedScope__Group_1_1__0");
149 builder.put(grammarAccess.getBoundedScopeAccess().getGroup_1_1_3(), "rule__BoundedScope__Group_1_1_3__0");
150 builder.put(grammarAccess.getLowerBoundedScopeAccess().getGroup(), "rule__LowerBoundedScope__Group__0");
151 builder.put(grammarAccess.getLowerBoundedScopeAccess().getGroup_1_0(), "rule__LowerBoundedScope__Group_1_0__0");
152 builder.put(grammarAccess.getLowerBoundedScopeAccess().getGroup_1_1(), "rule__LowerBoundedScope__Group_1_1__0");
153 builder.put(grammarAccess.getObjectiveDeclarationAccess().getGroup(), "rule__ObjectiveDeclaration__Group__0");
154 builder.put(grammarAccess.getRealAccess().getGroup(), "rule__Real__Group__0");
155 builder.put(grammarAccess.getQualifiedNameAccess().getGroup(), "rule__QualifiedName__Group__0");
156 builder.put(grammarAccess.getQualifiedNameAccess().getGroup_1(), "rule__QualifiedName__Group_1__0");
157 builder.put(grammarAccess.getProblemAccess().getNameAssignment_0_1(), "rule__Problem__NameAssignment_0_1");
158 builder.put(grammarAccess.getProblemAccess().getImportsAssignment_1(), "rule__Problem__ImportsAssignment_1");
159 builder.put(grammarAccess.getProblemAccess().getStatementsAssignment_2(), "rule__Problem__StatementsAssignment_2");
160 builder.put(grammarAccess.getUriImportAccess().getUriAssignment_1(), "rule__UriImport__UriAssignment_1");
161 builder.put(grammarAccess.getUriImportAccess().getAliasAssignment_2_1(), "rule__UriImport__AliasAssignment_2_1");
162 builder.put(grammarAccess.getNamespaceImportAccess().getImportedNamespaceAssignment_1(), "rule__NamespaceImport__ImportedNamespaceAssignment_1");
163 builder.put(grammarAccess.getNamespaceImportAccess().getAliasAssignment_2_1(), "rule__NamespaceImport__AliasAssignment_2_1");
164 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getRangeAssignment_1_0_1_1(), "rule__AssertionOrDefinition__RangeAssignment_1_0_1_1");
165 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getBodyAssignment_1_1_2(), "rule__AssertionOrDefinition__BodyAssignment_1_1_2");
166 builder.put(grammarAccess.getAssertionOrDefinitionAccess().getBodyAssignment_1_2_2(), "rule__AssertionOrDefinition__BodyAssignment_1_2_2");
167 builder.put(grammarAccess.getPredicateDefinitionAccess().getFunctionalAssignment_0_0_0(), "rule__PredicateDefinition__FunctionalAssignment_0_0_0");
168 builder.put(grammarAccess.getPredicateDefinitionAccess().getErrorAssignment_0_0_1(), "rule__PredicateDefinition__ErrorAssignment_0_0_1");
169 builder.put(grammarAccess.getPredicateDefinitionAccess().getErrorAssignment_0_1_0(), "rule__PredicateDefinition__ErrorAssignment_0_1_0");
170 builder.put(grammarAccess.getPredicateDefinitionAccess().getFunctionalAssignment_0_1_1(), "rule__PredicateDefinition__FunctionalAssignment_0_1_1");
171 builder.put(grammarAccess.getPredicateDefinitionAccess().getHeadAssignment_1(), "rule__PredicateDefinition__HeadAssignment_1");
172 builder.put(grammarAccess.getPredicateDefinitionAccess().getBodyAssignment_3(), "rule__PredicateDefinition__BodyAssignment_3");
173 builder.put(grammarAccess.getUnnamedErrorPredicateDefintionAccess().getArgumentListAssignment_1(), "rule__UnnamedErrorPredicateDefintion__ArgumentListAssignment_1");
174 builder.put(grammarAccess.getUnnamedErrorPredicateDefintionAccess().getBodyAssignment_3(), "rule__UnnamedErrorPredicateDefintion__BodyAssignment_3");
175 builder.put(grammarAccess.getDefaultAssertionAccess().getExpressionAssignment_1(), "rule__DefaultAssertion__ExpressionAssignment_1");
176 builder.put(grammarAccess.getDefaultAssertionAccess().getRangeAssignment_2_1(), "rule__DefaultAssertion__RangeAssignment_2_1");
177 builder.put(grammarAccess.getFunctionDefinitionAccess().getResultTypeAssignment_0(), "rule__FunctionDefinition__ResultTypeAssignment_0");
178 builder.put(grammarAccess.getFunctionDefinitionAccess().getHeadAssignment_1(), "rule__FunctionDefinition__HeadAssignment_1");
179 builder.put(grammarAccess.getFunctionDefinitionAccess().getBodyAssignment_3(), "rule__FunctionDefinition__BodyAssignment_3");
180 builder.put(grammarAccess.getTypeReferenceAccess().getTypeAssignment_0(), "rule__TypeReference__TypeAssignment_0");
181 builder.put(grammarAccess.getTypeReferenceAccess().getForceObjectTypeAssignment_1(), "rule__TypeReference__ForceObjectTypeAssignment_1");
182 builder.put(grammarAccess.getAttributeAccess().getKindAssignment_0(), "rule__Attribute__KindAssignment_0");
183 builder.put(grammarAccess.getAttributeAccess().getTargetAssignment_1(), "rule__Attribute__TargetAssignment_1");
184 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getFunctionalAssignment_1_0(), "rule__ExternPredicateDeclaration__FunctionalAssignment_1_0");
185 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getErrorAssignment_1_1(), "rule__ExternPredicateDeclaration__ErrorAssignment_1_1");
186 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getNameAssignment_2(), "rule__ExternPredicateDeclaration__NameAssignment_2");
187 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getArgumentListAssignment_3(), "rule__ExternPredicateDeclaration__ArgumentListAssignment_3");
188 builder.put(grammarAccess.getExternFunctionDeclarationAccess().getResultTypeAssignment_1(), "rule__ExternFunctionDeclaration__ResultTypeAssignment_1");
189 builder.put(grammarAccess.getExternFunctionDeclarationAccess().getNameAssignment_2(), "rule__ExternFunctionDeclaration__NameAssignment_2");
190 builder.put(grammarAccess.getExternFunctionDeclarationAccess().getArgumentListAssignment_3(), "rule__ExternFunctionDeclaration__ArgumentListAssignment_3");
191 builder.put(grammarAccess.getExternAggregationOperatorDeclarationAccess().getResultTypeAssignment_1(), "rule__ExternAggregationOperatorDeclaration__ResultTypeAssignment_1");
192 builder.put(grammarAccess.getExternAggregationOperatorDeclarationAccess().getNameAssignment_2(), "rule__ExternAggregationOperatorDeclaration__NameAssignment_2");
193 builder.put(grammarAccess.getExternAggregationOperatorDeclarationAccess().getArgumentTypeAssignment_4(), "rule__ExternAggregationOperatorDeclaration__ArgumentTypeAssignment_4");
194 builder.put(grammarAccess.getExternDatatypeDeclarationAccess().getNameAssignment_2(), "rule__ExternDatatypeDeclaration__NameAssignment_2");
195 builder.put(grammarAccess.getExpressionAccess().getBodyAssignment_2_1_2(), "rule__Expression__BodyAssignment_2_1_2");
196 builder.put(grammarAccess.getConditionalExpressionAccess().getConditionAssignment_1(), "rule__ConditionalExpression__ConditionAssignment_1");
197 builder.put(grammarAccess.getConditionalExpressionAccess().getThenAssignment_3(), "rule__ConditionalExpression__ThenAssignment_3");
198 builder.put(grammarAccess.getConditionalExpressionAccess().getElseAssignment_5(), "rule__ConditionalExpression__ElseAssignment_5");
199 builder.put(grammarAccess.getLetExpressionAccess().getBindingsAssignment_1(), "rule__LetExpression__BindingsAssignment_1");
200 builder.put(grammarAccess.getLetExpressionAccess().getBindingsAssignment_2_1(), "rule__LetExpression__BindingsAssignment_2_1");
201 builder.put(grammarAccess.getLetExpressionAccess().getBodyAssignment_4(), "rule__LetExpression__BodyAssignment_4");
202 builder.put(grammarAccess.getLetBindingAccess().getTypeAssignment_0(), "rule__LetBinding__TypeAssignment_0");
203 builder.put(grammarAccess.getLetBindingAccess().getNameAssignment_1(), "rule__LetBinding__NameAssignment_1");
204 builder.put(grammarAccess.getLetBindingAccess().getValueAssignment_3(), "rule__LetBinding__ValueAssignment_3");
205 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getChildrenAssignment_1_0_1_1(), "rule__DisjunctiveExpression__ChildrenAssignment_1_0_1_1");
206 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getBodyAssignment_1_1_2(), "rule__DisjunctiveExpression__BodyAssignment_1_1_2");
207 builder.put(grammarAccess.getDisjunctiveExpressionAccess().getCasesAssignment_1_1_4_1(), "rule__DisjunctiveExpression__CasesAssignment_1_1_4_1");
208 builder.put(grammarAccess.getCaseAccess().getConditionAssignment_0(), "rule__Case__ConditionAssignment_0");
209 builder.put(grammarAccess.getCaseAccess().getBodyAssignment_2(), "rule__Case__BodyAssignment_2");
210 builder.put(grammarAccess.getConjunctiveExpressionAccess().getChildrenAssignment_1_1_1(), "rule__ConjunctiveExpression__ChildrenAssignment_1_1_1");
211 builder.put(grammarAccess.getComparisonExpressionAccess().getOpAssignment_1_1(), "rule__ComparisonExpression__OpAssignment_1_1");
212 builder.put(grammarAccess.getComparisonExpressionAccess().getRightAssignment_1_2(), "rule__ComparisonExpression__RightAssignment_1_2");
213 builder.put(grammarAccess.getAdditiveExpressionAccess().getOpAssignment_1_1(), "rule__AdditiveExpression__OpAssignment_1_1");
214 builder.put(grammarAccess.getAdditiveExpressionAccess().getRightAssignment_1_2(), "rule__AdditiveExpression__RightAssignment_1_2");
215 builder.put(grammarAccess.getMultiplicativeExpressionAccess().getOpAssignment_1_1(), "rule__MultiplicativeExpression__OpAssignment_1_1");
216 builder.put(grammarAccess.getMultiplicativeExpressionAccess().getRightAssignment_1_2(), "rule__MultiplicativeExpression__RightAssignment_1_2");
217 builder.put(grammarAccess.getExponentialExpressionAccess().getOpAssignment_1_1(), "rule__ExponentialExpression__OpAssignment_1_1");
218 builder.put(grammarAccess.getExponentialExpressionAccess().getRightAssignment_1_2(), "rule__ExponentialExpression__RightAssignment_1_2");
219 builder.put(grammarAccess.getCastExpressionAccess().getTargetTypeAssignment_1_2(), "rule__CastExpression__TargetTypeAssignment_1_2");
220 builder.put(grammarAccess.getUnaryExpressionAccess().getOpAssignment_1_1(), "rule__UnaryExpression__OpAssignment_1_1");
221 builder.put(grammarAccess.getUnaryExpressionAccess().getBodyAssignment_1_2(), "rule__UnaryExpression__BodyAssignment_1_2");
222 builder.put(grammarAccess.getAggregationAccess().getOpAssignment_0(), "rule__Aggregation__OpAssignment_0");
223 builder.put(grammarAccess.getAggregationAccess().getValueAssignment_2(), "rule__Aggregation__ValueAssignment_2");
224 builder.put(grammarAccess.getAggregationAccess().getConditionAssignment_4(), "rule__Aggregation__ConditionAssignment_4");
225 builder.put(grammarAccess.getCountAccess().getConditionAssignment_2(), "rule__Count__ConditionAssignment_2");
226 builder.put(grammarAccess.getCallAccess().getFunctorAssignment_0(), "rule__Call__FunctorAssignment_0");
227 builder.put(grammarAccess.getCallAccess().getArgumentListAssignment_1(), "rule__Call__ArgumentListAssignment_1");
228 builder.put(grammarAccess.getArgumentListAccess().getArgumentsAssignment_2_0(), "rule__ArgumentList__ArgumentsAssignment_2_0");
229 builder.put(grammarAccess.getArgumentListAccess().getArgumentsAssignment_2_1_1(), "rule__ArgumentList__ArgumentsAssignment_2_1_1");
230 builder.put(grammarAccess.getExpressionArgumentAccess().getExpressionAssignment(), "rule__ExpressionArgument__ExpressionAssignment");
231 builder.put(grammarAccess.getTypedVariableArgumentAccess().getTypeReferenceAssignment_0(), "rule__TypedVariableArgument__TypeReferenceAssignment_0");
232 builder.put(grammarAccess.getTypedVariableArgumentAccess().getNameAssignment_1(), "rule__TypedVariableArgument__NameAssignment_1");
233 builder.put(grammarAccess.getTypedStarArgumentAccess().getTypeReferenceAssignment_0(), "rule__TypedStarArgument__TypeReferenceAssignment_0");
234 builder.put(grammarAccess.getReferenceAccess().getComponentsAssignment_0(), "rule__Reference__ComponentsAssignment_0");
235 builder.put(grammarAccess.getReferenceAccess().getComponentsAssignment_1_1(), "rule__Reference__ComponentsAssignment_1_1");
236 builder.put(grammarAccess.getPathComponentAccess().getInverseAssignment_0(), "rule__PathComponent__InverseAssignment_0");
237 builder.put(grammarAccess.getPathComponentAccess().getSymbolAssignment_1(), "rule__PathComponent__SymbolAssignment_1");
238 builder.put(grammarAccess.getPathComponentAccess().getTransitiveClosureAssignment_2_0(), "rule__PathComponent__TransitiveClosureAssignment_2_0");
239 builder.put(grammarAccess.getPathComponentAccess().getReflexiveTransitiveClosureAssignment_2_1(), "rule__PathComponent__ReflexiveTransitiveClosureAssignment_2_1");
240 builder.put(grammarAccess.getIntervalAccess().getLowerBoundAssignment_1(), "rule__Interval__LowerBoundAssignment_1");
241 builder.put(grammarAccess.getIntervalAccess().getUpperBoundAssignment_3(), "rule__Interval__UpperBoundAssignment_3");
242 builder.put(grammarAccess.getLogicLiteralAccess().getValueAssignment(), "rule__LogicLiteral__ValueAssignment");
243 builder.put(grammarAccess.getIntLiteralAccess().getValueAssignment(), "rule__IntLiteral__ValueAssignment");
244 builder.put(grammarAccess.getRealLiteralAccess().getValueAssignment(), "rule__RealLiteral__ValueAssignment");
245 builder.put(grammarAccess.getStringLiteralAccess().getValueAssignment(), "rule__StringLiteral__ValueAssignment");
246 builder.put(grammarAccess.getClassDeclarationAccess().getAbstractAssignment_0_0(), "rule__ClassDeclaration__AbstractAssignment_0_0");
247 builder.put(grammarAccess.getClassDeclarationAccess().getRootAssignment_0_1(), "rule__ClassDeclaration__RootAssignment_0_1");
248 builder.put(grammarAccess.getClassDeclarationAccess().getNameAssignment_2(), "rule__ClassDeclaration__NameAssignment_2");
249 builder.put(grammarAccess.getClassDeclarationAccess().getSupertypesAssignment_3_1(), "rule__ClassDeclaration__SupertypesAssignment_3_1");
250 builder.put(grammarAccess.getClassDeclarationAccess().getSupertypesAssignment_3_2_1(), "rule__ClassDeclaration__SupertypesAssignment_3_2_1");
251 builder.put(grammarAccess.getClassDeclarationAccess().getFieldsAssignment_4_0_1(), "rule__ClassDeclaration__FieldsAssignment_4_0_1");
252 builder.put(grammarAccess.getFieldAccess().getContainmentAssignment_0_0(), "rule__Field__ContainmentAssignment_0_0");
253 builder.put(grammarAccess.getFieldAccess().getCrossReferenceAssignment_0_1(), "rule__Field__CrossReferenceAssignment_0_1");
254 builder.put(grammarAccess.getFieldAccess().getTypeAssignment_1(), "rule__Field__TypeAssignment_1");
255 builder.put(grammarAccess.getFieldAccess().getMultiplicityAssignment_2(), "rule__Field__MultiplicityAssignment_2");
256 builder.put(grammarAccess.getFieldAccess().getNameAssignment_3(), "rule__Field__NameAssignment_3");
257 builder.put(grammarAccess.getFieldAccess().getOppositeAssignment_4_1(), "rule__Field__OppositeAssignment_4_1");
258 builder.put(grammarAccess.getExactMultiplicityAccess().getValueAssignment_1(), "rule__ExactMultiplicity__ValueAssignment_1");
259 builder.put(grammarAccess.getBoundedMultiplicityAccess().getLowerBoundAssignment_1(), "rule__BoundedMultiplicity__LowerBoundAssignment_1");
260 builder.put(grammarAccess.getBoundedMultiplicityAccess().getUpperBoundAssignment_3(), "rule__BoundedMultiplicity__UpperBoundAssignment_3");
261 builder.put(grammarAccess.getEnumDeclarationAccess().getNameAssignment_1(), "rule__EnumDeclaration__NameAssignment_1");
262 builder.put(grammarAccess.getEnumDeclarationAccess().getLiteralsAssignment_2_0_1_0(), "rule__EnumDeclaration__LiteralsAssignment_2_0_1_0");
263 builder.put(grammarAccess.getEnumDeclarationAccess().getLiteralsAssignment_2_0_1_1_1(), "rule__EnumDeclaration__LiteralsAssignment_2_0_1_1_1");
264 builder.put(grammarAccess.getEnumLiteralAccess().getNameAssignment(), "rule__EnumLiteral__NameAssignment");
265 builder.put(grammarAccess.getExactScopeAccess().getTypeAssignment_1(), "rule__ExactScope__TypeAssignment_1");
266 builder.put(grammarAccess.getExactScopeAccess().getSizeAssignment_3(), "rule__ExactScope__SizeAssignment_3");
267 builder.put(grammarAccess.getBoundedScopeAccess().getLowerBoundAssignment_1_0_0_0(), "rule__BoundedScope__LowerBoundAssignment_1_0_0_0");
268 builder.put(grammarAccess.getBoundedScopeAccess().getTypeAssignment_1_0_1(), "rule__BoundedScope__TypeAssignment_1_0_1");
269 builder.put(grammarAccess.getBoundedScopeAccess().getUpperBoundAssignment_1_0_3(), "rule__BoundedScope__UpperBoundAssignment_1_0_3");
270 builder.put(grammarAccess.getBoundedScopeAccess().getUpperBoundAssignment_1_1_0(), "rule__BoundedScope__UpperBoundAssignment_1_1_0");
271 builder.put(grammarAccess.getBoundedScopeAccess().getTypeAssignment_1_1_2(), "rule__BoundedScope__TypeAssignment_1_1_2");
272 builder.put(grammarAccess.getBoundedScopeAccess().getLowerBoundAssignment_1_1_3_1(), "rule__BoundedScope__LowerBoundAssignment_1_1_3_1");
273 builder.put(grammarAccess.getLowerBoundedScopeAccess().getLowerBoundAssignment_1_0_0(), "rule__LowerBoundedScope__LowerBoundAssignment_1_0_0");
274 builder.put(grammarAccess.getLowerBoundedScopeAccess().getTypeAssignment_1_0_2(), "rule__LowerBoundedScope__TypeAssignment_1_0_2");
275 builder.put(grammarAccess.getLowerBoundedScopeAccess().getTypeAssignment_1_1_0(), "rule__LowerBoundedScope__TypeAssignment_1_1_0");
276 builder.put(grammarAccess.getLowerBoundedScopeAccess().getLowerBoundAssignment_1_1_2(), "rule__LowerBoundedScope__LowerBoundAssignment_1_1_2");
277 builder.put(grammarAccess.getObjectiveDeclarationAccess().getKindAssignment_0(), "rule__ObjectiveDeclaration__KindAssignment_0");
278 builder.put(grammarAccess.getObjectiveDeclarationAccess().getObjectiveAssignment_1(), "rule__ObjectiveDeclaration__ObjectiveAssignment_1");
279 builder.put(grammarAccess.getExternPredicateDeclarationAccess().getUnorderedGroup_1(), "rule__ExternPredicateDeclaration__UnorderedGroup_1");
280 builder.put(grammarAccess.getClassDeclarationAccess().getUnorderedGroup_0(), "rule__ClassDeclaration__UnorderedGroup_0");
281 }
282 }
283
284 @Inject
285 private NameMappings nameMappings;
286
287 @Inject
288 private SolverLanguageGrammarAccess grammarAccess;
289
290 @Override
291 protected InternalSolverLanguageParser createParser() {
292 InternalSolverLanguageParser result = new InternalSolverLanguageParser(null);
293 result.setGrammarAccess(grammarAccess);
294 return result;
295 }
296
297 @Override
298 protected TokenSource createLexer(CharStream stream) {
299 return new SolverLanguageTokenSource(super.createLexer(stream));
300 }
301
302 @Override
303 protected String getRuleName(AbstractElement element) {
304 return nameMappings.getRuleName(element);
305 }
306
307 @Override
308 protected String[] getInitialHiddenTokens() {
309 return new String[] { "RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT" };
310 }
311
312 public SolverLanguageGrammarAccess getGrammarAccess() {
313 return this.grammarAccess;
314 }
315
316 public void setGrammarAccess(SolverLanguageGrammarAccess grammarAccess) {
317 this.grammarAccess = grammarAccess;
318 }
319
320 public NameMappings getNameMappings() {
321 return nameMappings;
322 }
323
324 public void setNameMappings(NameMappings nameMappings) {
325 this.nameMappings = nameMappings;
326 }
327}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-13 22:30:12 +0000