diff options
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.java | 274 |
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 | */ | ||
4 | package hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr; | ||
5 | |||
6 | import java.util.Collection; | ||
7 | import java.util.Map; | ||
8 | import java.util.HashMap; | ||
9 | |||
10 | import org.antlr.runtime.RecognitionException; | ||
11 | import org.eclipse.xtext.AbstractElement; | ||
12 | import org.eclipse.xtext.ui.editor.contentassist.antlr.AbstractContentAssistParser; | ||
13 | import org.eclipse.xtext.ui.editor.contentassist.antlr.FollowElement; | ||
14 | import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser; | ||
15 | |||
16 | import com.google.inject.Inject; | ||
17 | |||
18 | import hu.bme.mit.inf.dslreasoner.services.SmtLanguageGrammarAccess; | ||
19 | |||
20 | public 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 | } | ||