2 files changed, 176 insertions, 11 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
index 17daaad3..ba7545f4 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
@@ -72,8 +72,8 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
                                 return createFaultTreeAdapter();
                         }
                         @Override
-                        public Adapter caseEvent(Event object) {
-                                return createEventAdapter();
+                        public Adapter caseRandomEvent(RandomEvent object) {
+                                return createRandomEventAdapter();
                         }
                         @Override
                         public Adapter caseBasicEvent(BasicEvent object) {
@@ -108,6 +108,22 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
                                 return createKOfMGateAdapter();
                         }
                         @Override
+                        public Adapter caseReliabilityModel(ReliabilityModel object) {
+                                return createReliabilityModelAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstantModel(ConstantModel object) {
+                                return createConstantModelAdapter();
+                        }
+                        @Override
+                        public Adapter caseEvent(Event object) {
+                                return createEventAdapter();
+                        }
+                        @Override
+                        public Adapter caseConstantEvent(ConstantEvent object) {
+                                return createConstantEventAdapter();
+                        }
+                        @Override
                         public Adapter defaultCase(EObject object) {
                                 return createEObjectAdapter();
                         }
@@ -142,16 +158,16 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
         }
 
         /**
-         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent <em>Random Event</em>}'.
          * <!-- begin-user-doc -->
          * This default implementation returns null so that we can easily ignore cases;
          * it's useful to ignore a case when inheritance will catch all the cases anyway.
          * <!-- end-user-doc -->
          * @return the new adapter.
-         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
          * @generated
          */
-        public Adapter createEventAdapter() {
+        public Adapter createRandomEventAdapter() {
                 return null;
         }
 
@@ -268,6 +284,62 @@ public class FtAdapterFactory extends AdapterFactoryImpl {
         }
 
         /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel <em>Reliability Model</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
+         * @generated
+         */
+        public Adapter createReliabilityModelAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel <em>Constant Model</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
+         * @generated
+         */
+        public Adapter createConstantModelAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
+         * @generated
+         */
+        public Adapter createEventAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent <em>Constant Event</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
+         * @generated
+         */
+        public Adapter createConstantEventAdapter() {
+                return null;
+        }
+
+        /**
          * Creates a new adapter for the default case.
          * <!-- begin-user-doc -->
          * This default 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> {
                         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: {
-                                Event event = (Event)theEObject;
-                                T result = caseEvent(event);
+                        case FtPackage.RANDOM_EVENT: {
+                                RandomEvent randomEvent = (RandomEvent)theEObject;
+                                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;