1 files changed, 145 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/partial2logicannotations/util/Partial2logicannotationsSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java
new file mode 100644
index 00000000..f2a194e9
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java
@@ -0,0 +1,145 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.util.Switch;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage
+ * @generated
+ */
+public class Partial2logicannotationsSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static Partial2logicannotationsPackage modelPackage;
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Partial2logicannotationsSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = Partial2logicannotationsPackage.eINSTANCE;
+                }
+        }
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: {
+                                PartialModelRelation2Assertion partialModelRelation2Assertion = (PartialModelRelation2Assertion)theEObject;
+                                T result = casePartialModelRelation2Assertion(partialModelRelation2Assertion);
+                                if (result == null) result = caseAssertionAnnotation(partialModelRelation2Assertion);
+                                if (result == null) result = caseAnnotation(partialModelRelation2Assertion);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</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 Model Relation2 Assertion</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Annotation</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>Annotation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseAnnotation(Annotation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</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>Assertion Annotation</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseAssertionAnnotation(AssertionAnnotation object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+} //Partial2logicannotationsSwitch

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java new file mode 100644 index 00000000..f2a194e9 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java
@@ -0,0 +1,145 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;
	4
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
	6	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
	7
	8	import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;
	9
	10	import org.eclipse.emf.ecore.EObject;
	11	import org.eclipse.emf.ecore.EPackage;
	12
	13	import org.eclipse.emf.ecore.util.Switch;
	14
	15	/**
	16	* <!-- begin-user-doc -->
	17	* The <b>Switch</b> for the model's inheritance hierarchy.
	18	* It supports the call {@link #doSwitch(EObject) doSwitch(object)}
	19	* to invoke the <code>caseXXX</code> method for each class of the model,
	20	* starting with the actual class of the object
	21	* and proceeding up the inheritance hierarchy
	22	* until a non-null result is returned,
	23	* which is the result of the switch.
	24	* <!-- end-user-doc -->
	25	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage
	26	* @generated
	27	*/
	28	public class Partial2logicannotationsSwitch<T> extends Switch<T> {
	29	/**
	30	* The cached model package
	31	* <!-- begin-user-doc -->
	32	* <!-- end-user-doc -->
	33	* @generated
	34	*/
	35	protected static Partial2logicannotationsPackage modelPackage;
	36
	37	/**
	38	* Creates an instance of the switch.
	39	* <!-- begin-user-doc -->
	40	* <!-- end-user-doc -->
	41	* @generated
	42	*/
	43	public Partial2logicannotationsSwitch() {
	44	if (modelPackage == null) {
	45	modelPackage = Partial2logicannotationsPackage.eINSTANCE;
	46	}
	47	}
	48
	49	/**
	50	* Checks whether this is a switch for the given package.
	51	* <!-- begin-user-doc -->
	52	* <!-- end-user-doc -->
	53	* @param ePackage the package in question.
	54	* @return whether this is a switch for the given package.
	55	* @generated
	56	*/
	57	@Override
	58	protected boolean isSwitchFor(EPackage ePackage) {
	59	return ePackage == modelPackage;
	60	}
	61
	62	/**
	63	* Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
	64	* <!-- begin-user-doc -->
	65	* <!-- end-user-doc -->
	66	* @return the first non-null result returned by a <code>caseXXX</code> call.
	67	* @generated
	68	*/
	69	@Override
	70	protected T doSwitch(int classifierID, EObject theEObject) {
	71	switch (classifierID) {
	72	case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: {
	73	PartialModelRelation2Assertion partialModelRelation2Assertion = (PartialModelRelation2Assertion)theEObject;
	74	T result = casePartialModelRelation2Assertion(partialModelRelation2Assertion);
	75	if (result == null) result = caseAssertionAnnotation(partialModelRelation2Assertion);
	76	if (result == null) result = caseAnnotation(partialModelRelation2Assertion);
	77	if (result == null) result = defaultCase(theEObject);
	78	return result;
	79	}
	80	default: return defaultCase(theEObject);
	81	}
	82	}
	83
	84	/**
	85	* Returns the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'.
	86	* <!-- begin-user-doc -->
	87	* This implementation returns null;
	88	* returning a non-null result will terminate the switch.
	89	* <!-- end-user-doc -->
	90	* @param object the target of the switch.
	91	* @return the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'.
	92	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	93	* @generated
	94	*/
	95	public T casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) {
	96	return null;
	97	}
	98
	99	/**
	100	* Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
	101	* <!-- begin-user-doc -->
	102	* This implementation returns null;
	103	* returning a non-null result will terminate the switch.
	104	* <!-- end-user-doc -->
	105	* @param object the target of the switch.
	106	* @return the result of interpreting the object as an instance of '<em>Annotation</em>'.
	107	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	108	* @generated
	109	*/
	110	public T caseAnnotation(Annotation object) {
	111	return null;
	112	}
	113
	114	/**
	115	* Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
	116	* <!-- begin-user-doc -->
	117	* This implementation returns null;
	118	* returning a non-null result will terminate the switch.
	119	* <!-- end-user-doc -->
	120	* @param object the target of the switch.
	121	* @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
	122	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	123	* @generated
	124	*/
	125	public T caseAssertionAnnotation(AssertionAnnotation object) {
	126	return null;
	127	}
	128
	129	/**
	130	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
	131	* <!-- begin-user-doc -->
	132	* This implementation returns null;
	133	* returning a non-null result will terminate the switch, but this is the last case anyway.
	134	* <!-- end-user-doc -->
	135	* @param object the target of the switch.
	136	* @return the result of interpreting the object as an instance of '<em>EObject</em>'.
	137	* @see #doSwitch(org.eclipse.emf.ecore.EObject)
	138	* @generated
	139	*/
	140	@Override
	141	public T defaultCase(EObject object) {
	142	return null;
	143	}
	144
	145	} //Partial2logicannotationsSwitch