1 files changed, 172 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 f99b2d76..364df3c8 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
@@ -2,6 +2,9 @@
 */
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
 import org.eclipse.emf.ecore.EObject;
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
+                        case PartialinterpretationPackage.PRIMITIVE_ELEMENT: {
+                                PrimitiveElement primitiveElement = (PrimitiveElement)theEObject;
+                                T result = casePrimitiveElement(primitiveElement);
+                                if (result == null) result = caseDefinedElement(primitiveElement);
+                                if (result == null) result = caseSymbolicDeclaration(primitiveElement);
+                                if (result == null) result = caseTermDescription(primitiveElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.BOOLEAN_ELEMENT: {
+                                BooleanElement booleanElement = (BooleanElement)theEObject;
+                                T result = caseBooleanElement(booleanElement);
+                                if (result == null) result = casePrimitiveElement(booleanElement);
+                                if (result == null) result = caseDefinedElement(booleanElement);
+                                if (result == null) result = caseSymbolicDeclaration(booleanElement);
+                                if (result == null) result = caseTermDescription(booleanElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.INTEGER_ELEMENT: {
+                                IntegerElement integerElement = (IntegerElement)theEObject;
+                                T result = caseIntegerElement(integerElement);
+                                if (result == null) result = casePrimitiveElement(integerElement);
+                                if (result == null) result = caseDefinedElement(integerElement);
+                                if (result == null) result = caseSymbolicDeclaration(integerElement);
+                                if (result == null) result = caseTermDescription(integerElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.REAL_ELEMENT: {
+                                RealElement realElement = (RealElement)theEObject;
+                                T result = caseRealElement(realElement);
+                                if (result == null) result = casePrimitiveElement(realElement);
+                                if (result == null) result = caseDefinedElement(realElement);
+                                if (result == null) result = caseSymbolicDeclaration(realElement);
+                                if (result == null) result = caseTermDescription(realElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case PartialinterpretationPackage.STRING_ELEMENT: {
+                                StringElement stringElement = (StringElement)theEObject;
+                                T result = caseStringElement(stringElement);
+                                if (result == null) result = casePrimitiveElement(stringElement);
+                                if (result == null) result = caseDefinedElement(stringElement);
+                                if (result == null) result = caseSymbolicDeclaration(stringElement);
+                                if (result == null) result = caseTermDescription(stringElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
                        default: return defaultCase(theEObject);
                }
        }
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
        }
        /**
+         * Returns the result of interpreting the object as an instance of '<em>Primitive Element</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>Primitive Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePrimitiveElement(PrimitiveElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Boolean Element</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>Boolean Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseBooleanElement(BooleanElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Integer Element</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>Integer Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseIntegerElement(IntegerElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Real Element</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>Real Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRealElement(RealElement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>String Element</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>String Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseStringElement(StringElement 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;
+         * 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>Term Description</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseTermDescription(TermDescription object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</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>Symbolic Declaration</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseSymbolicDeclaration(SymbolicDeclaration object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Defined Element</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>Defined Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseDefinedElement(DefinedElement object) {
+                return null;
+        }
+        /**
         * Returns the result of interpreting the object as an instance of '<em>EObject</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 f99b2d76..364df3c8 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
@@ -2,6 +2,9 @@
2	*/	2	*/
3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;
4		4
		5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
		6	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration;
		7	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription;
5	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;	8	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;
6		9
7	import org.eclipse.emf.ecore.EObject;	10	import org.eclipse.emf.ecore.EObject;
@@ -129,6 +132,55 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
129	if (result == null) result = defaultCase(theEObject);	132	if (result == null) result = defaultCase(theEObject);
130	return result;	133	return result;
131	}	134	}
		135	case PartialinterpretationPackage.PRIMITIVE_ELEMENT: {
		136	PrimitiveElement primitiveElement = (PrimitiveElement)theEObject;
		137	T result = casePrimitiveElement(primitiveElement);
		138	if (result == null) result = caseDefinedElement(primitiveElement);
		139	if (result == null) result = caseSymbolicDeclaration(primitiveElement);
		140	if (result == null) result = caseTermDescription(primitiveElement);
		141	if (result == null) result = defaultCase(theEObject);
		142	return result;
		143	}
		144	case PartialinterpretationPackage.BOOLEAN_ELEMENT: {
		145	BooleanElement booleanElement = (BooleanElement)theEObject;
		146	T result = caseBooleanElement(booleanElement);
		147	if (result == null) result = casePrimitiveElement(booleanElement);
		148	if (result == null) result = caseDefinedElement(booleanElement);
		149	if (result == null) result = caseSymbolicDeclaration(booleanElement);
		150	if (result == null) result = caseTermDescription(booleanElement);
		151	if (result == null) result = defaultCase(theEObject);
		152	return result;
		153	}
		154	case PartialinterpretationPackage.INTEGER_ELEMENT: {
		155	IntegerElement integerElement = (IntegerElement)theEObject;
		156	T result = caseIntegerElement(integerElement);
		157	if (result == null) result = casePrimitiveElement(integerElement);
		158	if (result == null) result = caseDefinedElement(integerElement);
		159	if (result == null) result = caseSymbolicDeclaration(integerElement);
		160	if (result == null) result = caseTermDescription(integerElement);
		161	if (result == null) result = defaultCase(theEObject);
		162	return result;
		163	}
		164	case PartialinterpretationPackage.REAL_ELEMENT: {
		165	RealElement realElement = (RealElement)theEObject;
		166	T result = caseRealElement(realElement);
		167	if (result == null) result = casePrimitiveElement(realElement);
		168	if (result == null) result = caseDefinedElement(realElement);
		169	if (result == null) result = caseSymbolicDeclaration(realElement);
		170	if (result == null) result = caseTermDescription(realElement);
		171	if (result == null) result = defaultCase(theEObject);
		172	return result;
		173	}
		174	case PartialinterpretationPackage.STRING_ELEMENT: {
		175	StringElement stringElement = (StringElement)theEObject;
		176	T result = caseStringElement(stringElement);
		177	if (result == null) result = casePrimitiveElement(stringElement);
		178	if (result == null) result = caseDefinedElement(stringElement);
		179	if (result == null) result = caseSymbolicDeclaration(stringElement);
		180	if (result == null) result = caseTermDescription(stringElement);
		181	if (result == null) result = defaultCase(theEObject);
		182	return result;
		183	}
132	default: return defaultCase(theEObject);	184	default: return defaultCase(theEObject);
133	}	185	}
134	}	186	}
@@ -284,6 +336,126 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
284	}	336	}
285		337
286	/**	338	/**
		339	* Returns the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
		340	* <!-- begin-user-doc -->
		341	* This implementation returns null;
		342	* returning a non-null result will terminate the switch.
		343	* <!-- end-user-doc -->
		344	* @param object the target of the switch.
		345	* @return the result of interpreting the object as an instance of '<em>Primitive Element</em>'.
		346	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		347	* @generated
		348	*/
		349	public T casePrimitiveElement(PrimitiveElement object) {
		350	return null;
		351	}
		352
		353	/**
		354	* Returns the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
		355	* <!-- begin-user-doc -->
		356	* This implementation returns null;
		357	* returning a non-null result will terminate the switch.
		358	* <!-- end-user-doc -->
		359	* @param object the target of the switch.
		360	* @return the result of interpreting the object as an instance of '<em>Boolean Element</em>'.
		361	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		362	* @generated
		363	*/
		364	public T caseBooleanElement(BooleanElement object) {
		365	return null;
		366	}
		367
		368	/**
		369	* Returns the result of interpreting the object as an instance of '<em>Integer Element</em>'.
		370	* <!-- begin-user-doc -->
		371	* This implementation returns null;
		372	* returning a non-null result will terminate the switch.
		373	* <!-- end-user-doc -->
		374	* @param object the target of the switch.
		375	* @return the result of interpreting the object as an instance of '<em>Integer Element</em>'.
		376	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		377	* @generated
		378	*/
		379	public T caseIntegerElement(IntegerElement object) {
		380	return null;
		381	}
		382
		383	/**
		384	* Returns the result of interpreting the object as an instance of '<em>Real Element</em>'.
		385	* <!-- begin-user-doc -->
		386	* This implementation returns null;
		387	* returning a non-null result will terminate the switch.
		388	* <!-- end-user-doc -->
		389	* @param object the target of the switch.
		390	* @return the result of interpreting the object as an instance of '<em>Real Element</em>'.
		391	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		392	* @generated
		393	*/
		394	public T caseRealElement(RealElement object) {
		395	return null;
		396	}
		397
		398	/**
		399	* Returns the result of interpreting the object as an instance of '<em>String Element</em>'.
		400	* <!-- begin-user-doc -->
		401	* This implementation returns null;
		402	* returning a non-null result will terminate the switch.
		403	* <!-- end-user-doc -->
		404	* @param object the target of the switch.
		405	* @return the result of interpreting the object as an instance of '<em>String Element</em>'.
		406	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		407	* @generated
		408	*/
		409	public T caseStringElement(StringElement object) {
		410	return null;
		411	}
		412
		413	/**
		414	* Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.
		415	* <!-- begin-user-doc -->
		416	* This implementation returns null;
		417	* returning a non-null result will terminate the switch.
		418	* <!-- end-user-doc -->
		419	* @param object the target of the switch.
		420	* @return the result of interpreting the object as an instance of '<em>Term Description</em>'.
		421	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		422	* @generated
		423	*/
		424	public T caseTermDescription(TermDescription object) {
		425	return null;
		426	}
		427
		428	/**
		429	* Returns the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
		430	* <!-- begin-user-doc -->
		431	* This implementation returns null;
		432	* returning a non-null result will terminate the switch.
		433	* <!-- end-user-doc -->
		434	* @param object the target of the switch.
		435	* @return the result of interpreting the object as an instance of '<em>Symbolic Declaration</em>'.
		436	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		437	* @generated
		438	*/
		439	public T caseSymbolicDeclaration(SymbolicDeclaration object) {
		440	return null;
		441	}
		442
		443	/**
		444	* Returns the result of interpreting the object as an instance of '<em>Defined Element</em>'.
		445	* <!-- begin-user-doc -->
		446	* This implementation returns null;
		447	* returning a non-null result will terminate the switch.
		448	* <!-- end-user-doc -->
		449	* @param object the target of the switch.
		450	* @return the result of interpreting the object as an instance of '<em>Defined Element</em>'.
		451	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		452	* @generated
		453	*/
		454	public T caseDefinedElement(DefinedElement object) {
		455	return null;
		456	}
		457
		458	/**
287	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.	459	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
288	* <!-- begin-user-doc -->	460	* <!-- begin-user-doc -->
289	* This implementation returns null;	461	* This implementation returns null;