diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 18:28:19 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-08 18:28:19 +0200 |
commit | 419e76265ecbdf65e960e0624be006d31ed1e191 (patch) | |
tree | dad200fe9fd0beae7adde969206b77691a51b85a /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java | |
parent | Fix check expressions in generated VIATRA (diff) | |
download | VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.gz VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.zst VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.zip |
Update solver language grammar
First version, still needs TokenSource and Linker to work.
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java | 614 |
1 files changed, 222 insertions, 392 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java index 9931598c..e46d6779 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageAdapterFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.util; |
5 | 5 | ||
@@ -10,57 +10,7 @@ import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; | |||
10 | 10 | ||
11 | import org.eclipse.emf.ecore.EObject; | 11 | import org.eclipse.emf.ecore.EObject; |
12 | 12 | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | 13 | import org.eclipse.viatra.solver.language.solverLanguage.*; |
14 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | ||
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | ||
20 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | ||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | ||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | ||
27 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | ||
28 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | ||
31 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.False; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | ||
35 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | ||
36 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | ||
39 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
41 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | ||
42 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | ||
43 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | ||
45 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | ||
46 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | ||
47 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | ||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | ||
49 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | ||
51 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
55 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | ||
57 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | ||
58 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | ||
59 | import org.eclipse.viatra.solver.language.solverLanguage.True; | ||
60 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | ||
61 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | ||
62 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | ||
63 | import org.eclipse.viatra.solver.language.solverLanguage.Variable; | ||
64 | 14 | ||
65 | /** | 15 | /** |
66 | * <!-- begin-user-doc --> | 16 | * <!-- begin-user-doc --> |
@@ -136,254 +86,224 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl | |||
136 | return createStatementAdapter(); | 86 | return createStatementAdapter(); |
137 | } | 87 | } |
138 | @Override | 88 | @Override |
139 | public Adapter caseBooleanValue(BooleanValue object) | 89 | public Adapter casePredicateDefinition(PredicateDefinition object) |
140 | { | 90 | { |
141 | return createBooleanValueAdapter(); | 91 | return createPredicateDefinitionAdapter(); |
142 | } | 92 | } |
143 | @Override | 93 | @Override |
144 | public Adapter caseTruthValue(TruthValue object) | 94 | public Adapter caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object) |
145 | { | 95 | { |
146 | return createTruthValueAdapter(); | 96 | return createUnnamedErrorPrediateDefinitionAdapter(); |
147 | } | 97 | } |
148 | @Override | 98 | @Override |
149 | public Adapter caseInterpretation(Interpretation object) | 99 | public Adapter caseDefaultDefinition(DefaultDefinition object) |
150 | { | 100 | { |
151 | return createInterpretationAdapter(); | 101 | return createDefaultDefinitionAdapter(); |
152 | } | 102 | } |
153 | @Override | 103 | @Override |
154 | public Adapter caseBasicInterpretation(BasicInterpretation object) | 104 | public Adapter caseExternPredicateDefinition(ExternPredicateDefinition object) |
155 | { | 105 | { |
156 | return createBasicInterpretationAdapter(); | 106 | return createExternPredicateDefinitionAdapter(); |
157 | } | 107 | } |
158 | @Override | 108 | @Override |
159 | public Adapter caseSymbol(Symbol object) | 109 | public Adapter caseMetricDefinition(MetricDefinition object) |
160 | { | 110 | { |
161 | return createSymbolAdapter(); | 111 | return createMetricDefinitionAdapter(); |
162 | } | 112 | } |
163 | @Override | 113 | @Override |
164 | public Adapter caseModelSymbol(ModelSymbol object) | 114 | public Adapter caseExternMetricDefinition(ExternMetricDefinition object) |
165 | { | 115 | { |
166 | return createModelSymbolAdapter(); | 116 | return createExternMetricDefinitionAdapter(); |
167 | } | 117 | } |
168 | @Override | 118 | @Override |
169 | public Adapter casePartialitySymbol(PartialitySymbol object) | 119 | public Adapter caseExpression(Expression object) |
170 | { | 120 | { |
171 | return createPartialitySymbolAdapter(); | 121 | return createExpressionAdapter(); |
172 | } | 122 | } |
173 | @Override | 123 | @Override |
174 | public Adapter caseExistSymbol(ExistSymbol object) | 124 | public Adapter caseIfElse(IfElse object) |
175 | { | 125 | { |
176 | return createExistSymbolAdapter(); | 126 | return createIfElseAdapter(); |
177 | } | 127 | } |
178 | @Override | 128 | @Override |
179 | public Adapter caseEqualsSymbol(EqualsSymbol object) | 129 | public Adapter caseCase(Case object) |
180 | { | 130 | { |
181 | return createEqualsSymbolAdapter(); | 131 | return createCaseAdapter(); |
182 | } | 132 | } |
183 | @Override | 133 | @Override |
184 | public Adapter caseDataSymbol(DataSymbol object) | 134 | public Adapter caseCount(Count object) |
185 | { | 135 | { |
186 | return createDataSymbolAdapter(); | 136 | return createCountAdapter(); |
187 | } | 137 | } |
188 | @Override | 138 | @Override |
189 | public Adapter caseBooleanSymbol(BooleanSymbol object) | 139 | public Adapter caseAggregation(Aggregation object) |
190 | { | 140 | { |
191 | return createBooleanSymbolAdapter(); | 141 | return createAggregationAdapter(); |
192 | } | 142 | } |
193 | @Override | 143 | @Override |
194 | public Adapter caseIntegerSymbol(IntegerSymbol object) | 144 | public Adapter caseCall(Call object) |
195 | { | 145 | { |
196 | return createIntegerSymbolAdapter(); | 146 | return createCallAdapter(); |
197 | } | 147 | } |
198 | @Override | 148 | @Override |
199 | public Adapter caseRealSymbol(RealSymbol object) | 149 | public Adapter caseArgumentList(ArgumentList object) |
200 | { | 150 | { |
201 | return createRealSymbolAdapter(); | 151 | return createArgumentListAdapter(); |
202 | } | 152 | } |
203 | @Override | 153 | @Override |
204 | public Adapter caseStringSymbol(StringSymbol object) | 154 | public Adapter caseArgument(Argument object) |
205 | { | 155 | { |
206 | return createStringSymbolAdapter(); | 156 | return createArgumentAdapter(); |
207 | } | 157 | } |
208 | @Override | 158 | @Override |
209 | public Adapter caseComplexObject(ComplexObject object) | 159 | public Adapter caseExpressionArgument(ExpressionArgument object) |
210 | { | 160 | { |
211 | return createComplexObjectAdapter(); | 161 | return createExpressionArgumentAdapter(); |
212 | } | 162 | } |
213 | @Override | 163 | @Override |
214 | public Adapter caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object) | 164 | public Adapter caseStarArgument(StarArgument object) |
215 | { | 165 | { |
216 | return createObjectAdapter(); | 166 | return createStarArgumentAdapter(); |
217 | } | 167 | } |
218 | @Override | 168 | @Override |
219 | public Adapter caseNamedObject(NamedObject object) | 169 | public Adapter caseTypedArgument(TypedArgument object) |
220 | { | 170 | { |
221 | return createNamedObjectAdapter(); | 171 | return createTypedArgumentAdapter(); |
222 | } | 172 | } |
223 | @Override | 173 | @Override |
224 | public Adapter caseUnnamedObject(UnnamedObject object) | 174 | public Adapter caseTypedStarArgument(TypedStarArgument object) |
225 | { | 175 | { |
226 | return createUnnamedObjectAdapter(); | 176 | return createTypedStarArgumentAdapter(); |
227 | } | 177 | } |
228 | @Override | 178 | @Override |
229 | public Adapter caseDataObject(DataObject object) | 179 | public Adapter caseReference(Reference object) |
230 | { | 180 | { |
231 | return createDataObjectAdapter(); | 181 | return createReferenceAdapter(); |
232 | } | 182 | } |
233 | @Override | 183 | @Override |
234 | public Adapter caseBooleanObject(BooleanObject object) | 184 | public Adapter caseInterval(Interval object) |
235 | { | 185 | { |
236 | return createBooleanObjectAdapter(); | 186 | return createIntervalAdapter(); |
237 | } | 187 | } |
238 | @Override | 188 | @Override |
239 | public Adapter caseIntObject(IntObject object) | 189 | public Adapter caseLiteral(Literal object) |
240 | { | ||
241 | return createIntObjectAdapter(); | ||
242 | } | ||
243 | @Override | ||
244 | public Adapter caseRealObject(RealObject object) | ||
245 | { | ||
246 | return createRealObjectAdapter(); | ||
247 | } | ||
248 | @Override | ||
249 | public Adapter caseStringObject(StringObject object) | ||
250 | { | ||
251 | return createStringObjectAdapter(); | ||
252 | } | ||
253 | @Override | ||
254 | public Adapter casePredicate(Predicate object) | ||
255 | { | ||
256 | return createPredicateAdapter(); | ||
257 | } | ||
258 | @Override | ||
259 | public Adapter caseParameter(Parameter object) | ||
260 | { | ||
261 | return createParameterAdapter(); | ||
262 | } | ||
263 | @Override | ||
264 | public Adapter casePatternBody(PatternBody object) | ||
265 | { | ||
266 | return createPatternBodyAdapter(); | ||
267 | } | ||
268 | @Override | ||
269 | public Adapter casePolarity(Polarity object) | ||
270 | { | 190 | { |
271 | return createPolarityAdapter(); | 191 | return createLiteralAdapter(); |
272 | } | 192 | } |
273 | @Override | 193 | @Override |
274 | public Adapter caseConstraint(Constraint object) | 194 | public Adapter caseLogicLiteral(LogicLiteral object) |
275 | { | 195 | { |
276 | return createConstraintAdapter(); | 196 | return createLogicLiteralAdapter(); |
277 | } | 197 | } |
278 | @Override | 198 | @Override |
279 | public Adapter caseClosureType(ClosureType object) | 199 | public Adapter caseNumericLiteral(NumericLiteral object) |
280 | { | 200 | { |
281 | return createClosureTypeAdapter(); | 201 | return createNumericLiteralAdapter(); |
282 | } | 202 | } |
283 | @Override | 203 | @Override |
284 | public Adapter caseLiteral(Literal object) | 204 | public Adapter caseInfinityLiteral(InfinityLiteral object) |
285 | { | 205 | { |
286 | return createLiteralAdapter(); | 206 | return createInfinityLiteralAdapter(); |
287 | } | 207 | } |
288 | @Override | 208 | @Override |
289 | public Adapter caseVariable(Variable object) | 209 | public Adapter caseEmptyIntervalLiteral(EmptyIntervalLiteral object) |
290 | { | 210 | { |
291 | return createVariableAdapter(); | 211 | return createEmptyIntervalLiteralAdapter(); |
292 | } | 212 | } |
293 | @Override | 213 | @Override |
294 | public Adapter caseAllInstances(AllInstances object) | 214 | public Adapter caseStringLiteral(StringLiteral object) |
295 | { | 215 | { |
296 | return createAllInstancesAdapter(); | 216 | return createStringLiteralAdapter(); |
297 | } | 217 | } |
298 | @Override | 218 | @Override |
299 | public Adapter caseAllObjects(AllObjects object) | 219 | public Adapter caseMemberDefinition(MemberDefinition object) |
300 | { | 220 | { |
301 | return createAllObjectsAdapter(); | 221 | return createMemberDefinitionAdapter(); |
302 | } | 222 | } |
303 | @Override | 223 | @Override |
304 | public Adapter caseDefaultInterpretation(DefaultInterpretation object) | 224 | public Adapter caseMultiplicity(Multiplicity object) |
305 | { | 225 | { |
306 | return createDefaultInterpretationAdapter(); | 226 | return createMultiplicityAdapter(); |
307 | } | 227 | } |
308 | @Override | 228 | @Override |
309 | public Adapter caseCDInterpretation(CDInterpretation object) | 229 | public Adapter caseManyMultiplicity(ManyMultiplicity object) |
310 | { | 230 | { |
311 | return createCDInterpretationAdapter(); | 231 | return createManyMultiplicityAdapter(); |
312 | } | 232 | } |
313 | @Override | 233 | @Override |
314 | public Adapter caseClassInterpretation(ClassInterpretation object) | 234 | public Adapter caseExactMultiplicity(ExactMultiplicity object) |
315 | { | 235 | { |
316 | return createClassInterpretationAdapter(); | 236 | return createExactMultiplicityAdapter(); |
317 | } | 237 | } |
318 | @Override | 238 | @Override |
319 | public Adapter caseEnumInterpretation(EnumInterpretation object) | 239 | public Adapter caseBoundedMultiplicity(BoundedMultiplicity object) |
320 | { | 240 | { |
321 | return createEnumInterpretationAdapter(); | 241 | return createBoundedMultiplicityAdapter(); |
322 | } | 242 | } |
323 | @Override | 243 | @Override |
324 | public Adapter caseFieldRelationInterpretation(FieldRelationInterpretation object) | 244 | public Adapter caseScopeDefinition(ScopeDefinition object) |
325 | { | 245 | { |
326 | return createFieldRelationInterpretationAdapter(); | 246 | return createScopeDefinitionAdapter(); |
327 | } | 247 | } |
328 | @Override | 248 | @Override |
329 | public Adapter caseGlobalRelationInterpretation(GlobalRelationInterpretation object) | 249 | public Adapter caseExactScopeDefinition(ExactScopeDefinition object) |
330 | { | 250 | { |
331 | return createGlobalRelationInterpretationAdapter(); | 251 | return createExactScopeDefinitionAdapter(); |
332 | } | 252 | } |
333 | @Override | 253 | @Override |
334 | public Adapter caseMultiplicityDefinition(MultiplicityDefinition object) | 254 | public Adapter caseBoundedScopeDefinition(BoundedScopeDefinition object) |
335 | { | 255 | { |
336 | return createMultiplicityDefinitionAdapter(); | 256 | return createBoundedScopeDefinitionAdapter(); |
337 | } | 257 | } |
338 | @Override | 258 | @Override |
339 | public Adapter caseBooleanTrue(BooleanTrue object) | 259 | public Adapter caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object) |
340 | { | 260 | { |
341 | return createBooleanTrueAdapter(); | 261 | return createLowerBoundedScopeDefinitionAdapter(); |
342 | } | 262 | } |
343 | @Override | 263 | @Override |
344 | public Adapter caseBooleanFalse(BooleanFalse object) | 264 | public Adapter caseObjectiveDefinition(ObjectiveDefinition object) |
345 | { | 265 | { |
346 | return createBooleanFalseAdapter(); | 266 | return createObjectiveDefinitionAdapter(); |
347 | } | 267 | } |
348 | @Override | 268 | @Override |
349 | public Adapter caseTrue(True object) | 269 | public Adapter caseNamedElement(NamedElement object) |
350 | { | 270 | { |
351 | return createTrueAdapter(); | 271 | return createNamedElementAdapter(); |
352 | } | 272 | } |
353 | @Override | 273 | @Override |
354 | public Adapter caseFalse(False object) | 274 | public Adapter caseAssertion(Assertion object) |
355 | { | 275 | { |
356 | return createFalseAdapter(); | 276 | return createAssertionAdapter(); |
357 | } | 277 | } |
358 | @Override | 278 | @Override |
359 | public Adapter caseUnknown(Unknown object) | 279 | public Adapter caseDisjunction(Disjunction object) |
360 | { | 280 | { |
361 | return createUnknownAdapter(); | 281 | return createDisjunctionAdapter(); |
362 | } | 282 | } |
363 | @Override | 283 | @Override |
364 | public Adapter caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object) | 284 | public Adapter caseSwitch(Switch object) |
365 | { | 285 | { |
366 | return createErrorAdapter(); | 286 | return createSwitchAdapter(); |
367 | } | 287 | } |
368 | @Override | 288 | @Override |
369 | public Adapter casePositive(Positive object) | 289 | public Adapter caseConjunction(Conjunction object) |
370 | { | 290 | { |
371 | return createPositiveAdapter(); | 291 | return createConjunctionAdapter(); |
372 | } | 292 | } |
373 | @Override | 293 | @Override |
374 | public Adapter caseNegative(Negative object) | 294 | public Adapter caseComparison(Comparison object) |
375 | { | 295 | { |
376 | return createNegativeAdapter(); | 296 | return createComparisonAdapter(); |
377 | } | 297 | } |
378 | @Override | 298 | @Override |
379 | public Adapter caseReflexiveClosure(ReflexiveClosure object) | 299 | public Adapter caseBinaryExpression(BinaryExpression object) |
380 | { | 300 | { |
381 | return createReflexiveClosureAdapter(); | 301 | return createBinaryExpressionAdapter(); |
382 | } | 302 | } |
383 | @Override | 303 | @Override |
384 | public Adapter caseIrreflexiveClosure(IrreflexiveClosure object) | 304 | public Adapter caseUnaryExpression(UnaryExpression object) |
385 | { | 305 | { |
386 | return createIrreflexiveClosureAdapter(); | 306 | return createUnaryExpressionAdapter(); |
387 | } | 307 | } |
388 | @Override | 308 | @Override |
389 | public Adapter defaultCase(EObject object) | 309 | public Adapter defaultCase(EObject object) |
@@ -438,751 +358,661 @@ public class SolverLanguageAdapterFactory extends AdapterFactoryImpl | |||
438 | } | 358 | } |
439 | 359 | ||
440 | /** | 360 | /** |
441 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue <em>Boolean Value</em>}'. | 361 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'. |
442 | * <!-- begin-user-doc --> | ||
443 | * This default implementation returns null so that we can easily ignore cases; | ||
444 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
445 | * <!-- end-user-doc --> | ||
446 | * @return the new adapter. | ||
447 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue | ||
448 | * @generated | ||
449 | */ | ||
450 | public Adapter createBooleanValueAdapter() | ||
451 | { | ||
452 | return null; | ||
453 | } | ||
454 | |||
455 | /** | ||
456 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue <em>Truth Value</em>}'. | ||
457 | * <!-- begin-user-doc --> | ||
458 | * This default implementation returns null so that we can easily ignore cases; | ||
459 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
460 | * <!-- end-user-doc --> | ||
461 | * @return the new adapter. | ||
462 | * @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue | ||
463 | * @generated | ||
464 | */ | ||
465 | public Adapter createTruthValueAdapter() | ||
466 | { | ||
467 | return null; | ||
468 | } | ||
469 | |||
470 | /** | ||
471 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'. | ||
472 | * <!-- begin-user-doc --> | ||
473 | * This default implementation returns null so that we can easily ignore cases; | ||
474 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
475 | * <!-- end-user-doc --> | ||
476 | * @return the new adapter. | ||
477 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation | ||
478 | * @generated | ||
479 | */ | ||
480 | public Adapter createInterpretationAdapter() | ||
481 | { | ||
482 | return null; | ||
483 | } | ||
484 | |||
485 | /** | ||
486 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</em>}'. | ||
487 | * <!-- begin-user-doc --> | ||
488 | * This default implementation returns null so that we can easily ignore cases; | ||
489 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
490 | * <!-- end-user-doc --> | ||
491 | * @return the new adapter. | ||
492 | * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation | ||
493 | * @generated | ||
494 | */ | ||
495 | public Adapter createBasicInterpretationAdapter() | ||
496 | { | ||
497 | return null; | ||
498 | } | ||
499 | |||
500 | /** | ||
501 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>Symbol</em>}'. | ||
502 | * <!-- begin-user-doc --> | ||
503 | * This default implementation returns null so that we can easily ignore cases; | ||
504 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
505 | * <!-- end-user-doc --> | ||
506 | * @return the new adapter. | ||
507 | * @see org.eclipse.viatra.solver.language.solverLanguage.Symbol | ||
508 | * @generated | ||
509 | */ | ||
510 | public Adapter createSymbolAdapter() | ||
511 | { | ||
512 | return null; | ||
513 | } | ||
514 | |||
515 | /** | ||
516 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol <em>Model Symbol</em>}'. | ||
517 | * <!-- begin-user-doc --> | 362 | * <!-- begin-user-doc --> |
518 | * This default implementation returns null so that we can easily ignore cases; | 363 | * This default implementation returns null so that we can easily ignore cases; |
519 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 364 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
520 | * <!-- end-user-doc --> | 365 | * <!-- end-user-doc --> |
521 | * @return the new adapter. | 366 | * @return the new adapter. |
522 | * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol | 367 | * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition |
523 | * @generated | 368 | * @generated |
524 | */ | 369 | */ |
525 | public Adapter createModelSymbolAdapter() | 370 | public Adapter createPredicateDefinitionAdapter() |
526 | { | 371 | { |
527 | return null; | 372 | return null; |
528 | } | 373 | } |
529 | 374 | ||
530 | /** | 375 | /** |
531 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol <em>Partiality Symbol</em>}'. | 376 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'. |
532 | * <!-- begin-user-doc --> | 377 | * <!-- begin-user-doc --> |
533 | * This default implementation returns null so that we can easily ignore cases; | 378 | * This default implementation returns null so that we can easily ignore cases; |
534 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 379 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
535 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
536 | * @return the new adapter. | 381 | * @return the new adapter. |
537 | * @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol | 382 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition |
538 | * @generated | 383 | * @generated |
539 | */ | 384 | */ |
540 | public Adapter createPartialitySymbolAdapter() | 385 | public Adapter createUnnamedErrorPrediateDefinitionAdapter() |
541 | { | 386 | { |
542 | return null; | 387 | return null; |
543 | } | 388 | } |
544 | 389 | ||
545 | /** | 390 | /** |
546 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol <em>Exist Symbol</em>}'. | 391 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'. |
547 | * <!-- begin-user-doc --> | 392 | * <!-- begin-user-doc --> |
548 | * This default implementation returns null so that we can easily ignore cases; | 393 | * This default implementation returns null so that we can easily ignore cases; |
549 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 394 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
550 | * <!-- end-user-doc --> | 395 | * <!-- end-user-doc --> |
551 | * @return the new adapter. | 396 | * @return the new adapter. |
552 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol | 397 | * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition |
553 | * @generated | 398 | * @generated |
554 | */ | 399 | */ |
555 | public Adapter createExistSymbolAdapter() | 400 | public Adapter createDefaultDefinitionAdapter() |
556 | { | 401 | { |
557 | return null; | 402 | return null; |
558 | } | 403 | } |
559 | 404 | ||
560 | /** | 405 | /** |
561 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol <em>Equals Symbol</em>}'. | 406 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'. |
562 | * <!-- begin-user-doc --> | 407 | * <!-- begin-user-doc --> |
563 | * This default implementation returns null so that we can easily ignore cases; | 408 | * This default implementation returns null so that we can easily ignore cases; |
564 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 409 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
565 | * <!-- end-user-doc --> | 410 | * <!-- end-user-doc --> |
566 | * @return the new adapter. | 411 | * @return the new adapter. |
567 | * @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol | 412 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition |
568 | * @generated | 413 | * @generated |
569 | */ | 414 | */ |
570 | public Adapter createEqualsSymbolAdapter() | 415 | public Adapter createExternPredicateDefinitionAdapter() |
571 | { | 416 | { |
572 | return null; | 417 | return null; |
573 | } | 418 | } |
574 | 419 | ||
575 | /** | 420 | /** |
576 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol <em>Data Symbol</em>}'. | 421 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'. |
577 | * <!-- begin-user-doc --> | 422 | * <!-- begin-user-doc --> |
578 | * This default implementation returns null so that we can easily ignore cases; | 423 | * This default implementation returns null so that we can easily ignore cases; |
579 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 424 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
580 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
581 | * @return the new adapter. | 426 | * @return the new adapter. |
582 | * @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol | 427 | * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition |
583 | * @generated | 428 | * @generated |
584 | */ | 429 | */ |
585 | public Adapter createDataSymbolAdapter() | 430 | public Adapter createMetricDefinitionAdapter() |
586 | { | 431 | { |
587 | return null; | 432 | return null; |
588 | } | 433 | } |
589 | 434 | ||
590 | /** | 435 | /** |
591 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol <em>Boolean Symbol</em>}'. | 436 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'. |
592 | * <!-- begin-user-doc --> | 437 | * <!-- begin-user-doc --> |
593 | * This default implementation returns null so that we can easily ignore cases; | 438 | * This default implementation returns null so that we can easily ignore cases; |
594 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 439 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
595 | * <!-- end-user-doc --> | 440 | * <!-- end-user-doc --> |
596 | * @return the new adapter. | 441 | * @return the new adapter. |
597 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol | 442 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition |
598 | * @generated | 443 | * @generated |
599 | */ | 444 | */ |
600 | public Adapter createBooleanSymbolAdapter() | 445 | public Adapter createExternMetricDefinitionAdapter() |
601 | { | 446 | { |
602 | return null; | 447 | return null; |
603 | } | 448 | } |
604 | 449 | ||
605 | /** | 450 | /** |
606 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol <em>Integer Symbol</em>}'. | 451 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'. |
607 | * <!-- begin-user-doc --> | 452 | * <!-- begin-user-doc --> |
608 | * This default implementation returns null so that we can easily ignore cases; | 453 | * This default implementation returns null so that we can easily ignore cases; |
609 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 454 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
610 | * <!-- end-user-doc --> | 455 | * <!-- end-user-doc --> |
611 | * @return the new adapter. | 456 | * @return the new adapter. |
612 | * @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol | 457 | * @see org.eclipse.viatra.solver.language.solverLanguage.Expression |
613 | * @generated | 458 | * @generated |
614 | */ | 459 | */ |
615 | public Adapter createIntegerSymbolAdapter() | 460 | public Adapter createExpressionAdapter() |
616 | { | 461 | { |
617 | return null; | 462 | return null; |
618 | } | 463 | } |
619 | 464 | ||
620 | /** | 465 | /** |
621 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol <em>Real Symbol</em>}'. | 466 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'. |
622 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
623 | * This default implementation returns null so that we can easily ignore cases; | 468 | * This default implementation returns null so that we can easily ignore cases; |
624 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 469 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
625 | * <!-- end-user-doc --> | 470 | * <!-- end-user-doc --> |
626 | * @return the new adapter. | 471 | * @return the new adapter. |
627 | * @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol | 472 | * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse |
628 | * @generated | 473 | * @generated |
629 | */ | 474 | */ |
630 | public Adapter createRealSymbolAdapter() | 475 | public Adapter createIfElseAdapter() |
631 | { | 476 | { |
632 | return null; | 477 | return null; |
633 | } | 478 | } |
634 | 479 | ||
635 | /** | 480 | /** |
636 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol <em>String Symbol</em>}'. | 481 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'. |
637 | * <!-- begin-user-doc --> | 482 | * <!-- begin-user-doc --> |
638 | * This default implementation returns null so that we can easily ignore cases; | 483 | * This default implementation returns null so that we can easily ignore cases; |
639 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 484 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
640 | * <!-- end-user-doc --> | 485 | * <!-- end-user-doc --> |
641 | * @return the new adapter. | 486 | * @return the new adapter. |
642 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol | 487 | * @see org.eclipse.viatra.solver.language.solverLanguage.Case |
643 | * @generated | 488 | * @generated |
644 | */ | 489 | */ |
645 | public Adapter createStringSymbolAdapter() | 490 | public Adapter createCaseAdapter() |
646 | { | 491 | { |
647 | return null; | 492 | return null; |
648 | } | 493 | } |
649 | 494 | ||
650 | /** | 495 | /** |
651 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject <em>Complex Object</em>}'. | 496 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count <em>Count</em>}'. |
652 | * <!-- begin-user-doc --> | 497 | * <!-- begin-user-doc --> |
653 | * This default implementation returns null so that we can easily ignore cases; | 498 | * This default implementation returns null so that we can easily ignore cases; |
654 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 499 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
655 | * <!-- end-user-doc --> | 500 | * <!-- end-user-doc --> |
656 | * @return the new adapter. | 501 | * @return the new adapter. |
657 | * @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject | 502 | * @see org.eclipse.viatra.solver.language.solverLanguage.Count |
658 | * @generated | 503 | * @generated |
659 | */ | 504 | */ |
660 | public Adapter createComplexObjectAdapter() | 505 | public Adapter createCountAdapter() |
661 | { | 506 | { |
662 | return null; | 507 | return null; |
663 | } | 508 | } |
664 | 509 | ||
665 | /** | 510 | /** |
666 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object <em>Object</em>}'. | 511 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'. |
667 | * <!-- begin-user-doc --> | 512 | * <!-- begin-user-doc --> |
668 | * This default implementation returns null so that we can easily ignore cases; | 513 | * This default implementation returns null so that we can easily ignore cases; |
669 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 514 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
670 | * <!-- end-user-doc --> | 515 | * <!-- end-user-doc --> |
671 | * @return the new adapter. | 516 | * @return the new adapter. |
672 | * @see org.eclipse.viatra.solver.language.solverLanguage.Object | 517 | * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation |
673 | * @generated | 518 | * @generated |
674 | */ | 519 | */ |
675 | public Adapter createObjectAdapter() | 520 | public Adapter createAggregationAdapter() |
676 | { | 521 | { |
677 | return null; | 522 | return null; |
678 | } | 523 | } |
679 | 524 | ||
680 | /** | 525 | /** |
681 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject <em>Named Object</em>}'. | 526 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'. |
682 | * <!-- begin-user-doc --> | 527 | * <!-- begin-user-doc --> |
683 | * This default implementation returns null so that we can easily ignore cases; | 528 | * This default implementation returns null so that we can easily ignore cases; |
684 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 529 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
685 | * <!-- end-user-doc --> | 530 | * <!-- end-user-doc --> |
686 | * @return the new adapter. | 531 | * @return the new adapter. |
687 | * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject | 532 | * @see org.eclipse.viatra.solver.language.solverLanguage.Call |
688 | * @generated | 533 | * @generated |
689 | */ | 534 | */ |
690 | public Adapter createNamedObjectAdapter() | 535 | public Adapter createCallAdapter() |
691 | { | 536 | { |
692 | return null; | 537 | return null; |
693 | } | 538 | } |
694 | 539 | ||
695 | /** | 540 | /** |
696 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject <em>Unnamed Object</em>}'. | 541 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'. |
697 | * <!-- begin-user-doc --> | 542 | * <!-- begin-user-doc --> |
698 | * This default implementation returns null so that we can easily ignore cases; | 543 | * This default implementation returns null so that we can easily ignore cases; |
699 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 544 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
700 | * <!-- end-user-doc --> | 545 | * <!-- end-user-doc --> |
701 | * @return the new adapter. | 546 | * @return the new adapter. |
702 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject | 547 | * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList |
703 | * @generated | 548 | * @generated |
704 | */ | 549 | */ |
705 | public Adapter createUnnamedObjectAdapter() | 550 | public Adapter createArgumentListAdapter() |
706 | { | 551 | { |
707 | return null; | 552 | return null; |
708 | } | 553 | } |
709 | 554 | ||
710 | /** | 555 | /** |
711 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject <em>Data Object</em>}'. | 556 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'. |
712 | * <!-- begin-user-doc --> | 557 | * <!-- begin-user-doc --> |
713 | * This default implementation returns null so that we can easily ignore cases; | 558 | * This default implementation returns null so that we can easily ignore cases; |
714 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 559 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
715 | * <!-- end-user-doc --> | 560 | * <!-- end-user-doc --> |
716 | * @return the new adapter. | 561 | * @return the new adapter. |
717 | * @see org.eclipse.viatra.solver.language.solverLanguage.DataObject | 562 | * @see org.eclipse.viatra.solver.language.solverLanguage.Argument |
718 | * @generated | 563 | * @generated |
719 | */ | 564 | */ |
720 | public Adapter createDataObjectAdapter() | 565 | public Adapter createArgumentAdapter() |
721 | { | 566 | { |
722 | return null; | 567 | return null; |
723 | } | 568 | } |
724 | 569 | ||
725 | /** | 570 | /** |
726 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject <em>Boolean Object</em>}'. | 571 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'. |
727 | * <!-- begin-user-doc --> | 572 | * <!-- begin-user-doc --> |
728 | * This default implementation returns null so that we can easily ignore cases; | 573 | * This default implementation returns null so that we can easily ignore cases; |
729 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 574 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
730 | * <!-- end-user-doc --> | 575 | * <!-- end-user-doc --> |
731 | * @return the new adapter. | 576 | * @return the new adapter. |
732 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject | 577 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument |
733 | * @generated | 578 | * @generated |
734 | */ | 579 | */ |
735 | public Adapter createBooleanObjectAdapter() | 580 | public Adapter createExpressionArgumentAdapter() |
736 | { | 581 | { |
737 | return null; | 582 | return null; |
738 | } | 583 | } |
739 | 584 | ||
740 | /** | 585 | /** |
741 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject <em>Int Object</em>}'. | 586 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'. |
742 | * <!-- begin-user-doc --> | 587 | * <!-- begin-user-doc --> |
743 | * This default implementation returns null so that we can easily ignore cases; | 588 | * This default implementation returns null so that we can easily ignore cases; |
744 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 589 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
745 | * <!-- end-user-doc --> | 590 | * <!-- end-user-doc --> |
746 | * @return the new adapter. | 591 | * @return the new adapter. |
747 | * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject | 592 | * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument |
748 | * @generated | 593 | * @generated |
749 | */ | 594 | */ |
750 | public Adapter createIntObjectAdapter() | 595 | public Adapter createStarArgumentAdapter() |
751 | { | 596 | { |
752 | return null; | 597 | return null; |
753 | } | 598 | } |
754 | 599 | ||
755 | /** | 600 | /** |
756 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject <em>Real Object</em>}'. | 601 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'. |
757 | * <!-- begin-user-doc --> | 602 | * <!-- begin-user-doc --> |
758 | * This default implementation returns null so that we can easily ignore cases; | 603 | * This default implementation returns null so that we can easily ignore cases; |
759 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 604 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
760 | * <!-- end-user-doc --> | 605 | * <!-- end-user-doc --> |
761 | * @return the new adapter. | 606 | * @return the new adapter. |
762 | * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject | 607 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument |
763 | * @generated | 608 | * @generated |
764 | */ | 609 | */ |
765 | public Adapter createRealObjectAdapter() | 610 | public Adapter createTypedArgumentAdapter() |
766 | { | 611 | { |
767 | return null; | 612 | return null; |
768 | } | 613 | } |
769 | 614 | ||
770 | /** | 615 | /** |
771 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject <em>String Object</em>}'. | 616 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'. |
772 | * <!-- begin-user-doc --> | 617 | * <!-- begin-user-doc --> |
773 | * This default implementation returns null so that we can easily ignore cases; | 618 | * This default implementation returns null so that we can easily ignore cases; |
774 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 619 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
775 | * <!-- end-user-doc --> | 620 | * <!-- end-user-doc --> |
776 | * @return the new adapter. | 621 | * @return the new adapter. |
777 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject | 622 | * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument |
778 | * @generated | 623 | * @generated |
779 | */ | 624 | */ |
780 | public Adapter createStringObjectAdapter() | 625 | public Adapter createTypedStarArgumentAdapter() |
781 | { | 626 | { |
782 | return null; | 627 | return null; |
783 | } | 628 | } |
784 | 629 | ||
785 | /** | 630 | /** |
786 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'. | 631 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'. |
787 | * <!-- begin-user-doc --> | 632 | * <!-- begin-user-doc --> |
788 | * This default implementation returns null so that we can easily ignore cases; | 633 | * This default implementation returns null so that we can easily ignore cases; |
789 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 634 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
790 | * <!-- end-user-doc --> | 635 | * <!-- end-user-doc --> |
791 | * @return the new adapter. | 636 | * @return the new adapter. |
792 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate | 637 | * @see org.eclipse.viatra.solver.language.solverLanguage.Reference |
793 | * @generated | 638 | * @generated |
794 | */ | 639 | */ |
795 | public Adapter createPredicateAdapter() | 640 | public Adapter createReferenceAdapter() |
796 | { | 641 | { |
797 | return null; | 642 | return null; |
798 | } | 643 | } |
799 | 644 | ||
800 | /** | 645 | /** |
801 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'. | 646 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'. |
802 | * <!-- begin-user-doc --> | 647 | * <!-- begin-user-doc --> |
803 | * This default implementation returns null so that we can easily ignore cases; | 648 | * This default implementation returns null so that we can easily ignore cases; |
804 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 649 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
805 | * <!-- end-user-doc --> | 650 | * <!-- end-user-doc --> |
806 | * @return the new adapter. | 651 | * @return the new adapter. |
807 | * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter | 652 | * @see org.eclipse.viatra.solver.language.solverLanguage.Interval |
808 | * @generated | 653 | * @generated |
809 | */ | 654 | */ |
810 | public Adapter createParameterAdapter() | 655 | public Adapter createIntervalAdapter() |
811 | { | 656 | { |
812 | return null; | 657 | return null; |
813 | } | 658 | } |
814 | 659 | ||
815 | /** | 660 | /** |
816 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody <em>Pattern Body</em>}'. | 661 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'. |
817 | * <!-- begin-user-doc --> | ||
818 | * This default implementation returns null so that we can easily ignore cases; | ||
819 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
820 | * <!-- end-user-doc --> | ||
821 | * @return the new adapter. | ||
822 | * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody | ||
823 | * @generated | ||
824 | */ | ||
825 | public Adapter createPatternBodyAdapter() | ||
826 | { | ||
827 | return null; | ||
828 | } | ||
829 | |||
830 | /** | ||
831 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity <em>Polarity</em>}'. | ||
832 | * <!-- begin-user-doc --> | 662 | * <!-- begin-user-doc --> |
833 | * This default implementation returns null so that we can easily ignore cases; | 663 | * This default implementation returns null so that we can easily ignore cases; |
834 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 664 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
835 | * <!-- end-user-doc --> | 665 | * <!-- end-user-doc --> |
836 | * @return the new adapter. | 666 | * @return the new adapter. |
837 | * @see org.eclipse.viatra.solver.language.solverLanguage.Polarity | 667 | * @see org.eclipse.viatra.solver.language.solverLanguage.Literal |
838 | * @generated | 668 | * @generated |
839 | */ | 669 | */ |
840 | public Adapter createPolarityAdapter() | 670 | public Adapter createLiteralAdapter() |
841 | { | 671 | { |
842 | return null; | 672 | return null; |
843 | } | 673 | } |
844 | 674 | ||
845 | /** | 675 | /** |
846 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint <em>Constraint</em>}'. | 676 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'. |
847 | * <!-- begin-user-doc --> | 677 | * <!-- begin-user-doc --> |
848 | * This default implementation returns null so that we can easily ignore cases; | 678 | * This default implementation returns null so that we can easily ignore cases; |
849 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 679 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
850 | * <!-- end-user-doc --> | 680 | * <!-- end-user-doc --> |
851 | * @return the new adapter. | 681 | * @return the new adapter. |
852 | * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint | 682 | * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral |
853 | * @generated | 683 | * @generated |
854 | */ | 684 | */ |
855 | public Adapter createConstraintAdapter() | 685 | public Adapter createLogicLiteralAdapter() |
856 | { | 686 | { |
857 | return null; | 687 | return null; |
858 | } | 688 | } |
859 | 689 | ||
860 | /** | 690 | /** |
861 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType <em>Closure Type</em>}'. | 691 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'. |
862 | * <!-- begin-user-doc --> | 692 | * <!-- begin-user-doc --> |
863 | * This default implementation returns null so that we can easily ignore cases; | 693 | * This default implementation returns null so that we can easily ignore cases; |
864 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 694 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
865 | * <!-- end-user-doc --> | 695 | * <!-- end-user-doc --> |
866 | * @return the new adapter. | 696 | * @return the new adapter. |
867 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType | 697 | * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral |
868 | * @generated | 698 | * @generated |
869 | */ | 699 | */ |
870 | public Adapter createClosureTypeAdapter() | 700 | public Adapter createNumericLiteralAdapter() |
871 | { | 701 | { |
872 | return null; | 702 | return null; |
873 | } | 703 | } |
874 | 704 | ||
875 | /** | 705 | /** |
876 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'. | 706 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'. |
877 | * <!-- begin-user-doc --> | 707 | * <!-- begin-user-doc --> |
878 | * This default implementation returns null so that we can easily ignore cases; | 708 | * This default implementation returns null so that we can easily ignore cases; |
879 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 709 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
880 | * <!-- end-user-doc --> | 710 | * <!-- end-user-doc --> |
881 | * @return the new adapter. | 711 | * @return the new adapter. |
882 | * @see org.eclipse.viatra.solver.language.solverLanguage.Literal | 712 | * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral |
883 | * @generated | 713 | * @generated |
884 | */ | 714 | */ |
885 | public Adapter createLiteralAdapter() | 715 | public Adapter createInfinityLiteralAdapter() |
886 | { | 716 | { |
887 | return null; | 717 | return null; |
888 | } | 718 | } |
889 | 719 | ||
890 | /** | 720 | /** |
891 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'. | 721 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'. |
892 | * <!-- begin-user-doc --> | 722 | * <!-- begin-user-doc --> |
893 | * This default implementation returns null so that we can easily ignore cases; | 723 | * This default implementation returns null so that we can easily ignore cases; |
894 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 724 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
895 | * <!-- end-user-doc --> | 725 | * <!-- end-user-doc --> |
896 | * @return the new adapter. | 726 | * @return the new adapter. |
897 | * @see org.eclipse.viatra.solver.language.solverLanguage.Variable | 727 | * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral |
898 | * @generated | 728 | * @generated |
899 | */ | 729 | */ |
900 | public Adapter createVariableAdapter() | 730 | public Adapter createEmptyIntervalLiteralAdapter() |
901 | { | 731 | { |
902 | return null; | 732 | return null; |
903 | } | 733 | } |
904 | 734 | ||
905 | /** | 735 | /** |
906 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances <em>All Instances</em>}'. | 736 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'. |
907 | * <!-- begin-user-doc --> | 737 | * <!-- begin-user-doc --> |
908 | * This default implementation returns null so that we can easily ignore cases; | 738 | * This default implementation returns null so that we can easily ignore cases; |
909 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 739 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
910 | * <!-- end-user-doc --> | 740 | * <!-- end-user-doc --> |
911 | * @return the new adapter. | 741 | * @return the new adapter. |
912 | * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances | 742 | * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral |
913 | * @generated | 743 | * @generated |
914 | */ | 744 | */ |
915 | public Adapter createAllInstancesAdapter() | 745 | public Adapter createStringLiteralAdapter() |
916 | { | 746 | { |
917 | return null; | 747 | return null; |
918 | } | 748 | } |
919 | 749 | ||
920 | /** | 750 | /** |
921 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects <em>All Objects</em>}'. | 751 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'. |
922 | * <!-- begin-user-doc --> | 752 | * <!-- begin-user-doc --> |
923 | * This default implementation returns null so that we can easily ignore cases; | 753 | * This default implementation returns null so that we can easily ignore cases; |
924 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 754 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
925 | * <!-- end-user-doc --> | 755 | * <!-- end-user-doc --> |
926 | * @return the new adapter. | 756 | * @return the new adapter. |
927 | * @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects | 757 | * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition |
928 | * @generated | 758 | * @generated |
929 | */ | 759 | */ |
930 | public Adapter createAllObjectsAdapter() | 760 | public Adapter createMemberDefinitionAdapter() |
931 | { | 761 | { |
932 | return null; | 762 | return null; |
933 | } | 763 | } |
934 | 764 | ||
935 | /** | 765 | /** |
936 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation <em>Default Interpretation</em>}'. | 766 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'. |
937 | * <!-- begin-user-doc --> | 767 | * <!-- begin-user-doc --> |
938 | * This default implementation returns null so that we can easily ignore cases; | 768 | * This default implementation returns null so that we can easily ignore cases; |
939 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 769 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
940 | * <!-- end-user-doc --> | 770 | * <!-- end-user-doc --> |
941 | * @return the new adapter. | 771 | * @return the new adapter. |
942 | * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation | 772 | * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity |
943 | * @generated | 773 | * @generated |
944 | */ | 774 | */ |
945 | public Adapter createDefaultInterpretationAdapter() | 775 | public Adapter createMultiplicityAdapter() |
946 | { | 776 | { |
947 | return null; | 777 | return null; |
948 | } | 778 | } |
949 | 779 | ||
950 | /** | 780 | /** |
951 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation <em>CD Interpretation</em>}'. | 781 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'. |
952 | * <!-- begin-user-doc --> | 782 | * <!-- begin-user-doc --> |
953 | * This default implementation returns null so that we can easily ignore cases; | 783 | * This default implementation returns null so that we can easily ignore cases; |
954 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 784 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
955 | * <!-- end-user-doc --> | 785 | * <!-- end-user-doc --> |
956 | * @return the new adapter. | 786 | * @return the new adapter. |
957 | * @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation | 787 | * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity |
958 | * @generated | 788 | * @generated |
959 | */ | 789 | */ |
960 | public Adapter createCDInterpretationAdapter() | 790 | public Adapter createManyMultiplicityAdapter() |
961 | { | 791 | { |
962 | return null; | 792 | return null; |
963 | } | 793 | } |
964 | 794 | ||
965 | /** | 795 | /** |
966 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation <em>Class Interpretation</em>}'. | 796 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'. |
967 | * <!-- begin-user-doc --> | 797 | * <!-- begin-user-doc --> |
968 | * This default implementation returns null so that we can easily ignore cases; | 798 | * This default implementation returns null so that we can easily ignore cases; |
969 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 799 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
970 | * <!-- end-user-doc --> | 800 | * <!-- end-user-doc --> |
971 | * @return the new adapter. | 801 | * @return the new adapter. |
972 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation | 802 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity |
973 | * @generated | 803 | * @generated |
974 | */ | 804 | */ |
975 | public Adapter createClassInterpretationAdapter() | 805 | public Adapter createExactMultiplicityAdapter() |
976 | { | 806 | { |
977 | return null; | 807 | return null; |
978 | } | 808 | } |
979 | 809 | ||
980 | /** | 810 | /** |
981 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation <em>Enum Interpretation</em>}'. | 811 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'. |
982 | * <!-- begin-user-doc --> | 812 | * <!-- begin-user-doc --> |
983 | * This default implementation returns null so that we can easily ignore cases; | 813 | * This default implementation returns null so that we can easily ignore cases; |
984 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 814 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
985 | * <!-- end-user-doc --> | 815 | * <!-- end-user-doc --> |
986 | * @return the new adapter. | 816 | * @return the new adapter. |
987 | * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation | 817 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity |
988 | * @generated | 818 | * @generated |
989 | */ | 819 | */ |
990 | public Adapter createEnumInterpretationAdapter() | 820 | public Adapter createBoundedMultiplicityAdapter() |
991 | { | 821 | { |
992 | return null; | 822 | return null; |
993 | } | 823 | } |
994 | 824 | ||
995 | /** | 825 | /** |
996 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation <em>Field Relation Interpretation</em>}'. | 826 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'. |
997 | * <!-- begin-user-doc --> | 827 | * <!-- begin-user-doc --> |
998 | * This default implementation returns null so that we can easily ignore cases; | 828 | * This default implementation returns null so that we can easily ignore cases; |
999 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 829 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1000 | * <!-- end-user-doc --> | 830 | * <!-- end-user-doc --> |
1001 | * @return the new adapter. | 831 | * @return the new adapter. |
1002 | * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation | 832 | * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition |
1003 | * @generated | 833 | * @generated |
1004 | */ | 834 | */ |
1005 | public Adapter createFieldRelationInterpretationAdapter() | 835 | public Adapter createScopeDefinitionAdapter() |
1006 | { | 836 | { |
1007 | return null; | 837 | return null; |
1008 | } | 838 | } |
1009 | 839 | ||
1010 | /** | 840 | /** |
1011 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation <em>Global Relation Interpretation</em>}'. | 841 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'. |
1012 | * <!-- begin-user-doc --> | 842 | * <!-- begin-user-doc --> |
1013 | * This default implementation returns null so that we can easily ignore cases; | 843 | * This default implementation returns null so that we can easily ignore cases; |
1014 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 844 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1015 | * <!-- end-user-doc --> | 845 | * <!-- end-user-doc --> |
1016 | * @return the new adapter. | 846 | * @return the new adapter. |
1017 | * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation | 847 | * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition |
1018 | * @generated | 848 | * @generated |
1019 | */ | 849 | */ |
1020 | public Adapter createGlobalRelationInterpretationAdapter() | 850 | public Adapter createExactScopeDefinitionAdapter() |
1021 | { | 851 | { |
1022 | return null; | 852 | return null; |
1023 | } | 853 | } |
1024 | 854 | ||
1025 | /** | 855 | /** |
1026 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition <em>Multiplicity Definition</em>}'. | 856 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'. |
1027 | * <!-- begin-user-doc --> | 857 | * <!-- begin-user-doc --> |
1028 | * This default implementation returns null so that we can easily ignore cases; | 858 | * This default implementation returns null so that we can easily ignore cases; |
1029 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 859 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1030 | * <!-- end-user-doc --> | 860 | * <!-- end-user-doc --> |
1031 | * @return the new adapter. | 861 | * @return the new adapter. |
1032 | * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition | 862 | * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition |
1033 | * @generated | 863 | * @generated |
1034 | */ | 864 | */ |
1035 | public Adapter createMultiplicityDefinitionAdapter() | 865 | public Adapter createBoundedScopeDefinitionAdapter() |
1036 | { | 866 | { |
1037 | return null; | 867 | return null; |
1038 | } | 868 | } |
1039 | 869 | ||
1040 | /** | 870 | /** |
1041 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue <em>Boolean True</em>}'. | 871 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'. |
1042 | * <!-- begin-user-doc --> | 872 | * <!-- begin-user-doc --> |
1043 | * This default implementation returns null so that we can easily ignore cases; | 873 | * This default implementation returns null so that we can easily ignore cases; |
1044 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 874 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1045 | * <!-- end-user-doc --> | 875 | * <!-- end-user-doc --> |
1046 | * @return the new adapter. | 876 | * @return the new adapter. |
1047 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue | 877 | * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition |
1048 | * @generated | 878 | * @generated |
1049 | */ | 879 | */ |
1050 | public Adapter createBooleanTrueAdapter() | 880 | public Adapter createLowerBoundedScopeDefinitionAdapter() |
1051 | { | 881 | { |
1052 | return null; | 882 | return null; |
1053 | } | 883 | } |
1054 | 884 | ||
1055 | /** | 885 | /** |
1056 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse <em>Boolean False</em>}'. | 886 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'. |
1057 | * <!-- begin-user-doc --> | 887 | * <!-- begin-user-doc --> |
1058 | * This default implementation returns null so that we can easily ignore cases; | 888 | * This default implementation returns null so that we can easily ignore cases; |
1059 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 889 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1060 | * <!-- end-user-doc --> | 890 | * <!-- end-user-doc --> |
1061 | * @return the new adapter. | 891 | * @return the new adapter. |
1062 | * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse | 892 | * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition |
1063 | * @generated | 893 | * @generated |
1064 | */ | 894 | */ |
1065 | public Adapter createBooleanFalseAdapter() | 895 | public Adapter createObjectiveDefinitionAdapter() |
1066 | { | 896 | { |
1067 | return null; | 897 | return null; |
1068 | } | 898 | } |
1069 | 899 | ||
1070 | /** | 900 | /** |
1071 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.True <em>True</em>}'. | 901 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'. |
1072 | * <!-- begin-user-doc --> | 902 | * <!-- begin-user-doc --> |
1073 | * This default implementation returns null so that we can easily ignore cases; | 903 | * This default implementation returns null so that we can easily ignore cases; |
1074 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 904 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1075 | * <!-- end-user-doc --> | 905 | * <!-- end-user-doc --> |
1076 | * @return the new adapter. | 906 | * @return the new adapter. |
1077 | * @see org.eclipse.viatra.solver.language.solverLanguage.True | 907 | * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement |
1078 | * @generated | 908 | * @generated |
1079 | */ | 909 | */ |
1080 | public Adapter createTrueAdapter() | 910 | public Adapter createNamedElementAdapter() |
1081 | { | 911 | { |
1082 | return null; | 912 | return null; |
1083 | } | 913 | } |
1084 | 914 | ||
1085 | /** | 915 | /** |
1086 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.False <em>False</em>}'. | 916 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion <em>Assertion</em>}'. |
1087 | * <!-- begin-user-doc --> | 917 | * <!-- begin-user-doc --> |
1088 | * This default implementation returns null so that we can easily ignore cases; | 918 | * This default implementation returns null so that we can easily ignore cases; |
1089 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 919 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1090 | * <!-- end-user-doc --> | 920 | * <!-- end-user-doc --> |
1091 | * @return the new adapter. | 921 | * @return the new adapter. |
1092 | * @see org.eclipse.viatra.solver.language.solverLanguage.False | 922 | * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion |
1093 | * @generated | 923 | * @generated |
1094 | */ | 924 | */ |
1095 | public Adapter createFalseAdapter() | 925 | public Adapter createAssertionAdapter() |
1096 | { | 926 | { |
1097 | return null; | 927 | return null; |
1098 | } | 928 | } |
1099 | 929 | ||
1100 | /** | 930 | /** |
1101 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown <em>Unknown</em>}'. | 931 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'. |
1102 | * <!-- begin-user-doc --> | 932 | * <!-- begin-user-doc --> |
1103 | * This default implementation returns null so that we can easily ignore cases; | 933 | * This default implementation returns null so that we can easily ignore cases; |
1104 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 934 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1105 | * <!-- end-user-doc --> | 935 | * <!-- end-user-doc --> |
1106 | * @return the new adapter. | 936 | * @return the new adapter. |
1107 | * @see org.eclipse.viatra.solver.language.solverLanguage.Unknown | 937 | * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction |
1108 | * @generated | 938 | * @generated |
1109 | */ | 939 | */ |
1110 | public Adapter createUnknownAdapter() | 940 | public Adapter createDisjunctionAdapter() |
1111 | { | 941 | { |
1112 | return null; | 942 | return null; |
1113 | } | 943 | } |
1114 | 944 | ||
1115 | /** | 945 | /** |
1116 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error <em>Error</em>}'. | 946 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'. |
1117 | * <!-- begin-user-doc --> | 947 | * <!-- begin-user-doc --> |
1118 | * This default implementation returns null so that we can easily ignore cases; | 948 | * This default implementation returns null so that we can easily ignore cases; |
1119 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 949 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1120 | * <!-- end-user-doc --> | 950 | * <!-- end-user-doc --> |
1121 | * @return the new adapter. | 951 | * @return the new adapter. |
1122 | * @see org.eclipse.viatra.solver.language.solverLanguage.Error | 952 | * @see org.eclipse.viatra.solver.language.solverLanguage.Switch |
1123 | * @generated | 953 | * @generated |
1124 | */ | 954 | */ |
1125 | public Adapter createErrorAdapter() | 955 | public Adapter createSwitchAdapter() |
1126 | { | 956 | { |
1127 | return null; | 957 | return null; |
1128 | } | 958 | } |
1129 | 959 | ||
1130 | /** | 960 | /** |
1131 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive <em>Positive</em>}'. | 961 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'. |
1132 | * <!-- begin-user-doc --> | 962 | * <!-- begin-user-doc --> |
1133 | * This default implementation returns null so that we can easily ignore cases; | 963 | * This default implementation returns null so that we can easily ignore cases; |
1134 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 964 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1135 | * <!-- end-user-doc --> | 965 | * <!-- end-user-doc --> |
1136 | * @return the new adapter. | 966 | * @return the new adapter. |
1137 | * @see org.eclipse.viatra.solver.language.solverLanguage.Positive | 967 | * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction |
1138 | * @generated | 968 | * @generated |
1139 | */ | 969 | */ |
1140 | public Adapter createPositiveAdapter() | 970 | public Adapter createConjunctionAdapter() |
1141 | { | 971 | { |
1142 | return null; | 972 | return null; |
1143 | } | 973 | } |
1144 | 974 | ||
1145 | /** | 975 | /** |
1146 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative <em>Negative</em>}'. | 976 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'. |
1147 | * <!-- begin-user-doc --> | 977 | * <!-- begin-user-doc --> |
1148 | * This default implementation returns null so that we can easily ignore cases; | 978 | * This default implementation returns null so that we can easily ignore cases; |
1149 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 979 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1150 | * <!-- end-user-doc --> | 980 | * <!-- end-user-doc --> |
1151 | * @return the new adapter. | 981 | * @return the new adapter. |
1152 | * @see org.eclipse.viatra.solver.language.solverLanguage.Negative | 982 | * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison |
1153 | * @generated | 983 | * @generated |
1154 | */ | 984 | */ |
1155 | public Adapter createNegativeAdapter() | 985 | public Adapter createComparisonAdapter() |
1156 | { | 986 | { |
1157 | return null; | 987 | return null; |
1158 | } | 988 | } |
1159 | 989 | ||
1160 | /** | 990 | /** |
1161 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure <em>Reflexive Closure</em>}'. | 991 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'. |
1162 | * <!-- begin-user-doc --> | 992 | * <!-- begin-user-doc --> |
1163 | * This default implementation returns null so that we can easily ignore cases; | 993 | * This default implementation returns null so that we can easily ignore cases; |
1164 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 994 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1165 | * <!-- end-user-doc --> | 995 | * <!-- end-user-doc --> |
1166 | * @return the new adapter. | 996 | * @return the new adapter. |
1167 | * @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure | 997 | * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression |
1168 | * @generated | 998 | * @generated |
1169 | */ | 999 | */ |
1170 | public Adapter createReflexiveClosureAdapter() | 1000 | public Adapter createBinaryExpressionAdapter() |
1171 | { | 1001 | { |
1172 | return null; | 1002 | return null; |
1173 | } | 1003 | } |
1174 | 1004 | ||
1175 | /** | 1005 | /** |
1176 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure <em>Irreflexive Closure</em>}'. | 1006 | * Creates a new adapter for an object of class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'. |
1177 | * <!-- begin-user-doc --> | 1007 | * <!-- begin-user-doc --> |
1178 | * This default implementation returns null so that we can easily ignore cases; | 1008 | * This default implementation returns null so that we can easily ignore cases; |
1179 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | 1009 | * it's useful to ignore a case when inheritance will catch all the cases anyway. |
1180 | * <!-- end-user-doc --> | 1010 | * <!-- end-user-doc --> |
1181 | * @return the new adapter. | 1011 | * @return the new adapter. |
1182 | * @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure | 1012 | * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression |
1183 | * @generated | 1013 | * @generated |
1184 | */ | 1014 | */ |
1185 | public Adapter createIrreflexiveClosureAdapter() | 1015 | public Adapter createUnaryExpressionAdapter() |
1186 | { | 1016 | { |
1187 | return null; | 1017 | return null; |
1188 | } | 1018 | } |