1 files changed, 99 insertions, 6 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
index b1846705..1da4f8e8 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
@@ -69,18 +69,21 @@ public class FtSwitch<T> extends Switch<T> {
                        case FtPackage.FAULT_TREE: {
                                FaultTree faultTree = (FaultTree)theEObject;
                                T result = caseFaultTree(faultTree);
+                                if (result == null) result = caseReliabilityModel(faultTree);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
-                        case FtPackage.EVENT: {
+                        case FtPackage.RANDOM_EVENT: {
-                                Event event = (Event)theEObject;
+                                RandomEvent randomEvent = (RandomEvent)theEObject;
-                                T result = caseEvent(event);
+                                T result = caseRandomEvent(randomEvent);
+                                if (result == null) result = caseEvent(randomEvent);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
                        case FtPackage.BASIC_EVENT: {
                                BasicEvent basicEvent = (BasicEvent)theEObject;
                                T result = caseBasicEvent(basicEvent);
+                                if (result == null) result = caseRandomEvent(basicEvent);
                                if (result == null) result = caseEvent(basicEvent);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
@@ -88,6 +91,7 @@ public class FtSwitch<T> extends Switch<T> {
                        case FtPackage.GATE: {
                                Gate gate = (Gate)theEObject;
                                T result = caseGate(gate);
+                                if (result == null) result = caseRandomEvent(gate);
                                if (result == null) result = caseEvent(gate);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
@@ -116,6 +120,7 @@ public class FtSwitch<T> extends Switch<T> {
                                AndGate andGate = (AndGate)theEObject;
                                T result = caseAndGate(andGate);
                                if (result == null) result = caseGate(andGate);
+                                if (result == null) result = caseRandomEvent(andGate);
                                if (result == null) result = caseEvent(andGate);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
@@ -124,6 +129,7 @@ public class FtSwitch<T> extends Switch<T> {
                                OrGate orGate = (OrGate)theEObject;
                                T result = caseOrGate(orGate);
                                if (result == null) result = caseGate(orGate);
+                                if (result == null) result = caseRandomEvent(orGate);
                                if (result == null) result = caseEvent(orGate);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
@@ -132,10 +138,37 @@ public class FtSwitch<T> extends Switch<T> {
                                KOfMGate kOfMGate = (KOfMGate)theEObject;
                                T result = caseKOfMGate(kOfMGate);
                                if (result == null) result = caseGate(kOfMGate);
+                                if (result == null) result = caseRandomEvent(kOfMGate);
                                if (result == null) result = caseEvent(kOfMGate);
                                if (result == null) result = defaultCase(theEObject);
                                return result;
                        }
+                        case FtPackage.RELIABILITY_MODEL: {
+                                ReliabilityModel reliabilityModel = (ReliabilityModel)theEObject;
+                                T result = caseReliabilityModel(reliabilityModel);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.CONSTANT_MODEL: {
+                                ConstantModel constantModel = (ConstantModel)theEObject;
+                                T result = caseConstantModel(constantModel);
+                                if (result == null) result = caseReliabilityModel(constantModel);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.EVENT: {
+                                Event event = (Event)theEObject;
+                                T result = caseEvent(event);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.CONSTANT_EVENT: {
+                                ConstantEvent constantEvent = (ConstantEvent)theEObject;
+                                T result = caseConstantEvent(constantEvent);
+                                if (result == null) result = caseEvent(constantEvent);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
                        default: return defaultCase(theEObject);
                }
        }
@@ -156,17 +189,17 @@ public class FtSwitch<T> extends Switch<T> {
        }
        /**
-         * Returns the result of interpreting the object as an instance of '<em>Event</em>'.
+         * Returns the result of interpreting the object as an instance of '<em>Random Event</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>Event</em>'.
+         * @return the result of interpreting the object as an instance of '<em>Random Event</em>'.
         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
         * @generated
         */
-        public T caseEvent(Event object) {
+        public T caseRandomEvent(RandomEvent object) {
                return null;
        }
@@ -291,6 +324,66 @@ public class FtSwitch<T> extends Switch<T> {
        }
        /**
+         * Returns the result of interpreting the object as an instance of '<em>Reliability Model</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>Reliability Model</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseReliabilityModel(ReliabilityModel object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Constant Model</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>Constant Model</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseConstantModel(ConstantModel object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Event</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>Event</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEvent(Event object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Constant Event</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>Constant Event</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseConstantEvent(ConstantEvent 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/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java index b1846705..1da4f8e8 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
@@ -69,18 +69,21 @@ public class FtSwitch<T> extends Switch<T> {
69	case FtPackage.FAULT_TREE: {	69	case FtPackage.FAULT_TREE: {
70	FaultTree faultTree = (FaultTree)theEObject;	70	FaultTree faultTree = (FaultTree)theEObject;
71	T result = caseFaultTree(faultTree);	71	T result = caseFaultTree(faultTree);
		72	if (result == null) result = caseReliabilityModel(faultTree);
72	if (result == null) result = defaultCase(theEObject);	73	if (result == null) result = defaultCase(theEObject);
73	return result;	74	return result;
74	}	75	}
75	case FtPackage.EVENT: {	76	case FtPackage.RANDOM_EVENT: {
76	Event event = (Event)theEObject;	77	RandomEvent randomEvent = (RandomEvent)theEObject;
77	T result = caseEvent(event);	78	T result = caseRandomEvent(randomEvent);
		79	if (result == null) result = caseEvent(randomEvent);
78	if (result == null) result = defaultCase(theEObject);	80	if (result == null) result = defaultCase(theEObject);
79	return result;	81	return result;
80	}	82	}
81	case FtPackage.BASIC_EVENT: {	83	case FtPackage.BASIC_EVENT: {
82	BasicEvent basicEvent = (BasicEvent)theEObject;	84	BasicEvent basicEvent = (BasicEvent)theEObject;
83	T result = caseBasicEvent(basicEvent);	85	T result = caseBasicEvent(basicEvent);
		86	if (result == null) result = caseRandomEvent(basicEvent);
84	if (result == null) result = caseEvent(basicEvent);	87	if (result == null) result = caseEvent(basicEvent);
85	if (result == null) result = defaultCase(theEObject);	88	if (result == null) result = defaultCase(theEObject);
86	return result;	89	return result;
@@ -88,6 +91,7 @@ public class FtSwitch<T> extends Switch<T> {
88	case FtPackage.GATE: {	91	case FtPackage.GATE: {
89	Gate gate = (Gate)theEObject;	92	Gate gate = (Gate)theEObject;
90	T result = caseGate(gate);	93	T result = caseGate(gate);
		94	if (result == null) result = caseRandomEvent(gate);
91	if (result == null) result = caseEvent(gate);	95	if (result == null) result = caseEvent(gate);
92	if (result == null) result = defaultCase(theEObject);	96	if (result == null) result = defaultCase(theEObject);
93	return result;	97	return result;
@@ -116,6 +120,7 @@ public class FtSwitch<T> extends Switch<T> {
116	AndGate andGate = (AndGate)theEObject;	120	AndGate andGate = (AndGate)theEObject;
117	T result = caseAndGate(andGate);	121	T result = caseAndGate(andGate);
118	if (result == null) result = caseGate(andGate);	122	if (result == null) result = caseGate(andGate);
		123	if (result == null) result = caseRandomEvent(andGate);
119	if (result == null) result = caseEvent(andGate);	124	if (result == null) result = caseEvent(andGate);
120	if (result == null) result = defaultCase(theEObject);	125	if (result == null) result = defaultCase(theEObject);
121	return result;	126	return result;
@@ -124,6 +129,7 @@ public class FtSwitch<T> extends Switch<T> {
124	OrGate orGate = (OrGate)theEObject;	129	OrGate orGate = (OrGate)theEObject;
125	T result = caseOrGate(orGate);	130	T result = caseOrGate(orGate);
126	if (result == null) result = caseGate(orGate);	131	if (result == null) result = caseGate(orGate);
		132	if (result == null) result = caseRandomEvent(orGate);
127	if (result == null) result = caseEvent(orGate);	133	if (result == null) result = caseEvent(orGate);
128	if (result == null) result = defaultCase(theEObject);	134	if (result == null) result = defaultCase(theEObject);
129	return result;	135	return result;
@@ -132,10 +138,37 @@ public class FtSwitch<T> extends Switch<T> {
132	KOfMGate kOfMGate = (KOfMGate)theEObject;	138	KOfMGate kOfMGate = (KOfMGate)theEObject;
133	T result = caseKOfMGate(kOfMGate);	139	T result = caseKOfMGate(kOfMGate);
134	if (result == null) result = caseGate(kOfMGate);	140	if (result == null) result = caseGate(kOfMGate);
		141	if (result == null) result = caseRandomEvent(kOfMGate);
135	if (result == null) result = caseEvent(kOfMGate);	142	if (result == null) result = caseEvent(kOfMGate);
136	if (result == null) result = defaultCase(theEObject);	143	if (result == null) result = defaultCase(theEObject);
137	return result;	144	return result;
138	}	145	}
		146	case FtPackage.RELIABILITY_MODEL: {
		147	ReliabilityModel reliabilityModel = (ReliabilityModel)theEObject;
		148	T result = caseReliabilityModel(reliabilityModel);
		149	if (result == null) result = defaultCase(theEObject);
		150	return result;
		151	}
		152	case FtPackage.CONSTANT_MODEL: {
		153	ConstantModel constantModel = (ConstantModel)theEObject;
		154	T result = caseConstantModel(constantModel);
		155	if (result == null) result = caseReliabilityModel(constantModel);
		156	if (result == null) result = defaultCase(theEObject);
		157	return result;
		158	}
		159	case FtPackage.EVENT: {
		160	Event event = (Event)theEObject;
		161	T result = caseEvent(event);
		162	if (result == null) result = defaultCase(theEObject);
		163	return result;
		164	}
		165	case FtPackage.CONSTANT_EVENT: {
		166	ConstantEvent constantEvent = (ConstantEvent)theEObject;
		167	T result = caseConstantEvent(constantEvent);
		168	if (result == null) result = caseEvent(constantEvent);
		169	if (result == null) result = defaultCase(theEObject);
		170	return result;
		171	}
139	default: return defaultCase(theEObject);	172	default: return defaultCase(theEObject);
140	}	173	}
141	}	174	}
@@ -156,17 +189,17 @@ public class FtSwitch<T> extends Switch<T> {
156	}	189	}
157		190
158	/**	191	/**
159	* Returns the result of interpreting the object as an instance of '<em>Event</em>'.	192	* Returns the result of interpreting the object as an instance of '<em>Random Event</em>'.
160	* <!-- begin-user-doc -->	193	* <!-- begin-user-doc -->
161	* This implementation returns null;	194	* This implementation returns null;
162	* returning a non-null result will terminate the switch.	195	* returning a non-null result will terminate the switch.
163	* <!-- end-user-doc -->	196	* <!-- end-user-doc -->
164	* @param object the target of the switch.	197	* @param object the target of the switch.
165	* @return the result of interpreting the object as an instance of '<em>Event</em>'.	198	* @return the result of interpreting the object as an instance of '<em>Random Event</em>'.
166	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)	199	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
167	* @generated	200	* @generated
168	*/	201	*/
169	public T caseEvent(Event object) {	202	public T caseRandomEvent(RandomEvent object) {
170	return null;	203	return null;
171	}	204	}
172		205
@@ -291,6 +324,66 @@ public class FtSwitch<T> extends Switch<T> {
291	}	324	}
292		325
293	/**	326	/**
		327	* Returns the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
		328	* <!-- begin-user-doc -->
		329	* This implementation returns null;
		330	* returning a non-null result will terminate the switch.
		331	* <!-- end-user-doc -->
		332	* @param object the target of the switch.
		333	* @return the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
		334	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		335	* @generated
		336	*/
		337	public T caseReliabilityModel(ReliabilityModel object) {
		338	return null;
		339	}
		340
		341	/**
		342	* Returns the result of interpreting the object as an instance of '<em>Constant Model</em>'.
		343	* <!-- begin-user-doc -->
		344	* This implementation returns null;
		345	* returning a non-null result will terminate the switch.
		346	* <!-- end-user-doc -->
		347	* @param object the target of the switch.
		348	* @return the result of interpreting the object as an instance of '<em>Constant Model</em>'.
		349	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		350	* @generated
		351	*/
		352	public T caseConstantModel(ConstantModel object) {
		353	return null;
		354	}
		355
		356	/**
		357	* Returns the result of interpreting the object as an instance of '<em>Event</em>'.
		358	* <!-- begin-user-doc -->
		359	* This implementation returns null;
		360	* returning a non-null result will terminate the switch.
		361	* <!-- end-user-doc -->
		362	* @param object the target of the switch.
		363	* @return the result of interpreting the object as an instance of '<em>Event</em>'.
		364	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		365	* @generated
		366	*/
		367	public T caseEvent(Event object) {
		368	return null;
		369	}
		370
		371	/**
		372	* Returns the result of interpreting the object as an instance of '<em>Constant Event</em>'.
		373	* <!-- begin-user-doc -->
		374	* This implementation returns null;
		375	* returning a non-null result will terminate the switch.
		376	* <!-- end-user-doc -->
		377	* @param object the target of the switch.
		378	* @return the result of interpreting the object as an instance of '<em>Constant Event</em>'.
		379	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		380	* @generated
		381	*/
		382	public T caseConstantEvent(ConstantEvent object) {
		383	return null;
		384	}
		385
		386	/**
294	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.	387	* Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
295	* <!-- begin-user-doc -->	388	* <!-- begin-user-doc -->
296	* This implementation returns null;	389	* This implementation returns null;