aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/AbstractSmtLanguageProposalProvider.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/AbstractSmtLanguageProposalProvider.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/AbstractSmtLanguageProposalProvider.java611
1 files changed, 611 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/AbstractSmtLanguageProposalProvider.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/AbstractSmtLanguageProposalProvider.java
new file mode 100644
index 00000000..c70ddf5f
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/AbstractSmtLanguageProposalProvider.java
@@ -0,0 +1,611 @@
1/*
2* generated by Xtext
3*/
4package hu.bme.mit.inf.dslreasoner.ui.contentassist;
5
6import org.eclipse.emf.ecore.EObject;
7import org.eclipse.xtext.*;
8import org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor;
9import org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext;
10
11/**
12 * Represents a generated, default implementation of superclass {@link org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider}.
13 * Methods are dynamically dispatched on the first parameter, i.e., you can override them
14 * with a more concrete subtype.
15 */
16@SuppressWarnings("all")
17public class AbstractSmtLanguageProposalProvider extends org.eclipse.xtext.common.ui.contentassist.TerminalsProposalProvider {
18
19 public void completeSMTDocument_Input(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
20 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
21 }
22 public void completeSMTDocument_Output(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
23 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
24 }
25 public void completeSMTInput_Options(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
26 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
27 }
28 public void completeSMTInput_TypeDeclarations(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
29 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
30 }
31 public void completeSMTInput_FunctionDeclarations(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
32 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
33 }
34 public void completeSMTInput_FunctionDefinition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
35 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
36 }
37 public void completeSMTInput_Assertions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
38 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
39 }
40 public void completeSMTInput_SatCommand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
41 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
42 }
43 public void completeSMTInput_GetModelCommand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
44 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
45 }
46 public void completeSMTOutput_SatResult(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
47 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
48 }
49 public void completeSMTOutput_GetModelResult(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
50 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
51 }
52 public void completeSMTOutput_Statistics(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
53 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
54 }
55 public void completeSMTOption_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
56 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
57 }
58 public void completeSMTOption_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
59 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
60 }
61 public void completeSMTEnumLiteral_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
62 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
63 }
64 public void completeSMTEnumeratedTypeDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
65 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
66 }
67 public void completeSMTEnumeratedTypeDeclaration_Elements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
68 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
69 }
70 public void completeSMTSetTypeDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
71 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
72 }
73 public void completeSMTComplexTypeReference_Referred(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
74 lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
75 }
76 public void completeSMTFunctionDeclaration_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
77 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
78 }
79 public void completeSMTFunctionDeclaration_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
80 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
81 }
82 public void completeSMTFunctionDeclaration_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
83 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
84 }
85 public void completeSMTFunctionDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
86 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
87 }
88 public void completeSMTFunctionDefinition_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
89 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
90 }
91 public void completeSMTFunctionDefinition_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
92 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
93 }
94 public void completeSMTFunctionDefinition_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
95 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
96 }
97 public void completeSMTSymbolicValue_SymbolicReference(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
98 lookupCrossReference(((CrossReference)assignment.getTerminal()), context, acceptor);
99 }
100 public void completeSMTSymbolicValue_ParameterSubstitutions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
101 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
102 }
103 public void completeSMTIntLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
104 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
105 }
106 public void completeSMTBoolLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
107 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
108 }
109 public void completeSMTRealLiteral_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
110 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
111 }
112 public void completeSMTSortedVariable_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
113 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
114 }
115 public void completeSMTSortedVariable_Range(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
116 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
117 }
118 public void completeSMTExists_QuantifiedVariables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
119 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
120 }
121 public void completeSMTExists_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
122 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
123 }
124 public void completeSMTExists_Pattern(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
125 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
126 }
127 public void completeSMTForall_QuantifiedVariables(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
128 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
129 }
130 public void completeSMTForall_Expression(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
131 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
132 }
133 public void completeSMTForall_Pattern(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
134 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
135 }
136 public void completeSMTAnd_Operands(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
137 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
138 }
139 public void completeSMTOr_Operands(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
140 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
141 }
142 public void completeSMTImpl_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
143 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
144 }
145 public void completeSMTImpl_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
146 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
147 }
148 public void completeSMTNot_Operand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
149 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
150 }
151 public void completeSMTIff_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
152 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
153 }
154 public void completeSMTIff_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
155 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
156 }
157 public void completeSMTITE_Condition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
158 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
159 }
160 public void completeSMTITE_If(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
161 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
162 }
163 public void completeSMTITE_Else(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
164 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
165 }
166 public void completeSMTLet_InlineConstantDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
167 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
168 }
169 public void completeSMTLet_Term(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
170 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
171 }
172 public void completeSMTInlineConstantDefinition_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
173 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
174 }
175 public void completeSMTInlineConstantDefinition_Definition(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
176 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
177 }
178 public void completeSMTEquals_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
179 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
180 }
181 public void completeSMTEquals_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
182 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
183 }
184 public void completeSMTDistinct_Operands(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
185 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
186 }
187 public void completeSMTLT_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
188 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
189 }
190 public void completeSMTLT_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
191 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
192 }
193 public void completeSMTMT_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
194 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
195 }
196 public void completeSMTMT_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
197 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
198 }
199 public void completeSMTLEQ_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
200 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
201 }
202 public void completeSMTLEQ_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
203 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
204 }
205 public void completeSMTMEQ_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
206 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
207 }
208 public void completeSMTMEQ_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
209 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
210 }
211 public void completeSMTPlus_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
212 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
213 }
214 public void completeSMTPlus_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
215 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
216 }
217 public void completeSMTMinus_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
218 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
219 }
220 public void completeSMTMinus_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
221 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
222 }
223 public void completeSMTMultiply_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
224 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
225 }
226 public void completeSMTMultiply_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
227 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
228 }
229 public void completeSMTDivison_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
230 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
231 }
232 public void completeSMTDivison_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
233 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
234 }
235 public void completeSMTDiv_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
236 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
237 }
238 public void completeSMTDiv_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
239 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
240 }
241 public void completeSMTMod_LeftOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
242 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
243 }
244 public void completeSMTMod_RightOperand(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
245 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
246 }
247 public void completeSMTAssertion_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
248 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
249 }
250 public void completeSMTCardinalityConstraint_Type(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
251 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
252 }
253 public void completeSMTCardinalityConstraint_Elements(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
254 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
255 }
256 public void completeSMTComplexSatCommand_Method(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
257 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
258 }
259 public void completeSMTBuiltinTactic_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
260 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
261 }
262 public void completeSMTAndThenCombinator_Tactics(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
263 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
264 }
265 public void completeSMTOrElseCombinator_Tactics(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
266 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
267 }
268 public void completeSMTParOrCombinator_Tactics(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
269 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
270 }
271 public void completeSMTParThenCombinator_PreProcessingTactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
272 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
273 }
274 public void completeSMTParThenCombinator_ParalellyPostpricessingTactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
275 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
276 }
277 public void completeSMTTryForCombinator_Tactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
278 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
279 }
280 public void completeSMTTryForCombinator_Time(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
281 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
282 }
283 public void completeSMTIfCombinator_Probe(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
284 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
285 }
286 public void completeSMTIfCombinator_IfTactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
287 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
288 }
289 public void completeSMTIfCombinator_ElseTactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
290 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
291 }
292 public void completeSMTWhenCombinator_Probe(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
293 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
294 }
295 public void completeSMTWhenCombinator_Tactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
296 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
297 }
298 public void completeSMTFailIfCombinator_Probe(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
299 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
300 }
301 public void completeSMTUsingParamCombinator_Tactic(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
302 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
303 }
304 public void completeSMTUsingParamCombinator_Parameters(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
305 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
306 }
307 public void completeReasoningProbe_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
308 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
309 }
310 public void completeReasoningTacticParameter_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
311 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
312 }
313 public void completeReasoningTacticParameter_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
314 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
315 }
316 public void completeSMTErrorResult_Message(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
317 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
318 }
319 public void completeSMTUnsupportedResult_Command(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
320 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
321 }
322 public void completeSMTSatResult_Sat(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
323 // subclasses may override
324 }
325 public void completeSMTSatResult_Unsat(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
326 // subclasses may override
327 }
328 public void completeSMTSatResult_Unknown(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
329 // subclasses may override
330 }
331 public void completeSMTModelResult_NewFunctionDeclarations(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
332 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
333 }
334 public void completeSMTModelResult_TypeDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
335 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
336 }
337 public void completeSMTModelResult_NewFunctionDefinitions(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
338 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
339 }
340 public void completeSMTStatisticIntValue_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
341 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
342 }
343 public void completeSMTStatisticIntValue_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
344 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
345 }
346 public void completeSMTStatisticDoubleValue_Name(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
347 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
348 }
349 public void completeSMTStatisticDoubleValue_Value(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
350 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
351 }
352 public void completeSMTStatisticsSection_Values(EObject model, Assignment assignment, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
353 completeRuleCall(((RuleCall)assignment.getTerminal()), context, acceptor);
354 }
355
356 public void complete_SMTDocument(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
357 // subclasses may override
358 }
359 public void complete_SMTInput(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
360 // subclasses may override
361 }
362 public void complete_SMTOutput(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
363 // subclasses may override
364 }
365 public void complete_SL_COMMENT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
366 // subclasses may override
367 }
368 public void complete_ID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
369 // subclasses may override
370 }
371 public void complete_SMTID(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
372 // subclasses may override
373 }
374 public void complete_PROPERTYNAME(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
375 // subclasses may override
376 }
377 public void complete_REAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
378 // subclasses may override
379 }
380 public void complete_SMTOption(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
381 // subclasses may override
382 }
383 public void complete_SMTType(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
384 // subclasses may override
385 }
386 public void complete_SMTEnumLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
387 // subclasses may override
388 }
389 public void complete_SMTEnumeratedTypeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
390 // subclasses may override
391 }
392 public void complete_SMTSetTypeDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
393 // subclasses may override
394 }
395 public void complete_SMTTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
396 // subclasses may override
397 }
398 public void complete_SMTComplexTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
399 // subclasses may override
400 }
401 public void complete_SMTPrimitiveTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
402 // subclasses may override
403 }
404 public void complete_SMTIntTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
405 // subclasses may override
406 }
407 public void complete_SMTBoolTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
408 // subclasses may override
409 }
410 public void complete_SMTRealTypeReference(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
411 // subclasses may override
412 }
413 public void complete_SMTFunctionDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
414 // subclasses may override
415 }
416 public void complete_SMTFunctionDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
417 // subclasses may override
418 }
419 public void complete_SMTTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
420 // subclasses may override
421 }
422 public void complete_SMTSymbolicDeclaration(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
423 // subclasses may override
424 }
425 public void complete_SMTSymbolicValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
426 // subclasses may override
427 }
428 public void complete_SMTAtomicTerm(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
429 // subclasses may override
430 }
431 public void complete_SMTIntLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
432 // subclasses may override
433 }
434 public void complete_BOOLEANTERMINAL(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
435 // subclasses may override
436 }
437 public void complete_SMTBoolLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
438 // subclasses may override
439 }
440 public void complete_SMTRealLiteral(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
441 // subclasses may override
442 }
443 public void complete_SMTSortedVariable(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
444 // subclasses may override
445 }
446 public void complete_SMTQuantifiedExpression(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
447 // subclasses may override
448 }
449 public void complete_SMTExists(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
450 // subclasses may override
451 }
452 public void complete_SMTForall(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
453 // subclasses may override
454 }
455 public void complete_SMTBoolOperation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
456 // subclasses may override
457 }
458 public void complete_SMTAnd(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
459 // subclasses may override
460 }
461 public void complete_SMTOr(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
462 // subclasses may override
463 }
464 public void complete_SMTImpl(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
465 // subclasses may override
466 }
467 public void complete_SMTNot(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
468 // subclasses may override
469 }
470 public void complete_SMTIff(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
471 // subclasses may override
472 }
473 public void complete_SMTITE(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
474 // subclasses may override
475 }
476 public void complete_SMTLet(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
477 // subclasses may override
478 }
479 public void complete_SMTInlineConstantDefinition(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
480 // subclasses may override
481 }
482 public void complete_SMTRelation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
483 // subclasses may override
484 }
485 public void complete_SMTEquals(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
486 // subclasses may override
487 }
488 public void complete_SMTDistinct(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
489 // subclasses may override
490 }
491 public void complete_SMTLT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
492 // subclasses may override
493 }
494 public void complete_SMTMT(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
495 // subclasses may override
496 }
497 public void complete_SMTLEQ(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
498 // subclasses may override
499 }
500 public void complete_SMTMEQ(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
501 // subclasses may override
502 }
503 public void complete_SMTIntOperation(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
504 // subclasses may override
505 }
506 public void complete_SMTPlus(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
507 // subclasses may override
508 }
509 public void complete_SMTMinus(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
510 // subclasses may override
511 }
512 public void complete_SMTMultiply(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
513 // subclasses may override
514 }
515 public void complete_SMTDivison(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
516 // subclasses may override
517 }
518 public void complete_SMTDiv(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
519 // subclasses may override
520 }
521 public void complete_SMTMod(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
522 // subclasses may override
523 }
524 public void complete_SMTAssertion(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
525 // subclasses may override
526 }
527 public void complete_SMTCardinalityConstraint(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
528 // subclasses may override
529 }
530 public void complete_SMTSatCommand(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
531 // subclasses may override
532 }
533 public void complete_SMTSimpleSatCommand(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
534 // subclasses may override
535 }
536 public void complete_SMTComplexSatCommand(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
537 // subclasses may override
538 }
539 public void complete_SMTGetModelCommand(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
540 // subclasses may override
541 }
542 public void complete_SMTReasoningTactic(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
543 // subclasses may override
544 }
545 public void complete_SMTBuiltinTactic(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
546 // subclasses may override
547 }
548 public void complete_SMTReasoningCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
549 // subclasses may override
550 }
551 public void complete_SMTAndThenCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
552 // subclasses may override
553 }
554 public void complete_SMTOrElseCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
555 // subclasses may override
556 }
557 public void complete_SMTParOrCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
558 // subclasses may override
559 }
560 public void complete_SMTParThenCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
561 // subclasses may override
562 }
563 public void complete_SMTTryForCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
564 // subclasses may override
565 }
566 public void complete_SMTIfCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
567 // subclasses may override
568 }
569 public void complete_SMTWhenCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
570 // subclasses may override
571 }
572 public void complete_SMTFailIfCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
573 // subclasses may override
574 }
575 public void complete_SMTUsingParamCombinator(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
576 // subclasses may override
577 }
578 public void complete_ReasoningProbe(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
579 // subclasses may override
580 }
581 public void complete_ReasoningTacticParameter(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
582 // subclasses may override
583 }
584 public void complete_SMTResult(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
585 // subclasses may override
586 }
587 public void complete_SMTErrorResult(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
588 // subclasses may override
589 }
590 public void complete_SMTUnsupportedResult(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
591 // subclasses may override
592 }
593 public void complete_SMTSatResult(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
594 // subclasses may override
595 }
596 public void complete_SMTModelResult(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
597 // subclasses may override
598 }
599 public void complete_SMTStatisticValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
600 // subclasses may override
601 }
602 public void complete_SMTStatisticIntValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
603 // subclasses may override
604 }
605 public void complete_SMTStatisticDoubleValue(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
606 // subclasses may override
607 }
608 public void complete_SMTStatisticsSection(EObject model, RuleCall ruleCall, ContentAssistContext context, ICompletionProposalAcceptor acceptor) {
609 // subclasses may override
610 }
611}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-09 06:41:09 +0000