1 files changed, 157 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
index 364df3c8..f3269cbf 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
+                        case PartialinterpretationPackage.SCOPE: {
+                                Scope scope = (Scope)theEObject;
+                                T result = caseScope(scope);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {
+                                PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;
+                                T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {
+                                PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;
+                                T result = casePartialBooleanInterpretation(partialBooleanInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {
+                                PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;
+                                T result = casePartialIntegerInterpretation(partialIntegerInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {
+                                PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;
+                                T result = casePartialRealInterpretation(partialRealInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {
+                                PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;
+                                T result = casePartialStringInterpretation(partialStringInterpretation);
+                                if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {
+                                PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;
+                                T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);
+                                if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
                        default: return defaultCase(theEObject);
                }
        }
@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
        }
        /**
+         * Returns the result of interpreting the object as an instance of '<em>Scope</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Scope</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseScope(Scope object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialRealInterpretation(PartialRealInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialStringInterpretation(PartialStringInterpretation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
+                return null;
+        }
+        /**
         * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
         * <!-- begin-user-doc -->
         * This implementation returns null;

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java index 364df3c8..f3269cbf 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
181	if (result == null) result = defaultCase(theEObject);	181	if (result == null) result = defaultCase(theEObject);
182	return result;	182	return result;
183	}	183	}
		184	case PartialinterpretationPackage.SCOPE: {
		185	Scope scope = (Scope)theEObject;
		186	T result = caseScope(scope);
		187	if (result == null) result = defaultCase(theEObject);
		188	return result;
		189	}
		190	case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {
		191	PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;
		192	T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);
		193	if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);
		194	if (result == null) result = defaultCase(theEObject);
		195	return result;
		196	}
		197	case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {
		198	PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;
		199	T result = casePartialBooleanInterpretation(partialBooleanInterpretation);
		200	if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);
		201	if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);
		202	if (result == null) result = defaultCase(theEObject);
		203	return result;
		204	}
		205	case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {
		206	PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;
		207	T result = casePartialIntegerInterpretation(partialIntegerInterpretation);
		208	if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);
		209	if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);
		210	if (result == null) result = defaultCase(theEObject);
		211	return result;
		212	}
		213	case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {
		214	PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;
		215	T result = casePartialRealInterpretation(partialRealInterpretation);
		216	if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);
		217	if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);
		218	if (result == null) result = defaultCase(theEObject);
		219	return result;
		220	}
		221	case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {
		222	PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;
		223	T result = casePartialStringInterpretation(partialStringInterpretation);
		224	if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);
		225	if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);
		226	if (result == null) result = defaultCase(theEObject);
		227	return result;
		228	}
		229	case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {
		230	PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;
		231	T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);
		232	if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);
		233	if (result == null) result = defaultCase(theEObject);
		234	return result;
		235	}
184	default: return defaultCase(theEObject);	236	default: return defaultCase(theEObject);
185	}	237	}
186	}	238	}
@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
411	}	463	}
412		464
413	/**	465	/**
		466	* Returns the result of interpreting the object as an instance of '<em>Scope</em>'.
		467	* <!-- begin-user-doc -->
		468	* This implementation returns null;
		469	* returning a non-null result will terminate the switch.
		470	* <!-- end-user-doc -->
		471	* @param object the target of the switch.
		472	* @return the result of interpreting the object as an instance of '<em>Scope</em>'.
		473	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		474	* @generated
		475	*/
		476	public T caseScope(Scope object) {
		477	return null;
		478	}
		479
		480	/**
		481	* Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
		482	* <!-- begin-user-doc -->
		483	* This implementation returns null;
		484	* returning a non-null result will terminate the switch.
		485	* <!-- end-user-doc -->
		486	* @param object the target of the switch.
		487	* @return the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.
		488	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		489	* @generated
		490	*/
		491	public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
		492	return null;
		493	}
		494
		495	/**
		496	* Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
		497	* <!-- begin-user-doc -->
		498	* This implementation returns null;
		499	* returning a non-null result will terminate the switch.
		500	* <!-- end-user-doc -->
		501	* @param object the target of the switch.
		502	* @return the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.
		503	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		504	* @generated
		505	*/
		506	public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
		507	return null;
		508	}
		509
		510	/**
		511	* Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
		512	* <!-- begin-user-doc -->
		513	* This implementation returns null;
		514	* returning a non-null result will terminate the switch.
		515	* <!-- end-user-doc -->
		516	* @param object the target of the switch.
		517	* @return the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.
		518	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		519	* @generated
		520	*/
		521	public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
		522	return null;
		523	}
		524
		525	/**
		526	* Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
		527	* <!-- begin-user-doc -->
		528	* This implementation returns null;
		529	* returning a non-null result will terminate the switch.
		530	* <!-- end-user-doc -->
		531	* @param object the target of the switch.
		532	* @return the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.
		533	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		534	* @generated
		535	*/
		536	public T casePartialRealInterpretation(PartialRealInterpretation object) {
		537	return null;
		538	}
		539
		540	/**
		541	* Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
		542	* <!-- begin-user-doc -->
		543	* This implementation returns null;
		544	* returning a non-null result will terminate the switch.
		545	* <!-- end-user-doc -->
		546	* @param object the target of the switch.
		547	* @return the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.
		548	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		549	* @generated
		550	*/
		551	public T casePartialStringInterpretation(PartialStringInterpretation object) {
		552	return null;
		553	}
		554
		555	/**
		556	* Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
		557	* <!-- begin-user-doc -->
		558	* This implementation returns null;
		559	* returning a non-null result will terminate the switch.
		560	* <!-- end-user-doc -->
		561	* @param object the target of the switch.
		562	* @return the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.
		563	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		564	* @generated
		565	*/
		566	public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
		567	return null;
		568	}
		569
		570	/**
414	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.	571	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
415	* <!-- begin-user-doc -->	572	* <!-- begin-user-doc -->
416	* This implementation returns null;	573	* This implementation returns null;