1 files changed, 216 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java
new file mode 100644
index 00000000..06d3fe84
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java
@@ -0,0 +1,216 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util;
+import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.*;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
+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.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
+ * @generated
+ */
+public class Ecore2logicannotationsSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static Ecore2logicannotationsPackage modelPackage;
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Ecore2logicannotationsSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = Ecore2logicannotationsPackage.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 Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION: {
+                                MultiplicityAssertion multiplicityAssertion = (MultiplicityAssertion)theEObject;
+                                T result = caseMultiplicityAssertion(multiplicityAssertion);
+                                if (result == null) result = caseAssertionAnnotation(multiplicityAssertion);
+                                if (result == null) result = caseAnnotation(multiplicityAssertion);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION: {
+                                InverseRelationAssertion inverseRelationAssertion = (InverseRelationAssertion)theEObject;
+                                T result = caseInverseRelationAssertion(inverseRelationAssertion);
+                                if (result == null) result = caseAssertionAnnotation(inverseRelationAssertion);
+                                if (result == null) result = caseAnnotation(inverseRelationAssertion);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION: {
+                                LowerMultiplicityAssertion lowerMultiplicityAssertion = (LowerMultiplicityAssertion)theEObject;
+                                T result = caseLowerMultiplicityAssertion(lowerMultiplicityAssertion);
+                                if (result == null) result = caseMultiplicityAssertion(lowerMultiplicityAssertion);
+                                if (result == null) result = caseAssertionAnnotation(lowerMultiplicityAssertion);
+                                if (result == null) result = caseAnnotation(lowerMultiplicityAssertion);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION: {
+                                UpperMultiplicityAssertion upperMultiplicityAssertion = (UpperMultiplicityAssertion)theEObject;
+                                T result = caseUpperMultiplicityAssertion(upperMultiplicityAssertion);
+                                if (result == null) result = caseMultiplicityAssertion(upperMultiplicityAssertion);
+                                if (result == null) result = caseAssertionAnnotation(upperMultiplicityAssertion);
+                                if (result == null) result = caseAnnotation(upperMultiplicityAssertion);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Multiplicity 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>Multiplicity Assertion</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseMultiplicityAssertion(MultiplicityAssertion object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Inverse Relation 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>Inverse Relation Assertion</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseInverseRelationAssertion(InverseRelationAssertion object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Lower Multiplicity 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>Lower Multiplicity Assertion</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseLowerMultiplicityAssertion(LowerMultiplicityAssertion object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Upper Multiplicity 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>Upper Multiplicity Assertion</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseUpperMultiplicityAssertion(UpperMultiplicityAssertion 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;
+        }
+} //Ecore2logicannotationsSwitch

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java new file mode 100644 index 00000000..06d3fe84 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/ecore2logic/ecore2logicannotations/util/Ecore2logicannotationsSwitch.java
@@ -0,0 +1,216 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util;
	4
	5	import hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.*;
	6
	7	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;
	8	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;
	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.ecore2logic.ecore2logicannotations.Ecore2logicannotationsPackage
	26	* @generated
	27	*/
	28	public class Ecore2logicannotationsSwitch<T> extends Switch<T> {
	29	/**
	30	* The cached model package
	31	* <!-- begin-user-doc -->
	32	* <!-- end-user-doc -->
	33	* @generated
	34	*/
	35	protected static Ecore2logicannotationsPackage modelPackage;
	36
	37	/**
	38	* Creates an instance of the switch.
	39	* <!-- begin-user-doc -->
	40	* <!-- end-user-doc -->
	41	* @generated
	42	*/
	43	public Ecore2logicannotationsSwitch() {
	44	if (modelPackage == null) {
	45	modelPackage = Ecore2logicannotationsPackage.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 Ecore2logicannotationsPackage.MULTIPLICITY_ASSERTION: {
	73	MultiplicityAssertion multiplicityAssertion = (MultiplicityAssertion)theEObject;
	74	T result = caseMultiplicityAssertion(multiplicityAssertion);
	75	if (result == null) result = caseAssertionAnnotation(multiplicityAssertion);
	76	if (result == null) result = caseAnnotation(multiplicityAssertion);
	77	if (result == null) result = defaultCase(theEObject);
	78	return result;
	79	}
	80	case Ecore2logicannotationsPackage.INVERSE_RELATION_ASSERTION: {
	81	InverseRelationAssertion inverseRelationAssertion = (InverseRelationAssertion)theEObject;
	82	T result = caseInverseRelationAssertion(inverseRelationAssertion);
	83	if (result == null) result = caseAssertionAnnotation(inverseRelationAssertion);
	84	if (result == null) result = caseAnnotation(inverseRelationAssertion);
	85	if (result == null) result = defaultCase(theEObject);
	86	return result;
	87	}
	88	case Ecore2logicannotationsPackage.LOWER_MULTIPLICITY_ASSERTION: {
	89	LowerMultiplicityAssertion lowerMultiplicityAssertion = (LowerMultiplicityAssertion)theEObject;
	90	T result = caseLowerMultiplicityAssertion(lowerMultiplicityAssertion);
	91	if (result == null) result = caseMultiplicityAssertion(lowerMultiplicityAssertion);
	92	if (result == null) result = caseAssertionAnnotation(lowerMultiplicityAssertion);
	93	if (result == null) result = caseAnnotation(lowerMultiplicityAssertion);
	94	if (result == null) result = defaultCase(theEObject);
	95	return result;
	96	}
	97	case Ecore2logicannotationsPackage.UPPER_MULTIPLICITY_ASSERTION: {
	98	UpperMultiplicityAssertion upperMultiplicityAssertion = (UpperMultiplicityAssertion)theEObject;
	99	T result = caseUpperMultiplicityAssertion(upperMultiplicityAssertion);
	100	if (result == null) result = caseMultiplicityAssertion(upperMultiplicityAssertion);
	101	if (result == null) result = caseAssertionAnnotation(upperMultiplicityAssertion);
	102	if (result == null) result = caseAnnotation(upperMultiplicityAssertion);
	103	if (result == null) result = defaultCase(theEObject);
	104	return result;
	105	}
	106	default: return defaultCase(theEObject);
	107	}
	108	}
	109
	110	/**
	111	* Returns the result of interpreting the object as an instance of '<em>Multiplicity Assertion</em>'.
	112	* <!-- begin-user-doc -->
	113	* This implementation returns null;
	114	* returning a non-null result will terminate the switch.
	115	* <!-- end-user-doc -->
	116	* @param object the target of the switch.
	117	* @return the result of interpreting the object as an instance of '<em>Multiplicity Assertion</em>'.
	118	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	119	* @generated
	120	*/
	121	public T caseMultiplicityAssertion(MultiplicityAssertion object) {
	122	return null;
	123	}
	124
	125	/**
	126	* Returns the result of interpreting the object as an instance of '<em>Inverse Relation Assertion</em>'.
	127	* <!-- begin-user-doc -->
	128	* This implementation returns null;
	129	* returning a non-null result will terminate the switch.
	130	* <!-- end-user-doc -->
	131	* @param object the target of the switch.
	132	* @return the result of interpreting the object as an instance of '<em>Inverse Relation Assertion</em>'.
	133	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	134	* @generated
	135	*/
	136	public T caseInverseRelationAssertion(InverseRelationAssertion object) {
	137	return null;
	138	}
	139
	140	/**
	141	* Returns the result of interpreting the object as an instance of '<em>Lower Multiplicity Assertion</em>'.
	142	* <!-- begin-user-doc -->
	143	* This implementation returns null;
	144	* returning a non-null result will terminate the switch.
	145	* <!-- end-user-doc -->
	146	* @param object the target of the switch.
	147	* @return the result of interpreting the object as an instance of '<em>Lower Multiplicity Assertion</em>'.
	148	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	149	* @generated
	150	*/
	151	public T caseLowerMultiplicityAssertion(LowerMultiplicityAssertion object) {
	152	return null;
	153	}
	154
	155	/**
	156	* Returns the result of interpreting the object as an instance of '<em>Upper Multiplicity Assertion</em>'.
	157	* <!-- begin-user-doc -->
	158	* This implementation returns null;
	159	* returning a non-null result will terminate the switch.
	160	* <!-- end-user-doc -->
	161	* @param object the target of the switch.
	162	* @return the result of interpreting the object as an instance of '<em>Upper Multiplicity Assertion</em>'.
	163	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	164	* @generated
	165	*/
	166	public T caseUpperMultiplicityAssertion(UpperMultiplicityAssertion object) {
	167	return null;
	168	}
	169
	170	/**
	171	* Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.
	172	* <!-- begin-user-doc -->
	173	* This implementation returns null;
	174	* returning a non-null result will terminate the switch.
	175	* <!-- end-user-doc -->
	176	* @param object the target of the switch.
	177	* @return the result of interpreting the object as an instance of '<em>Annotation</em>'.
	178	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	179	* @generated
	180	*/
	181	public T caseAnnotation(Annotation object) {
	182	return null;
	183	}
	184
	185	/**
	186	* Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
	187	* <!-- begin-user-doc -->
	188	* This implementation returns null;
	189	* returning a non-null result will terminate the switch.
	190	* <!-- end-user-doc -->
	191	* @param object the target of the switch.
	192	* @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.
	193	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	194	* @generated
	195	*/
	196	public T caseAssertionAnnotation(AssertionAnnotation object) {
	197	return null;
	198	}
	199
	200	/**
	201	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
	202	* <!-- begin-user-doc -->
	203	* This implementation returns null;
	204	* returning a non-null result will terminate the switch, but this is the last case anyway.
	205	* <!-- end-user-doc -->
	206	* @param object the target of the switch.
	207	* @return the result of interpreting the object as an instance of '<em>EObject</em>'.
	208	* @see #doSwitch(org.eclipse.emf.ecore.EObject)
	209	* @generated
	210	*/
	211	@Override
	212	public T defaultCase(EObject object) {
	213	return null;
	214	}
	215
	216	} //Ecore2logicannotationsSwitch