1 files changed, 266 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java
new file mode 100644
index 00000000..28b630a9
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java
@@ -0,0 +1,266 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.cps.util;
+import hu.bme.mit.inf.dslreasoner.domains.cps.*;
+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.domains.cps.CpsPackage
+ * @generated
+ */
+public class CpsSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static CpsPackage modelPackage;
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CpsSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = CpsPackage.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 CpsPackage.CYBER_PHYSICAL_SYSTEM: {
+                        CyberPhysicalSystem cyberPhysicalSystem = (CyberPhysicalSystem) theEObject;
+                        T result = caseCyberPhysicalSystem(cyberPhysicalSystem);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.APPLICATION_TYPE: {
+                        ApplicationType applicationType = (ApplicationType) theEObject;
+                        T result = caseApplicationType(applicationType);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.HOST_TYPE: {
+                        HostType hostType = (HostType) theEObject;
+                        T result = caseHostType(hostType);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.REQUEST: {
+                        Request request = (Request) theEObject;
+                        T result = caseRequest(request);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.REQUIREMENT: {
+                        Requirement requirement = (Requirement) theEObject;
+                        T result = caseRequirement(requirement);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.APPLICATION_INSTANCE: {
+                        ApplicationInstance applicationInstance = (ApplicationInstance) theEObject;
+                        T result = caseApplicationInstance(applicationInstance);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.RESOURCE_REQUIREMENT: {
+                        ResourceRequirement resourceRequirement = (ResourceRequirement) theEObject;
+                        T result = caseResourceRequirement(resourceRequirement);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                case CpsPackage.HOST_INSTANCE: {
+                        HostInstance hostInstance = (HostInstance) theEObject;
+                        T result = caseHostInstance(hostInstance);
+                        if (result == null)
+                                result = defaultCase(theEObject);
+                        return result;
+                }
+                default:
+                        return defaultCase(theEObject);
+                }
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Cyber Physical System</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>Cyber Physical System</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseCyberPhysicalSystem(CyberPhysicalSystem object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Application Type</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>Application Type</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseApplicationType(ApplicationType object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Host Type</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>Host Type</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseHostType(HostType object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Request</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>Request</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRequest(Request object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Requirement</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>Requirement</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRequirement(Requirement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Application Instance</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>Application Instance</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseApplicationInstance(ApplicationInstance object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Resource Requirement</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>Resource Requirement</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseResourceRequirement(ResourceRequirement object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Host Instance</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>Host Instance</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseHostInstance(HostInstance 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;
+        }
+} //CpsSwitch

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java new file mode 100644 index 00000000..28b630a9 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/cps/util/CpsSwitch.java
@@ -0,0 +1,266 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.domains.cps.util;
	4
	5	import hu.bme.mit.inf.dslreasoner.domains.cps.*;
	6
	7	import org.eclipse.emf.ecore.EObject;
	8	import org.eclipse.emf.ecore.EPackage;
	9
	10	import org.eclipse.emf.ecore.util.Switch;
	11
	12	/**
	13	* <!-- begin-user-doc -->
	14	* The <b>Switch</b> for the model's inheritance hierarchy.
	15	* It supports the call {@link #doSwitch(EObject) doSwitch(object)}
	16	* to invoke the <code>caseXXX</code> method for each class of the model,
	17	* starting with the actual class of the object
	18	* and proceeding up the inheritance hierarchy
	19	* until a non-null result is returned,
	20	* which is the result of the switch.
	21	* <!-- end-user-doc -->
	22	* @see hu.bme.mit.inf.dslreasoner.domains.cps.CpsPackage
	23	* @generated
	24	*/
	25	public class CpsSwitch<T> extends Switch<T> {
	26	/**
	27	* The cached model package
	28	* <!-- begin-user-doc -->
	29	* <!-- end-user-doc -->
	30	* @generated
	31	*/
	32	protected static CpsPackage modelPackage;
	33
	34	/**
	35	* Creates an instance of the switch.
	36	* <!-- begin-user-doc -->
	37	* <!-- end-user-doc -->
	38	* @generated
	39	*/
	40	public CpsSwitch() {
	41	if (modelPackage == null) {
	42	modelPackage = CpsPackage.eINSTANCE;
	43	}
	44	}
	45
	46	/**
	47	* Checks whether this is a switch for the given package.
	48	* <!-- begin-user-doc -->
	49	* <!-- end-user-doc -->
	50	* @param ePackage the package in question.
	51	* @return whether this is a switch for the given package.
	52	* @generated
	53	*/
	54	@Override
	55	protected boolean isSwitchFor(EPackage ePackage) {
	56	return ePackage == modelPackage;
	57	}
	58
	59	/**
	60	* Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
	61	* <!-- begin-user-doc -->
	62	* <!-- end-user-doc -->
	63	* @return the first non-null result returned by a <code>caseXXX</code> call.
	64	* @generated
	65	*/
	66	@Override
	67	protected T doSwitch(int classifierID, EObject theEObject) {
	68	switch (classifierID) {
	69	case CpsPackage.CYBER_PHYSICAL_SYSTEM: {
	70	CyberPhysicalSystem cyberPhysicalSystem = (CyberPhysicalSystem) theEObject;
	71	T result = caseCyberPhysicalSystem(cyberPhysicalSystem);
	72	if (result == null)
	73	result = defaultCase(theEObject);
	74	return result;
	75	}
	76	case CpsPackage.APPLICATION_TYPE: {
	77	ApplicationType applicationType = (ApplicationType) theEObject;
	78	T result = caseApplicationType(applicationType);
	79	if (result == null)
	80	result = defaultCase(theEObject);
	81	return result;
	82	}
	83	case CpsPackage.HOST_TYPE: {
	84	HostType hostType = (HostType) theEObject;
	85	T result = caseHostType(hostType);
	86	if (result == null)
	87	result = defaultCase(theEObject);
	88	return result;
	89	}
	90	case CpsPackage.REQUEST: {
	91	Request request = (Request) theEObject;
	92	T result = caseRequest(request);
	93	if (result == null)
	94	result = defaultCase(theEObject);
	95	return result;
	96	}
	97	case CpsPackage.REQUIREMENT: {
	98	Requirement requirement = (Requirement) theEObject;
	99	T result = caseRequirement(requirement);
	100	if (result == null)
	101	result = defaultCase(theEObject);
	102	return result;
	103	}
	104	case CpsPackage.APPLICATION_INSTANCE: {
	105	ApplicationInstance applicationInstance = (ApplicationInstance) theEObject;
	106	T result = caseApplicationInstance(applicationInstance);
	107	if (result == null)
	108	result = defaultCase(theEObject);
	109	return result;
	110	}
	111	case CpsPackage.RESOURCE_REQUIREMENT: {
	112	ResourceRequirement resourceRequirement = (ResourceRequirement) theEObject;
	113	T result = caseResourceRequirement(resourceRequirement);
	114	if (result == null)
	115	result = defaultCase(theEObject);
	116	return result;
	117	}
	118	case CpsPackage.HOST_INSTANCE: {
	119	HostInstance hostInstance = (HostInstance) theEObject;
	120	T result = caseHostInstance(hostInstance);
	121	if (result == null)
	122	result = defaultCase(theEObject);
	123	return result;
	124	}
	125	default:
	126	return defaultCase(theEObject);
	127	}
	128	}
	129
	130	/**
	131	* Returns the result of interpreting the object as an instance of '<em>Cyber Physical System</em>'.
	132	* <!-- begin-user-doc -->
	133	* This implementation returns null;
	134	* returning a non-null result will terminate the switch.
	135	* <!-- end-user-doc -->
	136	* @param object the target of the switch.
	137	* @return the result of interpreting the object as an instance of '<em>Cyber Physical System</em>'.
	138	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	139	* @generated
	140	*/
	141	public T caseCyberPhysicalSystem(CyberPhysicalSystem object) {
	142	return null;
	143	}
	144
	145	/**
	146	* Returns the result of interpreting the object as an instance of '<em>Application Type</em>'.
	147	* <!-- begin-user-doc -->
	148	* This implementation returns null;
	149	* returning a non-null result will terminate the switch.
	150	* <!-- end-user-doc -->
	151	* @param object the target of the switch.
	152	* @return the result of interpreting the object as an instance of '<em>Application Type</em>'.
	153	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	154	* @generated
	155	*/
	156	public T caseApplicationType(ApplicationType object) {
	157	return null;
	158	}
	159
	160	/**
	161	* Returns the result of interpreting the object as an instance of '<em>Host Type</em>'.
	162	* <!-- begin-user-doc -->
	163	* This implementation returns null;
	164	* returning a non-null result will terminate the switch.
	165	* <!-- end-user-doc -->
	166	* @param object the target of the switch.
	167	* @return the result of interpreting the object as an instance of '<em>Host Type</em>'.
	168	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	169	* @generated
	170	*/
	171	public T caseHostType(HostType object) {
	172	return null;
	173	}
	174
	175	/**
	176	* Returns the result of interpreting the object as an instance of '<em>Request</em>'.
	177	* <!-- begin-user-doc -->
	178	* This implementation returns null;
	179	* returning a non-null result will terminate the switch.
	180	* <!-- end-user-doc -->
	181	* @param object the target of the switch.
	182	* @return the result of interpreting the object as an instance of '<em>Request</em>'.
	183	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	184	* @generated
	185	*/
	186	public T caseRequest(Request object) {
	187	return null;
	188	}
	189
	190	/**
	191	* Returns the result of interpreting the object as an instance of '<em>Requirement</em>'.
	192	* <!-- begin-user-doc -->
	193	* This implementation returns null;
	194	* returning a non-null result will terminate the switch.
	195	* <!-- end-user-doc -->
	196	* @param object the target of the switch.
	197	* @return the result of interpreting the object as an instance of '<em>Requirement</em>'.
	198	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	199	* @generated
	200	*/
	201	public T caseRequirement(Requirement object) {
	202	return null;
	203	}
	204
	205	/**
	206	* Returns the result of interpreting the object as an instance of '<em>Application Instance</em>'.
	207	* <!-- begin-user-doc -->
	208	* This implementation returns null;
	209	* returning a non-null result will terminate the switch.
	210	* <!-- end-user-doc -->
	211	* @param object the target of the switch.
	212	* @return the result of interpreting the object as an instance of '<em>Application Instance</em>'.
	213	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	214	* @generated
	215	*/
	216	public T caseApplicationInstance(ApplicationInstance object) {
	217	return null;
	218	}
	219
	220	/**
	221	* Returns the result of interpreting the object as an instance of '<em>Resource Requirement</em>'.
	222	* <!-- begin-user-doc -->
	223	* This implementation returns null;
	224	* returning a non-null result will terminate the switch.
	225	* <!-- end-user-doc -->
	226	* @param object the target of the switch.
	227	* @return the result of interpreting the object as an instance of '<em>Resource Requirement</em>'.
	228	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	229	* @generated
	230	*/
	231	public T caseResourceRequirement(ResourceRequirement object) {
	232	return null;
	233	}
	234
	235	/**
	236	* Returns the result of interpreting the object as an instance of '<em>Host Instance</em>'.
	237	* <!-- begin-user-doc -->
	238	* This implementation returns null;
	239	* returning a non-null result will terminate the switch.
	240	* <!-- end-user-doc -->
	241	* @param object the target of the switch.
	242	* @return the result of interpreting the object as an instance of '<em>Host Instance</em>'.
	243	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
	244	* @generated
	245	*/
	246	public T caseHostInstance(HostInstance object) {
	247	return null;
	248	}
	249
	250	/**
	251	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
	252	* <!-- begin-user-doc -->
	253	* This implementation returns null;
	254	* returning a non-null result will terminate the switch, but this is the last case anyway.
	255	* <!-- end-user-doc -->
	256	* @param object the target of the switch.
	257	* @return the result of interpreting the object as an instance of '<em>EObject</em>'.
	258	* @see #doSwitch(org.eclipse.emf.ecore.EObject)
	259	* @generated
	260	*/
	261	@Override
	262	public T defaultCase(EObject object) {
	263	return null;
	264	}
	265
	266	} //CpsSwitch