diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java index 91fa2086..3551c90f 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageSwitch.java | |||
@@ -210,6 +210,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
210 | if (result == null) result = defaultCase(theEObject); | 210 | if (result == null) result = defaultCase(theEObject); |
211 | return result; | 211 | return result; |
212 | } | 212 | } |
213 | case AlloyLanguagePackage.ALS_STRING_SCOPE: | ||
214 | { | ||
215 | ALSStringScope alsStringScope = (ALSStringScope)theEObject; | ||
216 | T result = caseALSStringScope(alsStringScope); | ||
217 | if (result == null) result = caseALSTypeScope(alsStringScope); | ||
218 | if (result == null) result = defaultCase(theEObject); | ||
219 | return result; | ||
220 | } | ||
213 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: | 221 | case AlloyLanguagePackage.ALS_QUANTIFIED_EX: |
214 | { | 222 | { |
215 | ALSQuantifiedEx alsQuantifiedEx = (ALSQuantifiedEx)theEObject; | 223 | ALSQuantifiedEx alsQuantifiedEx = (ALSQuantifiedEx)theEObject; |
@@ -466,6 +474,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
466 | if (result == null) result = defaultCase(theEObject); | 474 | if (result == null) result = defaultCase(theEObject); |
467 | return result; | 475 | return result; |
468 | } | 476 | } |
477 | case AlloyLanguagePackage.ALS_STRING: | ||
478 | { | ||
479 | ALSString alsString = (ALSString)theEObject; | ||
480 | T result = caseALSString(alsString); | ||
481 | if (result == null) result = caseALSTerm(alsString); | ||
482 | if (result == null) result = defaultCase(theEObject); | ||
483 | return result; | ||
484 | } | ||
469 | case AlloyLanguagePackage.ALS_REFERENCE: | 485 | case AlloyLanguagePackage.ALS_REFERENCE: |
470 | { | 486 | { |
471 | ALSReference alsReference = (ALSReference)theEObject; | 487 | ALSReference alsReference = (ALSReference)theEObject; |
@@ -482,6 +498,14 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
482 | if (result == null) result = defaultCase(theEObject); | 498 | if (result == null) result = defaultCase(theEObject); |
483 | return result; | 499 | return result; |
484 | } | 500 | } |
501 | case AlloyLanguagePackage.ALS_STRING_LITERAL: | ||
502 | { | ||
503 | ALSStringLiteral alsStringLiteral = (ALSStringLiteral)theEObject; | ||
504 | T result = caseALSStringLiteral(alsStringLiteral); | ||
505 | if (result == null) result = caseALSTerm(alsStringLiteral); | ||
506 | if (result == null) result = defaultCase(theEObject); | ||
507 | return result; | ||
508 | } | ||
485 | default: return defaultCase(theEObject); | 509 | default: return defaultCase(theEObject); |
486 | } | 510 | } |
487 | } | 511 | } |
@@ -775,6 +799,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
775 | } | 799 | } |
776 | 800 | ||
777 | /** | 801 | /** |
802 | * Returns the result of interpreting the object as an instance of '<em>ALS String Scope</em>'. | ||
803 | * <!-- begin-user-doc --> | ||
804 | * This implementation returns null; | ||
805 | * returning a non-null result will terminate the switch. | ||
806 | * <!-- end-user-doc --> | ||
807 | * @param object the target of the switch. | ||
808 | * @return the result of interpreting the object as an instance of '<em>ALS String Scope</em>'. | ||
809 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
810 | * @generated | ||
811 | */ | ||
812 | public T caseALSStringScope(ALSStringScope object) | ||
813 | { | ||
814 | return null; | ||
815 | } | ||
816 | |||
817 | /** | ||
778 | * Returns the result of interpreting the object as an instance of '<em>ALS Quantified Ex</em>'. | 818 | * Returns the result of interpreting the object as an instance of '<em>ALS Quantified Ex</em>'. |
779 | * <!-- begin-user-doc --> | 819 | * <!-- begin-user-doc --> |
780 | * This implementation returns null; | 820 | * This implementation returns null; |
@@ -1287,6 +1327,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
1287 | } | 1327 | } |
1288 | 1328 | ||
1289 | /** | 1329 | /** |
1330 | * Returns the result of interpreting the object as an instance of '<em>ALS String</em>'. | ||
1331 | * <!-- begin-user-doc --> | ||
1332 | * This implementation returns null; | ||
1333 | * returning a non-null result will terminate the switch. | ||
1334 | * <!-- end-user-doc --> | ||
1335 | * @param object the target of the switch. | ||
1336 | * @return the result of interpreting the object as an instance of '<em>ALS String</em>'. | ||
1337 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1338 | * @generated | ||
1339 | */ | ||
1340 | public T caseALSString(ALSString object) | ||
1341 | { | ||
1342 | return null; | ||
1343 | } | ||
1344 | |||
1345 | /** | ||
1290 | * Returns the result of interpreting the object as an instance of '<em>ALS Reference</em>'. | 1346 | * Returns the result of interpreting the object as an instance of '<em>ALS Reference</em>'. |
1291 | * <!-- begin-user-doc --> | 1347 | * <!-- begin-user-doc --> |
1292 | * This implementation returns null; | 1348 | * This implementation returns null; |
@@ -1319,6 +1375,22 @@ public class AlloyLanguageSwitch<T> extends Switch<T> | |||
1319 | } | 1375 | } |
1320 | 1376 | ||
1321 | /** | 1377 | /** |
1378 | * Returns the result of interpreting the object as an instance of '<em>ALS String Literal</em>'. | ||
1379 | * <!-- begin-user-doc --> | ||
1380 | * This implementation returns null; | ||
1381 | * returning a non-null result will terminate the switch. | ||
1382 | * <!-- end-user-doc --> | ||
1383 | * @param object the target of the switch. | ||
1384 | * @return the result of interpreting the object as an instance of '<em>ALS String Literal</em>'. | ||
1385 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
1386 | * @generated | ||
1387 | */ | ||
1388 | public T caseALSStringLiteral(ALSStringLiteral object) | ||
1389 | { | ||
1390 | return null; | ||
1391 | } | ||
1392 | |||
1393 | /** | ||
1322 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. | 1394 | * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. |
1323 | * <!-- begin-user-doc --> | 1395 | * <!-- begin-user-doc --> |
1324 | * This implementation returns null; | 1396 | * This implementation returns null; |