aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java274
1 files changed, 274 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java
new file mode 100644
index 00000000..1022bde5
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/SmtLanguageParser.java
@@ -0,0 +1,274 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr;
5
6import java.util.Collection;
7import java.util.Map;
8import java.util.HashMap;
9
10import org.antlr.runtime.RecognitionException;
11import org.eclipse.xtext.AbstractElement;
12import org.eclipse.xtext.ui.editor.contentassist.antlr.AbstractContentAssistParser;
13import org.eclipse.xtext.ui.editor.contentassist.antlr.FollowElement;
14import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;
15
16import com.google.inject.Inject;
17
18import hu.bme.mit.inf.dslreasoner.services.SmtLanguageGrammarAccess;
19
20public class SmtLanguageParser extends AbstractContentAssistParser {
21
22 @Inject
23 private SmtLanguageGrammarAccess grammarAccess;
24
25 private Map<AbstractElement, String> nameMappings;
26
27 @Override
28 protected hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageParser createParser() {
29 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageParser result = new hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageParser(null);
30 result.setGrammarAccess(grammarAccess);
31 return result;
32 }
33
34 @Override
35 protected String getRuleName(AbstractElement element) {
36 if (nameMappings == null) {
37 nameMappings = new HashMap<AbstractElement, String>() {
38 private static final long serialVersionUID = 1L;
39 {
40 put(grammarAccess.getSMTInputAccess().getAlternatives_1(), "rule__SMTInput__Alternatives_1");
41 put(grammarAccess.getSMTOutputAccess().getAlternatives_0(), "rule__SMTOutput__Alternatives_0");
42 put(grammarAccess.getSMTTypeAccess().getAlternatives(), "rule__SMTType__Alternatives");
43 put(grammarAccess.getSMTTypeReferenceAccess().getAlternatives(), "rule__SMTTypeReference__Alternatives");
44 put(grammarAccess.getSMTPrimitiveTypeReferenceAccess().getAlternatives(), "rule__SMTPrimitiveTypeReference__Alternatives");
45 put(grammarAccess.getSMTTermAccess().getAlternatives(), "rule__SMTTerm__Alternatives");
46 put(grammarAccess.getSMTSymbolicDeclarationAccess().getAlternatives(), "rule__SMTSymbolicDeclaration__Alternatives");
47 put(grammarAccess.getSMTSymbolicValueAccess().getAlternatives(), "rule__SMTSymbolicValue__Alternatives");
48 put(grammarAccess.getSMTAtomicTermAccess().getAlternatives(), "rule__SMTAtomicTerm__Alternatives");
49 put(grammarAccess.getBOOLEANTERMINALAccess().getAlternatives(), "rule__BOOLEANTERMINAL__Alternatives");
50 put(grammarAccess.getSMTQuantifiedExpressionAccess().getAlternatives(), "rule__SMTQuantifiedExpression__Alternatives");
51 put(grammarAccess.getSMTExistsAccess().getAlternatives_5(), "rule__SMTExists__Alternatives_5");
52 put(grammarAccess.getSMTForallAccess().getAlternatives_5(), "rule__SMTForall__Alternatives_5");
53 put(grammarAccess.getSMTBoolOperationAccess().getAlternatives(), "rule__SMTBoolOperation__Alternatives");
54 put(grammarAccess.getSMTRelationAccess().getAlternatives(), "rule__SMTRelation__Alternatives");
55 put(grammarAccess.getSMTIntOperationAccess().getAlternatives(), "rule__SMTIntOperation__Alternatives");
56 put(grammarAccess.getSMTCardinalityConstraintAccess().getAlternatives_8(), "rule__SMTCardinalityConstraint__Alternatives_8");
57 put(grammarAccess.getSMTSatCommandAccess().getAlternatives(), "rule__SMTSatCommand__Alternatives");
58 put(grammarAccess.getSMTReasoningTacticAccess().getAlternatives(), "rule__SMTReasoningTactic__Alternatives");
59 put(grammarAccess.getSMTReasoningCombinatorAccess().getAlternatives(), "rule__SMTReasoningCombinator__Alternatives");
60 put(grammarAccess.getSMTUsingParamCombinatorAccess().getAlternatives_1(), "rule__SMTUsingParamCombinator__Alternatives_1");
61 put(grammarAccess.getSMTResultAccess().getAlternatives(), "rule__SMTResult__Alternatives");
62 put(grammarAccess.getSMTSatResultAccess().getAlternatives(), "rule__SMTSatResult__Alternatives");
63 put(grammarAccess.getSMTModelResultAccess().getAlternatives_3(), "rule__SMTModelResult__Alternatives_3");
64 put(grammarAccess.getSMTStatisticValueAccess().getAlternatives(), "rule__SMTStatisticValue__Alternatives");
65 put(grammarAccess.getSMTDocumentAccess().getGroup(), "rule__SMTDocument__Group__0");
66 put(grammarAccess.getSMTDocumentAccess().getGroup_1(), "rule__SMTDocument__Group_1__0");
67 put(grammarAccess.getSMTInputAccess().getGroup(), "rule__SMTInput__Group__0");
68 put(grammarAccess.getSMTOutputAccess().getGroup(), "rule__SMTOutput__Group__0");
69 put(grammarAccess.getSMTOutputAccess().getGroup_0_0(), "rule__SMTOutput__Group_0_0__0");
70 put(grammarAccess.getSMTOutputAccess().getGroup_0_1(), "rule__SMTOutput__Group_0_1__0");
71 put(grammarAccess.getSMTOptionAccess().getGroup(), "rule__SMTOption__Group__0");
72 put(grammarAccess.getSMTEnumeratedTypeDeclarationAccess().getGroup(), "rule__SMTEnumeratedTypeDeclaration__Group__0");
73 put(grammarAccess.getSMTSetTypeDeclarationAccess().getGroup(), "rule__SMTSetTypeDeclaration__Group__0");
74 put(grammarAccess.getSMTIntTypeReferenceAccess().getGroup(), "rule__SMTIntTypeReference__Group__0");
75 put(grammarAccess.getSMTBoolTypeReferenceAccess().getGroup(), "rule__SMTBoolTypeReference__Group__0");
76 put(grammarAccess.getSMTRealTypeReferenceAccess().getGroup(), "rule__SMTRealTypeReference__Group__0");
77 put(grammarAccess.getSMTFunctionDeclarationAccess().getGroup(), "rule__SMTFunctionDeclaration__Group__0");
78 put(grammarAccess.getSMTFunctionDefinitionAccess().getGroup(), "rule__SMTFunctionDefinition__Group__0");
79 put(grammarAccess.getSMTSymbolicValueAccess().getGroup_0(), "rule__SMTSymbolicValue__Group_0__0");
80 put(grammarAccess.getSMTSortedVariableAccess().getGroup(), "rule__SMTSortedVariable__Group__0");
81 put(grammarAccess.getSMTExistsAccess().getGroup(), "rule__SMTExists__Group__0");
82 put(grammarAccess.getSMTExistsAccess().getGroup_5_1(), "rule__SMTExists__Group_5_1__0");
83 put(grammarAccess.getSMTForallAccess().getGroup(), "rule__SMTForall__Group__0");
84 put(grammarAccess.getSMTForallAccess().getGroup_5_1(), "rule__SMTForall__Group_5_1__0");
85 put(grammarAccess.getSMTAndAccess().getGroup(), "rule__SMTAnd__Group__0");
86 put(grammarAccess.getSMTOrAccess().getGroup(), "rule__SMTOr__Group__0");
87 put(grammarAccess.getSMTImplAccess().getGroup(), "rule__SMTImpl__Group__0");
88 put(grammarAccess.getSMTNotAccess().getGroup(), "rule__SMTNot__Group__0");
89 put(grammarAccess.getSMTIffAccess().getGroup(), "rule__SMTIff__Group__0");
90 put(grammarAccess.getSMTITEAccess().getGroup(), "rule__SMTITE__Group__0");
91 put(grammarAccess.getSMTLetAccess().getGroup(), "rule__SMTLet__Group__0");
92 put(grammarAccess.getSMTInlineConstantDefinitionAccess().getGroup(), "rule__SMTInlineConstantDefinition__Group__0");
93 put(grammarAccess.getSMTEqualsAccess().getGroup(), "rule__SMTEquals__Group__0");
94 put(grammarAccess.getSMTDistinctAccess().getGroup(), "rule__SMTDistinct__Group__0");
95 put(grammarAccess.getSMTLTAccess().getGroup(), "rule__SMTLT__Group__0");
96 put(grammarAccess.getSMTMTAccess().getGroup(), "rule__SMTMT__Group__0");
97 put(grammarAccess.getSMTLEQAccess().getGroup(), "rule__SMTLEQ__Group__0");
98 put(grammarAccess.getSMTMEQAccess().getGroup(), "rule__SMTMEQ__Group__0");
99 put(grammarAccess.getSMTPlusAccess().getGroup(), "rule__SMTPlus__Group__0");
100 put(grammarAccess.getSMTMinusAccess().getGroup(), "rule__SMTMinus__Group__0");
101 put(grammarAccess.getSMTMultiplyAccess().getGroup(), "rule__SMTMultiply__Group__0");
102 put(grammarAccess.getSMTDivisonAccess().getGroup(), "rule__SMTDivison__Group__0");
103 put(grammarAccess.getSMTDivAccess().getGroup(), "rule__SMTDiv__Group__0");
104 put(grammarAccess.getSMTModAccess().getGroup(), "rule__SMTMod__Group__0");
105 put(grammarAccess.getSMTAssertionAccess().getGroup(), "rule__SMTAssertion__Group__0");
106 put(grammarAccess.getSMTCardinalityConstraintAccess().getGroup(), "rule__SMTCardinalityConstraint__Group__0");
107 put(grammarAccess.getSMTCardinalityConstraintAccess().getGroup_8_0(), "rule__SMTCardinalityConstraint__Group_8_0__0");
108 put(grammarAccess.getSMTCardinalityConstraintAccess().getGroup_8_0_2(), "rule__SMTCardinalityConstraint__Group_8_0_2__0");
109 put(grammarAccess.getSMTCardinalityConstraintAccess().getGroup_8_1(), "rule__SMTCardinalityConstraint__Group_8_1__0");
110 put(grammarAccess.getSMTSimpleSatCommandAccess().getGroup(), "rule__SMTSimpleSatCommand__Group__0");
111 put(grammarAccess.getSMTComplexSatCommandAccess().getGroup(), "rule__SMTComplexSatCommand__Group__0");
112 put(grammarAccess.getSMTGetModelCommandAccess().getGroup(), "rule__SMTGetModelCommand__Group__0");
113 put(grammarAccess.getSMTAndThenCombinatorAccess().getGroup(), "rule__SMTAndThenCombinator__Group__0");
114 put(grammarAccess.getSMTOrElseCombinatorAccess().getGroup(), "rule__SMTOrElseCombinator__Group__0");
115 put(grammarAccess.getSMTParOrCombinatorAccess().getGroup(), "rule__SMTParOrCombinator__Group__0");
116 put(grammarAccess.getSMTParThenCombinatorAccess().getGroup(), "rule__SMTParThenCombinator__Group__0");
117 put(grammarAccess.getSMTTryForCombinatorAccess().getGroup(), "rule__SMTTryForCombinator__Group__0");
118 put(grammarAccess.getSMTIfCombinatorAccess().getGroup(), "rule__SMTIfCombinator__Group__0");
119 put(grammarAccess.getSMTWhenCombinatorAccess().getGroup(), "rule__SMTWhenCombinator__Group__0");
120 put(grammarAccess.getSMTFailIfCombinatorAccess().getGroup(), "rule__SMTFailIfCombinator__Group__0");
121 put(grammarAccess.getSMTUsingParamCombinatorAccess().getGroup(), "rule__SMTUsingParamCombinator__Group__0");
122 put(grammarAccess.getReasoningTacticParameterAccess().getGroup(), "rule__ReasoningTacticParameter__Group__0");
123 put(grammarAccess.getSMTErrorResultAccess().getGroup(), "rule__SMTErrorResult__Group__0");
124 put(grammarAccess.getSMTUnsupportedResultAccess().getGroup(), "rule__SMTUnsupportedResult__Group__0");
125 put(grammarAccess.getSMTModelResultAccess().getGroup(), "rule__SMTModelResult__Group__0");
126 put(grammarAccess.getSMTStatisticIntValueAccess().getGroup(), "rule__SMTStatisticIntValue__Group__0");
127 put(grammarAccess.getSMTStatisticDoubleValueAccess().getGroup(), "rule__SMTStatisticDoubleValue__Group__0");
128 put(grammarAccess.getSMTStatisticsSectionAccess().getGroup(), "rule__SMTStatisticsSection__Group__0");
129 put(grammarAccess.getSMTDocumentAccess().getInputAssignment_0(), "rule__SMTDocument__InputAssignment_0");
130 put(grammarAccess.getSMTDocumentAccess().getOutputAssignment_1_1(), "rule__SMTDocument__OutputAssignment_1_1");
131 put(grammarAccess.getSMTInputAccess().getOptionsAssignment_0(), "rule__SMTInput__OptionsAssignment_0");
132 put(grammarAccess.getSMTInputAccess().getTypeDeclarationsAssignment_1_0(), "rule__SMTInput__TypeDeclarationsAssignment_1_0");
133 put(grammarAccess.getSMTInputAccess().getFunctionDeclarationsAssignment_1_1(), "rule__SMTInput__FunctionDeclarationsAssignment_1_1");
134 put(grammarAccess.getSMTInputAccess().getFunctionDefinitionAssignment_1_2(), "rule__SMTInput__FunctionDefinitionAssignment_1_2");
135 put(grammarAccess.getSMTInputAccess().getAssertionsAssignment_1_3(), "rule__SMTInput__AssertionsAssignment_1_3");
136 put(grammarAccess.getSMTInputAccess().getSatCommandAssignment_2(), "rule__SMTInput__SatCommandAssignment_2");
137 put(grammarAccess.getSMTInputAccess().getGetModelCommandAssignment_3(), "rule__SMTInput__GetModelCommandAssignment_3");
138 put(grammarAccess.getSMTOutputAccess().getSatResultAssignment_0_0_0(), "rule__SMTOutput__SatResultAssignment_0_0_0");
139 put(grammarAccess.getSMTOutputAccess().getGetModelResultAssignment_0_0_1(), "rule__SMTOutput__GetModelResultAssignment_0_0_1");
140 put(grammarAccess.getSMTOutputAccess().getStatisticsAssignment_1(), "rule__SMTOutput__StatisticsAssignment_1");
141 put(grammarAccess.getSMTOptionAccess().getNameAssignment_2(), "rule__SMTOption__NameAssignment_2");
142 put(grammarAccess.getSMTOptionAccess().getValueAssignment_3(), "rule__SMTOption__ValueAssignment_3");
143 put(grammarAccess.getSMTEnumLiteralAccess().getNameAssignment(), "rule__SMTEnumLiteral__NameAssignment");
144 put(grammarAccess.getSMTEnumeratedTypeDeclarationAccess().getNameAssignment_6(), "rule__SMTEnumeratedTypeDeclaration__NameAssignment_6");
145 put(grammarAccess.getSMTEnumeratedTypeDeclarationAccess().getElementsAssignment_7(), "rule__SMTEnumeratedTypeDeclaration__ElementsAssignment_7");
146 put(grammarAccess.getSMTSetTypeDeclarationAccess().getNameAssignment_2(), "rule__SMTSetTypeDeclaration__NameAssignment_2");
147 put(grammarAccess.getSMTComplexTypeReferenceAccess().getReferredAssignment(), "rule__SMTComplexTypeReference__ReferredAssignment");
148 put(grammarAccess.getSMTFunctionDeclarationAccess().getNameAssignment_2(), "rule__SMTFunctionDeclaration__NameAssignment_2");
149 put(grammarAccess.getSMTFunctionDeclarationAccess().getParametersAssignment_4(), "rule__SMTFunctionDeclaration__ParametersAssignment_4");
150 put(grammarAccess.getSMTFunctionDeclarationAccess().getRangeAssignment_6(), "rule__SMTFunctionDeclaration__RangeAssignment_6");
151 put(grammarAccess.getSMTFunctionDefinitionAccess().getNameAssignment_2(), "rule__SMTFunctionDefinition__NameAssignment_2");
152 put(grammarAccess.getSMTFunctionDefinitionAccess().getParametersAssignment_4(), "rule__SMTFunctionDefinition__ParametersAssignment_4");
153 put(grammarAccess.getSMTFunctionDefinitionAccess().getRangeAssignment_6(), "rule__SMTFunctionDefinition__RangeAssignment_6");
154 put(grammarAccess.getSMTFunctionDefinitionAccess().getValueAssignment_7(), "rule__SMTFunctionDefinition__ValueAssignment_7");
155 put(grammarAccess.getSMTSymbolicValueAccess().getSymbolicReferenceAssignment_0_1(), "rule__SMTSymbolicValue__SymbolicReferenceAssignment_0_1");
156 put(grammarAccess.getSMTSymbolicValueAccess().getParameterSubstitutionsAssignment_0_2(), "rule__SMTSymbolicValue__ParameterSubstitutionsAssignment_0_2");
157 put(grammarAccess.getSMTSymbolicValueAccess().getSymbolicReferenceAssignment_1(), "rule__SMTSymbolicValue__SymbolicReferenceAssignment_1");
158 put(grammarAccess.getSMTIntLiteralAccess().getValueAssignment(), "rule__SMTIntLiteral__ValueAssignment");
159 put(grammarAccess.getSMTBoolLiteralAccess().getValueAssignment(), "rule__SMTBoolLiteral__ValueAssignment");
160 put(grammarAccess.getSMTRealLiteralAccess().getValueAssignment(), "rule__SMTRealLiteral__ValueAssignment");
161 put(grammarAccess.getSMTSortedVariableAccess().getNameAssignment_1(), "rule__SMTSortedVariable__NameAssignment_1");
162 put(grammarAccess.getSMTSortedVariableAccess().getRangeAssignment_2(), "rule__SMTSortedVariable__RangeAssignment_2");
163 put(grammarAccess.getSMTExistsAccess().getQuantifiedVariablesAssignment_3(), "rule__SMTExists__QuantifiedVariablesAssignment_3");
164 put(grammarAccess.getSMTExistsAccess().getExpressionAssignment_5_0(), "rule__SMTExists__ExpressionAssignment_5_0");
165 put(grammarAccess.getSMTExistsAccess().getExpressionAssignment_5_1_2(), "rule__SMTExists__ExpressionAssignment_5_1_2");
166 put(grammarAccess.getSMTExistsAccess().getPatternAssignment_5_1_5(), "rule__SMTExists__PatternAssignment_5_1_5");
167 put(grammarAccess.getSMTForallAccess().getQuantifiedVariablesAssignment_3(), "rule__SMTForall__QuantifiedVariablesAssignment_3");
168 put(grammarAccess.getSMTForallAccess().getExpressionAssignment_5_0(), "rule__SMTForall__ExpressionAssignment_5_0");
169 put(grammarAccess.getSMTForallAccess().getExpressionAssignment_5_1_2(), "rule__SMTForall__ExpressionAssignment_5_1_2");
170 put(grammarAccess.getSMTForallAccess().getPatternAssignment_5_1_5(), "rule__SMTForall__PatternAssignment_5_1_5");
171 put(grammarAccess.getSMTAndAccess().getOperandsAssignment_2(), "rule__SMTAnd__OperandsAssignment_2");
172 put(grammarAccess.getSMTOrAccess().getOperandsAssignment_2(), "rule__SMTOr__OperandsAssignment_2");
173 put(grammarAccess.getSMTImplAccess().getLeftOperandAssignment_2(), "rule__SMTImpl__LeftOperandAssignment_2");
174 put(grammarAccess.getSMTImplAccess().getRightOperandAssignment_3(), "rule__SMTImpl__RightOperandAssignment_3");
175 put(grammarAccess.getSMTNotAccess().getOperandAssignment_2(), "rule__SMTNot__OperandAssignment_2");
176 put(grammarAccess.getSMTIffAccess().getLeftOperandAssignment_2(), "rule__SMTIff__LeftOperandAssignment_2");
177 put(grammarAccess.getSMTIffAccess().getRightOperandAssignment_3(), "rule__SMTIff__RightOperandAssignment_3");
178 put(grammarAccess.getSMTITEAccess().getConditionAssignment_2(), "rule__SMTITE__ConditionAssignment_2");
179 put(grammarAccess.getSMTITEAccess().getIfAssignment_3(), "rule__SMTITE__IfAssignment_3");
180 put(grammarAccess.getSMTITEAccess().getElseAssignment_4(), "rule__SMTITE__ElseAssignment_4");
181 put(grammarAccess.getSMTLetAccess().getInlineConstantDefinitionsAssignment_3(), "rule__SMTLet__InlineConstantDefinitionsAssignment_3");
182 put(grammarAccess.getSMTLetAccess().getTermAssignment_5(), "rule__SMTLet__TermAssignment_5");
183 put(grammarAccess.getSMTInlineConstantDefinitionAccess().getNameAssignment_1(), "rule__SMTInlineConstantDefinition__NameAssignment_1");
184 put(grammarAccess.getSMTInlineConstantDefinitionAccess().getDefinitionAssignment_2(), "rule__SMTInlineConstantDefinition__DefinitionAssignment_2");
185 put(grammarAccess.getSMTEqualsAccess().getLeftOperandAssignment_2(), "rule__SMTEquals__LeftOperandAssignment_2");
186 put(grammarAccess.getSMTEqualsAccess().getRightOperandAssignment_3(), "rule__SMTEquals__RightOperandAssignment_3");
187 put(grammarAccess.getSMTDistinctAccess().getOperandsAssignment_2(), "rule__SMTDistinct__OperandsAssignment_2");
188 put(grammarAccess.getSMTLTAccess().getLeftOperandAssignment_2(), "rule__SMTLT__LeftOperandAssignment_2");
189 put(grammarAccess.getSMTLTAccess().getRightOperandAssignment_3(), "rule__SMTLT__RightOperandAssignment_3");
190 put(grammarAccess.getSMTMTAccess().getLeftOperandAssignment_2(), "rule__SMTMT__LeftOperandAssignment_2");
191 put(grammarAccess.getSMTMTAccess().getRightOperandAssignment_3(), "rule__SMTMT__RightOperandAssignment_3");
192 put(grammarAccess.getSMTLEQAccess().getLeftOperandAssignment_2(), "rule__SMTLEQ__LeftOperandAssignment_2");
193 put(grammarAccess.getSMTLEQAccess().getRightOperandAssignment_3(), "rule__SMTLEQ__RightOperandAssignment_3");
194 put(grammarAccess.getSMTMEQAccess().getLeftOperandAssignment_2(), "rule__SMTMEQ__LeftOperandAssignment_2");
195 put(grammarAccess.getSMTMEQAccess().getRightOperandAssignment_3(), "rule__SMTMEQ__RightOperandAssignment_3");
196 put(grammarAccess.getSMTPlusAccess().getLeftOperandAssignment_2(), "rule__SMTPlus__LeftOperandAssignment_2");
197 put(grammarAccess.getSMTPlusAccess().getRightOperandAssignment_3(), "rule__SMTPlus__RightOperandAssignment_3");
198 put(grammarAccess.getSMTMinusAccess().getLeftOperandAssignment_2(), "rule__SMTMinus__LeftOperandAssignment_2");
199 put(grammarAccess.getSMTMinusAccess().getRightOperandAssignment_3(), "rule__SMTMinus__RightOperandAssignment_3");
200 put(grammarAccess.getSMTMultiplyAccess().getLeftOperandAssignment_2(), "rule__SMTMultiply__LeftOperandAssignment_2");
201 put(grammarAccess.getSMTMultiplyAccess().getRightOperandAssignment_3(), "rule__SMTMultiply__RightOperandAssignment_3");
202 put(grammarAccess.getSMTDivisonAccess().getLeftOperandAssignment_2(), "rule__SMTDivison__LeftOperandAssignment_2");
203 put(grammarAccess.getSMTDivisonAccess().getRightOperandAssignment_3(), "rule__SMTDivison__RightOperandAssignment_3");
204 put(grammarAccess.getSMTDivAccess().getLeftOperandAssignment_2(), "rule__SMTDiv__LeftOperandAssignment_2");
205 put(grammarAccess.getSMTDivAccess().getRightOperandAssignment_3(), "rule__SMTDiv__RightOperandAssignment_3");
206 put(grammarAccess.getSMTModAccess().getLeftOperandAssignment_2(), "rule__SMTMod__LeftOperandAssignment_2");
207 put(grammarAccess.getSMTModAccess().getRightOperandAssignment_3(), "rule__SMTMod__RightOperandAssignment_3");
208 put(grammarAccess.getSMTAssertionAccess().getValueAssignment_2(), "rule__SMTAssertion__ValueAssignment_2");
209 put(grammarAccess.getSMTCardinalityConstraintAccess().getTypeAssignment_5(), "rule__SMTCardinalityConstraint__TypeAssignment_5");
210 put(grammarAccess.getSMTCardinalityConstraintAccess().getElementsAssignment_8_0_2_3(), "rule__SMTCardinalityConstraint__ElementsAssignment_8_0_2_3");
211 put(grammarAccess.getSMTCardinalityConstraintAccess().getElementsAssignment_8_1_3(), "rule__SMTCardinalityConstraint__ElementsAssignment_8_1_3");
212 put(grammarAccess.getSMTComplexSatCommandAccess().getMethodAssignment_2(), "rule__SMTComplexSatCommand__MethodAssignment_2");
213 put(grammarAccess.getSMTBuiltinTacticAccess().getNameAssignment(), "rule__SMTBuiltinTactic__NameAssignment");
214 put(grammarAccess.getSMTAndThenCombinatorAccess().getTacticsAssignment_2(), "rule__SMTAndThenCombinator__TacticsAssignment_2");
215 put(grammarAccess.getSMTOrElseCombinatorAccess().getTacticsAssignment_2(), "rule__SMTOrElseCombinator__TacticsAssignment_2");
216 put(grammarAccess.getSMTParOrCombinatorAccess().getTacticsAssignment_2(), "rule__SMTParOrCombinator__TacticsAssignment_2");
217 put(grammarAccess.getSMTParThenCombinatorAccess().getPreProcessingTacticAssignment_2(), "rule__SMTParThenCombinator__PreProcessingTacticAssignment_2");
218 put(grammarAccess.getSMTParThenCombinatorAccess().getParalellyPostpricessingTacticAssignment_3(), "rule__SMTParThenCombinator__ParalellyPostpricessingTacticAssignment_3");
219 put(grammarAccess.getSMTTryForCombinatorAccess().getTacticAssignment_2(), "rule__SMTTryForCombinator__TacticAssignment_2");
220 put(grammarAccess.getSMTTryForCombinatorAccess().getTimeAssignment_3(), "rule__SMTTryForCombinator__TimeAssignment_3");
221 put(grammarAccess.getSMTIfCombinatorAccess().getProbeAssignment_2(), "rule__SMTIfCombinator__ProbeAssignment_2");
222 put(grammarAccess.getSMTIfCombinatorAccess().getIfTacticAssignment_3(), "rule__SMTIfCombinator__IfTacticAssignment_3");
223 put(grammarAccess.getSMTIfCombinatorAccess().getElseTacticAssignment_4(), "rule__SMTIfCombinator__ElseTacticAssignment_4");
224 put(grammarAccess.getSMTWhenCombinatorAccess().getProbeAssignment_2(), "rule__SMTWhenCombinator__ProbeAssignment_2");
225 put(grammarAccess.getSMTWhenCombinatorAccess().getTacticAssignment_3(), "rule__SMTWhenCombinator__TacticAssignment_3");
226 put(grammarAccess.getSMTFailIfCombinatorAccess().getProbeAssignment_2(), "rule__SMTFailIfCombinator__ProbeAssignment_2");
227 put(grammarAccess.getSMTUsingParamCombinatorAccess().getTacticAssignment_2(), "rule__SMTUsingParamCombinator__TacticAssignment_2");
228 put(grammarAccess.getSMTUsingParamCombinatorAccess().getParametersAssignment_3(), "rule__SMTUsingParamCombinator__ParametersAssignment_3");
229 put(grammarAccess.getReasoningProbeAccess().getNameAssignment(), "rule__ReasoningProbe__NameAssignment");
230 put(grammarAccess.getReasoningTacticParameterAccess().getNameAssignment_0(), "rule__ReasoningTacticParameter__NameAssignment_0");
231 put(grammarAccess.getReasoningTacticParameterAccess().getValueAssignment_1(), "rule__ReasoningTacticParameter__ValueAssignment_1");
232 put(grammarAccess.getSMTErrorResultAccess().getMessageAssignment_2(), "rule__SMTErrorResult__MessageAssignment_2");
233 put(grammarAccess.getSMTUnsupportedResultAccess().getCommandAssignment_2(), "rule__SMTUnsupportedResult__CommandAssignment_2");
234 put(grammarAccess.getSMTSatResultAccess().getSatAssignment_0(), "rule__SMTSatResult__SatAssignment_0");
235 put(grammarAccess.getSMTSatResultAccess().getUnsatAssignment_1(), "rule__SMTSatResult__UnsatAssignment_1");
236 put(grammarAccess.getSMTSatResultAccess().getUnknownAssignment_2(), "rule__SMTSatResult__UnknownAssignment_2");
237 put(grammarAccess.getSMTModelResultAccess().getNewFunctionDeclarationsAssignment_3_0(), "rule__SMTModelResult__NewFunctionDeclarationsAssignment_3_0");
238 put(grammarAccess.getSMTModelResultAccess().getTypeDefinitionsAssignment_3_1(), "rule__SMTModelResult__TypeDefinitionsAssignment_3_1");
239 put(grammarAccess.getSMTModelResultAccess().getNewFunctionDefinitionsAssignment_3_2(), "rule__SMTModelResult__NewFunctionDefinitionsAssignment_3_2");
240 put(grammarAccess.getSMTStatisticIntValueAccess().getNameAssignment_0(), "rule__SMTStatisticIntValue__NameAssignment_0");
241 put(grammarAccess.getSMTStatisticIntValueAccess().getValueAssignment_1(), "rule__SMTStatisticIntValue__ValueAssignment_1");
242 put(grammarAccess.getSMTStatisticDoubleValueAccess().getNameAssignment_0(), "rule__SMTStatisticDoubleValue__NameAssignment_0");
243 put(grammarAccess.getSMTStatisticDoubleValueAccess().getValueAssignment_1(), "rule__SMTStatisticDoubleValue__ValueAssignment_1");
244 put(grammarAccess.getSMTStatisticsSectionAccess().getValuesAssignment_2(), "rule__SMTStatisticsSection__ValuesAssignment_2");
245 }
246 };
247 }
248 return nameMappings.get(element);
249 }
250
251 @Override
252 protected Collection<FollowElement> getFollowElements(AbstractInternalContentAssistParser parser) {
253 try {
254 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageParser typedParser = (hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr.internal.InternalSmtLanguageParser) parser;
255 typedParser.entryRuleSMTDocument();
256 return typedParser.getFollowElements();
257 } catch(RecognitionException ex) {
258 throw new RuntimeException(ex);
259 }
260 }
261
262 @Override
263 protected String[] getInitialHiddenTokens() {
264 return new String[] { "RULE_WS", "RULE_ML_COMMENT", "RULE_SL_COMMENT" };
265 }
266
267 public SmtLanguageGrammarAccess getGrammarAccess() {
268 return this.grammarAccess;
269 }
270
271 public void setGrammarAccess(SmtLanguageGrammarAccess grammarAccess) {
272 this.grammarAccess = grammarAccess;
273 }
274}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-26 06:58:51 +0000