4 files changed, 312 insertions, 1 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java
index 6eac2861..6b07b541 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java
@@ -5,6 +5,7 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
 
 import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EDataType;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.emf.ecore.EPackage;
 
@@ -78,6 +79,36 @@ public class CftFactoryImpl extends EFactoryImpl implements CftFactory {
          * @generated
          */
         @Override
+        public Object createFromString(EDataType eDataType, String initialValue) {
+                switch (eDataType.getClassifierID()) {
+                        case CftPackage.MODALITY:
+                                return createModalityFromString(eDataType, initialValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String convertToString(EDataType eDataType, Object instanceValue) {
+                switch (eDataType.getClassifierID()) {
+                        case CftPackage.MODALITY:
+                                return convertModalityToString(eDataType, instanceValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
         public ComponentDefinition createComponentDefinition() {
                 ComponentDefinitionImpl componentDefinition = new ComponentDefinitionImpl();
                 return componentDefinition;
@@ -198,6 +229,26 @@ public class CftFactoryImpl extends EFactoryImpl implements CftFactory {
          * <!-- end-user-doc -->
          * @generated
          */
+        public Modality createModalityFromString(EDataType eDataType, String initialValue) {
+                Modality result = Modality.get(initialValue);
+                if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
+                return result;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String convertModalityToString(EDataType eDataType, Object instanceValue) {
+                return instanceValue == null ? null : instanceValue.toString();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
         @Override
         public CftPackage getCftPackage() {
                 return (CftPackage)getEPackage();
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java
index 1d6b6a23..2d70d7ce 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java
@@ -16,6 +16,8 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
 
@@ -23,6 +25,7 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
 
 import org.eclipse.emf.ecore.EAttribute;
 import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EEnum;
 import org.eclipse.emf.ecore.EPackage;
 import org.eclipse.emf.ecore.EReference;
 
@@ -134,6 +137,20 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
         private EClass connectionEClass = null;
 
         /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass modalElementEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EEnum modalityEEnum = null;
+
+        /**
          * Creates an instance of the model <b>Package</b>, registered with
          * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
          * package URI value.
@@ -473,6 +490,16 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
          * @generated
          */
         @Override
+        public EAttribute getComponent_MultipleAllowed() {
+                return (EAttribute)componentEClass.getEStructuralFeatures().get(4);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
         public EClass getInput() {
                 return inputEClass;
         }
@@ -583,6 +610,36 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
          * @generated
          */
         @Override
+        public EClass getModalElement() {
+                return modalElementEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getModalElement_Exists() {
+                return (EAttribute)modalElementEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EEnum getModality() {
+                return modalityEEnum;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
         public CftFactory getCftFactory() {
                 return (CftFactory)getEFactoryInstance();
         }
@@ -643,6 +700,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
                 createEReference(componentEClass, COMPONENT__OUTPUTS);
                 createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION);
                 createEAttribute(componentEClass, COMPONENT__NAME);
+                createEAttribute(componentEClass, COMPONENT__MULTIPLE_ALLOWED);
 
                 inputEClass = createEClass(INPUT);
                 createEReference(inputEClass, INPUT__INPUT_EVENT);
@@ -657,6 +715,12 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
                 connectionEClass = createEClass(CONNECTION);
                 createEReference(connectionEClass, CONNECTION__INPUT);
                 createEReference(connectionEClass, CONNECTION__OUTPUT);
+
+                modalElementEClass = createEClass(MODAL_ELEMENT);
+                createEAttribute(modalElementEClass, MODAL_ELEMENT__EXISTS);
+
+                // Create enums
+                modalityEEnum = createEEnum(MODALITY);
         }
 
         /**
@@ -697,6 +761,8 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
                 andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
                 orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
                 kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
+                componentEClass.getESuperTypes().add(this.getModalElement());
+                connectionEClass.getESuperTypes().add(this.getModalElement());
 
                 // Initialize classes, features, and operations; add parameters
                 initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -736,6 +802,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
                 initEReference(getComponent_Outputs(), this.getOutput(), this.getOutput_Component(), "outputs", null, 0, -1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
                 initEReference(getComponent_ComponentDefinition(), this.getComponentDefinition(), null, "componentDefinition", null, 1, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
                 initEAttribute(getComponent_Name(), ecorePackage.getEString(), "name", null, 0, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEAttribute(getComponent_MultipleAllowed(), ecorePackage.getEBoolean(), "multipleAllowed", "false", 0, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
                 initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
                 initEReference(getInput_InputEvent(), this.getInputEvent(), null, "inputEvent", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -751,6 +818,15 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
                 initEReference(getConnection_Input(), this.getInput(), this.getInput_IncomingConnections(), "input", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
                 initEReference(getConnection_Output(), this.getOutput(), this.getOutput_OutgoingConnections(), "output", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
 
+                initEClass(modalElementEClass, ModalElement.class, "ModalElement", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getModalElement_Exists(), this.getModality(), "exists", "MUST", 0, 1, ModalElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                // Initialize enums and add enum literals
+                initEEnum(modalityEEnum, Modality.class, "Modality");
+                addEEnumLiteral(modalityEEnum, Modality.MAY);
+                addEEnumLiteral(modalityEEnum, Modality.CURRENT);
+                addEEnumLiteral(modalityEEnum, Modality.MUST);
+
                 // Create resource
                 createResource(eNS_URI);
         }
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java
index 847b6ee1..dcbf7660 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java
@@ -6,6 +6,7 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
 
 import java.util.Collection;
@@ -32,16 +33,38 @@ import org.eclipse.emf.ecore.util.InternalEList;
  * The following features are implemented:
  * </p>
  * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getExists <em>Exists</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getInputs <em>Inputs</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getOutputs <em>Outputs</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getComponentDefinition <em>Component Definition</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getName <em>Name</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#isMultipleAllowed <em>Multiple Allowed</em>}</li>
  * </ul>
  *
  * @generated
  */
 public class ComponentImpl extends MinimalEObjectImpl.Container implements Component {
         /**
+         * The default value of the '{@link #getExists() <em>Exists</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getExists()
+         * @generated
+         * @ordered
+         */
+        protected static final Modality EXISTS_EDEFAULT = Modality.MUST;
+
+        /**
+         * The cached value of the '{@link #getExists() <em>Exists</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getExists()
+         * @generated
+         * @ordered
+         */
+        protected Modality exists = EXISTS_EDEFAULT;
+
+        /**
          * The cached value of the '{@link #getInputs() <em>Inputs</em>}' containment reference list.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -92,6 +115,26 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
         protected String name = NAME_EDEFAULT;
 
         /**
+         * The default value of the '{@link #isMultipleAllowed() <em>Multiple Allowed</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #isMultipleAllowed()
+         * @generated
+         * @ordered
+         */
+        protected static final boolean MULTIPLE_ALLOWED_EDEFAULT = false;
+
+        /**
+         * The cached value of the '{@link #isMultipleAllowed() <em>Multiple Allowed</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #isMultipleAllowed()
+         * @generated
+         * @ordered
+         */
+        protected boolean multipleAllowed = MULTIPLE_ALLOWED_EDEFAULT;
+
+        /**
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
          * @generated
@@ -204,6 +247,52 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
          * <!-- end-user-doc -->
          * @generated
          */
+        @Override
+        public Modality getExists() {
+                return exists;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setExists(Modality newExists) {
+                Modality oldExists = exists;
+                exists = newExists == null ? EXISTS_EDEFAULT : newExists;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__EXISTS, oldExists, exists));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean isMultipleAllowed() {
+                return multipleAllowed;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setMultipleAllowed(boolean newMultipleAllowed) {
+                boolean oldMultipleAllowed = multipleAllowed;
+                multipleAllowed = newMultipleAllowed;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__MULTIPLE_ALLOWED, oldMultipleAllowed, multipleAllowed));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
         @SuppressWarnings("unchecked")
         @Override
         public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
@@ -240,6 +329,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
         @Override
         public Object eGet(int featureID, boolean resolve, boolean coreType) {
                 switch (featureID) {
+                        case CftPackage.COMPONENT__EXISTS:
+                                return getExists();
                         case CftPackage.COMPONENT__INPUTS:
                                 return getInputs();
                         case CftPackage.COMPONENT__OUTPUTS:
@@ -249,6 +340,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
                                 return basicGetComponentDefinition();
                         case CftPackage.COMPONENT__NAME:
                                 return getName();
+                        case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
+                                return isMultipleAllowed();
                 }
                 return super.eGet(featureID, resolve, coreType);
         }
@@ -262,6 +355,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
         @Override
         public void eSet(int featureID, Object newValue) {
                 switch (featureID) {
+                        case CftPackage.COMPONENT__EXISTS:
+                                setExists((Modality)newValue);
+                                return;
                         case CftPackage.COMPONENT__INPUTS:
                                 getInputs().clear();
                                 getInputs().addAll((Collection<? extends Input>)newValue);
@@ -276,6 +372,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
                         case CftPackage.COMPONENT__NAME:
                                 setName((String)newValue);
                                 return;
+                        case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
+                                setMultipleAllowed((Boolean)newValue);
+                                return;
                 }
                 super.eSet(featureID, newValue);
         }
@@ -288,6 +387,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
         @Override
         public void eUnset(int featureID) {
                 switch (featureID) {
+                        case CftPackage.COMPONENT__EXISTS:
+                                setExists(EXISTS_EDEFAULT);
+                                return;
                         case CftPackage.COMPONENT__INPUTS:
                                 getInputs().clear();
                                 return;
@@ -300,6 +402,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
                         case CftPackage.COMPONENT__NAME:
                                 setName(NAME_EDEFAULT);
                                 return;
+                        case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
+                                setMultipleAllowed(MULTIPLE_ALLOWED_EDEFAULT);
+                                return;
                 }
                 super.eUnset(featureID);
         }
@@ -312,6 +417,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
         @Override
         public boolean eIsSet(int featureID) {
                 switch (featureID) {
+                        case CftPackage.COMPONENT__EXISTS:
+                                return exists != EXISTS_EDEFAULT;
                         case CftPackage.COMPONENT__INPUTS:
                                 return inputs != null && !inputs.isEmpty();
                         case CftPackage.COMPONENT__OUTPUTS:
@@ -320,6 +427,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
                                 return componentDefinition != null;
                         case CftPackage.COMPONENT__NAME:
                                 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
+                        case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
+                                return multipleAllowed != MULTIPLE_ALLOWED_EDEFAULT;
                 }
                 return super.eIsSet(featureID);
         }
@@ -334,8 +443,12 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
                 if (eIsProxy()) return super.toString();
 
                 StringBuilder result = new StringBuilder(super.toString());
-                result.append(" (name: ");
+                result.append(" (exists: ");
+                result.append(exists);
+                result.append(", name: ");
                 result.append(name);
+                result.append(", multipleAllowed: ");
+                result.append(multipleAllowed);
                 result.append(')');
                 return result.toString();
         }
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java
index 7506e4d7..aea86ed4 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java
@@ -5,6 +5,7 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
 
 import org.eclipse.emf.common.notify.Notification;
@@ -26,6 +27,7 @@ import org.eclipse.emf.ecore.util.EcoreUtil;
  * The following features are implemented:
  * </p>
  * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getExists <em>Exists</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getInput <em>Input</em>}</li>
  *   <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getOutput <em>Output</em>}</li>
  * </ul>
@@ -34,6 +36,26 @@ import org.eclipse.emf.ecore.util.EcoreUtil;
  */
 public class ConnectionImpl extends MinimalEObjectImpl.Container implements Connection {
         /**
+         * The default value of the '{@link #getExists() <em>Exists</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getExists()
+         * @generated
+         * @ordered
+         */
+        protected static final Modality EXISTS_EDEFAULT = Modality.MUST;
+
+        /**
+         * The cached value of the '{@link #getExists() <em>Exists</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getExists()
+         * @generated
+         * @ordered
+         */
+        protected Modality exists = EXISTS_EDEFAULT;
+
+        /**
          * The cached value of the '{@link #getOutput() <em>Output</em>}' reference.
          * <!-- begin-user-doc -->
          * <!-- end-user-doc -->
@@ -173,6 +195,29 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
          * @generated
          */
         @Override
+        public Modality getExists() {
+                return exists;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setExists(Modality newExists) {
+                Modality oldExists = exists;
+                exists = newExists == null ? EXISTS_EDEFAULT : newExists;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__EXISTS, oldExists, exists));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
         public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
                 switch (featureID) {
                         case CftPackage.CONNECTION__INPUT:
@@ -225,6 +270,8 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
         @Override
         public Object eGet(int featureID, boolean resolve, boolean coreType) {
                 switch (featureID) {
+                        case CftPackage.CONNECTION__EXISTS:
+                                return getExists();
                         case CftPackage.CONNECTION__INPUT:
                                 return getInput();
                         case CftPackage.CONNECTION__OUTPUT:
@@ -242,6 +289,9 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
         @Override
         public void eSet(int featureID, Object newValue) {
                 switch (featureID) {
+                        case CftPackage.CONNECTION__EXISTS:
+                                setExists((Modality)newValue);
+                                return;
                         case CftPackage.CONNECTION__INPUT:
                                 setInput((Input)newValue);
                                 return;
@@ -260,6 +310,9 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
         @Override
         public void eUnset(int featureID) {
                 switch (featureID) {
+                        case CftPackage.CONNECTION__EXISTS:
+                                setExists(EXISTS_EDEFAULT);
+                                return;
                         case CftPackage.CONNECTION__INPUT:
                                 setInput((Input)null);
                                 return;
@@ -278,6 +331,8 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
         @Override
         public boolean eIsSet(int featureID) {
                 switch (featureID) {
+                        case CftPackage.CONNECTION__EXISTS:
+                                return exists != EXISTS_EDEFAULT;
                         case CftPackage.CONNECTION__INPUT:
                                 return getInput() != null;
                         case CftPackage.CONNECTION__OUTPUT:
@@ -286,4 +341,20 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
                 return super.eIsSet(featureID);
         }
 
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String toString() {
+                if (eIsProxy()) return super.toString();
+
+                StringBuilder result = new StringBuilder(super.toString());
+                result.append(" (exists: ");
+                result.append(exists);
+                result.append(')');
+                return result.toString();
+        }
+
 } //ConnectionImpl