aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java856
1 files changed, 332 insertions, 524 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
index 6f6bcd17..f64b6bc0 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java
@@ -1,5 +1,5 @@
1/** 1/**
2 * generated by Xtext 2.18.0.M3 2 * generated by Xtext 2.21.0
3 */ 3 */
4package org.eclipse.viatra.solver.language.solverLanguage.util; 4package org.eclipse.viatra.solver.language.solverLanguage.util;
5 5
@@ -8,57 +8,7 @@ import org.eclipse.emf.ecore.EPackage;
8 8
9import org.eclipse.emf.ecore.util.Switch; 9import org.eclipse.emf.ecore.util.Switch;
10 10
11import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; 11import org.eclipse.viatra.solver.language.solverLanguage.*;
12import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;
13import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;
14import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;
15import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;
16import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;
19import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;
20import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;
21import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;
22import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;
23import org.eclipse.viatra.solver.language.solverLanguage.Constraint;
24import org.eclipse.viatra.solver.language.solverLanguage.DataObject;
25import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;
26import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;
27import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;
28import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;
29import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
30import org.eclipse.viatra.solver.language.solverLanguage.False;
31import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
32import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
33import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
34import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
35import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
36import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
37import org.eclipse.viatra.solver.language.solverLanguage.Literal;
38import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
39import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
40import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
41import org.eclipse.viatra.solver.language.solverLanguage.Negative;
42import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
43import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
44import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
45import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
46import org.eclipse.viatra.solver.language.solverLanguage.Positive;
47import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
48import org.eclipse.viatra.solver.language.solverLanguage.Problem;
49import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
50import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
51import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
52import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
53import org.eclipse.viatra.solver.language.solverLanguage.Statement;
54import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
55import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
56import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
57import org.eclipse.viatra.solver.language.solverLanguage.True;
58import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
59import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
60import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
61import org.eclipse.viatra.solver.language.solverLanguage.Variable;
62 12
63/** 13/**
64 * <!-- begin-user-doc --> 14 * <!-- begin-user-doc -->
@@ -137,423 +87,377 @@ public class SolverLanguageSwitch<T> extends Switch<T>
137 if (result == null) result = defaultCase(theEObject); 87 if (result == null) result = defaultCase(theEObject);
138 return result; 88 return result;
139 } 89 }
140 case SolverLanguagePackage.BOOLEAN_VALUE: 90 case SolverLanguagePackage.PREDICATE_DEFINITION:
141 { 91 {
142 BooleanValue booleanValue = (BooleanValue)theEObject; 92 PredicateDefinition predicateDefinition = (PredicateDefinition)theEObject;
143 T result = caseBooleanValue(booleanValue); 93 T result = casePredicateDefinition(predicateDefinition);
94 if (result == null) result = caseStatement(predicateDefinition);
144 if (result == null) result = defaultCase(theEObject); 95 if (result == null) result = defaultCase(theEObject);
145 return result; 96 return result;
146 } 97 }
147 case SolverLanguagePackage.TRUTH_VALUE: 98 case SolverLanguagePackage.UNNAMED_ERROR_PREDIATE_DEFINITION:
148 { 99 {
149 TruthValue truthValue = (TruthValue)theEObject; 100 UnnamedErrorPrediateDefinition unnamedErrorPrediateDefinition = (UnnamedErrorPrediateDefinition)theEObject;
150 T result = caseTruthValue(truthValue); 101 T result = caseUnnamedErrorPrediateDefinition(unnamedErrorPrediateDefinition);
102 if (result == null) result = caseStatement(unnamedErrorPrediateDefinition);
151 if (result == null) result = defaultCase(theEObject); 103 if (result == null) result = defaultCase(theEObject);
152 return result; 104 return result;
153 } 105 }
154 case SolverLanguagePackage.INTERPRETATION: 106 case SolverLanguagePackage.DEFAULT_DEFINITION:
155 { 107 {
156 Interpretation interpretation = (Interpretation)theEObject; 108 DefaultDefinition defaultDefinition = (DefaultDefinition)theEObject;
157 T result = caseInterpretation(interpretation); 109 T result = caseDefaultDefinition(defaultDefinition);
158 if (result == null) result = caseStatement(interpretation); 110 if (result == null) result = caseStatement(defaultDefinition);
159 if (result == null) result = defaultCase(theEObject); 111 if (result == null) result = defaultCase(theEObject);
160 return result; 112 return result;
161 } 113 }
162 case SolverLanguagePackage.BASIC_INTERPRETATION: 114 case SolverLanguagePackage.EXTERN_PREDICATE_DEFINITION:
163 { 115 {
164 BasicInterpretation basicInterpretation = (BasicInterpretation)theEObject; 116 ExternPredicateDefinition externPredicateDefinition = (ExternPredicateDefinition)theEObject;
165 T result = caseBasicInterpretation(basicInterpretation); 117 T result = caseExternPredicateDefinition(externPredicateDefinition);
166 if (result == null) result = caseInterpretation(basicInterpretation); 118 if (result == null) result = caseStatement(externPredicateDefinition);
167 if (result == null) result = caseStatement(basicInterpretation);
168 if (result == null) result = defaultCase(theEObject); 119 if (result == null) result = defaultCase(theEObject);
169 return result; 120 return result;
170 } 121 }
171 case SolverLanguagePackage.SYMBOL: 122 case SolverLanguagePackage.METRIC_DEFINITION:
172 { 123 {
173 Symbol symbol = (Symbol)theEObject; 124 MetricDefinition metricDefinition = (MetricDefinition)theEObject;
174 T result = caseSymbol(symbol); 125 T result = caseMetricDefinition(metricDefinition);
126 if (result == null) result = caseStatement(metricDefinition);
175 if (result == null) result = defaultCase(theEObject); 127 if (result == null) result = defaultCase(theEObject);
176 return result; 128 return result;
177 } 129 }
178 case SolverLanguagePackage.MODEL_SYMBOL: 130 case SolverLanguagePackage.EXTERN_METRIC_DEFINITION:
179 { 131 {
180 ModelSymbol modelSymbol = (ModelSymbol)theEObject; 132 ExternMetricDefinition externMetricDefinition = (ExternMetricDefinition)theEObject;
181 T result = caseModelSymbol(modelSymbol); 133 T result = caseExternMetricDefinition(externMetricDefinition);
182 if (result == null) result = caseSymbol(modelSymbol); 134 if (result == null) result = caseStatement(externMetricDefinition);
183 if (result == null) result = defaultCase(theEObject); 135 if (result == null) result = defaultCase(theEObject);
184 return result; 136 return result;
185 } 137 }
186 case SolverLanguagePackage.PARTIALITY_SYMBOL: 138 case SolverLanguagePackage.EXPRESSION:
187 { 139 {
188 PartialitySymbol partialitySymbol = (PartialitySymbol)theEObject; 140 Expression expression = (Expression)theEObject;
189 T result = casePartialitySymbol(partialitySymbol); 141 T result = caseExpression(expression);
190 if (result == null) result = caseSymbol(partialitySymbol); 142 if (result == null) result = caseStatement(expression);
191 if (result == null) result = defaultCase(theEObject); 143 if (result == null) result = defaultCase(theEObject);
192 return result; 144 return result;
193 } 145 }
194 case SolverLanguagePackage.EXIST_SYMBOL: 146 case SolverLanguagePackage.IF_ELSE:
195 { 147 {
196 ExistSymbol existSymbol = (ExistSymbol)theEObject; 148 IfElse ifElse = (IfElse)theEObject;
197 T result = caseExistSymbol(existSymbol); 149 T result = caseIfElse(ifElse);
198 if (result == null) result = casePartialitySymbol(existSymbol); 150 if (result == null) result = caseExpression(ifElse);
199 if (result == null) result = caseSymbol(existSymbol); 151 if (result == null) result = caseStatement(ifElse);
200 if (result == null) result = defaultCase(theEObject); 152 if (result == null) result = defaultCase(theEObject);
201 return result; 153 return result;
202 } 154 }
203 case SolverLanguagePackage.EQUALS_SYMBOL: 155 case SolverLanguagePackage.CASE:
204 { 156 {
205 EqualsSymbol equalsSymbol = (EqualsSymbol)theEObject; 157 Case case_ = (Case)theEObject;
206 T result = caseEqualsSymbol(equalsSymbol); 158 T result = caseCase(case_);
207 if (result == null) result = casePartialitySymbol(equalsSymbol); 159 if (result == null) result = caseExpression(case_);
208 if (result == null) result = caseSymbol(equalsSymbol); 160 if (result == null) result = caseStatement(case_);
209 if (result == null) result = defaultCase(theEObject); 161 if (result == null) result = defaultCase(theEObject);
210 return result; 162 return result;
211 } 163 }
212 case SolverLanguagePackage.DATA_SYMBOL: 164 case SolverLanguagePackage.COUNT:
213 { 165 {
214 DataSymbol dataSymbol = (DataSymbol)theEObject; 166 Count count = (Count)theEObject;
215 T result = caseDataSymbol(dataSymbol); 167 T result = caseCount(count);
216 if (result == null) result = caseSymbol(dataSymbol); 168 if (result == null) result = caseExpression(count);
169 if (result == null) result = caseStatement(count);
217 if (result == null) result = defaultCase(theEObject); 170 if (result == null) result = defaultCase(theEObject);
218 return result; 171 return result;
219 } 172 }
220 case SolverLanguagePackage.BOOLEAN_SYMBOL: 173 case SolverLanguagePackage.AGGREGATION:
221 { 174 {
222 BooleanSymbol booleanSymbol = (BooleanSymbol)theEObject; 175 Aggregation aggregation = (Aggregation)theEObject;
223 T result = caseBooleanSymbol(booleanSymbol); 176 T result = caseAggregation(aggregation);
224 if (result == null) result = caseDataSymbol(booleanSymbol); 177 if (result == null) result = caseExpression(aggregation);
225 if (result == null) result = caseSymbol(booleanSymbol); 178 if (result == null) result = caseStatement(aggregation);
226 if (result == null) result = defaultCase(theEObject); 179 if (result == null) result = defaultCase(theEObject);
227 return result; 180 return result;
228 } 181 }
229 case SolverLanguagePackage.INTEGER_SYMBOL: 182 case SolverLanguagePackage.CALL:
230 { 183 {
231 IntegerSymbol integerSymbol = (IntegerSymbol)theEObject; 184 Call call = (Call)theEObject;
232 T result = caseIntegerSymbol(integerSymbol); 185 T result = caseCall(call);
233 if (result == null) result = caseDataSymbol(integerSymbol); 186 if (result == null) result = caseExpression(call);
234 if (result == null) result = caseSymbol(integerSymbol); 187 if (result == null) result = caseStatement(call);
235 if (result == null) result = defaultCase(theEObject); 188 if (result == null) result = defaultCase(theEObject);
236 return result; 189 return result;
237 } 190 }
238 case SolverLanguagePackage.REAL_SYMBOL: 191 case SolverLanguagePackage.ARGUMENT_LIST:
239 { 192 {
240 RealSymbol realSymbol = (RealSymbol)theEObject; 193 ArgumentList argumentList = (ArgumentList)theEObject;
241 T result = caseRealSymbol(realSymbol); 194 T result = caseArgumentList(argumentList);
242 if (result == null) result = caseDataSymbol(realSymbol);
243 if (result == null) result = caseSymbol(realSymbol);
244 if (result == null) result = defaultCase(theEObject); 195 if (result == null) result = defaultCase(theEObject);
245 return result; 196 return result;
246 } 197 }
247 case SolverLanguagePackage.STRING_SYMBOL: 198 case SolverLanguagePackage.ARGUMENT:
248 { 199 {
249 StringSymbol stringSymbol = (StringSymbol)theEObject; 200 Argument argument = (Argument)theEObject;
250 T result = caseStringSymbol(stringSymbol); 201 T result = caseArgument(argument);
251 if (result == null) result = caseDataSymbol(stringSymbol);
252 if (result == null) result = caseSymbol(stringSymbol);
253 if (result == null) result = defaultCase(theEObject); 202 if (result == null) result = defaultCase(theEObject);
254 return result; 203 return result;
255 } 204 }
256 case SolverLanguagePackage.COMPLEX_OBJECT: 205 case SolverLanguagePackage.EXPRESSION_ARGUMENT:
257 { 206 {
258 ComplexObject complexObject = (ComplexObject)theEObject; 207 ExpressionArgument expressionArgument = (ExpressionArgument)theEObject;
259 T result = caseComplexObject(complexObject); 208 T result = caseExpressionArgument(expressionArgument);
209 if (result == null) result = caseArgument(expressionArgument);
260 if (result == null) result = defaultCase(theEObject); 210 if (result == null) result = defaultCase(theEObject);
261 return result; 211 return result;
262 } 212 }
263 case SolverLanguagePackage.OBJECT: 213 case SolverLanguagePackage.STAR_ARGUMENT:
264 { 214 {
265 org.eclipse.viatra.solver.language.solverLanguage.Object object = (org.eclipse.viatra.solver.language.solverLanguage.Object)theEObject; 215 StarArgument starArgument = (StarArgument)theEObject;
266 T result = caseObject(object); 216 T result = caseStarArgument(starArgument);
267 if (result == null) result = caseComplexObject(object); 217 if (result == null) result = caseArgument(starArgument);
268 if (result == null) result = defaultCase(theEObject); 218 if (result == null) result = defaultCase(theEObject);
269 return result; 219 return result;
270 } 220 }
271 case SolverLanguagePackage.NAMED_OBJECT: 221 case SolverLanguagePackage.TYPED_ARGUMENT:
272 { 222 {
273 NamedObject namedObject = (NamedObject)theEObject; 223 TypedArgument typedArgument = (TypedArgument)theEObject;
274 T result = caseNamedObject(namedObject); 224 T result = caseTypedArgument(typedArgument);
275 if (result == null) result = caseObject(namedObject); 225 if (result == null) result = caseArgument(typedArgument);
276 if (result == null) result = caseLiteral(namedObject);
277 if (result == null) result = caseComplexObject(namedObject);
278 if (result == null) result = defaultCase(theEObject); 226 if (result == null) result = defaultCase(theEObject);
279 return result; 227 return result;
280 } 228 }
281 case SolverLanguagePackage.UNNAMED_OBJECT: 229 case SolverLanguagePackage.TYPED_STAR_ARGUMENT:
282 { 230 {
283 UnnamedObject unnamedObject = (UnnamedObject)theEObject; 231 TypedStarArgument typedStarArgument = (TypedStarArgument)theEObject;
284 T result = caseUnnamedObject(unnamedObject); 232 T result = caseTypedStarArgument(typedStarArgument);
285 if (result == null) result = caseObject(unnamedObject); 233 if (result == null) result = caseArgument(typedStarArgument);
286 if (result == null) result = caseComplexObject(unnamedObject);
287 if (result == null) result = defaultCase(theEObject); 234 if (result == null) result = defaultCase(theEObject);
288 return result; 235 return result;
289 } 236 }
290 case SolverLanguagePackage.DATA_OBJECT: 237 case SolverLanguagePackage.REFERENCE:
291 { 238 {
292 DataObject dataObject = (DataObject)theEObject; 239 Reference reference = (Reference)theEObject;
293 T result = caseDataObject(dataObject); 240 T result = caseReference(reference);
294 if (result == null) result = caseObject(dataObject); 241 if (result == null) result = caseExpression(reference);
295 if (result == null) result = caseLiteral(dataObject); 242 if (result == null) result = caseStatement(reference);
296 if (result == null) result = caseComplexObject(dataObject);
297 if (result == null) result = defaultCase(theEObject); 243 if (result == null) result = defaultCase(theEObject);
298 return result; 244 return result;
299 } 245 }
300 case SolverLanguagePackage.BOOLEAN_OBJECT: 246 case SolverLanguagePackage.INTERVAL:
301 { 247 {
302 BooleanObject booleanObject = (BooleanObject)theEObject; 248 Interval interval = (Interval)theEObject;
303 T result = caseBooleanObject(booleanObject); 249 T result = caseInterval(interval);
304 if (result == null) result = caseDataObject(booleanObject); 250 if (result == null) result = caseExpression(interval);
305 if (result == null) result = caseObject(booleanObject); 251 if (result == null) result = caseStatement(interval);
306 if (result == null) result = caseLiteral(booleanObject);
307 if (result == null) result = caseComplexObject(booleanObject);
308 if (result == null) result = defaultCase(theEObject); 252 if (result == null) result = defaultCase(theEObject);
309 return result; 253 return result;
310 } 254 }
311 case SolverLanguagePackage.INT_OBJECT: 255 case SolverLanguagePackage.LITERAL:
312 {
313 IntObject intObject = (IntObject)theEObject;
314 T result = caseIntObject(intObject);
315 if (result == null) result = caseDataObject(intObject);
316 if (result == null) result = caseObject(intObject);
317 if (result == null) result = caseLiteral(intObject);
318 if (result == null) result = caseComplexObject(intObject);
319 if (result == null) result = defaultCase(theEObject);
320 return result;
321 }
322 case SolverLanguagePackage.REAL_OBJECT:
323 {
324 RealObject realObject = (RealObject)theEObject;
325 T result = caseRealObject(realObject);
326 if (result == null) result = caseDataObject(realObject);
327 if (result == null) result = caseObject(realObject);
328 if (result == null) result = caseLiteral(realObject);
329 if (result == null) result = caseComplexObject(realObject);
330 if (result == null) result = defaultCase(theEObject);
331 return result;
332 }
333 case SolverLanguagePackage.STRING_OBJECT:
334 {
335 StringObject stringObject = (StringObject)theEObject;
336 T result = caseStringObject(stringObject);
337 if (result == null) result = caseDataObject(stringObject);
338 if (result == null) result = caseObject(stringObject);
339 if (result == null) result = caseLiteral(stringObject);
340 if (result == null) result = caseComplexObject(stringObject);
341 if (result == null) result = defaultCase(theEObject);
342 return result;
343 }
344 case SolverLanguagePackage.PREDICATE:
345 {
346 Predicate predicate = (Predicate)theEObject;
347 T result = casePredicate(predicate);
348 if (result == null) result = caseStatement(predicate);
349 if (result == null) result = defaultCase(theEObject);
350 return result;
351 }
352 case SolverLanguagePackage.PARAMETER:
353 {
354 Parameter parameter = (Parameter)theEObject;
355 T result = caseParameter(parameter);
356 if (result == null) result = defaultCase(theEObject);
357 return result;
358 }
359 case SolverLanguagePackage.PATTERN_BODY:
360 { 256 {
361 PatternBody patternBody = (PatternBody)theEObject; 257 Literal literal = (Literal)theEObject;
362 T result = casePatternBody(patternBody); 258 T result = caseLiteral(literal);
259 if (result == null) result = caseExpression(literal);
260 if (result == null) result = caseStatement(literal);
363 if (result == null) result = defaultCase(theEObject); 261 if (result == null) result = defaultCase(theEObject);
364 return result; 262 return result;
365 } 263 }
366 case SolverLanguagePackage.POLARITY: 264 case SolverLanguagePackage.LOGIC_LITERAL:
367 { 265 {
368 Polarity polarity = (Polarity)theEObject; 266 LogicLiteral logicLiteral = (LogicLiteral)theEObject;
369 T result = casePolarity(polarity); 267 T result = caseLogicLiteral(logicLiteral);
268 if (result == null) result = caseLiteral(logicLiteral);
269 if (result == null) result = caseExpression(logicLiteral);
270 if (result == null) result = caseStatement(logicLiteral);
370 if (result == null) result = defaultCase(theEObject); 271 if (result == null) result = defaultCase(theEObject);
371 return result; 272 return result;
372 } 273 }
373 case SolverLanguagePackage.CONSTRAINT: 274 case SolverLanguagePackage.NUMERIC_LITERAL:
374 { 275 {
375 Constraint constraint = (Constraint)theEObject; 276 NumericLiteral numericLiteral = (NumericLiteral)theEObject;
376 T result = caseConstraint(constraint); 277 T result = caseNumericLiteral(numericLiteral);
278 if (result == null) result = caseLiteral(numericLiteral);
279 if (result == null) result = caseExpression(numericLiteral);
280 if (result == null) result = caseStatement(numericLiteral);
377 if (result == null) result = defaultCase(theEObject); 281 if (result == null) result = defaultCase(theEObject);
378 return result; 282 return result;
379 } 283 }
380 case SolverLanguagePackage.CLOSURE_TYPE: 284 case SolverLanguagePackage.INFINITY_LITERAL:
381 { 285 {
382 ClosureType closureType = (ClosureType)theEObject; 286 InfinityLiteral infinityLiteral = (InfinityLiteral)theEObject;
383 T result = caseClosureType(closureType); 287 T result = caseInfinityLiteral(infinityLiteral);
288 if (result == null) result = caseLiteral(infinityLiteral);
289 if (result == null) result = caseExpression(infinityLiteral);
290 if (result == null) result = caseStatement(infinityLiteral);
384 if (result == null) result = defaultCase(theEObject); 291 if (result == null) result = defaultCase(theEObject);
385 return result; 292 return result;
386 } 293 }
387 case SolverLanguagePackage.LITERAL: 294 case SolverLanguagePackage.EMPTY_INTERVAL_LITERAL:
388 { 295 {
389 Literal literal = (Literal)theEObject; 296 EmptyIntervalLiteral emptyIntervalLiteral = (EmptyIntervalLiteral)theEObject;
390 T result = caseLiteral(literal); 297 T result = caseEmptyIntervalLiteral(emptyIntervalLiteral);
298 if (result == null) result = caseLiteral(emptyIntervalLiteral);
299 if (result == null) result = caseExpression(emptyIntervalLiteral);
300 if (result == null) result = caseStatement(emptyIntervalLiteral);
391 if (result == null) result = defaultCase(theEObject); 301 if (result == null) result = defaultCase(theEObject);
392 return result; 302 return result;
393 } 303 }
394 case SolverLanguagePackage.VARIABLE: 304 case SolverLanguagePackage.STRING_LITERAL:
395 { 305 {
396 Variable variable = (Variable)theEObject; 306 StringLiteral stringLiteral = (StringLiteral)theEObject;
397 T result = caseVariable(variable); 307 T result = caseStringLiteral(stringLiteral);
398 if (result == null) result = caseLiteral(variable); 308 if (result == null) result = caseLiteral(stringLiteral);
309 if (result == null) result = caseExpression(stringLiteral);
310 if (result == null) result = caseStatement(stringLiteral);
399 if (result == null) result = defaultCase(theEObject); 311 if (result == null) result = defaultCase(theEObject);
400 return result; 312 return result;
401 } 313 }
402 case SolverLanguagePackage.ALL_INSTANCES: 314 case SolverLanguagePackage.MEMBER_DEFINITION:
403 { 315 {
404 AllInstances allInstances = (AllInstances)theEObject; 316 MemberDefinition memberDefinition = (MemberDefinition)theEObject;
405 T result = caseAllInstances(allInstances); 317 T result = caseMemberDefinition(memberDefinition);
406 if (result == null) result = caseComplexObject(allInstances);
407 if (result == null) result = defaultCase(theEObject); 318 if (result == null) result = defaultCase(theEObject);
408 return result; 319 return result;
409 } 320 }
410 case SolverLanguagePackage.ALL_OBJECTS: 321 case SolverLanguagePackage.MULTIPLICITY:
411 { 322 {
412 AllObjects allObjects = (AllObjects)theEObject; 323 Multiplicity multiplicity = (Multiplicity)theEObject;
413 T result = caseAllObjects(allObjects); 324 T result = caseMultiplicity(multiplicity);
414 if (result == null) result = caseComplexObject(allObjects);
415 if (result == null) result = defaultCase(theEObject); 325 if (result == null) result = defaultCase(theEObject);
416 return result; 326 return result;
417 } 327 }
418 case SolverLanguagePackage.DEFAULT_INTERPRETATION: 328 case SolverLanguagePackage.MANY_MULTIPLICITY:
419 { 329 {
420 DefaultInterpretation defaultInterpretation = (DefaultInterpretation)theEObject; 330 ManyMultiplicity manyMultiplicity = (ManyMultiplicity)theEObject;
421 T result = caseDefaultInterpretation(defaultInterpretation); 331 T result = caseManyMultiplicity(manyMultiplicity);
422 if (result == null) result = caseInterpretation(defaultInterpretation); 332 if (result == null) result = caseMultiplicity(manyMultiplicity);
423 if (result == null) result = caseStatement(defaultInterpretation);
424 if (result == null) result = defaultCase(theEObject); 333 if (result == null) result = defaultCase(theEObject);
425 return result; 334 return result;
426 } 335 }
427 case SolverLanguagePackage.CD_INTERPRETATION: 336 case SolverLanguagePackage.EXACT_MULTIPLICITY:
428 { 337 {
429 CDInterpretation cdInterpretation = (CDInterpretation)theEObject; 338 ExactMultiplicity exactMultiplicity = (ExactMultiplicity)theEObject;
430 T result = caseCDInterpretation(cdInterpretation); 339 T result = caseExactMultiplicity(exactMultiplicity);
431 if (result == null) result = caseInterpretation(cdInterpretation); 340 if (result == null) result = caseMultiplicity(exactMultiplicity);
432 if (result == null) result = caseStatement(cdInterpretation);
433 if (result == null) result = defaultCase(theEObject); 341 if (result == null) result = defaultCase(theEObject);
434 return result; 342 return result;
435 } 343 }
436 case SolverLanguagePackage.CLASS_INTERPRETATION: 344 case SolverLanguagePackage.BOUNDED_MULTIPLICITY:
437 { 345 {
438 ClassInterpretation classInterpretation = (ClassInterpretation)theEObject; 346 BoundedMultiplicity boundedMultiplicity = (BoundedMultiplicity)theEObject;
439 T result = caseClassInterpretation(classInterpretation); 347 T result = caseBoundedMultiplicity(boundedMultiplicity);
440 if (result == null) result = caseCDInterpretation(classInterpretation); 348 if (result == null) result = caseMultiplicity(boundedMultiplicity);
441 if (result == null) result = caseInterpretation(classInterpretation);
442 if (result == null) result = caseStatement(classInterpretation);
443 if (result == null) result = defaultCase(theEObject); 349 if (result == null) result = defaultCase(theEObject);
444 return result; 350 return result;
445 } 351 }
446 case SolverLanguagePackage.ENUM_INTERPRETATION: 352 case SolverLanguagePackage.SCOPE_DEFINITION:
447 { 353 {
448 EnumInterpretation enumInterpretation = (EnumInterpretation)theEObject; 354 ScopeDefinition scopeDefinition = (ScopeDefinition)theEObject;
449 T result = caseEnumInterpretation(enumInterpretation); 355 T result = caseScopeDefinition(scopeDefinition);
450 if (result == null) result = caseCDInterpretation(enumInterpretation); 356 if (result == null) result = caseStatement(scopeDefinition);
451 if (result == null) result = caseInterpretation(enumInterpretation);
452 if (result == null) result = caseStatement(enumInterpretation);
453 if (result == null) result = defaultCase(theEObject); 357 if (result == null) result = defaultCase(theEObject);
454 return result; 358 return result;
455 } 359 }
456 case SolverLanguagePackage.FIELD_RELATION_INTERPRETATION: 360 case SolverLanguagePackage.EXACT_SCOPE_DEFINITION:
457 { 361 {
458 FieldRelationInterpretation fieldRelationInterpretation = (FieldRelationInterpretation)theEObject; 362 ExactScopeDefinition exactScopeDefinition = (ExactScopeDefinition)theEObject;
459 T result = caseFieldRelationInterpretation(fieldRelationInterpretation); 363 T result = caseExactScopeDefinition(exactScopeDefinition);
364 if (result == null) result = caseScopeDefinition(exactScopeDefinition);
365 if (result == null) result = caseStatement(exactScopeDefinition);
460 if (result == null) result = defaultCase(theEObject); 366 if (result == null) result = defaultCase(theEObject);
461 return result; 367 return result;
462 } 368 }
463 case SolverLanguagePackage.GLOBAL_RELATION_INTERPRETATION: 369 case SolverLanguagePackage.BOUNDED_SCOPE_DEFINITION:
464 { 370 {
465 GlobalRelationInterpretation globalRelationInterpretation = (GlobalRelationInterpretation)theEObject; 371 BoundedScopeDefinition boundedScopeDefinition = (BoundedScopeDefinition)theEObject;
466 T result = caseGlobalRelationInterpretation(globalRelationInterpretation); 372 T result = caseBoundedScopeDefinition(boundedScopeDefinition);
467 if (result == null) result = caseCDInterpretation(globalRelationInterpretation); 373 if (result == null) result = caseScopeDefinition(boundedScopeDefinition);
468 if (result == null) result = caseInterpretation(globalRelationInterpretation); 374 if (result == null) result = caseStatement(boundedScopeDefinition);
469 if (result == null) result = caseStatement(globalRelationInterpretation);
470 if (result == null) result = defaultCase(theEObject); 375 if (result == null) result = defaultCase(theEObject);
471 return result; 376 return result;
472 } 377 }
473 case SolverLanguagePackage.MULTIPLICITY_DEFINITION: 378 case SolverLanguagePackage.LOWER_BOUNDED_SCOPE_DEFINITION:
474 { 379 {
475 MultiplicityDefinition multiplicityDefinition = (MultiplicityDefinition)theEObject; 380 LowerBoundedScopeDefinition lowerBoundedScopeDefinition = (LowerBoundedScopeDefinition)theEObject;
476 T result = caseMultiplicityDefinition(multiplicityDefinition); 381 T result = caseLowerBoundedScopeDefinition(lowerBoundedScopeDefinition);
382 if (result == null) result = caseScopeDefinition(lowerBoundedScopeDefinition);
383 if (result == null) result = caseStatement(lowerBoundedScopeDefinition);
477 if (result == null) result = defaultCase(theEObject); 384 if (result == null) result = defaultCase(theEObject);
478 return result; 385 return result;
479 } 386 }
480 case SolverLanguagePackage.BOOLEAN_TRUE: 387 case SolverLanguagePackage.OBJECTIVE_DEFINITION:
481 { 388 {
482 BooleanTrue booleanTrue = (BooleanTrue)theEObject; 389 ObjectiveDefinition objectiveDefinition = (ObjectiveDefinition)theEObject;
483 T result = caseBooleanTrue(booleanTrue); 390 T result = caseObjectiveDefinition(objectiveDefinition);
484 if (result == null) result = caseBooleanValue(booleanTrue); 391 if (result == null) result = caseStatement(objectiveDefinition);
485 if (result == null) result = defaultCase(theEObject); 392 if (result == null) result = defaultCase(theEObject);
486 return result; 393 return result;
487 } 394 }
488 case SolverLanguagePackage.BOOLEAN_FALSE: 395 case SolverLanguagePackage.NAMED_ELEMENT:
489 { 396 {
490 BooleanFalse booleanFalse = (BooleanFalse)theEObject; 397 NamedElement namedElement = (NamedElement)theEObject;
491 T result = caseBooleanFalse(booleanFalse); 398 T result = caseNamedElement(namedElement);
492 if (result == null) result = caseBooleanValue(booleanFalse);
493 if (result == null) result = defaultCase(theEObject); 399 if (result == null) result = defaultCase(theEObject);
494 return result; 400 return result;
495 } 401 }
496 case SolverLanguagePackage.TRUE: 402 case SolverLanguagePackage.ASSERTION:
497 { 403 {
498 True true_ = (True)theEObject; 404 Assertion assertion = (Assertion)theEObject;
499 T result = caseTrue(true_); 405 T result = caseAssertion(assertion);
500 if (result == null) result = caseTruthValue(true_); 406 if (result == null) result = caseStatement(assertion);
501 if (result == null) result = defaultCase(theEObject); 407 if (result == null) result = defaultCase(theEObject);
502 return result; 408 return result;
503 } 409 }
504 case SolverLanguagePackage.FALSE: 410 case SolverLanguagePackage.DISJUNCTION:
505 { 411 {
506 False false_ = (False)theEObject; 412 Disjunction disjunction = (Disjunction)theEObject;
507 T result = caseFalse(false_); 413 T result = caseDisjunction(disjunction);
508 if (result == null) result = caseTruthValue(false_); 414 if (result == null) result = caseExpression(disjunction);
415 if (result == null) result = caseStatement(disjunction);
509 if (result == null) result = defaultCase(theEObject); 416 if (result == null) result = defaultCase(theEObject);
510 return result; 417 return result;
511 } 418 }
512 case SolverLanguagePackage.UNKNOWN: 419 case SolverLanguagePackage.SWITCH:
513 { 420 {
514 Unknown unknown = (Unknown)theEObject; 421 org.eclipse.viatra.solver.language.solverLanguage.Switch switch_ = (org.eclipse.viatra.solver.language.solverLanguage.Switch)theEObject;
515 T result = caseUnknown(unknown); 422 T result = caseSwitch(switch_);
516 if (result == null) result = caseTruthValue(unknown); 423 if (result == null) result = caseExpression(switch_);
424 if (result == null) result = caseStatement(switch_);
517 if (result == null) result = defaultCase(theEObject); 425 if (result == null) result = defaultCase(theEObject);
518 return result; 426 return result;
519 } 427 }
520 case SolverLanguagePackage.ERROR: 428 case SolverLanguagePackage.CONJUNCTION:
521 { 429 {
522 org.eclipse.viatra.solver.language.solverLanguage.Error error = (org.eclipse.viatra.solver.language.solverLanguage.Error)theEObject; 430 Conjunction conjunction = (Conjunction)theEObject;
523 T result = caseError(error); 431 T result = caseConjunction(conjunction);
524 if (result == null) result = caseTruthValue(error); 432 if (result == null) result = caseExpression(conjunction);
433 if (result == null) result = caseStatement(conjunction);
525 if (result == null) result = defaultCase(theEObject); 434 if (result == null) result = defaultCase(theEObject);
526 return result; 435 return result;
527 } 436 }
528 case SolverLanguagePackage.POSITIVE: 437 case SolverLanguagePackage.COMPARISON:
529 { 438 {
530 Positive positive = (Positive)theEObject; 439 Comparison comparison = (Comparison)theEObject;
531 T result = casePositive(positive); 440 T result = caseComparison(comparison);
532 if (result == null) result = casePolarity(positive); 441 if (result == null) result = caseExpression(comparison);
442 if (result == null) result = caseStatement(comparison);
533 if (result == null) result = defaultCase(theEObject); 443 if (result == null) result = defaultCase(theEObject);
534 return result; 444 return result;
535 } 445 }
536 case SolverLanguagePackage.NEGATIVE: 446 case SolverLanguagePackage.BINARY_EXPRESSION:
537 { 447 {
538 Negative negative = (Negative)theEObject; 448 BinaryExpression binaryExpression = (BinaryExpression)theEObject;
539 T result = caseNegative(negative); 449 T result = caseBinaryExpression(binaryExpression);
540 if (result == null) result = casePolarity(negative); 450 if (result == null) result = caseExpression(binaryExpression);
451 if (result == null) result = caseStatement(binaryExpression);
541 if (result == null) result = defaultCase(theEObject); 452 if (result == null) result = defaultCase(theEObject);
542 return result; 453 return result;
543 } 454 }
544 case SolverLanguagePackage.REFLEXIVE_CLOSURE: 455 case SolverLanguagePackage.UNARY_EXPRESSION:
545 { 456 {
546 ReflexiveClosure reflexiveClosure = (ReflexiveClosure)theEObject; 457 UnaryExpression unaryExpression = (UnaryExpression)theEObject;
547 T result = caseReflexiveClosure(reflexiveClosure); 458 T result = caseUnaryExpression(unaryExpression);
548 if (result == null) result = caseClosureType(reflexiveClosure); 459 if (result == null) result = caseExpression(unaryExpression);
549 if (result == null) result = defaultCase(theEObject); 460 if (result == null) result = caseStatement(unaryExpression);
550 return result;
551 }
552 case SolverLanguagePackage.IRREFLEXIVE_CLOSURE:
553 {
554 IrreflexiveClosure irreflexiveClosure = (IrreflexiveClosure)theEObject;
555 T result = caseIrreflexiveClosure(irreflexiveClosure);
556 if (result == null) result = caseClosureType(irreflexiveClosure);
557 if (result == null) result = defaultCase(theEObject); 461 if (result == null) result = defaultCase(theEObject);
558 return result; 462 return result;
559 } 463 }
@@ -594,801 +498,705 @@ public class SolverLanguageSwitch<T> extends Switch<T>
594 } 498 }
595 499
596 /** 500 /**
597 * Returns the result of interpreting the object as an instance of '<em>Boolean Value</em>'. 501 * Returns the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
598 * <!-- begin-user-doc -->
599 * This implementation returns null;
600 * returning a non-null result will terminate the switch.
601 * <!-- end-user-doc -->
602 * @param object the target of the switch.
603 * @return the result of interpreting the object as an instance of '<em>Boolean Value</em>'.
604 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
605 * @generated
606 */
607 public T caseBooleanValue(BooleanValue object)
608 {
609 return null;
610 }
611
612 /**
613 * Returns the result of interpreting the object as an instance of '<em>Truth Value</em>'.
614 * <!-- begin-user-doc -->
615 * This implementation returns null;
616 * returning a non-null result will terminate the switch.
617 * <!-- end-user-doc -->
618 * @param object the target of the switch.
619 * @return the result of interpreting the object as an instance of '<em>Truth Value</em>'.
620 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
621 * @generated
622 */
623 public T caseTruthValue(TruthValue object)
624 {
625 return null;
626 }
627
628 /**
629 * Returns the result of interpreting the object as an instance of '<em>Interpretation</em>'.
630 * <!-- begin-user-doc -->
631 * This implementation returns null;
632 * returning a non-null result will terminate the switch.
633 * <!-- end-user-doc -->
634 * @param object the target of the switch.
635 * @return the result of interpreting the object as an instance of '<em>Interpretation</em>'.
636 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
637 * @generated
638 */
639 public T caseInterpretation(Interpretation object)
640 {
641 return null;
642 }
643
644 /**
645 * Returns the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'.
646 * <!-- begin-user-doc --> 502 * <!-- begin-user-doc -->
647 * This implementation returns null; 503 * This implementation returns null;
648 * returning a non-null result will terminate the switch. 504 * returning a non-null result will terminate the switch.
649 * <!-- end-user-doc --> 505 * <!-- end-user-doc -->
650 * @param object the target of the switch. 506 * @param object the target of the switch.
651 * @return the result of interpreting the object as an instance of '<em>Basic Interpretation</em>'. 507 * @return the result of interpreting the object as an instance of '<em>Predicate Definition</em>'.
652 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 508 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
653 * @generated 509 * @generated
654 */ 510 */
655 public T caseBasicInterpretation(BasicInterpretation object) 511 public T casePredicateDefinition(PredicateDefinition object)
656 { 512 {
657 return null; 513 return null;
658 } 514 }
659 515
660 /** 516 /**
661 * Returns the result of interpreting the object as an instance of '<em>Symbol</em>'. 517 * Returns the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'.
662 * <!-- begin-user-doc --> 518 * <!-- begin-user-doc -->
663 * This implementation returns null; 519 * This implementation returns null;
664 * returning a non-null result will terminate the switch. 520 * returning a non-null result will terminate the switch.
665 * <!-- end-user-doc --> 521 * <!-- end-user-doc -->
666 * @param object the target of the switch. 522 * @param object the target of the switch.
667 * @return the result of interpreting the object as an instance of '<em>Symbol</em>'. 523 * @return the result of interpreting the object as an instance of '<em>Unnamed Error Prediate Definition</em>'.
668 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 524 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
669 * @generated 525 * @generated
670 */ 526 */
671 public T caseSymbol(Symbol object) 527 public T caseUnnamedErrorPrediateDefinition(UnnamedErrorPrediateDefinition object)
672 { 528 {
673 return null; 529 return null;
674 } 530 }
675 531
676 /** 532 /**
677 * Returns the result of interpreting the object as an instance of '<em>Model Symbol</em>'. 533 * Returns the result of interpreting the object as an instance of '<em>Default Definition</em>'.
678 * <!-- begin-user-doc --> 534 * <!-- begin-user-doc -->
679 * This implementation returns null; 535 * This implementation returns null;
680 * returning a non-null result will terminate the switch. 536 * returning a non-null result will terminate the switch.
681 * <!-- end-user-doc --> 537 * <!-- end-user-doc -->
682 * @param object the target of the switch. 538 * @param object the target of the switch.
683 * @return the result of interpreting the object as an instance of '<em>Model Symbol</em>'. 539 * @return the result of interpreting the object as an instance of '<em>Default Definition</em>'.
684 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 540 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
685 * @generated 541 * @generated
686 */ 542 */
687 public T caseModelSymbol(ModelSymbol object) 543 public T caseDefaultDefinition(DefaultDefinition object)
688 { 544 {
689 return null; 545 return null;
690 } 546 }
691 547
692 /** 548 /**
693 * Returns the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'. 549 * Returns the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'.
694 * <!-- begin-user-doc --> 550 * <!-- begin-user-doc -->
695 * This implementation returns null; 551 * This implementation returns null;
696 * returning a non-null result will terminate the switch. 552 * returning a non-null result will terminate the switch.
697 * <!-- end-user-doc --> 553 * <!-- end-user-doc -->
698 * @param object the target of the switch. 554 * @param object the target of the switch.
699 * @return the result of interpreting the object as an instance of '<em>Partiality Symbol</em>'. 555 * @return the result of interpreting the object as an instance of '<em>Extern Predicate Definition</em>'.
700 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 556 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
701 * @generated 557 * @generated
702 */ 558 */
703 public T casePartialitySymbol(PartialitySymbol object) 559 public T caseExternPredicateDefinition(ExternPredicateDefinition object)
704 { 560 {
705 return null; 561 return null;
706 } 562 }
707 563
708 /** 564 /**
709 * Returns the result of interpreting the object as an instance of '<em>Exist Symbol</em>'. 565 * Returns the result of interpreting the object as an instance of '<em>Metric Definition</em>'.
710 * <!-- begin-user-doc --> 566 * <!-- begin-user-doc -->
711 * This implementation returns null; 567 * This implementation returns null;
712 * returning a non-null result will terminate the switch. 568 * returning a non-null result will terminate the switch.
713 * <!-- end-user-doc --> 569 * <!-- end-user-doc -->
714 * @param object the target of the switch. 570 * @param object the target of the switch.
715 * @return the result of interpreting the object as an instance of '<em>Exist Symbol</em>'. 571 * @return the result of interpreting the object as an instance of '<em>Metric Definition</em>'.
716 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 572 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
717 * @generated 573 * @generated
718 */ 574 */
719 public T caseExistSymbol(ExistSymbol object) 575 public T caseMetricDefinition(MetricDefinition object)
720 { 576 {
721 return null; 577 return null;
722 } 578 }
723 579
724 /** 580 /**
725 * Returns the result of interpreting the object as an instance of '<em>Equals Symbol</em>'. 581 * Returns the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'.
726 * <!-- begin-user-doc --> 582 * <!-- begin-user-doc -->
727 * This implementation returns null; 583 * This implementation returns null;
728 * returning a non-null result will terminate the switch. 584 * returning a non-null result will terminate the switch.
729 * <!-- end-user-doc --> 585 * <!-- end-user-doc -->
730 * @param object the target of the switch. 586 * @param object the target of the switch.
731 * @return the result of interpreting the object as an instance of '<em>Equals Symbol</em>'. 587 * @return the result of interpreting the object as an instance of '<em>Extern Metric Definition</em>'.
732 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 588 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
733 * @generated 589 * @generated
734 */ 590 */
735 public T caseEqualsSymbol(EqualsSymbol object) 591 public T caseExternMetricDefinition(ExternMetricDefinition object)
736 { 592 {
737 return null; 593 return null;
738 } 594 }
739 595
740 /** 596 /**
741 * Returns the result of interpreting the object as an instance of '<em>Data Symbol</em>'. 597 * Returns the result of interpreting the object as an instance of '<em>Expression</em>'.
742 * <!-- begin-user-doc --> 598 * <!-- begin-user-doc -->
743 * This implementation returns null; 599 * This implementation returns null;
744 * returning a non-null result will terminate the switch. 600 * returning a non-null result will terminate the switch.
745 * <!-- end-user-doc --> 601 * <!-- end-user-doc -->
746 * @param object the target of the switch. 602 * @param object the target of the switch.
747 * @return the result of interpreting the object as an instance of '<em>Data Symbol</em>'. 603 * @return the result of interpreting the object as an instance of '<em>Expression</em>'.
748 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 604 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
749 * @generated 605 * @generated
750 */ 606 */
751 public T caseDataSymbol(DataSymbol object) 607 public T caseExpression(Expression object)
752 { 608 {
753 return null; 609 return null;
754 } 610 }
755 611
756 /** 612 /**
757 * Returns the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'. 613 * Returns the result of interpreting the object as an instance of '<em>If Else</em>'.
758 * <!-- begin-user-doc --> 614 * <!-- begin-user-doc -->
759 * This implementation returns null; 615 * This implementation returns null;
760 * returning a non-null result will terminate the switch. 616 * returning a non-null result will terminate the switch.
761 * <!-- end-user-doc --> 617 * <!-- end-user-doc -->
762 * @param object the target of the switch. 618 * @param object the target of the switch.
763 * @return the result of interpreting the object as an instance of '<em>Boolean Symbol</em>'. 619 * @return the result of interpreting the object as an instance of '<em>If Else</em>'.
764 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 620 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
765 * @generated 621 * @generated
766 */ 622 */
767 public T caseBooleanSymbol(BooleanSymbol object) 623 public T caseIfElse(IfElse object)
768 { 624 {
769 return null; 625 return null;
770 } 626 }
771 627
772 /** 628 /**
773 * Returns the result of interpreting the object as an instance of '<em>Integer Symbol</em>'. 629 * Returns the result of interpreting the object as an instance of '<em>Case</em>'.
774 * <!-- begin-user-doc --> 630 * <!-- begin-user-doc -->
775 * This implementation returns null; 631 * This implementation returns null;
776 * returning a non-null result will terminate the switch. 632 * returning a non-null result will terminate the switch.
777 * <!-- end-user-doc --> 633 * <!-- end-user-doc -->
778 * @param object the target of the switch. 634 * @param object the target of the switch.
779 * @return the result of interpreting the object as an instance of '<em>Integer Symbol</em>'. 635 * @return the result of interpreting the object as an instance of '<em>Case</em>'.
780 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 636 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
781 * @generated 637 * @generated
782 */ 638 */
783 public T caseIntegerSymbol(IntegerSymbol object) 639 public T caseCase(Case object)
784 { 640 {
785 return null; 641 return null;
786 } 642 }
787 643
788 /** 644 /**
789 * Returns the result of interpreting the object as an instance of '<em>Real Symbol</em>'. 645 * Returns the result of interpreting the object as an instance of '<em>Count</em>'.
790 * <!-- begin-user-doc --> 646 * <!-- begin-user-doc -->
791 * This implementation returns null; 647 * This implementation returns null;
792 * returning a non-null result will terminate the switch. 648 * returning a non-null result will terminate the switch.
793 * <!-- end-user-doc --> 649 * <!-- end-user-doc -->
794 * @param object the target of the switch. 650 * @param object the target of the switch.
795 * @return the result of interpreting the object as an instance of '<em>Real Symbol</em>'. 651 * @return the result of interpreting the object as an instance of '<em>Count</em>'.
796 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 652 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
797 * @generated 653 * @generated
798 */ 654 */
799 public T caseRealSymbol(RealSymbol object) 655 public T caseCount(Count object)
800 { 656 {
801 return null; 657 return null;
802 } 658 }
803 659
804 /** 660 /**
805 * Returns the result of interpreting the object as an instance of '<em>String Symbol</em>'. 661 * Returns the result of interpreting the object as an instance of '<em>Aggregation</em>'.
806 * <!-- begin-user-doc --> 662 * <!-- begin-user-doc -->
807 * This implementation returns null; 663 * This implementation returns null;
808 * returning a non-null result will terminate the switch. 664 * returning a non-null result will terminate the switch.
809 * <!-- end-user-doc --> 665 * <!-- end-user-doc -->
810 * @param object the target of the switch. 666 * @param object the target of the switch.
811 * @return the result of interpreting the object as an instance of '<em>String Symbol</em>'. 667 * @return the result of interpreting the object as an instance of '<em>Aggregation</em>'.
812 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 668 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
813 * @generated 669 * @generated
814 */ 670 */
815 public T caseStringSymbol(StringSymbol object) 671 public T caseAggregation(Aggregation object)
816 { 672 {
817 return null; 673 return null;
818 } 674 }
819 675
820 /** 676 /**
821 * Returns the result of interpreting the object as an instance of '<em>Complex Object</em>'. 677 * Returns the result of interpreting the object as an instance of '<em>Call</em>'.
822 * <!-- begin-user-doc --> 678 * <!-- begin-user-doc -->
823 * This implementation returns null; 679 * This implementation returns null;
824 * returning a non-null result will terminate the switch. 680 * returning a non-null result will terminate the switch.
825 * <!-- end-user-doc --> 681 * <!-- end-user-doc -->
826 * @param object the target of the switch. 682 * @param object the target of the switch.
827 * @return the result of interpreting the object as an instance of '<em>Complex Object</em>'. 683 * @return the result of interpreting the object as an instance of '<em>Call</em>'.
828 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 684 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
829 * @generated 685 * @generated
830 */ 686 */
831 public T caseComplexObject(ComplexObject object) 687 public T caseCall(Call object)
832 { 688 {
833 return null; 689 return null;
834 } 690 }
835 691
836 /** 692 /**
837 * Returns the result of interpreting the object as an instance of '<em>Object</em>'. 693 * Returns the result of interpreting the object as an instance of '<em>Argument List</em>'.
838 * <!-- begin-user-doc --> 694 * <!-- begin-user-doc -->
839 * This implementation returns null; 695 * This implementation returns null;
840 * returning a non-null result will terminate the switch. 696 * returning a non-null result will terminate the switch.
841 * <!-- end-user-doc --> 697 * <!-- end-user-doc -->
842 * @param object the target of the switch. 698 * @param object the target of the switch.
843 * @return the result of interpreting the object as an instance of '<em>Object</em>'. 699 * @return the result of interpreting the object as an instance of '<em>Argument List</em>'.
844 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 700 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
845 * @generated 701 * @generated
846 */ 702 */
847 public T caseObject(org.eclipse.viatra.solver.language.solverLanguage.Object object) 703 public T caseArgumentList(ArgumentList object)
848 { 704 {
849 return null; 705 return null;
850 } 706 }
851 707
852 /** 708 /**
853 * Returns the result of interpreting the object as an instance of '<em>Named Object</em>'. 709 * Returns the result of interpreting the object as an instance of '<em>Argument</em>'.
854 * <!-- begin-user-doc --> 710 * <!-- begin-user-doc -->
855 * This implementation returns null; 711 * This implementation returns null;
856 * returning a non-null result will terminate the switch. 712 * returning a non-null result will terminate the switch.
857 * <!-- end-user-doc --> 713 * <!-- end-user-doc -->
858 * @param object the target of the switch. 714 * @param object the target of the switch.
859 * @return the result of interpreting the object as an instance of '<em>Named Object</em>'. 715 * @return the result of interpreting the object as an instance of '<em>Argument</em>'.
860 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 716 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
861 * @generated 717 * @generated
862 */ 718 */
863 public T caseNamedObject(NamedObject object) 719 public T caseArgument(Argument object)
864 { 720 {
865 return null; 721 return null;
866 } 722 }
867 723
868 /** 724 /**
869 * Returns the result of interpreting the object as an instance of '<em>Unnamed Object</em>'. 725 * Returns the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
870 * <!-- begin-user-doc --> 726 * <!-- begin-user-doc -->
871 * This implementation returns null; 727 * This implementation returns null;
872 * returning a non-null result will terminate the switch. 728 * returning a non-null result will terminate the switch.
873 * <!-- end-user-doc --> 729 * <!-- end-user-doc -->
874 * @param object the target of the switch. 730 * @param object the target of the switch.
875 * @return the result of interpreting the object as an instance of '<em>Unnamed Object</em>'. 731 * @return the result of interpreting the object as an instance of '<em>Expression Argument</em>'.
876 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 732 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
877 * @generated 733 * @generated
878 */ 734 */
879 public T caseUnnamedObject(UnnamedObject object) 735 public T caseExpressionArgument(ExpressionArgument object)
880 { 736 {
881 return null; 737 return null;
882 } 738 }
883 739
884 /** 740 /**
885 * Returns the result of interpreting the object as an instance of '<em>Data Object</em>'. 741 * Returns the result of interpreting the object as an instance of '<em>Star Argument</em>'.
886 * <!-- begin-user-doc --> 742 * <!-- begin-user-doc -->
887 * This implementation returns null; 743 * This implementation returns null;
888 * returning a non-null result will terminate the switch. 744 * returning a non-null result will terminate the switch.
889 * <!-- end-user-doc --> 745 * <!-- end-user-doc -->
890 * @param object the target of the switch. 746 * @param object the target of the switch.
891 * @return the result of interpreting the object as an instance of '<em>Data Object</em>'. 747 * @return the result of interpreting the object as an instance of '<em>Star Argument</em>'.
892 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 748 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
893 * @generated 749 * @generated
894 */ 750 */
895 public T caseDataObject(DataObject object) 751 public T caseStarArgument(StarArgument object)
896 { 752 {
897 return null; 753 return null;
898 } 754 }
899 755
900 /** 756 /**
901 * Returns the result of interpreting the object as an instance of '<em>Boolean Object</em>'. 757 * Returns the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
902 * <!-- begin-user-doc --> 758 * <!-- begin-user-doc -->
903 * This implementation returns null; 759 * This implementation returns null;
904 * returning a non-null result will terminate the switch. 760 * returning a non-null result will terminate the switch.
905 * <!-- end-user-doc --> 761 * <!-- end-user-doc -->
906 * @param object the target of the switch. 762 * @param object the target of the switch.
907 * @return the result of interpreting the object as an instance of '<em>Boolean Object</em>'. 763 * @return the result of interpreting the object as an instance of '<em>Typed Argument</em>'.
908 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 764 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
909 * @generated 765 * @generated
910 */ 766 */
911 public T caseBooleanObject(BooleanObject object) 767 public T caseTypedArgument(TypedArgument object)
912 { 768 {
913 return null; 769 return null;
914 } 770 }
915 771
916 /** 772 /**
917 * Returns the result of interpreting the object as an instance of '<em>Int Object</em>'. 773 * Returns the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
918 * <!-- begin-user-doc --> 774 * <!-- begin-user-doc -->
919 * This implementation returns null; 775 * This implementation returns null;
920 * returning a non-null result will terminate the switch. 776 * returning a non-null result will terminate the switch.
921 * <!-- end-user-doc --> 777 * <!-- end-user-doc -->
922 * @param object the target of the switch. 778 * @param object the target of the switch.
923 * @return the result of interpreting the object as an instance of '<em>Int Object</em>'. 779 * @return the result of interpreting the object as an instance of '<em>Typed Star Argument</em>'.
924 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 780 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
925 * @generated 781 * @generated
926 */ 782 */
927 public T caseIntObject(IntObject object) 783 public T caseTypedStarArgument(TypedStarArgument object)
928 { 784 {
929 return null; 785 return null;
930 } 786 }
931 787
932 /** 788 /**
933 * Returns the result of interpreting the object as an instance of '<em>Real Object</em>'. 789 * Returns the result of interpreting the object as an instance of '<em>Reference</em>'.
934 * <!-- begin-user-doc --> 790 * <!-- begin-user-doc -->
935 * This implementation returns null; 791 * This implementation returns null;
936 * returning a non-null result will terminate the switch. 792 * returning a non-null result will terminate the switch.
937 * <!-- end-user-doc --> 793 * <!-- end-user-doc -->
938 * @param object the target of the switch. 794 * @param object the target of the switch.
939 * @return the result of interpreting the object as an instance of '<em>Real Object</em>'. 795 * @return the result of interpreting the object as an instance of '<em>Reference</em>'.
940 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 796 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
941 * @generated 797 * @generated
942 */ 798 */
943 public T caseRealObject(RealObject object) 799 public T caseReference(Reference object)
944 { 800 {
945 return null; 801 return null;
946 } 802 }
947 803
948 /** 804 /**
949 * Returns the result of interpreting the object as an instance of '<em>String Object</em>'. 805 * Returns the result of interpreting the object as an instance of '<em>Interval</em>'.
950 * <!-- begin-user-doc --> 806 * <!-- begin-user-doc -->
951 * This implementation returns null; 807 * This implementation returns null;
952 * returning a non-null result will terminate the switch. 808 * returning a non-null result will terminate the switch.
953 * <!-- end-user-doc --> 809 * <!-- end-user-doc -->
954 * @param object the target of the switch. 810 * @param object the target of the switch.
955 * @return the result of interpreting the object as an instance of '<em>String Object</em>'. 811 * @return the result of interpreting the object as an instance of '<em>Interval</em>'.
956 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 812 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
957 * @generated 813 * @generated
958 */ 814 */
959 public T caseStringObject(StringObject object) 815 public T caseInterval(Interval object)
960 { 816 {
961 return null; 817 return null;
962 } 818 }
963 819
964 /** 820 /**
965 * Returns the result of interpreting the object as an instance of '<em>Predicate</em>'. 821 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'.
966 * <!-- begin-user-doc -->
967 * This implementation returns null;
968 * returning a non-null result will terminate the switch.
969 * <!-- end-user-doc -->
970 * @param object the target of the switch.
971 * @return the result of interpreting the object as an instance of '<em>Predicate</em>'.
972 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
973 * @generated
974 */
975 public T casePredicate(Predicate object)
976 {
977 return null;
978 }
979
980 /**
981 * Returns the result of interpreting the object as an instance of '<em>Parameter</em>'.
982 * <!-- begin-user-doc -->
983 * This implementation returns null;
984 * returning a non-null result will terminate the switch.
985 * <!-- end-user-doc -->
986 * @param object the target of the switch.
987 * @return the result of interpreting the object as an instance of '<em>Parameter</em>'.
988 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
989 * @generated
990 */
991 public T caseParameter(Parameter object)
992 {
993 return null;
994 }
995
996 /**
997 * Returns the result of interpreting the object as an instance of '<em>Pattern Body</em>'.
998 * <!-- begin-user-doc -->
999 * This implementation returns null;
1000 * returning a non-null result will terminate the switch.
1001 * <!-- end-user-doc -->
1002 * @param object the target of the switch.
1003 * @return the result of interpreting the object as an instance of '<em>Pattern Body</em>'.
1004 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1005 * @generated
1006 */
1007 public T casePatternBody(PatternBody object)
1008 {
1009 return null;
1010 }
1011
1012 /**
1013 * Returns the result of interpreting the object as an instance of '<em>Polarity</em>'.
1014 * <!-- begin-user-doc --> 822 * <!-- begin-user-doc -->
1015 * This implementation returns null; 823 * This implementation returns null;
1016 * returning a non-null result will terminate the switch. 824 * returning a non-null result will terminate the switch.
1017 * <!-- end-user-doc --> 825 * <!-- end-user-doc -->
1018 * @param object the target of the switch. 826 * @param object the target of the switch.
1019 * @return the result of interpreting the object as an instance of '<em>Polarity</em>'. 827 * @return the result of interpreting the object as an instance of '<em>Literal</em>'.
1020 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 828 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1021 * @generated 829 * @generated
1022 */ 830 */
1023 public T casePolarity(Polarity object) 831 public T caseLiteral(Literal object)
1024 { 832 {
1025 return null; 833 return null;
1026 } 834 }
1027 835
1028 /** 836 /**
1029 * Returns the result of interpreting the object as an instance of '<em>Constraint</em>'. 837 * Returns the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
1030 * <!-- begin-user-doc --> 838 * <!-- begin-user-doc -->
1031 * This implementation returns null; 839 * This implementation returns null;
1032 * returning a non-null result will terminate the switch. 840 * returning a non-null result will terminate the switch.
1033 * <!-- end-user-doc --> 841 * <!-- end-user-doc -->
1034 * @param object the target of the switch. 842 * @param object the target of the switch.
1035 * @return the result of interpreting the object as an instance of '<em>Constraint</em>'. 843 * @return the result of interpreting the object as an instance of '<em>Logic Literal</em>'.
1036 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 844 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1037 * @generated 845 * @generated
1038 */ 846 */
1039 public T caseConstraint(Constraint object) 847 public T caseLogicLiteral(LogicLiteral object)
1040 { 848 {
1041 return null; 849 return null;
1042 } 850 }
1043 851
1044 /** 852 /**
1045 * Returns the result of interpreting the object as an instance of '<em>Closure Type</em>'. 853 * Returns the result of interpreting the object as an instance of '<em>Numeric Literal</em>'.
1046 * <!-- begin-user-doc --> 854 * <!-- begin-user-doc -->
1047 * This implementation returns null; 855 * This implementation returns null;
1048 * returning a non-null result will terminate the switch. 856 * returning a non-null result will terminate the switch.
1049 * <!-- end-user-doc --> 857 * <!-- end-user-doc -->
1050 * @param object the target of the switch. 858 * @param object the target of the switch.
1051 * @return the result of interpreting the object as an instance of '<em>Closure Type</em>'. 859 * @return the result of interpreting the object as an instance of '<em>Numeric Literal</em>'.
1052 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 860 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1053 * @generated 861 * @generated
1054 */ 862 */
1055 public T caseClosureType(ClosureType object) 863 public T caseNumericLiteral(NumericLiteral object)
1056 { 864 {
1057 return null; 865 return null;
1058 } 866 }
1059 867
1060 /** 868 /**
1061 * Returns the result of interpreting the object as an instance of '<em>Literal</em>'. 869 * Returns the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
1062 * <!-- begin-user-doc --> 870 * <!-- begin-user-doc -->
1063 * This implementation returns null; 871 * This implementation returns null;
1064 * returning a non-null result will terminate the switch. 872 * returning a non-null result will terminate the switch.
1065 * <!-- end-user-doc --> 873 * <!-- end-user-doc -->
1066 * @param object the target of the switch. 874 * @param object the target of the switch.
1067 * @return the result of interpreting the object as an instance of '<em>Literal</em>'. 875 * @return the result of interpreting the object as an instance of '<em>Infinity Literal</em>'.
1068 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 876 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1069 * @generated 877 * @generated
1070 */ 878 */
1071 public T caseLiteral(Literal object) 879 public T caseInfinityLiteral(InfinityLiteral object)
1072 { 880 {
1073 return null; 881 return null;
1074 } 882 }
1075 883
1076 /** 884 /**
1077 * Returns the result of interpreting the object as an instance of '<em>Variable</em>'. 885 * Returns the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'.
1078 * <!-- begin-user-doc --> 886 * <!-- begin-user-doc -->
1079 * This implementation returns null; 887 * This implementation returns null;
1080 * returning a non-null result will terminate the switch. 888 * returning a non-null result will terminate the switch.
1081 * <!-- end-user-doc --> 889 * <!-- end-user-doc -->
1082 * @param object the target of the switch. 890 * @param object the target of the switch.
1083 * @return the result of interpreting the object as an instance of '<em>Variable</em>'. 891 * @return the result of interpreting the object as an instance of '<em>Empty Interval Literal</em>'.
1084 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 892 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1085 * @generated 893 * @generated
1086 */ 894 */
1087 public T caseVariable(Variable object) 895 public T caseEmptyIntervalLiteral(EmptyIntervalLiteral object)
1088 { 896 {
1089 return null; 897 return null;
1090 } 898 }
1091 899
1092 /** 900 /**
1093 * Returns the result of interpreting the object as an instance of '<em>All Instances</em>'. 901 * Returns the result of interpreting the object as an instance of '<em>String Literal</em>'.
1094 * <!-- begin-user-doc --> 902 * <!-- begin-user-doc -->
1095 * This implementation returns null; 903 * This implementation returns null;
1096 * returning a non-null result will terminate the switch. 904 * returning a non-null result will terminate the switch.
1097 * <!-- end-user-doc --> 905 * <!-- end-user-doc -->
1098 * @param object the target of the switch. 906 * @param object the target of the switch.
1099 * @return the result of interpreting the object as an instance of '<em>All Instances</em>'. 907 * @return the result of interpreting the object as an instance of '<em>String Literal</em>'.
1100 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 908 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1101 * @generated 909 * @generated
1102 */ 910 */
1103 public T caseAllInstances(AllInstances object) 911 public T caseStringLiteral(StringLiteral object)
1104 { 912 {
1105 return null; 913 return null;
1106 } 914 }
1107 915
1108 /** 916 /**
1109 * Returns the result of interpreting the object as an instance of '<em>All Objects</em>'. 917 * Returns the result of interpreting the object as an instance of '<em>Member Definition</em>'.
1110 * <!-- begin-user-doc --> 918 * <!-- begin-user-doc -->
1111 * This implementation returns null; 919 * This implementation returns null;
1112 * returning a non-null result will terminate the switch. 920 * returning a non-null result will terminate the switch.
1113 * <!-- end-user-doc --> 921 * <!-- end-user-doc -->
1114 * @param object the target of the switch. 922 * @param object the target of the switch.
1115 * @return the result of interpreting the object as an instance of '<em>All Objects</em>'. 923 * @return the result of interpreting the object as an instance of '<em>Member Definition</em>'.
1116 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 924 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1117 * @generated 925 * @generated
1118 */ 926 */
1119 public T caseAllObjects(AllObjects object) 927 public T caseMemberDefinition(MemberDefinition object)
1120 { 928 {
1121 return null; 929 return null;
1122 } 930 }
1123 931
1124 /** 932 /**
1125 * Returns the result of interpreting the object as an instance of '<em>Default Interpretation</em>'. 933 * Returns the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
1126 * <!-- begin-user-doc --> 934 * <!-- begin-user-doc -->
1127 * This implementation returns null; 935 * This implementation returns null;
1128 * returning a non-null result will terminate the switch. 936 * returning a non-null result will terminate the switch.
1129 * <!-- end-user-doc --> 937 * <!-- end-user-doc -->
1130 * @param object the target of the switch. 938 * @param object the target of the switch.
1131 * @return the result of interpreting the object as an instance of '<em>Default Interpretation</em>'. 939 * @return the result of interpreting the object as an instance of '<em>Multiplicity</em>'.
1132 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 940 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1133 * @generated 941 * @generated
1134 */ 942 */
1135 public T caseDefaultInterpretation(DefaultInterpretation object) 943 public T caseMultiplicity(Multiplicity object)
1136 { 944 {
1137 return null; 945 return null;
1138 } 946 }
1139 947
1140 /** 948 /**
1141 * Returns the result of interpreting the object as an instance of '<em>CD Interpretation</em>'. 949 * Returns the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'.
1142 * <!-- begin-user-doc --> 950 * <!-- begin-user-doc -->
1143 * This implementation returns null; 951 * This implementation returns null;
1144 * returning a non-null result will terminate the switch. 952 * returning a non-null result will terminate the switch.
1145 * <!-- end-user-doc --> 953 * <!-- end-user-doc -->
1146 * @param object the target of the switch. 954 * @param object the target of the switch.
1147 * @return the result of interpreting the object as an instance of '<em>CD Interpretation</em>'. 955 * @return the result of interpreting the object as an instance of '<em>Many Multiplicity</em>'.
1148 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 956 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1149 * @generated 957 * @generated
1150 */ 958 */
1151 public T caseCDInterpretation(CDInterpretation object) 959 public T caseManyMultiplicity(ManyMultiplicity object)
1152 { 960 {
1153 return null; 961 return null;
1154 } 962 }
1155 963
1156 /** 964 /**
1157 * Returns the result of interpreting the object as an instance of '<em>Class Interpretation</em>'. 965 * Returns the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
1158 * <!-- begin-user-doc --> 966 * <!-- begin-user-doc -->
1159 * This implementation returns null; 967 * This implementation returns null;
1160 * returning a non-null result will terminate the switch. 968 * returning a non-null result will terminate the switch.
1161 * <!-- end-user-doc --> 969 * <!-- end-user-doc -->
1162 * @param object the target of the switch. 970 * @param object the target of the switch.
1163 * @return the result of interpreting the object as an instance of '<em>Class Interpretation</em>'. 971 * @return the result of interpreting the object as an instance of '<em>Exact Multiplicity</em>'.
1164 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 972 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1165 * @generated 973 * @generated
1166 */ 974 */
1167 public T caseClassInterpretation(ClassInterpretation object) 975 public T caseExactMultiplicity(ExactMultiplicity object)
1168 { 976 {
1169 return null; 977 return null;
1170 } 978 }
1171 979
1172 /** 980 /**
1173 * Returns the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'. 981 * Returns the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1174 * <!-- begin-user-doc --> 982 * <!-- begin-user-doc -->
1175 * This implementation returns null; 983 * This implementation returns null;
1176 * returning a non-null result will terminate the switch. 984 * returning a non-null result will terminate the switch.
1177 * <!-- end-user-doc --> 985 * <!-- end-user-doc -->
1178 * @param object the target of the switch. 986 * @param object the target of the switch.
1179 * @return the result of interpreting the object as an instance of '<em>Enum Interpretation</em>'. 987 * @return the result of interpreting the object as an instance of '<em>Bounded Multiplicity</em>'.
1180 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 988 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1181 * @generated 989 * @generated
1182 */ 990 */
1183 public T caseEnumInterpretation(EnumInterpretation object) 991 public T caseBoundedMultiplicity(BoundedMultiplicity object)
1184 { 992 {
1185 return null; 993 return null;
1186 } 994 }
1187 995
1188 /** 996 /**
1189 * Returns the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'. 997 * Returns the result of interpreting the object as an instance of '<em>Scope Definition</em>'.
1190 * <!-- begin-user-doc --> 998 * <!-- begin-user-doc -->
1191 * This implementation returns null; 999 * This implementation returns null;
1192 * returning a non-null result will terminate the switch. 1000 * returning a non-null result will terminate the switch.
1193 * <!-- end-user-doc --> 1001 * <!-- end-user-doc -->
1194 * @param object the target of the switch. 1002 * @param object the target of the switch.
1195 * @return the result of interpreting the object as an instance of '<em>Field Relation Interpretation</em>'. 1003 * @return the result of interpreting the object as an instance of '<em>Scope Definition</em>'.
1196 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1004 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1197 * @generated 1005 * @generated
1198 */ 1006 */
1199 public T caseFieldRelationInterpretation(FieldRelationInterpretation object) 1007 public T caseScopeDefinition(ScopeDefinition object)
1200 { 1008 {
1201 return null; 1009 return null;
1202 } 1010 }
1203 1011
1204 /** 1012 /**
1205 * Returns the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'. 1013 * Returns the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'.
1206 * <!-- begin-user-doc --> 1014 * <!-- begin-user-doc -->
1207 * This implementation returns null; 1015 * This implementation returns null;
1208 * returning a non-null result will terminate the switch. 1016 * returning a non-null result will terminate the switch.
1209 * <!-- end-user-doc --> 1017 * <!-- end-user-doc -->
1210 * @param object the target of the switch. 1018 * @param object the target of the switch.
1211 * @return the result of interpreting the object as an instance of '<em>Global Relation Interpretation</em>'. 1019 * @return the result of interpreting the object as an instance of '<em>Exact Scope Definition</em>'.
1212 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1020 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1213 * @generated 1021 * @generated
1214 */ 1022 */
1215 public T caseGlobalRelationInterpretation(GlobalRelationInterpretation object) 1023 public T caseExactScopeDefinition(ExactScopeDefinition object)
1216 { 1024 {
1217 return null; 1025 return null;
1218 } 1026 }
1219 1027
1220 /** 1028 /**
1221 * Returns the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'. 1029 * Returns the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'.
1222 * <!-- begin-user-doc --> 1030 * <!-- begin-user-doc -->
1223 * This implementation returns null; 1031 * This implementation returns null;
1224 * returning a non-null result will terminate the switch. 1032 * returning a non-null result will terminate the switch.
1225 * <!-- end-user-doc --> 1033 * <!-- end-user-doc -->
1226 * @param object the target of the switch. 1034 * @param object the target of the switch.
1227 * @return the result of interpreting the object as an instance of '<em>Multiplicity Definition</em>'. 1035 * @return the result of interpreting the object as an instance of '<em>Bounded Scope Definition</em>'.
1228 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1036 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1229 * @generated 1037 * @generated
1230 */ 1038 */
1231 public T caseMultiplicityDefinition(MultiplicityDefinition object) 1039 public T caseBoundedScopeDefinition(BoundedScopeDefinition object)
1232 { 1040 {
1233 return null; 1041 return null;
1234 } 1042 }
1235 1043
1236 /** 1044 /**
1237 * Returns the result of interpreting the object as an instance of '<em>Boolean True</em>'. 1045 * Returns the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'.
1238 * <!-- begin-user-doc --> 1046 * <!-- begin-user-doc -->
1239 * This implementation returns null; 1047 * This implementation returns null;
1240 * returning a non-null result will terminate the switch. 1048 * returning a non-null result will terminate the switch.
1241 * <!-- end-user-doc --> 1049 * <!-- end-user-doc -->
1242 * @param object the target of the switch. 1050 * @param object the target of the switch.
1243 * @return the result of interpreting the object as an instance of '<em>Boolean True</em>'. 1051 * @return the result of interpreting the object as an instance of '<em>Lower Bounded Scope Definition</em>'.
1244 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1052 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1245 * @generated 1053 * @generated
1246 */ 1054 */
1247 public T caseBooleanTrue(BooleanTrue object) 1055 public T caseLowerBoundedScopeDefinition(LowerBoundedScopeDefinition object)
1248 { 1056 {
1249 return null; 1057 return null;
1250 } 1058 }
1251 1059
1252 /** 1060 /**
1253 * Returns the result of interpreting the object as an instance of '<em>Boolean False</em>'. 1061 * Returns the result of interpreting the object as an instance of '<em>Objective Definition</em>'.
1254 * <!-- begin-user-doc --> 1062 * <!-- begin-user-doc -->
1255 * This implementation returns null; 1063 * This implementation returns null;
1256 * returning a non-null result will terminate the switch. 1064 * returning a non-null result will terminate the switch.
1257 * <!-- end-user-doc --> 1065 * <!-- end-user-doc -->
1258 * @param object the target of the switch. 1066 * @param object the target of the switch.
1259 * @return the result of interpreting the object as an instance of '<em>Boolean False</em>'. 1067 * @return the result of interpreting the object as an instance of '<em>Objective Definition</em>'.
1260 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1068 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1261 * @generated 1069 * @generated
1262 */ 1070 */
1263 public T caseBooleanFalse(BooleanFalse object) 1071 public T caseObjectiveDefinition(ObjectiveDefinition object)
1264 { 1072 {
1265 return null; 1073 return null;
1266 } 1074 }
1267 1075
1268 /** 1076 /**
1269 * Returns the result of interpreting the object as an instance of '<em>True</em>'. 1077 * Returns the result of interpreting the object as an instance of '<em>Named Element</em>'.
1270 * <!-- begin-user-doc --> 1078 * <!-- begin-user-doc -->
1271 * This implementation returns null; 1079 * This implementation returns null;
1272 * returning a non-null result will terminate the switch. 1080 * returning a non-null result will terminate the switch.
1273 * <!-- end-user-doc --> 1081 * <!-- end-user-doc -->
1274 * @param object the target of the switch. 1082 * @param object the target of the switch.
1275 * @return the result of interpreting the object as an instance of '<em>True</em>'. 1083 * @return the result of interpreting the object as an instance of '<em>Named Element</em>'.
1276 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1084 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1277 * @generated 1085 * @generated
1278 */ 1086 */
1279 public T caseTrue(True object) 1087 public T caseNamedElement(NamedElement object)
1280 { 1088 {
1281 return null; 1089 return null;
1282 } 1090 }
1283 1091
1284 /** 1092 /**
1285 * Returns the result of interpreting the object as an instance of '<em>False</em>'. 1093 * Returns the result of interpreting the object as an instance of '<em>Assertion</em>'.
1286 * <!-- begin-user-doc --> 1094 * <!-- begin-user-doc -->
1287 * This implementation returns null; 1095 * This implementation returns null;
1288 * returning a non-null result will terminate the switch. 1096 * returning a non-null result will terminate the switch.
1289 * <!-- end-user-doc --> 1097 * <!-- end-user-doc -->
1290 * @param object the target of the switch. 1098 * @param object the target of the switch.
1291 * @return the result of interpreting the object as an instance of '<em>False</em>'. 1099 * @return the result of interpreting the object as an instance of '<em>Assertion</em>'.
1292 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1100 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1293 * @generated 1101 * @generated
1294 */ 1102 */
1295 public T caseFalse(False object) 1103 public T caseAssertion(Assertion object)
1296 { 1104 {
1297 return null; 1105 return null;
1298 } 1106 }
1299 1107
1300 /** 1108 /**
1301 * Returns the result of interpreting the object as an instance of '<em>Unknown</em>'. 1109 * Returns the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1302 * <!-- begin-user-doc --> 1110 * <!-- begin-user-doc -->
1303 * This implementation returns null; 1111 * This implementation returns null;
1304 * returning a non-null result will terminate the switch. 1112 * returning a non-null result will terminate the switch.
1305 * <!-- end-user-doc --> 1113 * <!-- end-user-doc -->
1306 * @param object the target of the switch. 1114 * @param object the target of the switch.
1307 * @return the result of interpreting the object as an instance of '<em>Unknown</em>'. 1115 * @return the result of interpreting the object as an instance of '<em>Disjunction</em>'.
1308 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1116 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1309 * @generated 1117 * @generated
1310 */ 1118 */
1311 public T caseUnknown(Unknown object) 1119 public T caseDisjunction(Disjunction object)
1312 { 1120 {
1313 return null; 1121 return null;
1314 } 1122 }
1315 1123
1316 /** 1124 /**
1317 * Returns the result of interpreting the object as an instance of '<em>Error</em>'. 1125 * Returns the result of interpreting the object as an instance of '<em>Switch</em>'.
1318 * <!-- begin-user-doc --> 1126 * <!-- begin-user-doc -->
1319 * This implementation returns null; 1127 * This implementation returns null;
1320 * returning a non-null result will terminate the switch. 1128 * returning a non-null result will terminate the switch.
1321 * <!-- end-user-doc --> 1129 * <!-- end-user-doc -->
1322 * @param object the target of the switch. 1130 * @param object the target of the switch.
1323 * @return the result of interpreting the object as an instance of '<em>Error</em>'. 1131 * @return the result of interpreting the object as an instance of '<em>Switch</em>'.
1324 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1132 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1325 * @generated 1133 * @generated
1326 */ 1134 */
1327 public T caseError(org.eclipse.viatra.solver.language.solverLanguage.Error object) 1135 public T caseSwitch(org.eclipse.viatra.solver.language.solverLanguage.Switch object)
1328 { 1136 {
1329 return null; 1137 return null;
1330 } 1138 }
1331 1139
1332 /** 1140 /**
1333 * Returns the result of interpreting the object as an instance of '<em>Positive</em>'. 1141 * Returns the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1334 * <!-- begin-user-doc --> 1142 * <!-- begin-user-doc -->
1335 * This implementation returns null; 1143 * This implementation returns null;
1336 * returning a non-null result will terminate the switch. 1144 * returning a non-null result will terminate the switch.
1337 * <!-- end-user-doc --> 1145 * <!-- end-user-doc -->
1338 * @param object the target of the switch. 1146 * @param object the target of the switch.
1339 * @return the result of interpreting the object as an instance of '<em>Positive</em>'. 1147 * @return the result of interpreting the object as an instance of '<em>Conjunction</em>'.
1340 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1148 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1341 * @generated 1149 * @generated
1342 */ 1150 */
1343 public T casePositive(Positive object) 1151 public T caseConjunction(Conjunction object)
1344 { 1152 {
1345 return null; 1153 return null;
1346 } 1154 }
1347 1155
1348 /** 1156 /**
1349 * Returns the result of interpreting the object as an instance of '<em>Negative</em>'. 1157 * Returns the result of interpreting the object as an instance of '<em>Comparison</em>'.
1350 * <!-- begin-user-doc --> 1158 * <!-- begin-user-doc -->
1351 * This implementation returns null; 1159 * This implementation returns null;
1352 * returning a non-null result will terminate the switch. 1160 * returning a non-null result will terminate the switch.
1353 * <!-- end-user-doc --> 1161 * <!-- end-user-doc -->
1354 * @param object the target of the switch. 1162 * @param object the target of the switch.
1355 * @return the result of interpreting the object as an instance of '<em>Negative</em>'. 1163 * @return the result of interpreting the object as an instance of '<em>Comparison</em>'.
1356 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1164 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1357 * @generated 1165 * @generated
1358 */ 1166 */
1359 public T caseNegative(Negative object) 1167 public T caseComparison(Comparison object)
1360 { 1168 {
1361 return null; 1169 return null;
1362 } 1170 }
1363 1171
1364 /** 1172 /**
1365 * Returns the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'. 1173 * Returns the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1366 * <!-- begin-user-doc --> 1174 * <!-- begin-user-doc -->
1367 * This implementation returns null; 1175 * This implementation returns null;
1368 * returning a non-null result will terminate the switch. 1176 * returning a non-null result will terminate the switch.
1369 * <!-- end-user-doc --> 1177 * <!-- end-user-doc -->
1370 * @param object the target of the switch. 1178 * @param object the target of the switch.
1371 * @return the result of interpreting the object as an instance of '<em>Reflexive Closure</em>'. 1179 * @return the result of interpreting the object as an instance of '<em>Binary Expression</em>'.
1372 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1180 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1373 * @generated 1181 * @generated
1374 */ 1182 */
1375 public T caseReflexiveClosure(ReflexiveClosure object) 1183 public T caseBinaryExpression(BinaryExpression object)
1376 { 1184 {
1377 return null; 1185 return null;
1378 } 1186 }
1379 1187
1380 /** 1188 /**
1381 * Returns the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'. 1189 * Returns the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1382 * <!-- begin-user-doc --> 1190 * <!-- begin-user-doc -->
1383 * This implementation returns null; 1191 * This implementation returns null;
1384 * returning a non-null result will terminate the switch. 1192 * returning a non-null result will terminate the switch.
1385 * <!-- end-user-doc --> 1193 * <!-- end-user-doc -->
1386 * @param object the target of the switch. 1194 * @param object the target of the switch.
1387 * @return the result of interpreting the object as an instance of '<em>Irreflexive Closure</em>'. 1195 * @return the result of interpreting the object as an instance of '<em>Unary Expression</em>'.
1388 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) 1196 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
1389 * @generated 1197 * @generated
1390 */ 1198 */
1391 public T caseIrreflexiveClosure(IrreflexiveClosure object) 1199 public T caseUnaryExpression(UnaryExpression object)
1392 { 1200 {
1393 return null; 1201 return null;
1394 } 1202 }
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 14:03:51 +0000