aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java174
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java32
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java4
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ModalElement.java54
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java244
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java51
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java76
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java115
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java71
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java23
11 files changed, 845 insertions, 17 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java
index d75710a2..07200ab2 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java
@@ -4,6 +4,7 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4 4
5import org.eclipse.emf.ecore.EAttribute; 5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass; 6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EEnum;
7import org.eclipse.emf.ecore.EPackage; 8import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference; 9import org.eclipse.emf.ecore.EReference;
9 10
@@ -535,6 +536,43 @@ public interface CftPackage extends EPackage {
535 int COMPONENT_FAULT_TREE_OPERATION_COUNT = 0; 536 int COMPONENT_FAULT_TREE_OPERATION_COUNT = 0;
536 537
537 /** 538 /**
539 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement <em>Modal Element</em>}' class.
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement
543 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModalElement()
544 * @generated
545 */
546 int MODAL_ELEMENT = 14;
547
548 /**
549 * The feature id for the '<em><b>Exists</b></em>' attribute.
550 * <!-- begin-user-doc -->
551 * <!-- end-user-doc -->
552 * @generated
553 * @ordered
554 */
555 int MODAL_ELEMENT__EXISTS = 0;
556
557 /**
558 * The number of structural features of the '<em>Modal Element</em>' class.
559 * <!-- begin-user-doc -->
560 * <!-- end-user-doc -->
561 * @generated
562 * @ordered
563 */
564 int MODAL_ELEMENT_FEATURE_COUNT = 1;
565
566 /**
567 * The number of operations of the '<em>Modal Element</em>' class.
568 * <!-- begin-user-doc -->
569 * <!-- end-user-doc -->
570 * @generated
571 * @ordered
572 */
573 int MODAL_ELEMENT_OPERATION_COUNT = 0;
574
575 /**
538 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl <em>Component</em>}' class. 576 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl <em>Component</em>}' class.
539 * <!-- begin-user-doc --> 577 * <!-- begin-user-doc -->
540 * <!-- end-user-doc --> 578 * <!-- end-user-doc -->
@@ -545,13 +583,22 @@ public interface CftPackage extends EPackage {
545 int COMPONENT = 10; 583 int COMPONENT = 10;
546 584
547 /** 585 /**
586 * The feature id for the '<em><b>Exists</b></em>' attribute.
587 * <!-- begin-user-doc -->
588 * <!-- end-user-doc -->
589 * @generated
590 * @ordered
591 */
592 int COMPONENT__EXISTS = MODAL_ELEMENT__EXISTS;
593
594 /**
548 * The feature id for the '<em><b>Inputs</b></em>' containment reference list. 595 * The feature id for the '<em><b>Inputs</b></em>' containment reference list.
549 * <!-- begin-user-doc --> 596 * <!-- begin-user-doc -->
550 * <!-- end-user-doc --> 597 * <!-- end-user-doc -->
551 * @generated 598 * @generated
552 * @ordered 599 * @ordered
553 */ 600 */
554 int COMPONENT__INPUTS = 0; 601 int COMPONENT__INPUTS = MODAL_ELEMENT_FEATURE_COUNT + 0;
555 602
556 /** 603 /**
557 * The feature id for the '<em><b>Outputs</b></em>' containment reference list. 604 * The feature id for the '<em><b>Outputs</b></em>' containment reference list.
@@ -560,7 +607,7 @@ public interface CftPackage extends EPackage {
560 * @generated 607 * @generated
561 * @ordered 608 * @ordered
562 */ 609 */
563 int COMPONENT__OUTPUTS = 1; 610 int COMPONENT__OUTPUTS = MODAL_ELEMENT_FEATURE_COUNT + 1;
564 611
565 /** 612 /**
566 * The feature id for the '<em><b>Component Definition</b></em>' reference. 613 * The feature id for the '<em><b>Component Definition</b></em>' reference.
@@ -569,7 +616,7 @@ public interface CftPackage extends EPackage {
569 * @generated 616 * @generated
570 * @ordered 617 * @ordered
571 */ 618 */
572 int COMPONENT__COMPONENT_DEFINITION = 2; 619 int COMPONENT__COMPONENT_DEFINITION = MODAL_ELEMENT_FEATURE_COUNT + 2;
573 620
574 /** 621 /**
575 * The feature id for the '<em><b>Name</b></em>' attribute. 622 * The feature id for the '<em><b>Name</b></em>' attribute.
@@ -578,7 +625,16 @@ public interface CftPackage extends EPackage {
578 * @generated 625 * @generated
579 * @ordered 626 * @ordered
580 */ 627 */
581 int COMPONENT__NAME = 3; 628 int COMPONENT__NAME = MODAL_ELEMENT_FEATURE_COUNT + 3;
629
630 /**
631 * The feature id for the '<em><b>Multiple Allowed</b></em>' attribute.
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @generated
635 * @ordered
636 */
637 int COMPONENT__MULTIPLE_ALLOWED = MODAL_ELEMENT_FEATURE_COUNT + 4;
582 638
583 /** 639 /**
584 * The number of structural features of the '<em>Component</em>' class. 640 * The number of structural features of the '<em>Component</em>' class.
@@ -587,7 +643,7 @@ public interface CftPackage extends EPackage {
587 * @generated 643 * @generated
588 * @ordered 644 * @ordered
589 */ 645 */
590 int COMPONENT_FEATURE_COUNT = 4; 646 int COMPONENT_FEATURE_COUNT = MODAL_ELEMENT_FEATURE_COUNT + 5;
591 647
592 /** 648 /**
593 * The number of operations of the '<em>Component</em>' class. 649 * The number of operations of the '<em>Component</em>' class.
@@ -596,7 +652,7 @@ public interface CftPackage extends EPackage {
596 * @generated 652 * @generated
597 * @ordered 653 * @ordered
598 */ 654 */
599 int COMPONENT_OPERATION_COUNT = 0; 655 int COMPONENT_OPERATION_COUNT = MODAL_ELEMENT_OPERATION_COUNT + 0;
600 656
601 /** 657 /**
602 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class. 658 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class.
@@ -719,13 +775,22 @@ public interface CftPackage extends EPackage {
719 int CONNECTION = 13; 775 int CONNECTION = 13;
720 776
721 /** 777 /**
778 * The feature id for the '<em><b>Exists</b></em>' attribute.
779 * <!-- begin-user-doc -->
780 * <!-- end-user-doc -->
781 * @generated
782 * @ordered
783 */
784 int CONNECTION__EXISTS = MODAL_ELEMENT__EXISTS;
785
786 /**
722 * The feature id for the '<em><b>Input</b></em>' container reference. 787 * The feature id for the '<em><b>Input</b></em>' container reference.
723 * <!-- begin-user-doc --> 788 * <!-- begin-user-doc -->
724 * <!-- end-user-doc --> 789 * <!-- end-user-doc -->
725 * @generated 790 * @generated
726 * @ordered 791 * @ordered
727 */ 792 */
728 int CONNECTION__INPUT = 0; 793 int CONNECTION__INPUT = MODAL_ELEMENT_FEATURE_COUNT + 0;
729 794
730 /** 795 /**
731 * The feature id for the '<em><b>Output</b></em>' reference. 796 * The feature id for the '<em><b>Output</b></em>' reference.
@@ -734,7 +799,7 @@ public interface CftPackage extends EPackage {
734 * @generated 799 * @generated
735 * @ordered 800 * @ordered
736 */ 801 */
737 int CONNECTION__OUTPUT = 1; 802 int CONNECTION__OUTPUT = MODAL_ELEMENT_FEATURE_COUNT + 1;
738 803
739 /** 804 /**
740 * The number of structural features of the '<em>Connection</em>' class. 805 * The number of structural features of the '<em>Connection</em>' class.
@@ -743,7 +808,7 @@ public interface CftPackage extends EPackage {
743 * @generated 808 * @generated
744 * @ordered 809 * @ordered
745 */ 810 */
746 int CONNECTION_FEATURE_COUNT = 2; 811 int CONNECTION_FEATURE_COUNT = MODAL_ELEMENT_FEATURE_COUNT + 2;
747 812
748 /** 813 /**
749 * The number of operations of the '<em>Connection</em>' class. 814 * The number of operations of the '<em>Connection</em>' class.
@@ -752,7 +817,18 @@ public interface CftPackage extends EPackage {
752 * @generated 817 * @generated
753 * @ordered 818 * @ordered
754 */ 819 */
755 int CONNECTION_OPERATION_COUNT = 0; 820 int CONNECTION_OPERATION_COUNT = MODAL_ELEMENT_OPERATION_COUNT + 0;
821
822
823 /**
824 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality <em>Modality</em>}' enum.
825 * <!-- begin-user-doc -->
826 * <!-- end-user-doc -->
827 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
828 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModality()
829 * @generated
830 */
831 int MODALITY = 15;
756 832
757 833
758 /** 834 /**
@@ -1042,6 +1118,17 @@ public interface CftPackage extends EPackage {
1042 EAttribute getComponent_Name(); 1118 EAttribute getComponent_Name();
1043 1119
1044 /** 1120 /**
1121 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed <em>Multiple Allowed</em>}'.
1122 * <!-- begin-user-doc -->
1123 * <!-- end-user-doc -->
1124 * @return the meta object for the attribute '<em>Multiple Allowed</em>'.
1125 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed()
1126 * @see #getComponent()
1127 * @generated
1128 */
1129 EAttribute getComponent_MultipleAllowed();
1130
1131 /**
1045 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input <em>Input</em>}'. 1132 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input <em>Input</em>}'.
1046 * <!-- begin-user-doc --> 1133 * <!-- begin-user-doc -->
1047 * <!-- end-user-doc --> 1134 * <!-- end-user-doc -->
@@ -1160,6 +1247,37 @@ public interface CftPackage extends EPackage {
1160 EReference getConnection_Output(); 1247 EReference getConnection_Output();
1161 1248
1162 /** 1249 /**
1250 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement <em>Modal Element</em>}'.
1251 * <!-- begin-user-doc -->
1252 * <!-- end-user-doc -->
1253 * @return the meta object for class '<em>Modal Element</em>'.
1254 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement
1255 * @generated
1256 */
1257 EClass getModalElement();
1258
1259 /**
1260 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists <em>Exists</em>}'.
1261 * <!-- begin-user-doc -->
1262 * <!-- end-user-doc -->
1263 * @return the meta object for the attribute '<em>Exists</em>'.
1264 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists()
1265 * @see #getModalElement()
1266 * @generated
1267 */
1268 EAttribute getModalElement_Exists();
1269
1270 /**
1271 * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality <em>Modality</em>}'.
1272 * <!-- begin-user-doc -->
1273 * <!-- end-user-doc -->
1274 * @return the meta object for enum '<em>Modality</em>'.
1275 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
1276 * @generated
1277 */
1278 EEnum getModality();
1279
1280 /**
1163 * Returns the factory that creates the instances of the model. 1281 * Returns the factory that creates the instances of the model.
1164 * <!-- begin-user-doc --> 1282 * <!-- begin-user-doc -->
1165 * <!-- end-user-doc --> 1283 * <!-- end-user-doc -->
@@ -1421,6 +1539,14 @@ public interface CftPackage extends EPackage {
1421 EAttribute COMPONENT__NAME = eINSTANCE.getComponent_Name(); 1539 EAttribute COMPONENT__NAME = eINSTANCE.getComponent_Name();
1422 1540
1423 /** 1541 /**
1542 * The meta object literal for the '<em><b>Multiple Allowed</b></em>' attribute feature.
1543 * <!-- begin-user-doc -->
1544 * <!-- end-user-doc -->
1545 * @generated
1546 */
1547 EAttribute COMPONENT__MULTIPLE_ALLOWED = eINSTANCE.getComponent_MultipleAllowed();
1548
1549 /**
1424 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class. 1550 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl <em>Input</em>}' class.
1425 * <!-- begin-user-doc --> 1551 * <!-- begin-user-doc -->
1426 * <!-- end-user-doc --> 1552 * <!-- end-user-doc -->
@@ -1514,6 +1640,34 @@ public interface CftPackage extends EPackage {
1514 */ 1640 */
1515 EReference CONNECTION__OUTPUT = eINSTANCE.getConnection_Output(); 1641 EReference CONNECTION__OUTPUT = eINSTANCE.getConnection_Output();
1516 1642
1643 /**
1644 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement <em>Modal Element</em>}' class.
1645 * <!-- begin-user-doc -->
1646 * <!-- end-user-doc -->
1647 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement
1648 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModalElement()
1649 * @generated
1650 */
1651 EClass MODAL_ELEMENT = eINSTANCE.getModalElement();
1652
1653 /**
1654 * The meta object literal for the '<em><b>Exists</b></em>' attribute feature.
1655 * <!-- begin-user-doc -->
1656 * <!-- end-user-doc -->
1657 * @generated
1658 */
1659 EAttribute MODAL_ELEMENT__EXISTS = eINSTANCE.getModalElement_Exists();
1660
1661 /**
1662 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality <em>Modality</em>}' enum.
1663 * <!-- begin-user-doc -->
1664 * <!-- end-user-doc -->
1665 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
1666 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModality()
1667 * @generated
1668 */
1669 EEnum MODALITY = eINSTANCE.getModality();
1670
1517 } 1671 }
1518 1672
1519} //CftPackage 1673} //CftPackage
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java
index 7d5055c9..9b1d0b24 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java
@@ -4,8 +4,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4 4
5import org.eclipse.emf.common.util.EList; 5import org.eclipse.emf.common.util.EList;
6 6
7import org.eclipse.emf.ecore.EObject;
8
9/** 7/**
10 * <!-- begin-user-doc --> 8 * <!-- begin-user-doc -->
11 * A representation of the model object '<em><b>Component</b></em>'. 9 * A representation of the model object '<em><b>Component</b></em>'.
@@ -19,13 +17,14 @@ import org.eclipse.emf.ecore.EObject;
19 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs <em>Outputs</em>}</li> 17 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs <em>Outputs</em>}</li>
20 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition <em>Component Definition</em>}</li> 18 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition <em>Component Definition</em>}</li>
21 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getName <em>Name</em>}</li> 19 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getName <em>Name</em>}</li>
20 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed <em>Multiple Allowed</em>}</li>
22 * </ul> 21 * </ul>
23 * 22 *
24 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent() 23 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent()
25 * @model 24 * @model
26 * @generated 25 * @generated
27 */ 26 */
28public interface Component extends EObject { 27public interface Component extends ModalElement {
29 /** 28 /**
30 * Returns the value of the '<em><b>Inputs</b></em>' containment reference list. 29 * Returns the value of the '<em><b>Inputs</b></em>' containment reference list.
31 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input}. 30 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input}.
@@ -114,4 +113,31 @@ public interface Component extends EObject {
114 */ 113 */
115 void setName(String value); 114 void setName(String value);
116 115
116 /**
117 * Returns the value of the '<em><b>Multiple Allowed</b></em>' attribute.
118 * The default value is <code>"false"</code>.
119 * <!-- begin-user-doc -->
120 * <p>
121 * If the meaning of the '<em>Multiple Allowed</em>' attribute isn't clear,
122 * there really should be more of a description here...
123 * </p>
124 * <!-- end-user-doc -->
125 * @return the value of the '<em>Multiple Allowed</em>' attribute.
126 * @see #setMultipleAllowed(boolean)
127 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_MultipleAllowed()
128 * @model default="false"
129 * @generated
130 */
131 boolean isMultipleAllowed();
132
133 /**
134 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed <em>Multiple Allowed</em>}' attribute.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @param value the new value of the '<em>Multiple Allowed</em>' attribute.
138 * @see #isMultipleAllowed()
139 * @generated
140 */
141 void setMultipleAllowed(boolean value);
142
117} // Component 143} // Component
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java
index c05e809b..9ca5b77f 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java
@@ -2,8 +2,6 @@
2 */ 2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; 3package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4 4
5import org.eclipse.emf.ecore.EObject;
6
7/** 5/**
8 * <!-- begin-user-doc --> 6 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Connection</b></em>'. 7 * A representation of the model object '<em><b>Connection</b></em>'.
@@ -21,7 +19,7 @@ import org.eclipse.emf.ecore.EObject;
21 * @model 19 * @model
22 * @generated 20 * @generated
23 */ 21 */
24public interface Connection extends EObject { 22public interface Connection extends ModalElement {
25 /** 23 /**
26 * Returns the value of the '<em><b>Input</b></em>' container reference. 24 * Returns the value of the '<em><b>Input</b></em>' container reference.
27 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections <em>Incoming Connections</em>}'. 25 * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections <em>Incoming Connections</em>}'.
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ModalElement.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ModalElement.java
new file mode 100644
index 00000000..9abb6558
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ModalElement.java
@@ -0,0 +1,54 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Modal Element</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists <em>Exists</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getModalElement()
20 * @model interface="true" abstract="true"
21 * @generated
22 */
23public interface ModalElement extends EObject {
24 /**
25 * Returns the value of the '<em><b>Exists</b></em>' attribute.
26 * The default value is <code>"MUST"</code>.
27 * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality}.
28 * <!-- begin-user-doc -->
29 * <p>
30 * If the meaning of the '<em>Exists</em>' attribute isn't clear,
31 * there really should be more of a description here...
32 * </p>
33 * <!-- end-user-doc -->
34 * @return the value of the '<em>Exists</em>' attribute.
35 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
36 * @see #setExists(Modality)
37 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getModalElement_Exists()
38 * @model default="MUST"
39 * @generated
40 */
41 Modality getExists();
42
43 /**
44 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists <em>Exists</em>}' attribute.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @param value the new value of the '<em>Exists</em>' attribute.
48 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
49 * @see #getExists()
50 * @generated
51 */
52 void setExists(Modality value);
53
54} // ModalElement
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java
new file mode 100644
index 00000000..6b7dc1e4
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Modality.java
@@ -0,0 +1,244 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.cft;
4
5import java.util.Arrays;
6import java.util.Collections;
7import java.util.List;
8
9import org.eclipse.emf.common.util.Enumerator;
10
11/**
12 * <!-- begin-user-doc -->
13 * A representation of the literals of the enumeration '<em><b>Modality</b></em>',
14 * and utility methods for working with them.
15 * <!-- end-user-doc -->
16 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getModality()
17 * @model
18 * @generated
19 */
20public enum Modality implements Enumerator {
21 /**
22 * The '<em><b>MAY</b></em>' literal object.
23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc -->
25 * @see #MAY_VALUE
26 * @generated
27 * @ordered
28 */
29 MAY(0, "MAY", "MAY"),
30
31 /**
32 * The '<em><b>CURRENT</b></em>' literal object.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #CURRENT_VALUE
36 * @generated
37 * @ordered
38 */
39 CURRENT(1, "CURRENT", "CURRENT"),
40
41 /**
42 * The '<em><b>MUST</b></em>' literal object.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @see #MUST_VALUE
46 * @generated
47 * @ordered
48 */
49 MUST(2, "MUST", "MUST");
50
51 /**
52 * The '<em><b>MAY</b></em>' literal value.
53 * <!-- begin-user-doc -->
54 * <p>
55 * If the meaning of '<em><b>MAY</b></em>' literal object isn't clear,
56 * there really should be more of a description here...
57 * </p>
58 * <!-- end-user-doc -->
59 * @see #MAY
60 * @model
61 * @generated
62 * @ordered
63 */
64 public static final int MAY_VALUE = 0;
65
66 /**
67 * The '<em><b>CURRENT</b></em>' literal value.
68 * <!-- begin-user-doc -->
69 * <p>
70 * If the meaning of '<em><b>CURRENT</b></em>' literal object isn't clear,
71 * there really should be more of a description here...
72 * </p>
73 * <!-- end-user-doc -->
74 * @see #CURRENT
75 * @model
76 * @generated
77 * @ordered
78 */
79 public static final int CURRENT_VALUE = 1;
80
81 /**
82 * The '<em><b>MUST</b></em>' literal value.
83 * <!-- begin-user-doc -->
84 * <p>
85 * If the meaning of '<em><b>MUST</b></em>' literal object isn't clear,
86 * there really should be more of a description here...
87 * </p>
88 * <!-- end-user-doc -->
89 * @see #MUST
90 * @model
91 * @generated
92 * @ordered
93 */
94 public static final int MUST_VALUE = 2;
95
96 /**
97 * An array of all the '<em><b>Modality</b></em>' enumerators.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 private static final Modality[] VALUES_ARRAY =
103 new Modality[] {
104 MAY,
105 CURRENT,
106 MUST,
107 };
108
109 /**
110 * A public read-only list of all the '<em><b>Modality</b></em>' enumerators.
111 * <!-- begin-user-doc -->
112 * <!-- end-user-doc -->
113 * @generated
114 */
115 public static final List<Modality> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
116
117 /**
118 * Returns the '<em><b>Modality</b></em>' literal with the specified literal value.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @param literal the literal.
122 * @return the matching enumerator or <code>null</code>.
123 * @generated
124 */
125 public static Modality get(String literal) {
126 for (int i = 0; i < VALUES_ARRAY.length; ++i) {
127 Modality result = VALUES_ARRAY[i];
128 if (result.toString().equals(literal)) {
129 return result;
130 }
131 }
132 return null;
133 }
134
135 /**
136 * Returns the '<em><b>Modality</b></em>' literal with the specified name.
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @param name the name.
140 * @return the matching enumerator or <code>null</code>.
141 * @generated
142 */
143 public static Modality getByName(String name) {
144 for (int i = 0; i < VALUES_ARRAY.length; ++i) {
145 Modality result = VALUES_ARRAY[i];
146 if (result.getName().equals(name)) {
147 return result;
148 }
149 }
150 return null;
151 }
152
153 /**
154 * Returns the '<em><b>Modality</b></em>' literal with the specified integer value.
155 * <!-- begin-user-doc -->
156 * <!-- end-user-doc -->
157 * @param value the integer value.
158 * @return the matching enumerator or <code>null</code>.
159 * @generated
160 */
161 public static Modality get(int value) {
162 switch (value) {
163 case MAY_VALUE: return MAY;
164 case CURRENT_VALUE: return CURRENT;
165 case MUST_VALUE: return MUST;
166 }
167 return null;
168 }
169
170 /**
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @generated
174 */
175 private final int value;
176
177 /**
178 * <!-- begin-user-doc -->
179 * <!-- end-user-doc -->
180 * @generated
181 */
182 private final String name;
183
184 /**
185 * <!-- begin-user-doc -->
186 * <!-- end-user-doc -->
187 * @generated
188 */
189 private final String literal;
190
191 /**
192 * Only this class can construct instances.
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 */
197 private Modality(int value, String name, String literal) {
198 this.value = value;
199 this.name = name;
200 this.literal = literal;
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public int getValue() {
210 return value;
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 @Override
219 public String getName() {
220 return name;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 @Override
229 public String getLiteral() {
230 return literal;
231 }
232
233 /**
234 * Returns the literal value of the enumerator, which is its string representation.
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @generated
238 */
239 @Override
240 public String toString() {
241 return literal;
242 }
243
244} //Modality
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;
5import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*;
6 6
7import org.eclipse.emf.ecore.EClass; 7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EDataType;
8import org.eclipse.emf.ecore.EObject; 9import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage; 10import org.eclipse.emf.ecore.EPackage;
10 11
@@ -78,6 +79,36 @@ public class CftFactoryImpl extends EFactoryImpl implements CftFactory {
78 * @generated 79 * @generated
79 */ 80 */
80 @Override 81 @Override
82 public Object createFromString(EDataType eDataType, String initialValue) {
83 switch (eDataType.getClassifierID()) {
84 case CftPackage.MODALITY:
85 return createModalityFromString(eDataType, initialValue);
86 default:
87 throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
88 }
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 @Override
97 public String convertToString(EDataType eDataType, Object instanceValue) {
98 switch (eDataType.getClassifierID()) {
99 case CftPackage.MODALITY:
100 return convertModalityToString(eDataType, instanceValue);
101 default:
102 throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
103 }
104 }
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 */
111 @Override
81 public ComponentDefinition createComponentDefinition() { 112 public ComponentDefinition createComponentDefinition() {
82 ComponentDefinitionImpl componentDefinition = new ComponentDefinitionImpl(); 113 ComponentDefinitionImpl componentDefinition = new ComponentDefinitionImpl();
83 return componentDefinition; 114 return componentDefinition;
@@ -198,6 +229,26 @@ public class CftFactoryImpl extends EFactoryImpl implements CftFactory {
198 * <!-- end-user-doc --> 229 * <!-- end-user-doc -->
199 * @generated 230 * @generated
200 */ 231 */
232 public Modality createModalityFromString(EDataType eDataType, String initialValue) {
233 Modality result = Modality.get(initialValue);
234 if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
235 return result;
236 }
237
238 /**
239 * <!-- begin-user-doc -->
240 * <!-- end-user-doc -->
241 * @generated
242 */
243 public String convertModalityToString(EDataType eDataType, Object instanceValue) {
244 return instanceValue == null ? null : instanceValue.toString();
245 }
246
247 /**
248 * <!-- begin-user-doc -->
249 * <!-- end-user-doc -->
250 * @generated
251 */
201 @Override 252 @Override
202 public CftPackage getCftPackage() { 253 public CftPackage getCftPackage() {
203 return (CftPackage)getEPackage(); 254 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;
16import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; 16import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
17import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; 17import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent;
18import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; 18import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
19import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement;
20import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
19import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; 21import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
20import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; 22import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
21 23
@@ -23,6 +25,7 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
23 25
24import org.eclipse.emf.ecore.EAttribute; 26import org.eclipse.emf.ecore.EAttribute;
25import org.eclipse.emf.ecore.EClass; 27import org.eclipse.emf.ecore.EClass;
28import org.eclipse.emf.ecore.EEnum;
26import org.eclipse.emf.ecore.EPackage; 29import org.eclipse.emf.ecore.EPackage;
27import org.eclipse.emf.ecore.EReference; 30import org.eclipse.emf.ecore.EReference;
28 31
@@ -134,6 +137,20 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
134 private EClass connectionEClass = null; 137 private EClass connectionEClass = null;
135 138
136 /** 139 /**
140 * <!-- begin-user-doc -->
141 * <!-- end-user-doc -->
142 * @generated
143 */
144 private EClass modalElementEClass = null;
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 private EEnum modalityEEnum = null;
152
153 /**
137 * Creates an instance of the model <b>Package</b>, registered with 154 * Creates an instance of the model <b>Package</b>, registered with
138 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package 155 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
139 * package URI value. 156 * package URI value.
@@ -473,6 +490,16 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
473 * @generated 490 * @generated
474 */ 491 */
475 @Override 492 @Override
493 public EAttribute getComponent_MultipleAllowed() {
494 return (EAttribute)componentEClass.getEStructuralFeatures().get(4);
495 }
496
497 /**
498 * <!-- begin-user-doc -->
499 * <!-- end-user-doc -->
500 * @generated
501 */
502 @Override
476 public EClass getInput() { 503 public EClass getInput() {
477 return inputEClass; 504 return inputEClass;
478 } 505 }
@@ -583,6 +610,36 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
583 * @generated 610 * @generated
584 */ 611 */
585 @Override 612 @Override
613 public EClass getModalElement() {
614 return modalElementEClass;
615 }
616
617 /**
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 */
622 @Override
623 public EAttribute getModalElement_Exists() {
624 return (EAttribute)modalElementEClass.getEStructuralFeatures().get(0);
625 }
626
627 /**
628 * <!-- begin-user-doc -->
629 * <!-- end-user-doc -->
630 * @generated
631 */
632 @Override
633 public EEnum getModality() {
634 return modalityEEnum;
635 }
636
637 /**
638 * <!-- begin-user-doc -->
639 * <!-- end-user-doc -->
640 * @generated
641 */
642 @Override
586 public CftFactory getCftFactory() { 643 public CftFactory getCftFactory() {
587 return (CftFactory)getEFactoryInstance(); 644 return (CftFactory)getEFactoryInstance();
588 } 645 }
@@ -643,6 +700,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
643 createEReference(componentEClass, COMPONENT__OUTPUTS); 700 createEReference(componentEClass, COMPONENT__OUTPUTS);
644 createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION); 701 createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION);
645 createEAttribute(componentEClass, COMPONENT__NAME); 702 createEAttribute(componentEClass, COMPONENT__NAME);
703 createEAttribute(componentEClass, COMPONENT__MULTIPLE_ALLOWED);
646 704
647 inputEClass = createEClass(INPUT); 705 inputEClass = createEClass(INPUT);
648 createEReference(inputEClass, INPUT__INPUT_EVENT); 706 createEReference(inputEClass, INPUT__INPUT_EVENT);
@@ -657,6 +715,12 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
657 connectionEClass = createEClass(CONNECTION); 715 connectionEClass = createEClass(CONNECTION);
658 createEReference(connectionEClass, CONNECTION__INPUT); 716 createEReference(connectionEClass, CONNECTION__INPUT);
659 createEReference(connectionEClass, CONNECTION__OUTPUT); 717 createEReference(connectionEClass, CONNECTION__OUTPUT);
718
719 modalElementEClass = createEClass(MODAL_ELEMENT);
720 createEAttribute(modalElementEClass, MODAL_ELEMENT__EXISTS);
721
722 // Create enums
723 modalityEEnum = createEEnum(MODALITY);
660 } 724 }
661 725
662 /** 726 /**
@@ -697,6 +761,8 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
697 andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); 761 andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
698 orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); 762 orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
699 kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); 763 kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition());
764 componentEClass.getESuperTypes().add(this.getModalElement());
765 connectionEClass.getESuperTypes().add(this.getModalElement());
700 766
701 // Initialize classes, features, and operations; add parameters 767 // Initialize classes, features, and operations; add parameters
702 initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 768 initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -736,6 +802,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage {
736 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); 802 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);
737 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); 803 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);
738 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); 804 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);
805 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);
739 806
740 initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 807 initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
741 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); 808 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 {
751 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); 818 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);
752 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); 819 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);
753 820
821 initEClass(modalElementEClass, ModalElement.class, "ModalElement", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
822 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);
823
824 // Initialize enums and add enum literals
825 initEEnum(modalityEEnum, Modality.class, "Modality");
826 addEEnumLiteral(modalityEEnum, Modality.MAY);
827 addEEnumLiteral(modalityEEnum, Modality.CURRENT);
828 addEEnumLiteral(modalityEEnum, Modality.MUST);
829
754 // Create resource 830 // Create resource
755 createResource(eNS_URI); 831 createResource(eNS_URI);
756 } 832 }
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;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition; 7import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; 8import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; 10import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
10 11
11import java.util.Collection; 12import java.util.Collection;
@@ -32,16 +33,38 @@ import org.eclipse.emf.ecore.util.InternalEList;
32 * The following features are implemented: 33 * The following features are implemented:
33 * </p> 34 * </p>
34 * <ul> 35 * <ul>
36 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getExists <em>Exists</em>}</li>
35 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getInputs <em>Inputs</em>}</li> 37 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getInputs <em>Inputs</em>}</li>
36 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getOutputs <em>Outputs</em>}</li> 38 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getOutputs <em>Outputs</em>}</li>
37 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getComponentDefinition <em>Component Definition</em>}</li> 39 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getComponentDefinition <em>Component Definition</em>}</li>
38 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getName <em>Name</em>}</li> 40 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getName <em>Name</em>}</li>
41 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#isMultipleAllowed <em>Multiple Allowed</em>}</li>
39 * </ul> 42 * </ul>
40 * 43 *
41 * @generated 44 * @generated
42 */ 45 */
43public class ComponentImpl extends MinimalEObjectImpl.Container implements Component { 46public class ComponentImpl extends MinimalEObjectImpl.Container implements Component {
44 /** 47 /**
48 * The default value of the '{@link #getExists() <em>Exists</em>}' attribute.
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @see #getExists()
52 * @generated
53 * @ordered
54 */
55 protected static final Modality EXISTS_EDEFAULT = Modality.MUST;
56
57 /**
58 * The cached value of the '{@link #getExists() <em>Exists</em>}' attribute.
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @see #getExists()
62 * @generated
63 * @ordered
64 */
65 protected Modality exists = EXISTS_EDEFAULT;
66
67 /**
45 * The cached value of the '{@link #getInputs() <em>Inputs</em>}' containment reference list. 68 * The cached value of the '{@link #getInputs() <em>Inputs</em>}' containment reference list.
46 * <!-- begin-user-doc --> 69 * <!-- begin-user-doc -->
47 * <!-- end-user-doc --> 70 * <!-- end-user-doc -->
@@ -92,6 +115,26 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
92 protected String name = NAME_EDEFAULT; 115 protected String name = NAME_EDEFAULT;
93 116
94 /** 117 /**
118 * The default value of the '{@link #isMultipleAllowed() <em>Multiple Allowed</em>}' attribute.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @see #isMultipleAllowed()
122 * @generated
123 * @ordered
124 */
125 protected static final boolean MULTIPLE_ALLOWED_EDEFAULT = false;
126
127 /**
128 * The cached value of the '{@link #isMultipleAllowed() <em>Multiple Allowed</em>}' attribute.
129 * <!-- begin-user-doc -->
130 * <!-- end-user-doc -->
131 * @see #isMultipleAllowed()
132 * @generated
133 * @ordered
134 */
135 protected boolean multipleAllowed = MULTIPLE_ALLOWED_EDEFAULT;
136
137 /**
95 * <!-- begin-user-doc --> 138 * <!-- begin-user-doc -->
96 * <!-- end-user-doc --> 139 * <!-- end-user-doc -->
97 * @generated 140 * @generated
@@ -204,6 +247,52 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
204 * <!-- end-user-doc --> 247 * <!-- end-user-doc -->
205 * @generated 248 * @generated
206 */ 249 */
250 @Override
251 public Modality getExists() {
252 return exists;
253 }
254
255 /**
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 */
260 @Override
261 public void setExists(Modality newExists) {
262 Modality oldExists = exists;
263 exists = newExists == null ? EXISTS_EDEFAULT : newExists;
264 if (eNotificationRequired())
265 eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__EXISTS, oldExists, exists));
266 }
267
268 /**
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @generated
272 */
273 @Override
274 public boolean isMultipleAllowed() {
275 return multipleAllowed;
276 }
277
278 /**
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @generated
282 */
283 @Override
284 public void setMultipleAllowed(boolean newMultipleAllowed) {
285 boolean oldMultipleAllowed = multipleAllowed;
286 multipleAllowed = newMultipleAllowed;
287 if (eNotificationRequired())
288 eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__MULTIPLE_ALLOWED, oldMultipleAllowed, multipleAllowed));
289 }
290
291 /**
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 */
207 @SuppressWarnings("unchecked") 296 @SuppressWarnings("unchecked")
208 @Override 297 @Override
209 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { 298 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
@@ -240,6 +329,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
240 @Override 329 @Override
241 public Object eGet(int featureID, boolean resolve, boolean coreType) { 330 public Object eGet(int featureID, boolean resolve, boolean coreType) {
242 switch (featureID) { 331 switch (featureID) {
332 case CftPackage.COMPONENT__EXISTS:
333 return getExists();
243 case CftPackage.COMPONENT__INPUTS: 334 case CftPackage.COMPONENT__INPUTS:
244 return getInputs(); 335 return getInputs();
245 case CftPackage.COMPONENT__OUTPUTS: 336 case CftPackage.COMPONENT__OUTPUTS:
@@ -249,6 +340,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
249 return basicGetComponentDefinition(); 340 return basicGetComponentDefinition();
250 case CftPackage.COMPONENT__NAME: 341 case CftPackage.COMPONENT__NAME:
251 return getName(); 342 return getName();
343 case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
344 return isMultipleAllowed();
252 } 345 }
253 return super.eGet(featureID, resolve, coreType); 346 return super.eGet(featureID, resolve, coreType);
254 } 347 }
@@ -262,6 +355,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
262 @Override 355 @Override
263 public void eSet(int featureID, Object newValue) { 356 public void eSet(int featureID, Object newValue) {
264 switch (featureID) { 357 switch (featureID) {
358 case CftPackage.COMPONENT__EXISTS:
359 setExists((Modality)newValue);
360 return;
265 case CftPackage.COMPONENT__INPUTS: 361 case CftPackage.COMPONENT__INPUTS:
266 getInputs().clear(); 362 getInputs().clear();
267 getInputs().addAll((Collection<? extends Input>)newValue); 363 getInputs().addAll((Collection<? extends Input>)newValue);
@@ -276,6 +372,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
276 case CftPackage.COMPONENT__NAME: 372 case CftPackage.COMPONENT__NAME:
277 setName((String)newValue); 373 setName((String)newValue);
278 return; 374 return;
375 case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
376 setMultipleAllowed((Boolean)newValue);
377 return;
279 } 378 }
280 super.eSet(featureID, newValue); 379 super.eSet(featureID, newValue);
281 } 380 }
@@ -288,6 +387,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
288 @Override 387 @Override
289 public void eUnset(int featureID) { 388 public void eUnset(int featureID) {
290 switch (featureID) { 389 switch (featureID) {
390 case CftPackage.COMPONENT__EXISTS:
391 setExists(EXISTS_EDEFAULT);
392 return;
291 case CftPackage.COMPONENT__INPUTS: 393 case CftPackage.COMPONENT__INPUTS:
292 getInputs().clear(); 394 getInputs().clear();
293 return; 395 return;
@@ -300,6 +402,9 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
300 case CftPackage.COMPONENT__NAME: 402 case CftPackage.COMPONENT__NAME:
301 setName(NAME_EDEFAULT); 403 setName(NAME_EDEFAULT);
302 return; 404 return;
405 case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
406 setMultipleAllowed(MULTIPLE_ALLOWED_EDEFAULT);
407 return;
303 } 408 }
304 super.eUnset(featureID); 409 super.eUnset(featureID);
305 } 410 }
@@ -312,6 +417,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
312 @Override 417 @Override
313 public boolean eIsSet(int featureID) { 418 public boolean eIsSet(int featureID) {
314 switch (featureID) { 419 switch (featureID) {
420 case CftPackage.COMPONENT__EXISTS:
421 return exists != EXISTS_EDEFAULT;
315 case CftPackage.COMPONENT__INPUTS: 422 case CftPackage.COMPONENT__INPUTS:
316 return inputs != null && !inputs.isEmpty(); 423 return inputs != null && !inputs.isEmpty();
317 case CftPackage.COMPONENT__OUTPUTS: 424 case CftPackage.COMPONENT__OUTPUTS:
@@ -320,6 +427,8 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
320 return componentDefinition != null; 427 return componentDefinition != null;
321 case CftPackage.COMPONENT__NAME: 428 case CftPackage.COMPONENT__NAME:
322 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); 429 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
430 case CftPackage.COMPONENT__MULTIPLE_ALLOWED:
431 return multipleAllowed != MULTIPLE_ALLOWED_EDEFAULT;
323 } 432 }
324 return super.eIsSet(featureID); 433 return super.eIsSet(featureID);
325 } 434 }
@@ -334,8 +443,12 @@ public class ComponentImpl extends MinimalEObjectImpl.Container implements Compo
334 if (eIsProxy()) return super.toString(); 443 if (eIsProxy()) return super.toString();
335 444
336 StringBuilder result = new StringBuilder(super.toString()); 445 StringBuilder result = new StringBuilder(super.toString());
337 result.append(" (name: "); 446 result.append(" (exists: ");
447 result.append(exists);
448 result.append(", name: ");
338 result.append(name); 449 result.append(name);
450 result.append(", multipleAllowed: ");
451 result.append(multipleAllowed);
339 result.append(')'); 452 result.append(')');
340 return result.toString(); 453 return result.toString();
341 } 454 }
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;
5import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; 5import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; 6import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; 7import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; 9import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
9 10
10import org.eclipse.emf.common.notify.Notification; 11import org.eclipse.emf.common.notify.Notification;
@@ -26,6 +27,7 @@ import org.eclipse.emf.ecore.util.EcoreUtil;
26 * The following features are implemented: 27 * The following features are implemented:
27 * </p> 28 * </p>
28 * <ul> 29 * <ul>
30 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getExists <em>Exists</em>}</li>
29 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getInput <em>Input</em>}</li> 31 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getInput <em>Input</em>}</li>
30 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getOutput <em>Output</em>}</li> 32 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getOutput <em>Output</em>}</li>
31 * </ul> 33 * </ul>
@@ -34,6 +36,26 @@ import org.eclipse.emf.ecore.util.EcoreUtil;
34 */ 36 */
35public class ConnectionImpl extends MinimalEObjectImpl.Container implements Connection { 37public class ConnectionImpl extends MinimalEObjectImpl.Container implements Connection {
36 /** 38 /**
39 * The default value of the '{@link #getExists() <em>Exists</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getExists()
43 * @generated
44 * @ordered
45 */
46 protected static final Modality EXISTS_EDEFAULT = Modality.MUST;
47
48 /**
49 * The cached value of the '{@link #getExists() <em>Exists</em>}' attribute.
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @see #getExists()
53 * @generated
54 * @ordered
55 */
56 protected Modality exists = EXISTS_EDEFAULT;
57
58 /**
37 * The cached value of the '{@link #getOutput() <em>Output</em>}' reference. 59 * The cached value of the '{@link #getOutput() <em>Output</em>}' reference.
38 * <!-- begin-user-doc --> 60 * <!-- begin-user-doc -->
39 * <!-- end-user-doc --> 61 * <!-- end-user-doc -->
@@ -173,6 +195,29 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
173 * @generated 195 * @generated
174 */ 196 */
175 @Override 197 @Override
198 public Modality getExists() {
199 return exists;
200 }
201
202 /**
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @generated
206 */
207 @Override
208 public void setExists(Modality newExists) {
209 Modality oldExists = exists;
210 exists = newExists == null ? EXISTS_EDEFAULT : newExists;
211 if (eNotificationRequired())
212 eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__EXISTS, oldExists, exists));
213 }
214
215 /**
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @generated
219 */
220 @Override
176 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { 221 public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
177 switch (featureID) { 222 switch (featureID) {
178 case CftPackage.CONNECTION__INPUT: 223 case CftPackage.CONNECTION__INPUT:
@@ -225,6 +270,8 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
225 @Override 270 @Override
226 public Object eGet(int featureID, boolean resolve, boolean coreType) { 271 public Object eGet(int featureID, boolean resolve, boolean coreType) {
227 switch (featureID) { 272 switch (featureID) {
273 case CftPackage.CONNECTION__EXISTS:
274 return getExists();
228 case CftPackage.CONNECTION__INPUT: 275 case CftPackage.CONNECTION__INPUT:
229 return getInput(); 276 return getInput();
230 case CftPackage.CONNECTION__OUTPUT: 277 case CftPackage.CONNECTION__OUTPUT:
@@ -242,6 +289,9 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
242 @Override 289 @Override
243 public void eSet(int featureID, Object newValue) { 290 public void eSet(int featureID, Object newValue) {
244 switch (featureID) { 291 switch (featureID) {
292 case CftPackage.CONNECTION__EXISTS:
293 setExists((Modality)newValue);
294 return;
245 case CftPackage.CONNECTION__INPUT: 295 case CftPackage.CONNECTION__INPUT:
246 setInput((Input)newValue); 296 setInput((Input)newValue);
247 return; 297 return;
@@ -260,6 +310,9 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
260 @Override 310 @Override
261 public void eUnset(int featureID) { 311 public void eUnset(int featureID) {
262 switch (featureID) { 312 switch (featureID) {
313 case CftPackage.CONNECTION__EXISTS:
314 setExists(EXISTS_EDEFAULT);
315 return;
263 case CftPackage.CONNECTION__INPUT: 316 case CftPackage.CONNECTION__INPUT:
264 setInput((Input)null); 317 setInput((Input)null);
265 return; 318 return;
@@ -278,6 +331,8 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
278 @Override 331 @Override
279 public boolean eIsSet(int featureID) { 332 public boolean eIsSet(int featureID) {
280 switch (featureID) { 333 switch (featureID) {
334 case CftPackage.CONNECTION__EXISTS:
335 return exists != EXISTS_EDEFAULT;
281 case CftPackage.CONNECTION__INPUT: 336 case CftPackage.CONNECTION__INPUT:
282 return getInput() != null; 337 return getInput() != null;
283 case CftPackage.CONNECTION__OUTPUT: 338 case CftPackage.CONNECTION__OUTPUT:
@@ -286,4 +341,20 @@ public class ConnectionImpl extends MinimalEObjectImpl.Container implements Conn
286 return super.eIsSet(featureID); 341 return super.eIsSet(featureID);
287 } 342 }
288 343
344 /**
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 */
349 @Override
350 public String toString() {
351 if (eIsProxy()) return super.toString();
352
353 StringBuilder result = new StringBuilder(super.toString());
354 result.append(" (exists: ");
355 result.append(exists);
356 result.append(')');
357 return result.toString();
358 }
359
289} //ConnectionImpl 360} //ConnectionImpl
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
index e3a40888..f5d3bf83 100644
--- 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
@@ -124,6 +124,10 @@ public class CftAdapterFactory extends AdapterFactoryImpl {
124 return createConnectionAdapter(); 124 return createConnectionAdapter();
125 } 125 }
126 @Override 126 @Override
127 public Adapter caseModalElement(ModalElement object) {
128 return createModalElementAdapter();
129 }
130 @Override
127 public Adapter defaultCase(EObject object) { 131 public Adapter defaultCase(EObject object) {
128 return createEObjectAdapter(); 132 return createEObjectAdapter();
129 } 133 }
@@ -340,6 +344,20 @@ public class CftAdapterFactory extends AdapterFactoryImpl {
340 } 344 }
341 345
342 /** 346 /**
347 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement <em>Modal Element</em>}'.
348 * <!-- begin-user-doc -->
349 * This default implementation returns null so that we can easily ignore cases;
350 * it's useful to ignore a case when inheritance will catch all the cases anyway.
351 * <!-- end-user-doc -->
352 * @return the new adapter.
353 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement
354 * @generated
355 */
356 public Adapter createModalElementAdapter() {
357 return null;
358 }
359
360 /**
343 * Creates a new adapter for the default case. 361 * Creates a new adapter for the default case.
344 * <!-- begin-user-doc --> 362 * <!-- begin-user-doc -->
345 * This default implementation returns null. 363 * 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/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
index e32d792b..3c5a4fd9 100644
--- 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
@@ -144,6 +144,7 @@ public class CftSwitch<T> extends Switch<T> {
144 case CftPackage.COMPONENT: { 144 case CftPackage.COMPONENT: {
145 Component component = (Component)theEObject; 145 Component component = (Component)theEObject;
146 T result = caseComponent(component); 146 T result = caseComponent(component);
147 if (result == null) result = caseModalElement(component);
147 if (result == null) result = defaultCase(theEObject); 148 if (result == null) result = defaultCase(theEObject);
148 return result; 149 return result;
149 } 150 }
@@ -162,6 +163,13 @@ public class CftSwitch<T> extends Switch<T> {
162 case CftPackage.CONNECTION: { 163 case CftPackage.CONNECTION: {
163 Connection connection = (Connection)theEObject; 164 Connection connection = (Connection)theEObject;
164 T result = caseConnection(connection); 165 T result = caseConnection(connection);
166 if (result == null) result = caseModalElement(connection);
167 if (result == null) result = defaultCase(theEObject);
168 return result;
169 }
170 case CftPackage.MODAL_ELEMENT: {
171 ModalElement modalElement = (ModalElement)theEObject;
172 T result = caseModalElement(modalElement);
165 if (result == null) result = defaultCase(theEObject); 173 if (result == null) result = defaultCase(theEObject);
166 return result; 174 return result;
167 } 175 }
@@ -380,6 +388,21 @@ public class CftSwitch<T> extends Switch<T> {
380 } 388 }
381 389
382 /** 390 /**
391 * Returns the result of interpreting the object as an instance of '<em>Modal Element</em>'.
392 * <!-- begin-user-doc -->
393 * This implementation returns null;
394 * returning a non-null result will terminate the switch.
395 * <!-- end-user-doc -->
396 * @param object the target of the switch.
397 * @return the result of interpreting the object as an instance of '<em>Modal Element</em>'.
398 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
399 * @generated
400 */
401 public T caseModalElement(ModalElement object) {
402 return null;
403 }
404
405 /**
383 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'. 406 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
384 * <!-- begin-user-doc --> 407 * <!-- begin-user-doc -->
385 * This implementation returns null; 408 * This implementation returns null;
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-10 21:57:06 +0000