diff options
author | 2020-05-08 18:28:19 +0200 | |
---|---|---|
committer | 2020-05-08 18:28:19 +0200 | |
commit | 419e76265ecbdf65e960e0624be006d31ed1e191 (patch) | |
tree | dad200fe9fd0beae7adde969206b77691a51b85a /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | |
parent | Fix check expressions in generated VIATRA (diff) | |
download | VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.gz VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.tar.zst VIATRA-Generator-419e76265ecbdf65e960e0624be006d31ed1e191.zip |
Update solver language grammar
First version, still needs TokenSource and Linker to work.
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/util/SolverLanguageSwitch.java | 856 |
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 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage.util; | 4 | package org.eclipse.viatra.solver.language.solverLanguage.util; |
5 | 5 | ||
@@ -8,57 +8,7 @@ import org.eclipse.emf.ecore.EPackage; | |||
8 | 8 | ||
9 | import org.eclipse.emf.ecore.util.Switch; | 9 | import org.eclipse.emf.ecore.util.Switch; |
10 | 10 | ||
11 | import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; | 11 | import org.eclipse.viatra.solver.language.solverLanguage.*; |
12 | import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; | ||
13 | import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; | ||
14 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; | ||
15 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; | ||
16 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; | ||
17 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; | ||
18 | import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; | ||
19 | import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; | ||
20 | import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; | ||
21 | import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; | ||
22 | import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; | ||
23 | import org.eclipse.viatra.solver.language.solverLanguage.Constraint; | ||
24 | import org.eclipse.viatra.solver.language.solverLanguage.DataObject; | ||
25 | import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; | ||
26 | import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; | ||
27 | import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; | ||
28 | import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; | ||
29 | import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; | ||
30 | import org.eclipse.viatra.solver.language.solverLanguage.False; | ||
31 | import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; | ||
32 | import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; | ||
33 | import org.eclipse.viatra.solver.language.solverLanguage.IntObject; | ||
34 | import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; | ||
35 | import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; | ||
36 | import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; | ||
37 | import org.eclipse.viatra.solver.language.solverLanguage.Literal; | ||
38 | import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; | ||
39 | import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; | ||
40 | import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; | ||
41 | import org.eclipse.viatra.solver.language.solverLanguage.Negative; | ||
42 | import org.eclipse.viatra.solver.language.solverLanguage.Parameter; | ||
43 | import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; | ||
44 | import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; | ||
45 | import org.eclipse.viatra.solver.language.solverLanguage.Polarity; | ||
46 | import org.eclipse.viatra.solver.language.solverLanguage.Positive; | ||
47 | import org.eclipse.viatra.solver.language.solverLanguage.Predicate; | ||
48 | import org.eclipse.viatra.solver.language.solverLanguage.Problem; | ||
49 | import org.eclipse.viatra.solver.language.solverLanguage.RealObject; | ||
50 | import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; | ||
51 | import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure; | ||
52 | import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; | ||
53 | import org.eclipse.viatra.solver.language.solverLanguage.Statement; | ||
54 | import org.eclipse.viatra.solver.language.solverLanguage.StringObject; | ||
55 | import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; | ||
56 | import org.eclipse.viatra.solver.language.solverLanguage.Symbol; | ||
57 | import org.eclipse.viatra.solver.language.solverLanguage.True; | ||
58 | import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; | ||
59 | import org.eclipse.viatra.solver.language.solverLanguage.Unknown; | ||
60 | import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; | ||
61 | import 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 | } |