2 files changed, 752 insertions, 0 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java
new file mode 100644
index 00000000..c6b82734
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java
@@ -0,0 +1,354 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage
+ * @generated
+ */
+public class CftAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static CftPackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CftAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = CftPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected CftSwitch<Adapter> modelSwitch =
+                new CftSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseComponentDefinition(ComponentDefinition object) {
+                                return createComponentDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseEventDefinition(EventDefinition object) {
+                                return createEventDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseGateDefinition(GateDefinition object) {
+                                return createGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseBasicEventDefinition(BasicEventDefinition object) {
+                                return createBasicEventDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseIntputEvent(IntputEvent object) {
+                                return createIntputEventAdapter();
+                        }
+                        @Override
+                        public Adapter caseEventDeclaration(EventDeclaration object) {
+                                return createEventDeclarationAdapter();
+                        }
+                        @Override
+                        public Adapter caseAndGateDefinition(AndGateDefinition object) {
+                                return createAndGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseOrGateDefinition(OrGateDefinition object) {
+                                return createOrGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseKOfMGateDefinition(KOfMGateDefinition object) {
+                                return createKOfMGateDefinitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseComponentFaultTree(ComponentFaultTree object) {
+                                return createComponentFaultTreeAdapter();
+                        }
+                        @Override
+                        public Adapter caseComponent(Component object) {
+                                return createComponentAdapter();
+                        }
+                        @Override
+                        public Adapter caseInput(Input object) {
+                                return createInputAdapter();
+                        }
+                        @Override
+                        public Adapter caseOutput(Output object) {
+                                return createOutputAdapter();
+                        }
+                        @Override
+                        public Adapter caseConnection(Connection object) {
+                                return createConnectionAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition <em>Component Definition</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.cft.ComponentDefinition
+         * @generated
+         */
+        public Adapter createComponentDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition <em>Event Definition</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.cft.EventDefinition
+         * @generated
+         */
+        public Adapter createEventDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition <em>Gate Definition</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.cft.GateDefinition
+         * @generated
+         */
+        public Adapter createGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition <em>Basic Event Definition</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.cft.BasicEventDefinition
+         * @generated
+         */
+        public Adapter createBasicEventDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent <em>Intput 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.cft.IntputEvent
+         * @generated
+         */
+        public Adapter createIntputEventAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration <em>Event Declaration</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.cft.EventDeclaration
+         * @generated
+         */
+        public Adapter createEventDeclarationAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition <em>And Gate Definition</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.cft.AndGateDefinition
+         * @generated
+         */
+        public Adapter createAndGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition <em>Or Gate Definition</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.cft.OrGateDefinition
+         * @generated
+         */
+        public Adapter createOrGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition <em>KOf MGate Definition</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.cft.KOfMGateDefinition
+         * @generated
+         */
+        public Adapter createKOfMGateDefinitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree <em>Component Fault Tree</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.cft.ComponentFaultTree
+         * @generated
+         */
+        public Adapter createComponentFaultTreeAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component <em>Component</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.cft.Component
+         * @generated
+         */
+        public Adapter createComponentAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input <em>Input</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.cft.Input
+         * @generated
+         */
+        public Adapter createInputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output <em>Output</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.cft.Output
+         * @generated
+         */
+        public Adapter createOutputAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection <em>Connection</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.cft.Connection
+         * @generated
+         */
+        public Adapter createConnectionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //CftAdapterFactory
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java
new file mode 100644
index 00000000..f2ec9ffb
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java
@@ -0,0 +1,398 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util;
+
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
+
+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.cft.CftPackage
+ * @generated
+ */
+public class CftSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static CftPackage modelPackage;
+
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public CftSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = CftPackage.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 CftPackage.COMPONENT_DEFINITION: {
+                                ComponentDefinition componentDefinition = (ComponentDefinition)theEObject;
+                                T result = caseComponentDefinition(componentDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.EVENT_DEFINITION: {
+                                EventDefinition eventDefinition = (EventDefinition)theEObject;
+                                T result = caseEventDefinition(eventDefinition);
+                                if (result == null) result = caseEventDeclaration(eventDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.GATE_DEFINITION: {
+                                GateDefinition gateDefinition = (GateDefinition)theEObject;
+                                T result = caseGateDefinition(gateDefinition);
+                                if (result == null) result = caseEventDefinition(gateDefinition);
+                                if (result == null) result = caseEventDeclaration(gateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.BASIC_EVENT_DEFINITION: {
+                                BasicEventDefinition basicEventDefinition = (BasicEventDefinition)theEObject;
+                                T result = caseBasicEventDefinition(basicEventDefinition);
+                                if (result == null) result = caseEventDefinition(basicEventDefinition);
+                                if (result == null) result = caseEventDeclaration(basicEventDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.INTPUT_EVENT: {
+                                IntputEvent intputEvent = (IntputEvent)theEObject;
+                                T result = caseIntputEvent(intputEvent);
+                                if (result == null) result = caseEventDeclaration(intputEvent);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.EVENT_DECLARATION: {
+                                EventDeclaration eventDeclaration = (EventDeclaration)theEObject;
+                                T result = caseEventDeclaration(eventDeclaration);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.AND_GATE_DEFINITION: {
+                                AndGateDefinition andGateDefinition = (AndGateDefinition)theEObject;
+                                T result = caseAndGateDefinition(andGateDefinition);
+                                if (result == null) result = caseGateDefinition(andGateDefinition);
+                                if (result == null) result = caseEventDefinition(andGateDefinition);
+                                if (result == null) result = caseEventDeclaration(andGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.OR_GATE_DEFINITION: {
+                                OrGateDefinition orGateDefinition = (OrGateDefinition)theEObject;
+                                T result = caseOrGateDefinition(orGateDefinition);
+                                if (result == null) result = caseGateDefinition(orGateDefinition);
+                                if (result == null) result = caseEventDefinition(orGateDefinition);
+                                if (result == null) result = caseEventDeclaration(orGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.KOF_MGATE_DEFINITION: {
+                                KOfMGateDefinition kOfMGateDefinition = (KOfMGateDefinition)theEObject;
+                                T result = caseKOfMGateDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseGateDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseEventDefinition(kOfMGateDefinition);
+                                if (result == null) result = caseEventDeclaration(kOfMGateDefinition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.COMPONENT_FAULT_TREE: {
+                                ComponentFaultTree componentFaultTree = (ComponentFaultTree)theEObject;
+                                T result = caseComponentFaultTree(componentFaultTree);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.COMPONENT: {
+                                Component component = (Component)theEObject;
+                                T result = caseComponent(component);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.INPUT: {
+                                Input input = (Input)theEObject;
+                                T result = caseInput(input);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.OUTPUT: {
+                                Output output = (Output)theEObject;
+                                T result = caseOutput(output);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case CftPackage.CONNECTION: {
+                                Connection connection = (Connection)theEObject;
+                                T result = caseConnection(connection);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component Definition</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>Component Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponentDefinition(ComponentDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Event Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEventDefinition(EventDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Gate Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseGateDefinition(GateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Basic Event Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseBasicEventDefinition(BasicEventDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Intput 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>Intput Event</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseIntputEvent(IntputEvent object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Event Declaration</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 Declaration</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEventDeclaration(EventDeclaration object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>And Gate Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseAndGateDefinition(AndGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Or Gate Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseOrGateDefinition(OrGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>KOf MGate Definition</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 Definition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseKOfMGateDefinition(KOfMGateDefinition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component 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>Component Fault Tree</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponentFaultTree(ComponentFaultTree object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Component</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>Component</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseComponent(Component object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Input</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>Input</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseInput(Input object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Output</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>Output</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseOutput(Output object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Connection</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>Connection</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseConnection(Connection 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;
+        }
+
+} //CftSwitch