Extract component fault tree model

1 files changed, 309 insertions, 0 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
new file mode 100644
index 00000000..b1846705
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
@@ -0,0 +1,309 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.util;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.*;
+
+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.faulttree.model.ft.FtPackage
+ * @generated
+ */
+public class FtSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FtPackage modelPackage;
+
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FtSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = FtPackage.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 FtPackage.FAULT_TREE: {
+                                FaultTree faultTree = (FaultTree)theEObject;
+                                T result = caseFaultTree(faultTree);
+                                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.BASIC_EVENT: {
+                                BasicEvent basicEvent = (BasicEvent)theEObject;
+                                T result = caseBasicEvent(basicEvent);
+                                if (result == null) result = caseEvent(basicEvent);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.GATE: {
+                                Gate gate = (Gate)theEObject;
+                                T result = caseGate(gate);
+                                if (result == null) result = caseEvent(gate);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.DISTRIBUTION: {
+                                Distribution distribution = (Distribution)theEObject;
+                                T result = caseDistribution(distribution);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.CONSTANT_DISTRIBUTION: {
+                                ConstantDistribution constantDistribution = (ConstantDistribution)theEObject;
+                                T result = caseConstantDistribution(constantDistribution);
+                                if (result == null) result = caseDistribution(constantDistribution);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.EXPONENTIAL_DISTRIBUTION: {
+                                ExponentialDistribution exponentialDistribution = (ExponentialDistribution)theEObject;
+                                T result = caseExponentialDistribution(exponentialDistribution);
+                                if (result == null) result = caseDistribution(exponentialDistribution);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.AND_GATE: {
+                                AndGate andGate = (AndGate)theEObject;
+                                T result = caseAndGate(andGate);
+                                if (result == null) result = caseGate(andGate);
+                                if (result == null) result = caseEvent(andGate);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.OR_GATE: {
+                                OrGate orGate = (OrGate)theEObject;
+                                T result = caseOrGate(orGate);
+                                if (result == null) result = caseGate(orGate);
+                                if (result == null) result = caseEvent(orGate);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FtPackage.KOF_MGATE: {
+                                KOfMGate kOfMGate = (KOfMGate)theEObject;
+                                T result = caseKOfMGate(kOfMGate);
+                                if (result == null) result = caseGate(kOfMGate);
+                                if (result == null) result = caseEvent(kOfMGate);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Fault Tree</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>Fault Tree</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFaultTree(FaultTree 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>Basic 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>Basic Event</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseBasicEvent(BasicEvent object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Gate</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>Gate</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseGate(Gate object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Distribution</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>Distribution</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseDistribution(Distribution object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Constant Distribution</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 Distribution</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseConstantDistribution(ConstantDistribution object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Exponential Distribution</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>Exponential Distribution</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseExponentialDistribution(ExponentialDistribution object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>And Gate</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>And Gate</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseAndGate(AndGate object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Or Gate</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>Or Gate</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseOrGate(OrGate object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>KOf MGate</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>KOf MGate</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseKOfMGate(KOfMGate 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;
+        }
+
+} //FtSwitch