diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util')
2 files changed, 132 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/AlloyLanguageAdapterFactory.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java index d3d842af..5ca262fe 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/util/AlloyLanguageAdapterFactory.java | |||
@@ -165,6 +165,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
165 | return createALSIntScopeAdapter(); | 165 | return createALSIntScopeAdapter(); |
166 | } | 166 | } |
167 | @Override | 167 | @Override |
168 | public Adapter caseALSStringScope(ALSStringScope object) | ||
169 | { | ||
170 | return createALSStringScopeAdapter(); | ||
171 | } | ||
172 | @Override | ||
168 | public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object) | 173 | public Adapter caseALSQuantifiedEx(ALSQuantifiedEx object) |
169 | { | 174 | { |
170 | return createALSQuantifiedExAdapter(); | 175 | return createALSQuantifiedExAdapter(); |
@@ -325,6 +330,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
325 | return createALSIntAdapter(); | 330 | return createALSIntAdapter(); |
326 | } | 331 | } |
327 | @Override | 332 | @Override |
333 | public Adapter caseALSString(ALSString object) | ||
334 | { | ||
335 | return createALSStringAdapter(); | ||
336 | } | ||
337 | @Override | ||
328 | public Adapter caseALSReference(ALSReference object) | 338 | public Adapter caseALSReference(ALSReference object) |
329 | { | 339 | { |
330 | return createALSReferenceAdapter(); | 340 | return createALSReferenceAdapter(); |
@@ -335,6 +345,11 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
335 | return createALSNumberLiteralAdapter(); | 345 | return createALSNumberLiteralAdapter(); |
336 | } | 346 | } |
337 | @Override | 347 | @Override |
348 | public Adapter caseALSStringLiteral(ALSStringLiteral object) | ||
349 | { | ||
350 | return createALSStringLiteralAdapter(); | ||
351 | } | ||
352 | @Override | ||
338 | public Adapter defaultCase(EObject object) | 353 | public Adapter defaultCase(EObject object) |
339 | { | 354 | { |
340 | return createEObjectAdapter(); | 355 | return createEObjectAdapter(); |
@@ -627,6 +642,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
627 | } | 642 | } |
628 | 643 | ||
629 | /** | 644 | /** |
645 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope <em>ALS String Scope</em>}'. | ||
646 | * <!-- begin-user-doc --> | ||
647 | * This default implementation returns null so that we can easily ignore cases; | ||
648 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
649 | * <!-- end-user-doc --> | ||
650 | * @return the new adapter. | ||
651 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringScope | ||
652 | * @generated | ||
653 | */ | ||
654 | public Adapter createALSStringScopeAdapter() | ||
655 | { | ||
656 | return null; | ||
657 | } | ||
658 | |||
659 | /** | ||
630 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. | 660 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx <em>ALS Quantified Ex</em>}'. |
631 | * <!-- begin-user-doc --> | 661 | * <!-- begin-user-doc --> |
632 | * This default implementation returns null so that we can easily ignore cases; | 662 | * This default implementation returns null so that we can easily ignore cases; |
@@ -1107,6 +1137,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
1107 | } | 1137 | } |
1108 | 1138 | ||
1109 | /** | 1139 | /** |
1140 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString <em>ALS String</em>}'. | ||
1141 | * <!-- begin-user-doc --> | ||
1142 | * This default implementation returns null so that we can easily ignore cases; | ||
1143 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1144 | * <!-- end-user-doc --> | ||
1145 | * @return the new adapter. | ||
1146 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSString | ||
1147 | * @generated | ||
1148 | */ | ||
1149 | public Adapter createALSStringAdapter() | ||
1150 | { | ||
1151 | return null; | ||
1152 | } | ||
1153 | |||
1154 | /** | ||
1110 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. | 1155 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSReference <em>ALS Reference</em>}'. |
1111 | * <!-- begin-user-doc --> | 1156 | * <!-- begin-user-doc --> |
1112 | * This default implementation returns null so that we can easily ignore cases; | 1157 | * This default implementation returns null so that we can easily ignore cases; |
@@ -1137,6 +1182,21 @@ public class AlloyLanguageAdapterFactory extends AdapterFactoryImpl | |||
1137 | } | 1182 | } |
1138 | 1183 | ||
1139 | /** | 1184 | /** |
1185 | * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral <em>ALS String Literal</em>}'. | ||
1186 | * <!-- begin-user-doc --> | ||
1187 | * This default implementation returns null so that we can easily ignore cases; | ||
1188 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
1189 | * <!-- end-user-doc --> | ||
1190 | * @return the new adapter. | ||
1191 | * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSStringLiteral | ||
1192 | * @generated | ||
1193 | */ | ||
1194 | public Adapter createALSStringLiteralAdapter() | ||
1195 | { | ||
1196 | return null; | ||
1197 | } | ||
1198 | |||
1199 | /** | ||
1140 | * Creates a new adapter for the default case. | 1200 | * Creates a new adapter for the default case. |
1141 | * <!-- begin-user-doc --> | 1201 | * <!-- begin-user-doc --> |
1142 | * This default implementation returns null. | 1202 | * This default implementation returns null. |
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; |