aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft
diff options
context:
space:
mode:
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/AndGate.java17
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantDistribution.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ExponentialDistribution.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java67
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java114
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java1109
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java40
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/OrGate.java17
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java49
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java37
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java177
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java39
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java39
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java216
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java193
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java586
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java133
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java37
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java164
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java39
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java354
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java402
34 files changed, 0 insertions, 4997 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/AndGate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/AndGate.java
deleted file mode 100644
index 5591557c..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/AndGate.java
+++ /dev/null
@@ -1,17 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>And Gate</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 *
12 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getAndGate()
13 * @model
14 * @generated
15 */
16public interface AndGate extends Gate {
17} // AndGate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
deleted file mode 100644
index 63b8d0ed..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Basic Event</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution <em>Distribution</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getBasicEvent()
19 * @model
20 * @generated
21 */
22public interface BasicEvent extends RandomEvent {
23 /**
24 * Returns the value of the '<em><b>Distribution</b></em>' containment reference.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Distribution</em>' containment reference isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Distribution</em>' containment reference.
32 * @see #setDistribution(Distribution)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getBasicEvent_Distribution()
34 * @model containment="true" required="true"
35 * @generated
36 */
37 Distribution getDistribution();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution <em>Distribution</em>}' containment reference.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Distribution</em>' containment reference.
44 * @see #getDistribution()
45 * @generated
46 */
47 void setDistribution(Distribution value);
48
49} // BasicEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantDistribution.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantDistribution.java
deleted file mode 100644
index 873c1fd3..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantDistribution.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Constant Distribution</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP <em>P</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantDistribution()
19 * @model
20 * @generated
21 */
22public interface ConstantDistribution extends Distribution {
23 /**
24 * Returns the value of the '<em><b>P</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>P</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>P</em>' attribute.
32 * @see #setP(double)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantDistribution_P()
34 * @model
35 * @generated
36 */
37 double getP();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP <em>P</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>P</em>' attribute.
44 * @see #getP()
45 * @generated
46 */
47 void setP(double value);
48
49} // ConstantDistribution
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java
deleted file mode 100644
index a171fc95..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Constant Event</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent()
19 * @model
20 * @generated
21 */
22public interface ConstantEvent extends Event {
23 /**
24 * Returns the value of the '<em><b>Failed</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Failed</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Failed</em>' attribute.
32 * @see #setFailed(boolean)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent_Failed()
34 * @model
35 * @generated
36 */
37 boolean isFailed();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Failed</em>' attribute.
44 * @see #isFailed()
45 * @generated
46 */
47 void setFailed(boolean value);
48
49} // ConstantEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java
deleted file mode 100644
index 5649559f..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Constant Model</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel()
19 * @model
20 * @generated
21 */
22public interface ConstantModel extends ReliabilityModel {
23 /**
24 * Returns the value of the '<em><b>Failed</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Failed</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Failed</em>' attribute.
32 * @see #setFailed(boolean)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel_Failed()
34 * @model
35 * @generated
36 */
37 boolean isFailed();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Failed</em>' attribute.
44 * @see #isFailed()
45 * @generated
46 */
47 void setFailed(boolean value);
48
49} // ConstantModel
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java
deleted file mode 100644
index 4435f5ef..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java
+++ /dev/null
@@ -1,18 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Distribution</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 *
13 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getDistribution()
14 * @model abstract="true"
15 * @generated
16 */
17public interface Distribution extends EObject {
18} // Distribution
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
deleted file mode 100644
index a5a905a0..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
+++ /dev/null
@@ -1,18 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Event</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 *
13 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent()
14 * @model abstract="true"
15 * @generated
16 */
17public interface Event extends EObject {
18} // Event
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ExponentialDistribution.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ExponentialDistribution.java
deleted file mode 100644
index 7fdd448b..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ExponentialDistribution.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Exponential Distribution</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda <em>Lambda</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getExponentialDistribution()
19 * @model
20 * @generated
21 */
22public interface ExponentialDistribution extends Distribution {
23 /**
24 * Returns the value of the '<em><b>Lambda</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Lambda</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Lambda</em>' attribute.
32 * @see #setLambda(double)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getExponentialDistribution_Lambda()
34 * @model
35 * @generated
36 */
37 double getLambda();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda <em>Lambda</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Lambda</em>' attribute.
44 * @see #getLambda()
45 * @generated
46 */
47 void setLambda(double value);
48
49} // ExponentialDistribution
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
deleted file mode 100644
index 0bf258be..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
+++ /dev/null
@@ -1,67 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.common.util.EList;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Fault Tree</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.ft.FaultTree#getEvents <em>Events</em>}</li>
17 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}</li>
18 * </ul>
19 *
20 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree()
21 * @model
22 * @generated
23 */
24public interface FaultTree extends ReliabilityModel {
25 /**
26 * Returns the value of the '<em><b>Events</b></em>' containment reference list.
27 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}.
28 * <!-- begin-user-doc -->
29 * <p>
30 * If the meaning of the '<em>Events</em>' containment reference list 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>Events</em>' containment reference list.
35 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_Events()
36 * @model containment="true"
37 * @generated
38 */
39 EList<RandomEvent> getEvents();
40
41 /**
42 * Returns the value of the '<em><b>Top Event</b></em>' reference.
43 * <!-- begin-user-doc -->
44 * <p>
45 * If the meaning of the '<em>Top Event</em>' reference isn't clear,
46 * there really should be more of a description here...
47 * </p>
48 * <!-- end-user-doc -->
49 * @return the value of the '<em>Top Event</em>' reference.
50 * @see #setTopEvent(RandomEvent)
51 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent()
52 * @model required="true"
53 * @generated
54 */
55 RandomEvent getTopEvent();
56
57 /**
58 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference.
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @param value the new value of the '<em>Top Event</em>' reference.
62 * @see #getTopEvent()
63 * @generated
64 */
65 void setTopEvent(RandomEvent value);
66
67} // FaultTree
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
deleted file mode 100644
index 7d420e34..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
+++ /dev/null
@@ -1,114 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage
13 * @generated
14 */
15public interface FtFactory extends EFactory {
16 /**
17 * The singleton instance of the factory.
18 * <!-- begin-user-doc -->
19 * <!-- end-user-doc -->
20 * @generated
21 */
22 FtFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtFactoryImpl.init();
23
24 /**
25 * Returns a new object of class '<em>Fault Tree</em>'.
26 * <!-- begin-user-doc -->
27 * <!-- end-user-doc -->
28 * @return a new object of class '<em>Fault Tree</em>'.
29 * @generated
30 */
31 FaultTree createFaultTree();
32
33 /**
34 * Returns a new object of class '<em>Basic Event</em>'.
35 * <!-- begin-user-doc -->
36 * <!-- end-user-doc -->
37 * @return a new object of class '<em>Basic Event</em>'.
38 * @generated
39 */
40 BasicEvent createBasicEvent();
41
42 /**
43 * Returns a new object of class '<em>Constant Distribution</em>'.
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @return a new object of class '<em>Constant Distribution</em>'.
47 * @generated
48 */
49 ConstantDistribution createConstantDistribution();
50
51 /**
52 * Returns a new object of class '<em>Exponential Distribution</em>'.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @return a new object of class '<em>Exponential Distribution</em>'.
56 * @generated
57 */
58 ExponentialDistribution createExponentialDistribution();
59
60 /**
61 * Returns a new object of class '<em>And Gate</em>'.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @return a new object of class '<em>And Gate</em>'.
65 * @generated
66 */
67 AndGate createAndGate();
68
69 /**
70 * Returns a new object of class '<em>Or Gate</em>'.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @return a new object of class '<em>Or Gate</em>'.
74 * @generated
75 */
76 OrGate createOrGate();
77
78 /**
79 * Returns a new object of class '<em>KOf MGate</em>'.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @return a new object of class '<em>KOf MGate</em>'.
83 * @generated
84 */
85 KOfMGate createKOfMGate();
86
87 /**
88 * Returns a new object of class '<em>Constant Model</em>'.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @return a new object of class '<em>Constant Model</em>'.
92 * @generated
93 */
94 ConstantModel createConstantModel();
95
96 /**
97 * Returns a new object of class '<em>Constant Event</em>'.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @return a new object of class '<em>Constant Event</em>'.
101 * @generated
102 */
103 ConstantEvent createConstantEvent();
104
105 /**
106 * Returns the package supported by this factory.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @return the package supported by this factory.
110 * @generated
111 */
112 FtPackage getFtPackage();
113
114} //FtFactory
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
deleted file mode 100644
index dd35d666..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
+++ /dev/null
@@ -1,1109 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EPackage;
8import org.eclipse.emf.ecore.EReference;
9
10/**
11 * <!-- begin-user-doc -->
12 * The <b>Package</b> for the model.
13 * It contains accessors for the meta objects to represent
14 * <ul>
15 * <li>each class,</li>
16 * <li>each feature of each class,</li>
17 * <li>each operation of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory
23 * @model kind="package"
24 * @generated
25 */
26public interface FtPackage extends EPackage {
27 /**
28 * The package name.
29 * <!-- begin-user-doc -->
30 * <!-- end-user-doc -->
31 * @generated
32 */
33 String eNAME = "ft";
34
35 /**
36 * The package namespace URI.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft";
42
43 /**
44 * The package namespace name.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @generated
48 */
49 String eNS_PREFIX = "ft";
50
51 /**
52 * The singleton instance of the package.
53 * <!-- begin-user-doc -->
54 * <!-- end-user-doc -->
55 * @generated
56 */
57 FtPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl.init();
58
59 /**
60 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl <em>Reliability Model</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl
64 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel()
65 * @generated
66 */
67 int RELIABILITY_MODEL = 10;
68
69 /**
70 * The number of structural features of the '<em>Reliability Model</em>' class.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int RELIABILITY_MODEL_FEATURE_COUNT = 0;
77
78 /**
79 * The number of operations of the '<em>Reliability Model</em>' class.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int RELIABILITY_MODEL_OPERATION_COUNT = 0;
86
87 /**
88 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl <em>Fault Tree</em>}' class.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl
92 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getFaultTree()
93 * @generated
94 */
95 int FAULT_TREE = 0;
96
97 /**
98 * The feature id for the '<em><b>Events</b></em>' containment reference list.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 * @ordered
103 */
104 int FAULT_TREE__EVENTS = RELIABILITY_MODEL_FEATURE_COUNT + 0;
105
106 /**
107 * The feature id for the '<em><b>Top Event</b></em>' reference.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @generated
111 * @ordered
112 */
113 int FAULT_TREE__TOP_EVENT = RELIABILITY_MODEL_FEATURE_COUNT + 1;
114
115 /**
116 * The number of structural features of the '<em>Fault Tree</em>' class.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 * @ordered
121 */
122 int FAULT_TREE_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 2;
123
124 /**
125 * The number of operations of the '<em>Fault Tree</em>' class.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 * @ordered
130 */
131 int FAULT_TREE_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0;
132
133 /**
134 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl
138 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
139 * @generated
140 */
141 int EVENT = 12;
142
143 /**
144 * The number of structural features of the '<em>Event</em>' class.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 * @ordered
149 */
150 int EVENT_FEATURE_COUNT = 0;
151
152 /**
153 * The number of operations of the '<em>Event</em>' class.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 * @ordered
158 */
159 int EVENT_OPERATION_COUNT = 0;
160
161 /**
162 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl <em>Random Event</em>}' class.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl
166 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent()
167 * @generated
168 */
169 int RANDOM_EVENT = 1;
170
171 /**
172 * The feature id for the '<em><b>Name</b></em>' attribute.
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 * @ordered
177 */
178 int RANDOM_EVENT__NAME = EVENT_FEATURE_COUNT + 0;
179
180 /**
181 * The number of structural features of the '<em>Random Event</em>' class.
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 * @ordered
186 */
187 int RANDOM_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
188
189 /**
190 * The number of operations of the '<em>Random Event</em>' class.
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @generated
194 * @ordered
195 */
196 int RANDOM_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
197
198 /**
199 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
200 * <!-- begin-user-doc -->
201 * <!-- end-user-doc -->
202 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl
203 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getBasicEvent()
204 * @generated
205 */
206 int BASIC_EVENT = 2;
207
208 /**
209 * The feature id for the '<em><b>Name</b></em>' attribute.
210 * <!-- begin-user-doc -->
211 * <!-- end-user-doc -->
212 * @generated
213 * @ordered
214 */
215 int BASIC_EVENT__NAME = RANDOM_EVENT__NAME;
216
217 /**
218 * The feature id for the '<em><b>Distribution</b></em>' containment reference.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @generated
222 * @ordered
223 */
224 int BASIC_EVENT__DISTRIBUTION = RANDOM_EVENT_FEATURE_COUNT + 0;
225
226 /**
227 * The number of structural features of the '<em>Basic Event</em>' class.
228 * <!-- begin-user-doc -->
229 * <!-- end-user-doc -->
230 * @generated
231 * @ordered
232 */
233 int BASIC_EVENT_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1;
234
235 /**
236 * The number of operations of the '<em>Basic Event</em>' class.
237 * <!-- begin-user-doc -->
238 * <!-- end-user-doc -->
239 * @generated
240 * @ordered
241 */
242 int BASIC_EVENT_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0;
243
244 /**
245 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class.
246 * <!-- begin-user-doc -->
247 * <!-- end-user-doc -->
248 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl
249 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getGate()
250 * @generated
251 */
252 int GATE = 3;
253
254 /**
255 * The feature id for the '<em><b>Name</b></em>' attribute.
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 * @ordered
260 */
261 int GATE__NAME = RANDOM_EVENT__NAME;
262
263 /**
264 * The feature id for the '<em><b>Input Events</b></em>' reference list.
265 * <!-- begin-user-doc -->
266 * <!-- end-user-doc -->
267 * @generated
268 * @ordered
269 */
270 int GATE__INPUT_EVENTS = RANDOM_EVENT_FEATURE_COUNT + 0;
271
272 /**
273 * The number of structural features of the '<em>Gate</em>' class.
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 * @ordered
278 */
279 int GATE_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1;
280
281 /**
282 * The number of operations of the '<em>Gate</em>' class.
283 * <!-- begin-user-doc -->
284 * <!-- end-user-doc -->
285 * @generated
286 * @ordered
287 */
288 int GATE_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0;
289
290 /**
291 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class.
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl
295 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getDistribution()
296 * @generated
297 */
298 int DISTRIBUTION = 4;
299
300 /**
301 * The number of structural features of the '<em>Distribution</em>' class.
302 * <!-- begin-user-doc -->
303 * <!-- end-user-doc -->
304 * @generated
305 * @ordered
306 */
307 int DISTRIBUTION_FEATURE_COUNT = 0;
308
309 /**
310 * The number of operations of the '<em>Distribution</em>' class.
311 * <!-- begin-user-doc -->
312 * <!-- end-user-doc -->
313 * @generated
314 * @ordered
315 */
316 int DISTRIBUTION_OPERATION_COUNT = 0;
317
318 /**
319 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl <em>Constant Distribution</em>}' class.
320 * <!-- begin-user-doc -->
321 * <!-- end-user-doc -->
322 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl
323 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantDistribution()
324 * @generated
325 */
326 int CONSTANT_DISTRIBUTION = 5;
327
328 /**
329 * The feature id for the '<em><b>P</b></em>' attribute.
330 * <!-- begin-user-doc -->
331 * <!-- end-user-doc -->
332 * @generated
333 * @ordered
334 */
335 int CONSTANT_DISTRIBUTION__P = DISTRIBUTION_FEATURE_COUNT + 0;
336
337 /**
338 * The number of structural features of the '<em>Constant Distribution</em>' class.
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 * @ordered
343 */
344 int CONSTANT_DISTRIBUTION_FEATURE_COUNT = DISTRIBUTION_FEATURE_COUNT + 1;
345
346 /**
347 * The number of operations of the '<em>Constant Distribution</em>' class.
348 * <!-- begin-user-doc -->
349 * <!-- end-user-doc -->
350 * @generated
351 * @ordered
352 */
353 int CONSTANT_DISTRIBUTION_OPERATION_COUNT = DISTRIBUTION_OPERATION_COUNT + 0;
354
355 /**
356 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl <em>Exponential Distribution</em>}' class.
357 * <!-- begin-user-doc -->
358 * <!-- end-user-doc -->
359 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl
360 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getExponentialDistribution()
361 * @generated
362 */
363 int EXPONENTIAL_DISTRIBUTION = 6;
364
365 /**
366 * The feature id for the '<em><b>Lambda</b></em>' attribute.
367 * <!-- begin-user-doc -->
368 * <!-- end-user-doc -->
369 * @generated
370 * @ordered
371 */
372 int EXPONENTIAL_DISTRIBUTION__LAMBDA = DISTRIBUTION_FEATURE_COUNT + 0;
373
374 /**
375 * The number of structural features of the '<em>Exponential Distribution</em>' class.
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 * @ordered
380 */
381 int EXPONENTIAL_DISTRIBUTION_FEATURE_COUNT = DISTRIBUTION_FEATURE_COUNT + 1;
382
383 /**
384 * The number of operations of the '<em>Exponential Distribution</em>' class.
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 * @ordered
389 */
390 int EXPONENTIAL_DISTRIBUTION_OPERATION_COUNT = DISTRIBUTION_OPERATION_COUNT + 0;
391
392 /**
393 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl <em>And Gate</em>}' class.
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl
397 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getAndGate()
398 * @generated
399 */
400 int AND_GATE = 7;
401
402 /**
403 * The feature id for the '<em><b>Name</b></em>' attribute.
404 * <!-- begin-user-doc -->
405 * <!-- end-user-doc -->
406 * @generated
407 * @ordered
408 */
409 int AND_GATE__NAME = GATE__NAME;
410
411 /**
412 * The feature id for the '<em><b>Input Events</b></em>' reference list.
413 * <!-- begin-user-doc -->
414 * <!-- end-user-doc -->
415 * @generated
416 * @ordered
417 */
418 int AND_GATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
419
420 /**
421 * The number of structural features of the '<em>And Gate</em>' class.
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 * @ordered
426 */
427 int AND_GATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 0;
428
429 /**
430 * The number of operations of the '<em>And Gate</em>' class.
431 * <!-- begin-user-doc -->
432 * <!-- end-user-doc -->
433 * @generated
434 * @ordered
435 */
436 int AND_GATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
437
438 /**
439 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl <em>Or Gate</em>}' class.
440 * <!-- begin-user-doc -->
441 * <!-- end-user-doc -->
442 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl
443 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getOrGate()
444 * @generated
445 */
446 int OR_GATE = 8;
447
448 /**
449 * The feature id for the '<em><b>Name</b></em>' attribute.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @generated
453 * @ordered
454 */
455 int OR_GATE__NAME = GATE__NAME;
456
457 /**
458 * The feature id for the '<em><b>Input Events</b></em>' reference list.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @generated
462 * @ordered
463 */
464 int OR_GATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
465
466 /**
467 * The number of structural features of the '<em>Or Gate</em>' class.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @generated
471 * @ordered
472 */
473 int OR_GATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 0;
474
475 /**
476 * The number of operations of the '<em>Or Gate</em>' class.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @generated
480 * @ordered
481 */
482 int OR_GATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
483
484 /**
485 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl <em>KOf MGate</em>}' class.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl
489 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getKOfMGate()
490 * @generated
491 */
492 int KOF_MGATE = 9;
493
494 /**
495 * The feature id for the '<em><b>Name</b></em>' attribute.
496 * <!-- begin-user-doc -->
497 * <!-- end-user-doc -->
498 * @generated
499 * @ordered
500 */
501 int KOF_MGATE__NAME = GATE__NAME;
502
503 /**
504 * The feature id for the '<em><b>Input Events</b></em>' reference list.
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @generated
508 * @ordered
509 */
510 int KOF_MGATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
511
512 /**
513 * The feature id for the '<em><b>K</b></em>' attribute.
514 * <!-- begin-user-doc -->
515 * <!-- end-user-doc -->
516 * @generated
517 * @ordered
518 */
519 int KOF_MGATE__K = GATE_FEATURE_COUNT + 0;
520
521 /**
522 * The number of structural features of the '<em>KOf MGate</em>' class.
523 * <!-- begin-user-doc -->
524 * <!-- end-user-doc -->
525 * @generated
526 * @ordered
527 */
528 int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 1;
529
530 /**
531 * The number of operations of the '<em>KOf MGate</em>' class.
532 * <!-- begin-user-doc -->
533 * <!-- end-user-doc -->
534 * @generated
535 * @ordered
536 */
537 int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
538
539 /**
540 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl <em>Constant Model</em>}' class.
541 * <!-- begin-user-doc -->
542 * <!-- end-user-doc -->
543 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl
544 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel()
545 * @generated
546 */
547 int CONSTANT_MODEL = 11;
548
549 /**
550 * The feature id for the '<em><b>Failed</b></em>' attribute.
551 * <!-- begin-user-doc -->
552 * <!-- end-user-doc -->
553 * @generated
554 * @ordered
555 */
556 int CONSTANT_MODEL__FAILED = RELIABILITY_MODEL_FEATURE_COUNT + 0;
557
558 /**
559 * The number of structural features of the '<em>Constant Model</em>' class.
560 * <!-- begin-user-doc -->
561 * <!-- end-user-doc -->
562 * @generated
563 * @ordered
564 */
565 int CONSTANT_MODEL_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 1;
566
567 /**
568 * The number of operations of the '<em>Constant Model</em>' class.
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @generated
572 * @ordered
573 */
574 int CONSTANT_MODEL_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0;
575
576 /**
577 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl <em>Constant Event</em>}' class.
578 * <!-- begin-user-doc -->
579 * <!-- end-user-doc -->
580 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl
581 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent()
582 * @generated
583 */
584 int CONSTANT_EVENT = 13;
585
586 /**
587 * The feature id for the '<em><b>Failed</b></em>' attribute.
588 * <!-- begin-user-doc -->
589 * <!-- end-user-doc -->
590 * @generated
591 * @ordered
592 */
593 int CONSTANT_EVENT__FAILED = EVENT_FEATURE_COUNT + 0;
594
595 /**
596 * The number of structural features of the '<em>Constant Event</em>' class.
597 * <!-- begin-user-doc -->
598 * <!-- end-user-doc -->
599 * @generated
600 * @ordered
601 */
602 int CONSTANT_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
603
604 /**
605 * The number of operations of the '<em>Constant Event</em>' class.
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @generated
609 * @ordered
610 */
611 int CONSTANT_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
612
613
614 /**
615 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree <em>Fault Tree</em>}'.
616 * <!-- begin-user-doc -->
617 * <!-- end-user-doc -->
618 * @return the meta object for class '<em>Fault Tree</em>'.
619 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
620 * @generated
621 */
622 EClass getFaultTree();
623
624 /**
625 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getEvents <em>Events</em>}'.
626 * <!-- begin-user-doc -->
627 * <!-- end-user-doc -->
628 * @return the meta object for the containment reference list '<em>Events</em>'.
629 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getEvents()
630 * @see #getFaultTree()
631 * @generated
632 */
633 EReference getFaultTree_Events();
634
635 /**
636 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}'.
637 * <!-- begin-user-doc -->
638 * <!-- end-user-doc -->
639 * @return the meta object for the reference '<em>Top Event</em>'.
640 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent()
641 * @see #getFaultTree()
642 * @generated
643 */
644 EReference getFaultTree_TopEvent();
645
646 /**
647 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent <em>Random Event</em>}'.
648 * <!-- begin-user-doc -->
649 * <!-- end-user-doc -->
650 * @return the meta object for class '<em>Random Event</em>'.
651 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
652 * @generated
653 */
654 EClass getRandomEvent();
655
656 /**
657 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}'.
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @return the meta object for the attribute '<em>Name</em>'.
661 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName()
662 * @see #getRandomEvent()
663 * @generated
664 */
665 EAttribute getRandomEvent_Name();
666
667 /**
668 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @return the meta object for class '<em>Basic Event</em>'.
672 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent
673 * @generated
674 */
675 EClass getBasicEvent();
676
677 /**
678 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution <em>Distribution</em>}'.
679 * <!-- begin-user-doc -->
680 * <!-- end-user-doc -->
681 * @return the meta object for the containment reference '<em>Distribution</em>'.
682 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution()
683 * @see #getBasicEvent()
684 * @generated
685 */
686 EReference getBasicEvent_Distribution();
687
688 /**
689 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate <em>Gate</em>}'.
690 * <!-- begin-user-doc -->
691 * <!-- end-user-doc -->
692 * @return the meta object for class '<em>Gate</em>'.
693 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
694 * @generated
695 */
696 EClass getGate();
697
698 /**
699 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate#getInputEvents <em>Input Events</em>}'.
700 * <!-- begin-user-doc -->
701 * <!-- end-user-doc -->
702 * @return the meta object for the reference list '<em>Input Events</em>'.
703 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate#getInputEvents()
704 * @see #getGate()
705 * @generated
706 */
707 EReference getGate_InputEvents();
708
709 /**
710 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution <em>Distribution</em>}'.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @return the meta object for class '<em>Distribution</em>'.
714 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution
715 * @generated
716 */
717 EClass getDistribution();
718
719 /**
720 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution <em>Constant Distribution</em>}'.
721 * <!-- begin-user-doc -->
722 * <!-- end-user-doc -->
723 * @return the meta object for class '<em>Constant Distribution</em>'.
724 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution
725 * @generated
726 */
727 EClass getConstantDistribution();
728
729 /**
730 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP <em>P</em>}'.
731 * <!-- begin-user-doc -->
732 * <!-- end-user-doc -->
733 * @return the meta object for the attribute '<em>P</em>'.
734 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP()
735 * @see #getConstantDistribution()
736 * @generated
737 */
738 EAttribute getConstantDistribution_P();
739
740 /**
741 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution <em>Exponential Distribution</em>}'.
742 * <!-- begin-user-doc -->
743 * <!-- end-user-doc -->
744 * @return the meta object for class '<em>Exponential Distribution</em>'.
745 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution
746 * @generated
747 */
748 EClass getExponentialDistribution();
749
750 /**
751 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda <em>Lambda</em>}'.
752 * <!-- begin-user-doc -->
753 * <!-- end-user-doc -->
754 * @return the meta object for the attribute '<em>Lambda</em>'.
755 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda()
756 * @see #getExponentialDistribution()
757 * @generated
758 */
759 EAttribute getExponentialDistribution_Lambda();
760
761 /**
762 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate <em>And Gate</em>}'.
763 * <!-- begin-user-doc -->
764 * <!-- end-user-doc -->
765 * @return the meta object for class '<em>And Gate</em>'.
766 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate
767 * @generated
768 */
769 EClass getAndGate();
770
771 /**
772 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate <em>Or Gate</em>}'.
773 * <!-- begin-user-doc -->
774 * <!-- end-user-doc -->
775 * @return the meta object for class '<em>Or Gate</em>'.
776 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate
777 * @generated
778 */
779 EClass getOrGate();
780
781 /**
782 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate <em>KOf MGate</em>}'.
783 * <!-- begin-user-doc -->
784 * <!-- end-user-doc -->
785 * @return the meta object for class '<em>KOf MGate</em>'.
786 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate
787 * @generated
788 */
789 EClass getKOfMGate();
790
791 /**
792 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}'.
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @return the meta object for the attribute '<em>K</em>'.
796 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK()
797 * @see #getKOfMGate()
798 * @generated
799 */
800 EAttribute getKOfMGate_K();
801
802 /**
803 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel <em>Reliability Model</em>}'.
804 * <!-- begin-user-doc -->
805 * <!-- end-user-doc -->
806 * @return the meta object for class '<em>Reliability Model</em>'.
807 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
808 * @generated
809 */
810 EClass getReliabilityModel();
811
812 /**
813 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel <em>Constant Model</em>}'.
814 * <!-- begin-user-doc -->
815 * <!-- end-user-doc -->
816 * @return the meta object for class '<em>Constant Model</em>'.
817 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
818 * @generated
819 */
820 EClass getConstantModel();
821
822 /**
823 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed <em>Failed</em>}'.
824 * <!-- begin-user-doc -->
825 * <!-- end-user-doc -->
826 * @return the meta object for the attribute '<em>Failed</em>'.
827 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed()
828 * @see #getConstantModel()
829 * @generated
830 */
831 EAttribute getConstantModel_Failed();
832
833 /**
834 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @return the meta object for class '<em>Event</em>'.
838 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
839 * @generated
840 */
841 EClass getEvent();
842
843 /**
844 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent <em>Constant Event</em>}'.
845 * <!-- begin-user-doc -->
846 * <!-- end-user-doc -->
847 * @return the meta object for class '<em>Constant Event</em>'.
848 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
849 * @generated
850 */
851 EClass getConstantEvent();
852
853 /**
854 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed <em>Failed</em>}'.
855 * <!-- begin-user-doc -->
856 * <!-- end-user-doc -->
857 * @return the meta object for the attribute '<em>Failed</em>'.
858 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed()
859 * @see #getConstantEvent()
860 * @generated
861 */
862 EAttribute getConstantEvent_Failed();
863
864 /**
865 * Returns the factory that creates the instances of the model.
866 * <!-- begin-user-doc -->
867 * <!-- end-user-doc -->
868 * @return the factory that creates the instances of the model.
869 * @generated
870 */
871 FtFactory getFtFactory();
872
873 /**
874 * <!-- begin-user-doc -->
875 * Defines literals for the meta objects that represent
876 * <ul>
877 * <li>each class,</li>
878 * <li>each feature of each class,</li>
879 * <li>each operation of each class,</li>
880 * <li>each enum,</li>
881 * <li>and each data type</li>
882 * </ul>
883 * <!-- end-user-doc -->
884 * @generated
885 */
886 interface Literals {
887 /**
888 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl <em>Fault Tree</em>}' class.
889 * <!-- begin-user-doc -->
890 * <!-- end-user-doc -->
891 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl
892 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getFaultTree()
893 * @generated
894 */
895 EClass FAULT_TREE = eINSTANCE.getFaultTree();
896
897 /**
898 * The meta object literal for the '<em><b>Events</b></em>' containment reference list feature.
899 * <!-- begin-user-doc -->
900 * <!-- end-user-doc -->
901 * @generated
902 */
903 EReference FAULT_TREE__EVENTS = eINSTANCE.getFaultTree_Events();
904
905 /**
906 * The meta object literal for the '<em><b>Top Event</b></em>' reference feature.
907 * <!-- begin-user-doc -->
908 * <!-- end-user-doc -->
909 * @generated
910 */
911 EReference FAULT_TREE__TOP_EVENT = eINSTANCE.getFaultTree_TopEvent();
912
913 /**
914 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl <em>Random Event</em>}' class.
915 * <!-- begin-user-doc -->
916 * <!-- end-user-doc -->
917 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl
918 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent()
919 * @generated
920 */
921 EClass RANDOM_EVENT = eINSTANCE.getRandomEvent();
922
923 /**
924 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
925 * <!-- begin-user-doc -->
926 * <!-- end-user-doc -->
927 * @generated
928 */
929 EAttribute RANDOM_EVENT__NAME = eINSTANCE.getRandomEvent_Name();
930
931 /**
932 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl
936 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getBasicEvent()
937 * @generated
938 */
939 EClass BASIC_EVENT = eINSTANCE.getBasicEvent();
940
941 /**
942 * The meta object literal for the '<em><b>Distribution</b></em>' containment reference feature.
943 * <!-- begin-user-doc -->
944 * <!-- end-user-doc -->
945 * @generated
946 */
947 EReference BASIC_EVENT__DISTRIBUTION = eINSTANCE.getBasicEvent_Distribution();
948
949 /**
950 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class.
951 * <!-- begin-user-doc -->
952 * <!-- end-user-doc -->
953 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl
954 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getGate()
955 * @generated
956 */
957 EClass GATE = eINSTANCE.getGate();
958
959 /**
960 * The meta object literal for the '<em><b>Input Events</b></em>' reference list feature.
961 * <!-- begin-user-doc -->
962 * <!-- end-user-doc -->
963 * @generated
964 */
965 EReference GATE__INPUT_EVENTS = eINSTANCE.getGate_InputEvents();
966
967 /**
968 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class.
969 * <!-- begin-user-doc -->
970 * <!-- end-user-doc -->
971 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl
972 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getDistribution()
973 * @generated
974 */
975 EClass DISTRIBUTION = eINSTANCE.getDistribution();
976
977 /**
978 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl <em>Constant Distribution</em>}' class.
979 * <!-- begin-user-doc -->
980 * <!-- end-user-doc -->
981 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl
982 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantDistribution()
983 * @generated
984 */
985 EClass CONSTANT_DISTRIBUTION = eINSTANCE.getConstantDistribution();
986
987 /**
988 * The meta object literal for the '<em><b>P</b></em>' attribute feature.
989 * <!-- begin-user-doc -->
990 * <!-- end-user-doc -->
991 * @generated
992 */
993 EAttribute CONSTANT_DISTRIBUTION__P = eINSTANCE.getConstantDistribution_P();
994
995 /**
996 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl <em>Exponential Distribution</em>}' class.
997 * <!-- begin-user-doc -->
998 * <!-- end-user-doc -->
999 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl
1000 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getExponentialDistribution()
1001 * @generated
1002 */
1003 EClass EXPONENTIAL_DISTRIBUTION = eINSTANCE.getExponentialDistribution();
1004
1005 /**
1006 * The meta object literal for the '<em><b>Lambda</b></em>' attribute feature.
1007 * <!-- begin-user-doc -->
1008 * <!-- end-user-doc -->
1009 * @generated
1010 */
1011 EAttribute EXPONENTIAL_DISTRIBUTION__LAMBDA = eINSTANCE.getExponentialDistribution_Lambda();
1012
1013 /**
1014 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl <em>And Gate</em>}' class.
1015 * <!-- begin-user-doc -->
1016 * <!-- end-user-doc -->
1017 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl
1018 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getAndGate()
1019 * @generated
1020 */
1021 EClass AND_GATE = eINSTANCE.getAndGate();
1022
1023 /**
1024 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl <em>Or Gate</em>}' class.
1025 * <!-- begin-user-doc -->
1026 * <!-- end-user-doc -->
1027 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl
1028 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getOrGate()
1029 * @generated
1030 */
1031 EClass OR_GATE = eINSTANCE.getOrGate();
1032
1033 /**
1034 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl <em>KOf MGate</em>}' class.
1035 * <!-- begin-user-doc -->
1036 * <!-- end-user-doc -->
1037 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl
1038 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getKOfMGate()
1039 * @generated
1040 */
1041 EClass KOF_MGATE = eINSTANCE.getKOfMGate();
1042
1043 /**
1044 * The meta object literal for the '<em><b>K</b></em>' attribute feature.
1045 * <!-- begin-user-doc -->
1046 * <!-- end-user-doc -->
1047 * @generated
1048 */
1049 EAttribute KOF_MGATE__K = eINSTANCE.getKOfMGate_K();
1050
1051 /**
1052 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl <em>Reliability Model</em>}' class.
1053 * <!-- begin-user-doc -->
1054 * <!-- end-user-doc -->
1055 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl
1056 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel()
1057 * @generated
1058 */
1059 EClass RELIABILITY_MODEL = eINSTANCE.getReliabilityModel();
1060
1061 /**
1062 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl <em>Constant Model</em>}' class.
1063 * <!-- begin-user-doc -->
1064 * <!-- end-user-doc -->
1065 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl
1066 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel()
1067 * @generated
1068 */
1069 EClass CONSTANT_MODEL = eINSTANCE.getConstantModel();
1070
1071 /**
1072 * The meta object literal for the '<em><b>Failed</b></em>' attribute feature.
1073 * <!-- begin-user-doc -->
1074 * <!-- end-user-doc -->
1075 * @generated
1076 */
1077 EAttribute CONSTANT_MODEL__FAILED = eINSTANCE.getConstantModel_Failed();
1078
1079 /**
1080 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
1081 * <!-- begin-user-doc -->
1082 * <!-- end-user-doc -->
1083 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl
1084 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
1085 * @generated
1086 */
1087 EClass EVENT = eINSTANCE.getEvent();
1088
1089 /**
1090 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl <em>Constant Event</em>}' class.
1091 * <!-- begin-user-doc -->
1092 * <!-- end-user-doc -->
1093 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl
1094 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent()
1095 * @generated
1096 */
1097 EClass CONSTANT_EVENT = eINSTANCE.getConstantEvent();
1098
1099 /**
1100 * The meta object literal for the '<em><b>Failed</b></em>' attribute feature.
1101 * <!-- begin-user-doc -->
1102 * <!-- end-user-doc -->
1103 * @generated
1104 */
1105 EAttribute CONSTANT_EVENT__FAILED = eINSTANCE.getConstantEvent_Failed();
1106
1107 }
1108
1109} //FtPackage
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
deleted file mode 100644
index 5015051a..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
+++ /dev/null
@@ -1,40 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.common.util.EList;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Gate</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.ft.Gate#getInputEvents <em>Input Events</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getGate()
20 * @model abstract="true"
21 * @generated
22 */
23public interface Gate extends RandomEvent {
24 /**
25 * Returns the value of the '<em><b>Input Events</b></em>' reference list.
26 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}.
27 * <!-- begin-user-doc -->
28 * <p>
29 * If the meaning of the '<em>Input Events</em>' reference list isn't clear,
30 * there really should be more of a description here...
31 * </p>
32 * <!-- end-user-doc -->
33 * @return the value of the '<em>Input Events</em>' reference list.
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getGate_InputEvents()
35 * @model lower="2"
36 * @generated
37 */
38 EList<RandomEvent> getInputEvents();
39
40} // Gate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
deleted file mode 100644
index c891f83a..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>KOf MGate</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate()
19 * @model
20 * @generated
21 */
22public interface KOfMGate extends Gate {
23 /**
24 * Returns the value of the '<em><b>K</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>K</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>K</em>' attribute.
32 * @see #setK(int)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate_K()
34 * @model
35 * @generated
36 */
37 int getK();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>K</em>' attribute.
44 * @see #getK()
45 * @generated
46 */
47 void setK(int value);
48
49} // KOfMGate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/OrGate.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/OrGate.java
deleted file mode 100644
index 278a2d38..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/OrGate.java
+++ /dev/null
@@ -1,17 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Or Gate</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 *
12 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getOrGate()
13 * @model
14 * @generated
15 */
16public interface OrGate extends Gate {
17} // OrGate
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java
deleted file mode 100644
index 3931ac41..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java
+++ /dev/null
@@ -1,49 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5
6/**
7 * <!-- begin-user-doc -->
8 * A representation of the model object '<em><b>Random Event</b></em>'.
9 * <!-- end-user-doc -->
10 *
11 * <p>
12 * The following features are supported:
13 * </p>
14 * <ul>
15 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}</li>
16 * </ul>
17 *
18 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent()
19 * @model abstract="true"
20 * @generated
21 */
22public interface RandomEvent extends Event {
23 /**
24 * Returns the value of the '<em><b>Name</b></em>' attribute.
25 * <!-- begin-user-doc -->
26 * <p>
27 * If the meaning of the '<em>Name</em>' attribute isn't clear,
28 * there really should be more of a description here...
29 * </p>
30 * <!-- end-user-doc -->
31 * @return the value of the '<em>Name</em>' attribute.
32 * @see #setName(String)
33 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent_Name()
34 * @model
35 * @generated
36 */
37 String getName();
38
39 /**
40 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName <em>Name</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @param value the new value of the '<em>Name</em>' attribute.
44 * @see #getName()
45 * @generated
46 */
47 void setName(String value);
48
49} // RandomEvent
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java
deleted file mode 100644
index c1dc2162..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java
+++ /dev/null
@@ -1,18 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.ecore.EObject;
6
7/**
8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Reliability Model</b></em>'.
10 * <!-- end-user-doc -->
11 *
12 *
13 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getReliabilityModel()
14 * @model abstract="true"
15 * @generated
16 */
17public interface ReliabilityModel extends EObject {
18} // ReliabilityModel
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java
deleted file mode 100644
index 509843b1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10/**
11 * <!-- begin-user-doc -->
12 * An implementation of the model object '<em><b>And Gate</b></em>'.
13 * <!-- end-user-doc -->
14 *
15 * @generated
16 */
17public class AndGateImpl extends GateImpl implements AndGate {
18 /**
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 protected AndGateImpl() {
24 super();
25 }
26
27 /**
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 @Override
33 protected EClass eStaticClass() {
34 return FtPackage.Literals.AND_GATE;
35 }
36
37} //AndGateImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
deleted file mode 100644
index bbed7b00..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
+++ /dev/null
@@ -1,177 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
8
9import org.eclipse.emf.common.notify.Notification;
10import org.eclipse.emf.common.notify.NotificationChain;
11
12import org.eclipse.emf.ecore.EClass;
13import org.eclipse.emf.ecore.InternalEObject;
14
15import org.eclipse.emf.ecore.impl.ENotificationImpl;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Basic Event</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl#getDistribution <em>Distribution</em>}</li>
26 * </ul>
27 *
28 * @generated
29 */
30public class BasicEventImpl extends RandomEventImpl implements BasicEvent {
31 /**
32 * The cached value of the '{@link #getDistribution() <em>Distribution</em>}' containment reference.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #getDistribution()
36 * @generated
37 * @ordered
38 */
39 protected Distribution distribution;
40
41 /**
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @generated
45 */
46 protected BasicEventImpl() {
47 super();
48 }
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 @Override
56 protected EClass eStaticClass() {
57 return FtPackage.Literals.BASIC_EVENT;
58 }
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 @Override
66 public Distribution getDistribution() {
67 return distribution;
68 }
69
70 /**
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 */
75 public NotificationChain basicSetDistribution(Distribution newDistribution, NotificationChain msgs) {
76 Distribution oldDistribution = distribution;
77 distribution = newDistribution;
78 if (eNotificationRequired()) {
79 ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FtPackage.BASIC_EVENT__DISTRIBUTION, oldDistribution, newDistribution);
80 if (msgs == null) msgs = notification; else msgs.add(notification);
81 }
82 return msgs;
83 }
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 @Override
91 public void setDistribution(Distribution newDistribution) {
92 if (newDistribution != distribution) {
93 NotificationChain msgs = null;
94 if (distribution != null)
95 msgs = ((InternalEObject)distribution).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - FtPackage.BASIC_EVENT__DISTRIBUTION, null, msgs);
96 if (newDistribution != null)
97 msgs = ((InternalEObject)newDistribution).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - FtPackage.BASIC_EVENT__DISTRIBUTION, null, msgs);
98 msgs = basicSetDistribution(newDistribution, msgs);
99 if (msgs != null) msgs.dispatch();
100 }
101 else if (eNotificationRequired())
102 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.BASIC_EVENT__DISTRIBUTION, newDistribution, newDistribution));
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 @Override
111 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
112 switch (featureID) {
113 case FtPackage.BASIC_EVENT__DISTRIBUTION:
114 return basicSetDistribution(null, msgs);
115 }
116 return super.eInverseRemove(otherEnd, featureID, msgs);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public Object eGet(int featureID, boolean resolve, boolean coreType) {
126 switch (featureID) {
127 case FtPackage.BASIC_EVENT__DISTRIBUTION:
128 return getDistribution();
129 }
130 return super.eGet(featureID, resolve, coreType);
131 }
132
133 /**
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @generated
137 */
138 @Override
139 public void eSet(int featureID, Object newValue) {
140 switch (featureID) {
141 case FtPackage.BASIC_EVENT__DISTRIBUTION:
142 setDistribution((Distribution)newValue);
143 return;
144 }
145 super.eSet(featureID, newValue);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public void eUnset(int featureID) {
155 switch (featureID) {
156 case FtPackage.BASIC_EVENT__DISTRIBUTION:
157 setDistribution((Distribution)null);
158 return;
159 }
160 super.eUnset(featureID);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public boolean eIsSet(int featureID) {
170 switch (featureID) {
171 case FtPackage.BASIC_EVENT__DISTRIBUTION:
172 return distribution != null;
173 }
174 return super.eIsSet(featureID);
175 }
176
177} //BasicEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java
deleted file mode 100644
index 7f85ed32..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Distribution</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl#getP <em>P</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantDistributionImpl extends DistributionImpl implements ConstantDistribution {
28 /**
29 * The default value of the '{@link #getP() <em>P</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getP()
33 * @generated
34 * @ordered
35 */
36 protected static final double P_EDEFAULT = 0.0;
37
38 /**
39 * The cached value of the '{@link #getP() <em>P</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getP()
43 * @generated
44 * @ordered
45 */
46 protected double p = P_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantDistributionImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.CONSTANT_DISTRIBUTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public double getP() {
74 return p;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setP(double newP) {
84 double oldP = p;
85 p = newP;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_DISTRIBUTION__P, oldP, p));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.CONSTANT_DISTRIBUTION__P:
99 return getP();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.CONSTANT_DISTRIBUTION__P:
113 setP((Double)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.CONSTANT_DISTRIBUTION__P:
128 setP(P_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.CONSTANT_DISTRIBUTION__P:
143 return p != P_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (p: ");
159 result.append(p);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantDistributionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java
deleted file mode 100644
index fc7bcf09..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Event</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl#isFailed <em>Failed</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantEventImpl extends EventImpl implements ConstantEvent {
28 /**
29 * The default value of the '{@link #isFailed() <em>Failed</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #isFailed()
33 * @generated
34 * @ordered
35 */
36 protected static final boolean FAILED_EDEFAULT = false;
37
38 /**
39 * The cached value of the '{@link #isFailed() <em>Failed</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #isFailed()
43 * @generated
44 * @ordered
45 */
46 protected boolean failed = FAILED_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantEventImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.CONSTANT_EVENT;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public boolean isFailed() {
74 return failed;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setFailed(boolean newFailed) {
84 boolean oldFailed = failed;
85 failed = newFailed;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_EVENT__FAILED, oldFailed, failed));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.CONSTANT_EVENT__FAILED:
99 return isFailed();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.CONSTANT_EVENT__FAILED:
113 setFailed((Boolean)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.CONSTANT_EVENT__FAILED:
128 setFailed(FAILED_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.CONSTANT_EVENT__FAILED:
143 return failed != FAILED_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (failed: ");
159 result.append(failed);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java
deleted file mode 100644
index 52e1605b..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Constant Model</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl#isFailed <em>Failed</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ConstantModelImpl extends ReliabilityModelImpl implements ConstantModel {
28 /**
29 * The default value of the '{@link #isFailed() <em>Failed</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #isFailed()
33 * @generated
34 * @ordered
35 */
36 protected static final boolean FAILED_EDEFAULT = false;
37
38 /**
39 * The cached value of the '{@link #isFailed() <em>Failed</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #isFailed()
43 * @generated
44 * @ordered
45 */
46 protected boolean failed = FAILED_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ConstantModelImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.CONSTANT_MODEL;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public boolean isFailed() {
74 return failed;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setFailed(boolean newFailed) {
84 boolean oldFailed = failed;
85 failed = newFailed;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_MODEL__FAILED, oldFailed, failed));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.CONSTANT_MODEL__FAILED:
99 return isFailed();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.CONSTANT_MODEL__FAILED:
113 setFailed((Boolean)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.CONSTANT_MODEL__FAILED:
128 setFailed(FAILED_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.CONSTANT_MODEL__FAILED:
143 return failed != FAILED_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (failed: ");
159 result.append(failed);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ConstantModelImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
deleted file mode 100644
index 171a58cd..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
+++ /dev/null
@@ -1,39 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Distribution</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public abstract class DistributionImpl extends MinimalEObjectImpl.Container implements Distribution {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected DistributionImpl() {
26 super();
27 }
28
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 @Override
35 protected EClass eStaticClass() {
36 return FtPackage.Literals.DISTRIBUTION;
37 }
38
39} //DistributionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
deleted file mode 100644
index b37fa6bd..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
+++ /dev/null
@@ -1,39 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Event</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected EventImpl() {
26 super();
27 }
28
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 @Override
35 protected EClass eStaticClass() {
36 return FtPackage.Literals.EVENT;
37 }
38
39} //EventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java
deleted file mode 100644
index b3c7bd79..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Exponential Distribution</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl#getLambda <em>Lambda</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class ExponentialDistributionImpl extends DistributionImpl implements ExponentialDistribution {
28 /**
29 * The default value of the '{@link #getLambda() <em>Lambda</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getLambda()
33 * @generated
34 * @ordered
35 */
36 protected static final double LAMBDA_EDEFAULT = 0.0;
37
38 /**
39 * The cached value of the '{@link #getLambda() <em>Lambda</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getLambda()
43 * @generated
44 * @ordered
45 */
46 protected double lambda = LAMBDA_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected ExponentialDistributionImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.EXPONENTIAL_DISTRIBUTION;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public double getLambda() {
74 return lambda;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setLambda(double newLambda) {
84 double oldLambda = lambda;
85 lambda = newLambda;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA, oldLambda, lambda));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA:
99 return getLambda();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA:
113 setLambda((Double)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA:
128 setLambda(LAMBDA_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.EXPONENTIAL_DISTRIBUTION__LAMBDA:
143 return lambda != LAMBDA_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (lambda: ");
159 result.append(lambda);
160 result.append(')');
161 return result.toString();
162 }
163
164} //ExponentialDistributionImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
deleted file mode 100644
index 23f1d056..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
+++ /dev/null
@@ -1,216 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.notify.Notification;
12import org.eclipse.emf.common.notify.NotificationChain;
13
14import org.eclipse.emf.common.util.EList;
15
16import org.eclipse.emf.ecore.EClass;
17import org.eclipse.emf.ecore.InternalEObject;
18
19import org.eclipse.emf.ecore.impl.ENotificationImpl;
20
21import org.eclipse.emf.ecore.util.EObjectContainmentEList;
22import org.eclipse.emf.ecore.util.InternalEList;
23
24/**
25 * <!-- begin-user-doc -->
26 * An implementation of the model object '<em><b>Fault Tree</b></em>'.
27 * <!-- end-user-doc -->
28 * <p>
29 * The following features are implemented:
30 * </p>
31 * <ul>
32 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getEvents <em>Events</em>}</li>
33 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getTopEvent <em>Top Event</em>}</li>
34 * </ul>
35 *
36 * @generated
37 */
38public class FaultTreeImpl extends ReliabilityModelImpl implements FaultTree {
39 /**
40 * The cached value of the '{@link #getEvents() <em>Events</em>}' containment reference list.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getEvents()
44 * @generated
45 * @ordered
46 */
47 protected EList<RandomEvent> events;
48
49 /**
50 * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @see #getTopEvent()
54 * @generated
55 * @ordered
56 */
57 protected RandomEvent topEvent;
58
59 /**
60 * <!-- begin-user-doc -->
61 * <!-- end-user-doc -->
62 * @generated
63 */
64 protected FaultTreeImpl() {
65 super();
66 }
67
68 /**
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @generated
72 */
73 @Override
74 protected EClass eStaticClass() {
75 return FtPackage.Literals.FAULT_TREE;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 @Override
84 public EList<RandomEvent> getEvents() {
85 if (events == null) {
86 events = new EObjectContainmentEList<RandomEvent>(RandomEvent.class, this, FtPackage.FAULT_TREE__EVENTS);
87 }
88 return events;
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 @Override
97 public RandomEvent getTopEvent() {
98 if (topEvent != null && topEvent.eIsProxy()) {
99 InternalEObject oldTopEvent = (InternalEObject)topEvent;
100 topEvent = (RandomEvent)eResolveProxy(oldTopEvent);
101 if (topEvent != oldTopEvent) {
102 if (eNotificationRequired())
103 eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
104 }
105 }
106 return topEvent;
107 }
108
109 /**
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @generated
113 */
114 public RandomEvent basicGetTopEvent() {
115 return topEvent;
116 }
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
123 @Override
124 public void setTopEvent(RandomEvent newTopEvent) {
125 RandomEvent oldTopEvent = topEvent;
126 topEvent = newTopEvent;
127 if (eNotificationRequired())
128 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
129 }
130
131 /**
132 * <!-- begin-user-doc -->
133 * <!-- end-user-doc -->
134 * @generated
135 */
136 @Override
137 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
138 switch (featureID) {
139 case FtPackage.FAULT_TREE__EVENTS:
140 return ((InternalEList<?>)getEvents()).basicRemove(otherEnd, msgs);
141 }
142 return super.eInverseRemove(otherEnd, featureID, msgs);
143 }
144
145 /**
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 */
150 @Override
151 public Object eGet(int featureID, boolean resolve, boolean coreType) {
152 switch (featureID) {
153 case FtPackage.FAULT_TREE__EVENTS:
154 return getEvents();
155 case FtPackage.FAULT_TREE__TOP_EVENT:
156 if (resolve) return getTopEvent();
157 return basicGetTopEvent();
158 }
159 return super.eGet(featureID, resolve, coreType);
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 @SuppressWarnings("unchecked")
168 @Override
169 public void eSet(int featureID, Object newValue) {
170 switch (featureID) {
171 case FtPackage.FAULT_TREE__EVENTS:
172 getEvents().clear();
173 getEvents().addAll((Collection<? extends RandomEvent>)newValue);
174 return;
175 case FtPackage.FAULT_TREE__TOP_EVENT:
176 setTopEvent((RandomEvent)newValue);
177 return;
178 }
179 super.eSet(featureID, newValue);
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 */
187 @Override
188 public void eUnset(int featureID) {
189 switch (featureID) {
190 case FtPackage.FAULT_TREE__EVENTS:
191 getEvents().clear();
192 return;
193 case FtPackage.FAULT_TREE__TOP_EVENT:
194 setTopEvent((RandomEvent)null);
195 return;
196 }
197 super.eUnset(featureID);
198 }
199
200 /**
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 */
205 @Override
206 public boolean eIsSet(int featureID) {
207 switch (featureID) {
208 case FtPackage.FAULT_TREE__EVENTS:
209 return events != null && !events.isEmpty();
210 case FtPackage.FAULT_TREE__TOP_EVENT:
211 return topEvent != null;
212 }
213 return super.eIsSet(featureID);
214 }
215
216} //FaultTreeImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
deleted file mode 100644
index 126abed8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
+++ /dev/null
@@ -1,193 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class FtFactoryImpl extends EFactoryImpl implements FtFactory {
22 /**
23 * Creates the default factory implementation.
24 * <!-- begin-user-doc -->
25 * <!-- end-user-doc -->
26 * @generated
27 */
28 public static FtFactory init() {
29 try {
30 FtFactory theFtFactory = (FtFactory)EPackage.Registry.INSTANCE.getEFactory(FtPackage.eNS_URI);
31 if (theFtFactory != null) {
32 return theFtFactory;
33 }
34 }
35 catch (Exception exception) {
36 EcorePlugin.INSTANCE.log(exception);
37 }
38 return new FtFactoryImpl();
39 }
40
41 /**
42 * Creates an instance of the factory.
43 * <!-- begin-user-doc -->
44 * <!-- end-user-doc -->
45 * @generated
46 */
47 public FtFactoryImpl() {
48 super();
49 }
50
51 /**
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @generated
55 */
56 @Override
57 public EObject create(EClass eClass) {
58 switch (eClass.getClassifierID()) {
59 case FtPackage.FAULT_TREE: return createFaultTree();
60 case FtPackage.BASIC_EVENT: return createBasicEvent();
61 case FtPackage.CONSTANT_DISTRIBUTION: return createConstantDistribution();
62 case FtPackage.EXPONENTIAL_DISTRIBUTION: return createExponentialDistribution();
63 case FtPackage.AND_GATE: return createAndGate();
64 case FtPackage.OR_GATE: return createOrGate();
65 case FtPackage.KOF_MGATE: return createKOfMGate();
66 case FtPackage.CONSTANT_MODEL: return createConstantModel();
67 case FtPackage.CONSTANT_EVENT: return createConstantEvent();
68 default:
69 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
70 }
71 }
72
73 /**
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @generated
77 */
78 @Override
79 public FaultTree createFaultTree() {
80 FaultTreeImpl faultTree = new FaultTreeImpl();
81 return faultTree;
82 }
83
84 /**
85 * <!-- begin-user-doc -->
86 * <!-- end-user-doc -->
87 * @generated
88 */
89 @Override
90 public BasicEvent createBasicEvent() {
91 BasicEventImpl basicEvent = new BasicEventImpl();
92 return basicEvent;
93 }
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 @Override
101 public ConstantDistribution createConstantDistribution() {
102 ConstantDistributionImpl constantDistribution = new ConstantDistributionImpl();
103 return constantDistribution;
104 }
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 */
111 @Override
112 public ExponentialDistribution createExponentialDistribution() {
113 ExponentialDistributionImpl exponentialDistribution = new ExponentialDistributionImpl();
114 return exponentialDistribution;
115 }
116
117 /**
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 */
122 @Override
123 public AndGate createAndGate() {
124 AndGateImpl andGate = new AndGateImpl();
125 return andGate;
126 }
127
128 /**
129 * <!-- begin-user-doc -->
130 * <!-- end-user-doc -->
131 * @generated
132 */
133 @Override
134 public OrGate createOrGate() {
135 OrGateImpl orGate = new OrGateImpl();
136 return orGate;
137 }
138
139 /**
140 * <!-- begin-user-doc -->
141 * <!-- end-user-doc -->
142 * @generated
143 */
144 @Override
145 public KOfMGate createKOfMGate() {
146 KOfMGateImpl kOfMGate = new KOfMGateImpl();
147 return kOfMGate;
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 @Override
156 public ConstantModel createConstantModel() {
157 ConstantModelImpl constantModel = new ConstantModelImpl();
158 return constantModel;
159 }
160
161 /**
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @generated
165 */
166 @Override
167 public ConstantEvent createConstantEvent() {
168 ConstantEventImpl constantEvent = new ConstantEventImpl();
169 return constantEvent;
170 }
171
172 /**
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 */
177 @Override
178 public FtPackage getFtPackage() {
179 return (FtPackage)getEPackage();
180 }
181
182 /**
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @deprecated
186 * @generated
187 */
188 @Deprecated
189 public static FtPackage getPackage() {
190 return FtPackage.eINSTANCE;
191 }
192
193} //FtFactoryImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java
deleted file mode 100644
index cc2c0617..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java
+++ /dev/null
@@ -1,586 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
8import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
10import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
11import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
12import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
13import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
14import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
15import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
16import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
17import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
18import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
19import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
20import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
21
22import org.eclipse.emf.ecore.EAttribute;
23import org.eclipse.emf.ecore.EClass;
24import org.eclipse.emf.ecore.EPackage;
25import org.eclipse.emf.ecore.EReference;
26
27import org.eclipse.emf.ecore.impl.EPackageImpl;
28
29/**
30 * <!-- begin-user-doc -->
31 * An implementation of the model <b>Package</b>.
32 * <!-- end-user-doc -->
33 * @generated
34 */
35public class FtPackageImpl extends EPackageImpl implements FtPackage {
36 /**
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @generated
40 */
41 private EClass faultTreeEClass = null;
42
43 /**
44 * <!-- begin-user-doc -->
45 * <!-- end-user-doc -->
46 * @generated
47 */
48 private EClass randomEventEClass = null;
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 private EClass basicEventEClass = null;
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 private EClass gateEClass = null;
63
64 /**
65 * <!-- begin-user-doc -->
66 * <!-- end-user-doc -->
67 * @generated
68 */
69 private EClass distributionEClass = null;
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 private EClass constantDistributionEClass = null;
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 private EClass exponentialDistributionEClass = null;
84
85 /**
86 * <!-- begin-user-doc -->
87 * <!-- end-user-doc -->
88 * @generated
89 */
90 private EClass andGateEClass = null;
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 private EClass orGateEClass = null;
98
99 /**
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 */
104 private EClass kOfMGateEClass = null;
105
106 /**
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @generated
110 */
111 private EClass reliabilityModelEClass = null;
112
113 /**
114 * <!-- begin-user-doc -->
115 * <!-- end-user-doc -->
116 * @generated
117 */
118 private EClass constantModelEClass = null;
119
120 /**
121 * <!-- begin-user-doc -->
122 * <!-- end-user-doc -->
123 * @generated
124 */
125 private EClass eventEClass = null;
126
127 /**
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 */
132 private EClass constantEventEClass = null;
133
134 /**
135 * Creates an instance of the model <b>Package</b>, registered with
136 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
137 * package URI value.
138 * <p>Note: the correct way to create the package is via the static
139 * factory method {@link #init init()}, which also performs
140 * initialization of the package, or returns the registered package,
141 * if one already exists.
142 * <!-- begin-user-doc -->
143 * <!-- end-user-doc -->
144 * @see org.eclipse.emf.ecore.EPackage.Registry
145 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#eNS_URI
146 * @see #init()
147 * @generated
148 */
149 private FtPackageImpl() {
150 super(eNS_URI, FtFactory.eINSTANCE);
151 }
152
153 /**
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 */
158 private static boolean isInited = false;
159
160 /**
161 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
162 *
163 * <p>This method is used to initialize {@link FtPackage#eINSTANCE} when that field is accessed.
164 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
165 * <!-- begin-user-doc -->
166 * <!-- end-user-doc -->
167 * @see #eNS_URI
168 * @see #createPackageContents()
169 * @see #initializePackageContents()
170 * @generated
171 */
172 public static FtPackage init() {
173 if (isInited) return (FtPackage)EPackage.Registry.INSTANCE.getEPackage(FtPackage.eNS_URI);
174
175 // Obtain or create and register package
176 Object registeredFtPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
177 FtPackageImpl theFtPackage = registeredFtPackage instanceof FtPackageImpl ? (FtPackageImpl)registeredFtPackage : new FtPackageImpl();
178
179 isInited = true;
180
181 // Create package meta-data objects
182 theFtPackage.createPackageContents();
183
184 // Initialize created meta-data
185 theFtPackage.initializePackageContents();
186
187 // Mark meta-data to indicate it can't be changed
188 theFtPackage.freeze();
189
190 // Update the registry and return the package
191 EPackage.Registry.INSTANCE.put(FtPackage.eNS_URI, theFtPackage);
192 return theFtPackage;
193 }
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 @Override
201 public EClass getFaultTree() {
202 return faultTreeEClass;
203 }
204
205 /**
206 * <!-- begin-user-doc -->
207 * <!-- end-user-doc -->
208 * @generated
209 */
210 @Override
211 public EReference getFaultTree_Events() {
212 return (EReference)faultTreeEClass.getEStructuralFeatures().get(0);
213 }
214
215 /**
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @generated
219 */
220 @Override
221 public EReference getFaultTree_TopEvent() {
222 return (EReference)faultTreeEClass.getEStructuralFeatures().get(1);
223 }
224
225 /**
226 * <!-- begin-user-doc -->
227 * <!-- end-user-doc -->
228 * @generated
229 */
230 @Override
231 public EClass getRandomEvent() {
232 return randomEventEClass;
233 }
234
235 /**
236 * <!-- begin-user-doc -->
237 * <!-- end-user-doc -->
238 * @generated
239 */
240 @Override
241 public EAttribute getRandomEvent_Name() {
242 return (EAttribute)randomEventEClass.getEStructuralFeatures().get(0);
243 }
244
245 /**
246 * <!-- begin-user-doc -->
247 * <!-- end-user-doc -->
248 * @generated
249 */
250 @Override
251 public EClass getBasicEvent() {
252 return basicEventEClass;
253 }
254
255 /**
256 * <!-- begin-user-doc -->
257 * <!-- end-user-doc -->
258 * @generated
259 */
260 @Override
261 public EReference getBasicEvent_Distribution() {
262 return (EReference)basicEventEClass.getEStructuralFeatures().get(0);
263 }
264
265 /**
266 * <!-- begin-user-doc -->
267 * <!-- end-user-doc -->
268 * @generated
269 */
270 @Override
271 public EClass getGate() {
272 return gateEClass;
273 }
274
275 /**
276 * <!-- begin-user-doc -->
277 * <!-- end-user-doc -->
278 * @generated
279 */
280 @Override
281 public EReference getGate_InputEvents() {
282 return (EReference)gateEClass.getEStructuralFeatures().get(0);
283 }
284
285 /**
286 * <!-- begin-user-doc -->
287 * <!-- end-user-doc -->
288 * @generated
289 */
290 @Override
291 public EClass getDistribution() {
292 return distributionEClass;
293 }
294
295 /**
296 * <!-- begin-user-doc -->
297 * <!-- end-user-doc -->
298 * @generated
299 */
300 @Override
301 public EClass getConstantDistribution() {
302 return constantDistributionEClass;
303 }
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 @Override
311 public EAttribute getConstantDistribution_P() {
312 return (EAttribute)constantDistributionEClass.getEStructuralFeatures().get(0);
313 }
314
315 /**
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @generated
319 */
320 @Override
321 public EClass getExponentialDistribution() {
322 return exponentialDistributionEClass;
323 }
324
325 /**
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @generated
329 */
330 @Override
331 public EAttribute getExponentialDistribution_Lambda() {
332 return (EAttribute)exponentialDistributionEClass.getEStructuralFeatures().get(0);
333 }
334
335 /**
336 * <!-- begin-user-doc -->
337 * <!-- end-user-doc -->
338 * @generated
339 */
340 @Override
341 public EClass getAndGate() {
342 return andGateEClass;
343 }
344
345 /**
346 * <!-- begin-user-doc -->
347 * <!-- end-user-doc -->
348 * @generated
349 */
350 @Override
351 public EClass getOrGate() {
352 return orGateEClass;
353 }
354
355 /**
356 * <!-- begin-user-doc -->
357 * <!-- end-user-doc -->
358 * @generated
359 */
360 @Override
361 public EClass getKOfMGate() {
362 return kOfMGateEClass;
363 }
364
365 /**
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @generated
369 */
370 @Override
371 public EAttribute getKOfMGate_K() {
372 return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(0);
373 }
374
375 /**
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 */
380 @Override
381 public EClass getReliabilityModel() {
382 return reliabilityModelEClass;
383 }
384
385 /**
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @generated
389 */
390 @Override
391 public EClass getConstantModel() {
392 return constantModelEClass;
393 }
394
395 /**
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @generated
399 */
400 @Override
401 public EAttribute getConstantModel_Failed() {
402 return (EAttribute)constantModelEClass.getEStructuralFeatures().get(0);
403 }
404
405 /**
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @generated
409 */
410 @Override
411 public EClass getEvent() {
412 return eventEClass;
413 }
414
415 /**
416 * <!-- begin-user-doc -->
417 * <!-- end-user-doc -->
418 * @generated
419 */
420 @Override
421 public EClass getConstantEvent() {
422 return constantEventEClass;
423 }
424
425 /**
426 * <!-- begin-user-doc -->
427 * <!-- end-user-doc -->
428 * @generated
429 */
430 @Override
431 public EAttribute getConstantEvent_Failed() {
432 return (EAttribute)constantEventEClass.getEStructuralFeatures().get(0);
433 }
434
435 /**
436 * <!-- begin-user-doc -->
437 * <!-- end-user-doc -->
438 * @generated
439 */
440 @Override
441 public FtFactory getFtFactory() {
442 return (FtFactory)getEFactoryInstance();
443 }
444
445 /**
446 * <!-- begin-user-doc -->
447 * <!-- end-user-doc -->
448 * @generated
449 */
450 private boolean isCreated = false;
451
452 /**
453 * Creates the meta-model objects for the package. This method is
454 * guarded to have no affect on any invocation but its first.
455 * <!-- begin-user-doc -->
456 * <!-- end-user-doc -->
457 * @generated
458 */
459 public void createPackageContents() {
460 if (isCreated) return;
461 isCreated = true;
462
463 // Create classes and their features
464 faultTreeEClass = createEClass(FAULT_TREE);
465 createEReference(faultTreeEClass, FAULT_TREE__EVENTS);
466 createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT);
467
468 randomEventEClass = createEClass(RANDOM_EVENT);
469 createEAttribute(randomEventEClass, RANDOM_EVENT__NAME);
470
471 basicEventEClass = createEClass(BASIC_EVENT);
472 createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION);
473
474 gateEClass = createEClass(GATE);
475 createEReference(gateEClass, GATE__INPUT_EVENTS);
476
477 distributionEClass = createEClass(DISTRIBUTION);
478
479 constantDistributionEClass = createEClass(CONSTANT_DISTRIBUTION);
480 createEAttribute(constantDistributionEClass, CONSTANT_DISTRIBUTION__P);
481
482 exponentialDistributionEClass = createEClass(EXPONENTIAL_DISTRIBUTION);
483 createEAttribute(exponentialDistributionEClass, EXPONENTIAL_DISTRIBUTION__LAMBDA);
484
485 andGateEClass = createEClass(AND_GATE);
486
487 orGateEClass = createEClass(OR_GATE);
488
489 kOfMGateEClass = createEClass(KOF_MGATE);
490 createEAttribute(kOfMGateEClass, KOF_MGATE__K);
491
492 reliabilityModelEClass = createEClass(RELIABILITY_MODEL);
493
494 constantModelEClass = createEClass(CONSTANT_MODEL);
495 createEAttribute(constantModelEClass, CONSTANT_MODEL__FAILED);
496
497 eventEClass = createEClass(EVENT);
498
499 constantEventEClass = createEClass(CONSTANT_EVENT);
500 createEAttribute(constantEventEClass, CONSTANT_EVENT__FAILED);
501 }
502
503 /**
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @generated
507 */
508 private boolean isInitialized = false;
509
510 /**
511 * Complete the initialization of the package and its meta-model. This
512 * method is guarded to have no affect on any invocation but its first.
513 * <!-- begin-user-doc -->
514 * <!-- end-user-doc -->
515 * @generated
516 */
517 public void initializePackageContents() {
518 if (isInitialized) return;
519 isInitialized = true;
520
521 // Initialize package
522 setName(eNAME);
523 setNsPrefix(eNS_PREFIX);
524 setNsURI(eNS_URI);
525
526 // Create type parameters
527
528 // Set bounds for type parameters
529
530 // Add supertypes to classes
531 faultTreeEClass.getESuperTypes().add(this.getReliabilityModel());
532 randomEventEClass.getESuperTypes().add(this.getEvent());
533 basicEventEClass.getESuperTypes().add(this.getRandomEvent());
534 gateEClass.getESuperTypes().add(this.getRandomEvent());
535 constantDistributionEClass.getESuperTypes().add(this.getDistribution());
536 exponentialDistributionEClass.getESuperTypes().add(this.getDistribution());
537 andGateEClass.getESuperTypes().add(this.getGate());
538 orGateEClass.getESuperTypes().add(this.getGate());
539 kOfMGateEClass.getESuperTypes().add(this.getGate());
540 constantModelEClass.getESuperTypes().add(this.getReliabilityModel());
541 constantEventEClass.getESuperTypes().add(this.getEvent());
542
543 // Initialize classes, features, and operations; add parameters
544 initEClass(faultTreeEClass, FaultTree.class, "FaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
545 initEReference(getFaultTree_Events(), this.getRandomEvent(), null, "events", null, 0, -1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
546 initEReference(getFaultTree_TopEvent(), this.getRandomEvent(), null, "topEvent", null, 1, 1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
547
548 initEClass(randomEventEClass, RandomEvent.class, "RandomEvent", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
549 initEAttribute(getRandomEvent_Name(), ecorePackage.getEString(), "name", null, 0, 1, RandomEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
550
551 initEClass(basicEventEClass, BasicEvent.class, "BasicEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
552 initEReference(getBasicEvent_Distribution(), this.getDistribution(), null, "distribution", null, 1, 1, BasicEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
553
554 initEClass(gateEClass, Gate.class, "Gate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
555 initEReference(getGate_InputEvents(), this.getRandomEvent(), null, "inputEvents", null, 2, -1, Gate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
556
557 initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
558
559 initEClass(constantDistributionEClass, ConstantDistribution.class, "ConstantDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
560 initEAttribute(getConstantDistribution_P(), ecorePackage.getEDouble(), "p", null, 0, 1, ConstantDistribution.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
561
562 initEClass(exponentialDistributionEClass, ExponentialDistribution.class, "ExponentialDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
563 initEAttribute(getExponentialDistribution_Lambda(), ecorePackage.getEDouble(), "lambda", null, 0, 1, ExponentialDistribution.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
564
565 initEClass(andGateEClass, AndGate.class, "AndGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
566
567 initEClass(orGateEClass, OrGate.class, "OrGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
568
569 initEClass(kOfMGateEClass, KOfMGate.class, "KOfMGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
570 initEAttribute(getKOfMGate_K(), ecorePackage.getEInt(), "k", null, 0, 1, KOfMGate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
571
572 initEClass(reliabilityModelEClass, ReliabilityModel.class, "ReliabilityModel", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
573
574 initEClass(constantModelEClass, ConstantModel.class, "ConstantModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
575 initEAttribute(getConstantModel_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
576
577 initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
578
579 initEClass(constantEventEClass, ConstantEvent.class, "ConstantEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
580 initEAttribute(getConstantEvent_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
581
582 // Create resource
583 createResource(eNS_URI);
584 }
585
586} //FtPackageImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
deleted file mode 100644
index 9e753a09..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
+++ /dev/null
@@ -1,133 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
8
9import java.util.Collection;
10
11import org.eclipse.emf.common.util.EList;
12
13import org.eclipse.emf.ecore.EClass;
14
15import org.eclipse.emf.ecore.util.EObjectResolvingEList;
16
17/**
18 * <!-- begin-user-doc -->
19 * An implementation of the model object '<em><b>Gate</b></em>'.
20 * <!-- end-user-doc -->
21 * <p>
22 * The following features are implemented:
23 * </p>
24 * <ul>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl#getInputEvents <em>Input Events</em>}</li>
26 * </ul>
27 *
28 * @generated
29 */
30public abstract class GateImpl extends RandomEventImpl implements Gate {
31 /**
32 * The cached value of the '{@link #getInputEvents() <em>Input Events</em>}' reference list.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @see #getInputEvents()
36 * @generated
37 * @ordered
38 */
39 protected EList<RandomEvent> inputEvents;
40
41 /**
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @generated
45 */
46 protected GateImpl() {
47 super();
48 }
49
50 /**
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @generated
54 */
55 @Override
56 protected EClass eStaticClass() {
57 return FtPackage.Literals.GATE;
58 }
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 @Override
66 public EList<RandomEvent> getInputEvents() {
67 if (inputEvents == null) {
68 inputEvents = new EObjectResolvingEList<RandomEvent>(RandomEvent.class, this, FtPackage.GATE__INPUT_EVENTS);
69 }
70 return inputEvents;
71 }
72
73 /**
74 * <!-- begin-user-doc -->
75 * <!-- end-user-doc -->
76 * @generated
77 */
78 @Override
79 public Object eGet(int featureID, boolean resolve, boolean coreType) {
80 switch (featureID) {
81 case FtPackage.GATE__INPUT_EVENTS:
82 return getInputEvents();
83 }
84 return super.eGet(featureID, resolve, coreType);
85 }
86
87 /**
88 * <!-- begin-user-doc -->
89 * <!-- end-user-doc -->
90 * @generated
91 */
92 @SuppressWarnings("unchecked")
93 @Override
94 public void eSet(int featureID, Object newValue) {
95 switch (featureID) {
96 case FtPackage.GATE__INPUT_EVENTS:
97 getInputEvents().clear();
98 getInputEvents().addAll((Collection<? extends RandomEvent>)newValue);
99 return;
100 }
101 super.eSet(featureID, newValue);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eUnset(int featureID) {
111 switch (featureID) {
112 case FtPackage.GATE__INPUT_EVENTS:
113 getInputEvents().clear();
114 return;
115 }
116 super.eUnset(featureID);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public boolean eIsSet(int featureID) {
126 switch (featureID) {
127 case FtPackage.GATE__INPUT_EVENTS:
128 return inputEvents != null && !inputEvents.isEmpty();
129 }
130 return super.eIsSet(featureID);
131 }
132
133} //GateImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
deleted file mode 100644
index 47ca936b..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>KOf MGate</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getK <em>K</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public class KOfMGateImpl extends GateImpl implements KOfMGate {
28 /**
29 * The default value of the '{@link #getK() <em>K</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getK()
33 * @generated
34 * @ordered
35 */
36 protected static final int K_EDEFAULT = 0;
37
38 /**
39 * The cached value of the '{@link #getK() <em>K</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getK()
43 * @generated
44 * @ordered
45 */
46 protected int k = K_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected KOfMGateImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.KOF_MGATE;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public int getK() {
74 return k;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setK(int newK) {
84 int oldK = k;
85 k = newK;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__K, oldK, k));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.KOF_MGATE__K:
99 return getK();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.KOF_MGATE__K:
113 setK((Integer)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.KOF_MGATE__K:
128 setK(K_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.KOF_MGATE__K:
143 return k != K_EDEFAULT;
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (k: ");
159 result.append(k);
160 result.append(')');
161 return result.toString();
162 }
163
164} //KOfMGateImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java
deleted file mode 100644
index 88bd2bae..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java
+++ /dev/null
@@ -1,37 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
7
8import org.eclipse.emf.ecore.EClass;
9
10/**
11 * <!-- begin-user-doc -->
12 * An implementation of the model object '<em><b>Or Gate</b></em>'.
13 * <!-- end-user-doc -->
14 *
15 * @generated
16 */
17public class OrGateImpl extends GateImpl implements OrGate {
18 /**
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 protected OrGateImpl() {
24 super();
25 }
26
27 /**
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 @Override
33 protected EClass eStaticClass() {
34 return FtPackage.Literals.OR_GATE;
35 }
36
37} //OrGateImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java
deleted file mode 100644
index 4f9eda56..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java
+++ /dev/null
@@ -1,164 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
7
8import org.eclipse.emf.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13
14/**
15 * <!-- begin-user-doc -->
16 * An implementation of the model object '<em><b>Random Event</b></em>'.
17 * <!-- end-user-doc -->
18 * <p>
19 * The following features are implemented:
20 * </p>
21 * <ul>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl#getName <em>Name</em>}</li>
23 * </ul>
24 *
25 * @generated
26 */
27public abstract class RandomEventImpl extends EventImpl implements RandomEvent {
28 /**
29 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @see #getName()
33 * @generated
34 * @ordered
35 */
36 protected static final String NAME_EDEFAULT = null;
37
38 /**
39 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @see #getName()
43 * @generated
44 * @ordered
45 */
46 protected String name = NAME_EDEFAULT;
47
48 /**
49 * <!-- begin-user-doc -->
50 * <!-- end-user-doc -->
51 * @generated
52 */
53 protected RandomEventImpl() {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 protected EClass eStaticClass() {
64 return FtPackage.Literals.RANDOM_EVENT;
65 }
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 @Override
73 public String getName() {
74 return name;
75 }
76
77 /**
78 * <!-- begin-user-doc -->
79 * <!-- end-user-doc -->
80 * @generated
81 */
82 @Override
83 public void setName(String newName) {
84 String oldName = name;
85 name = newName;
86 if (eNotificationRequired())
87 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.RANDOM_EVENT__NAME, oldName, name));
88 }
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 @Override
96 public Object eGet(int featureID, boolean resolve, boolean coreType) {
97 switch (featureID) {
98 case FtPackage.RANDOM_EVENT__NAME:
99 return getName();
100 }
101 return super.eGet(featureID, resolve, coreType);
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public void eSet(int featureID, Object newValue) {
111 switch (featureID) {
112 case FtPackage.RANDOM_EVENT__NAME:
113 setName((String)newValue);
114 return;
115 }
116 super.eSet(featureID, newValue);
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void eUnset(int featureID) {
126 switch (featureID) {
127 case FtPackage.RANDOM_EVENT__NAME:
128 setName(NAME_EDEFAULT);
129 return;
130 }
131 super.eUnset(featureID);
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public boolean eIsSet(int featureID) {
141 switch (featureID) {
142 case FtPackage.RANDOM_EVENT__NAME:
143 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
144 }
145 return super.eIsSet(featureID);
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public String toString() {
155 if (eIsProxy()) return super.toString();
156
157 StringBuilder result = new StringBuilder(super.toString());
158 result.append(" (name: ");
159 result.append(name);
160 result.append(')');
161 return result.toString();
162 }
163
164} //RandomEventImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java
deleted file mode 100644
index e3d0eec1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java
+++ /dev/null
@@ -1,39 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
6import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
7
8import org.eclipse.emf.ecore.EClass;
9
10import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
11
12/**
13 * <!-- begin-user-doc -->
14 * An implementation of the model object '<em><b>Reliability Model</b></em>'.
15 * <!-- end-user-doc -->
16 *
17 * @generated
18 */
19public abstract class ReliabilityModelImpl extends MinimalEObjectImpl.Container implements ReliabilityModel {
20 /**
21 * <!-- begin-user-doc -->
22 * <!-- end-user-doc -->
23 * @generated
24 */
25 protected ReliabilityModelImpl() {
26 super();
27 }
28
29 /**
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 @Override
35 protected EClass eStaticClass() {
36 return FtPackage.Literals.RELIABILITY_MODEL;
37 }
38
39} //ReliabilityModelImpl
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
deleted file mode 100644
index ba7545f4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
+++ /dev/null
@@ -1,354 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.util;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.*;
6
7import org.eclipse.emf.common.notify.Adapter;
8import org.eclipse.emf.common.notify.Notifier;
9
10import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
11
12import org.eclipse.emf.ecore.EObject;
13
14/**
15 * <!-- begin-user-doc -->
16 * The <b>Adapter Factory</b> for the model.
17 * It provides an adapter <code>createXXX</code> method for each class of the model.
18 * <!-- end-user-doc -->
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage
20 * @generated
21 */
22public class FtAdapterFactory extends AdapterFactoryImpl {
23 /**
24 * The cached model package.
25 * <!-- begin-user-doc -->
26 * <!-- end-user-doc -->
27 * @generated
28 */
29 protected static FtPackage modelPackage;
30
31 /**
32 * Creates an instance of the adapter factory.
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 public FtAdapterFactory() {
38 if (modelPackage == null) {
39 modelPackage = FtPackage.eINSTANCE;
40 }
41 }
42
43 /**
44 * Returns whether this factory is applicable for the type of the object.
45 * <!-- begin-user-doc -->
46 * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
47 * <!-- end-user-doc -->
48 * @return whether this factory is applicable for the type of the object.
49 * @generated
50 */
51 @Override
52 public boolean isFactoryForType(Object object) {
53 if (object == modelPackage) {
54 return true;
55 }
56 if (object instanceof EObject) {
57 return ((EObject)object).eClass().getEPackage() == modelPackage;
58 }
59 return false;
60 }
61
62 /**
63 * The switch that delegates to the <code>createXXX</code> methods.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @generated
67 */
68 protected FtSwitch<Adapter> modelSwitch =
69 new FtSwitch<Adapter>() {
70 @Override
71 public Adapter caseFaultTree(FaultTree object) {
72 return createFaultTreeAdapter();
73 }
74 @Override
75 public Adapter caseRandomEvent(RandomEvent object) {
76 return createRandomEventAdapter();
77 }
78 @Override
79 public Adapter caseBasicEvent(BasicEvent object) {
80 return createBasicEventAdapter();
81 }
82 @Override
83 public Adapter caseGate(Gate object) {
84 return createGateAdapter();
85 }
86 @Override
87 public Adapter caseDistribution(Distribution object) {
88 return createDistributionAdapter();
89 }
90 @Override
91 public Adapter caseConstantDistribution(ConstantDistribution object) {
92 return createConstantDistributionAdapter();
93 }
94 @Override
95 public Adapter caseExponentialDistribution(ExponentialDistribution object) {
96 return createExponentialDistributionAdapter();
97 }
98 @Override
99 public Adapter caseAndGate(AndGate object) {
100 return createAndGateAdapter();
101 }
102 @Override
103 public Adapter caseOrGate(OrGate object) {
104 return createOrGateAdapter();
105 }
106 @Override
107 public Adapter caseKOfMGate(KOfMGate object) {
108 return createKOfMGateAdapter();
109 }
110 @Override
111 public Adapter caseReliabilityModel(ReliabilityModel object) {
112 return createReliabilityModelAdapter();
113 }
114 @Override
115 public Adapter caseConstantModel(ConstantModel object) {
116 return createConstantModelAdapter();
117 }
118 @Override
119 public Adapter caseEvent(Event object) {
120 return createEventAdapter();
121 }
122 @Override
123 public Adapter caseConstantEvent(ConstantEvent object) {
124 return createConstantEventAdapter();
125 }
126 @Override
127 public Adapter defaultCase(EObject object) {
128 return createEObjectAdapter();
129 }
130 };
131
132 /**
133 * Creates an adapter for the <code>target</code>.
134 * <!-- begin-user-doc -->
135 * <!-- end-user-doc -->
136 * @param target the object to adapt.
137 * @return the adapter for the <code>target</code>.
138 * @generated
139 */
140 @Override
141 public Adapter createAdapter(Notifier target) {
142 return modelSwitch.doSwitch((EObject)target);
143 }
144
145
146 /**
147 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree <em>Fault Tree</em>}'.
148 * <!-- begin-user-doc -->
149 * This default implementation returns null so that we can easily ignore cases;
150 * it's useful to ignore a case when inheritance will catch all the cases anyway.
151 * <!-- end-user-doc -->
152 * @return the new adapter.
153 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
154 * @generated
155 */
156 public Adapter createFaultTreeAdapter() {
157 return null;
158 }
159
160 /**
161 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent <em>Random Event</em>}'.
162 * <!-- begin-user-doc -->
163 * This default implementation returns null so that we can easily ignore cases;
164 * it's useful to ignore a case when inheritance will catch all the cases anyway.
165 * <!-- end-user-doc -->
166 * @return the new adapter.
167 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
168 * @generated
169 */
170 public Adapter createRandomEventAdapter() {
171 return null;
172 }
173
174 /**
175 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'.
176 * <!-- begin-user-doc -->
177 * This default implementation returns null so that we can easily ignore cases;
178 * it's useful to ignore a case when inheritance will catch all the cases anyway.
179 * <!-- end-user-doc -->
180 * @return the new adapter.
181 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent
182 * @generated
183 */
184 public Adapter createBasicEventAdapter() {
185 return null;
186 }
187
188 /**
189 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate <em>Gate</em>}'.
190 * <!-- begin-user-doc -->
191 * This default implementation returns null so that we can easily ignore cases;
192 * it's useful to ignore a case when inheritance will catch all the cases anyway.
193 * <!-- end-user-doc -->
194 * @return the new adapter.
195 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
196 * @generated
197 */
198 public Adapter createGateAdapter() {
199 return null;
200 }
201
202 /**
203 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution <em>Distribution</em>}'.
204 * <!-- begin-user-doc -->
205 * This default implementation returns null so that we can easily ignore cases;
206 * it's useful to ignore a case when inheritance will catch all the cases anyway.
207 * <!-- end-user-doc -->
208 * @return the new adapter.
209 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution
210 * @generated
211 */
212 public Adapter createDistributionAdapter() {
213 return null;
214 }
215
216 /**
217 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution <em>Constant Distribution</em>}'.
218 * <!-- begin-user-doc -->
219 * This default implementation returns null so that we can easily ignore cases;
220 * it's useful to ignore a case when inheritance will catch all the cases anyway.
221 * <!-- end-user-doc -->
222 * @return the new adapter.
223 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution
224 * @generated
225 */
226 public Adapter createConstantDistributionAdapter() {
227 return null;
228 }
229
230 /**
231 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution <em>Exponential Distribution</em>}'.
232 * <!-- begin-user-doc -->
233 * This default implementation returns null so that we can easily ignore cases;
234 * it's useful to ignore a case when inheritance will catch all the cases anyway.
235 * <!-- end-user-doc -->
236 * @return the new adapter.
237 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution
238 * @generated
239 */
240 public Adapter createExponentialDistributionAdapter() {
241 return null;
242 }
243
244 /**
245 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate <em>And Gate</em>}'.
246 * <!-- begin-user-doc -->
247 * This default implementation returns null so that we can easily ignore cases;
248 * it's useful to ignore a case when inheritance will catch all the cases anyway.
249 * <!-- end-user-doc -->
250 * @return the new adapter.
251 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate
252 * @generated
253 */
254 public Adapter createAndGateAdapter() {
255 return null;
256 }
257
258 /**
259 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate <em>Or Gate</em>}'.
260 * <!-- begin-user-doc -->
261 * This default implementation returns null so that we can easily ignore cases;
262 * it's useful to ignore a case when inheritance will catch all the cases anyway.
263 * <!-- end-user-doc -->
264 * @return the new adapter.
265 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate
266 * @generated
267 */
268 public Adapter createOrGateAdapter() {
269 return null;
270 }
271
272 /**
273 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate <em>KOf MGate</em>}'.
274 * <!-- begin-user-doc -->
275 * This default implementation returns null so that we can easily ignore cases;
276 * it's useful to ignore a case when inheritance will catch all the cases anyway.
277 * <!-- end-user-doc -->
278 * @return the new adapter.
279 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate
280 * @generated
281 */
282 public Adapter createKOfMGateAdapter() {
283 return null;
284 }
285
286 /**
287 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel <em>Reliability Model</em>}'.
288 * <!-- begin-user-doc -->
289 * This default implementation returns null so that we can easily ignore cases;
290 * it's useful to ignore a case when inheritance will catch all the cases anyway.
291 * <!-- end-user-doc -->
292 * @return the new adapter.
293 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
294 * @generated
295 */
296 public Adapter createReliabilityModelAdapter() {
297 return null;
298 }
299
300 /**
301 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel <em>Constant Model</em>}'.
302 * <!-- begin-user-doc -->
303 * This default implementation returns null so that we can easily ignore cases;
304 * it's useful to ignore a case when inheritance will catch all the cases anyway.
305 * <!-- end-user-doc -->
306 * @return the new adapter.
307 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
308 * @generated
309 */
310 public Adapter createConstantModelAdapter() {
311 return null;
312 }
313
314 /**
315 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
316 * <!-- begin-user-doc -->
317 * This default implementation returns null so that we can easily ignore cases;
318 * it's useful to ignore a case when inheritance will catch all the cases anyway.
319 * <!-- end-user-doc -->
320 * @return the new adapter.
321 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
322 * @generated
323 */
324 public Adapter createEventAdapter() {
325 return null;
326 }
327
328 /**
329 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent <em>Constant Event</em>}'.
330 * <!-- begin-user-doc -->
331 * This default implementation returns null so that we can easily ignore cases;
332 * it's useful to ignore a case when inheritance will catch all the cases anyway.
333 * <!-- end-user-doc -->
334 * @return the new adapter.
335 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
336 * @generated
337 */
338 public Adapter createConstantEventAdapter() {
339 return null;
340 }
341
342 /**
343 * Creates a new adapter for the default case.
344 * <!-- begin-user-doc -->
345 * This default implementation returns null.
346 * <!-- end-user-doc -->
347 * @return the new adapter.
348 * @generated
349 */
350 public Adapter createEObjectAdapter() {
351 return null;
352 }
353
354} //FtAdapterFactory
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
deleted file mode 100644
index 1da4f8e8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
+++ /dev/null
@@ -1,402 +0,0 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.util;
4
5import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.*;
6
7import org.eclipse.emf.ecore.EObject;
8import org.eclipse.emf.ecore.EPackage;
9
10import org.eclipse.emf.ecore.util.Switch;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Switch</b> for the model's inheritance hierarchy.
15 * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
16 * to invoke the <code>caseXXX</code> method for each class of the model,
17 * starting with the actual class of the object
18 * and proceeding up the inheritance hierarchy
19 * until a non-null result is returned,
20 * which is the result of the switch.
21 * <!-- end-user-doc -->
22 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage
23 * @generated
24 */
25public class FtSwitch<T> extends Switch<T> {
26 /**
27 * The cached model package
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @generated
31 */
32 protected static FtPackage modelPackage;
33
34 /**
35 * Creates an instance of the switch.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @generated
39 */
40 public FtSwitch() {
41 if (modelPackage == null) {
42 modelPackage = FtPackage.eINSTANCE;
43 }
44 }
45
46 /**
47 * Checks whether this is a switch for the given package.
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @param ePackage the package in question.
51 * @return whether this is a switch for the given package.
52 * @generated
53 */
54 @Override
55 protected boolean isSwitchFor(EPackage ePackage) {
56 return ePackage == modelPackage;
57 }
58
59 /**
60 * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @return the first non-null result returned by a <code>caseXXX</code> call.
64 * @generated
65 */
66 @Override
67 protected T doSwitch(int classifierID, EObject theEObject) {
68 switch (classifierID) {
69 case FtPackage.FAULT_TREE: {
70 FaultTree faultTree = (FaultTree)theEObject;
71 T result = caseFaultTree(faultTree);
72 if (result == null) result = caseReliabilityModel(faultTree);
73 if (result == null) result = defaultCase(theEObject);
74 return result;
75 }
76 case FtPackage.RANDOM_EVENT: {
77 RandomEvent randomEvent = (RandomEvent)theEObject;
78 T result = caseRandomEvent(randomEvent);
79 if (result == null) result = caseEvent(randomEvent);
80 if (result == null) result = defaultCase(theEObject);
81 return result;
82 }
83 case FtPackage.BASIC_EVENT: {
84 BasicEvent basicEvent = (BasicEvent)theEObject;
85 T result = caseBasicEvent(basicEvent);
86 if (result == null) result = caseRandomEvent(basicEvent);
87 if (result == null) result = caseEvent(basicEvent);
88 if (result == null) result = defaultCase(theEObject);
89 return result;
90 }
91 case FtPackage.GATE: {
92 Gate gate = (Gate)theEObject;
93 T result = caseGate(gate);
94 if (result == null) result = caseRandomEvent(gate);
95 if (result == null) result = caseEvent(gate);
96 if (result == null) result = defaultCase(theEObject);
97 return result;
98 }
99 case FtPackage.DISTRIBUTION: {
100 Distribution distribution = (Distribution)theEObject;
101 T result = caseDistribution(distribution);
102 if (result == null) result = defaultCase(theEObject);
103 return result;
104 }
105 case FtPackage.CONSTANT_DISTRIBUTION: {
106 ConstantDistribution constantDistribution = (ConstantDistribution)theEObject;
107 T result = caseConstantDistribution(constantDistribution);
108 if (result == null) result = caseDistribution(constantDistribution);
109 if (result == null) result = defaultCase(theEObject);
110 return result;
111 }
112 case FtPackage.EXPONENTIAL_DISTRIBUTION: {
113 ExponentialDistribution exponentialDistribution = (ExponentialDistribution)theEObject;
114 T result = caseExponentialDistribution(exponentialDistribution);
115 if (result == null) result = caseDistribution(exponentialDistribution);
116 if (result == null) result = defaultCase(theEObject);
117 return result;
118 }
119 case FtPackage.AND_GATE: {
120 AndGate andGate = (AndGate)theEObject;
121 T result = caseAndGate(andGate);
122 if (result == null) result = caseGate(andGate);
123 if (result == null) result = caseRandomEvent(andGate);
124 if (result == null) result = caseEvent(andGate);
125 if (result == null) result = defaultCase(theEObject);
126 return result;
127 }
128 case FtPackage.OR_GATE: {
129 OrGate orGate = (OrGate)theEObject;
130 T result = caseOrGate(orGate);
131 if (result == null) result = caseGate(orGate);
132 if (result == null) result = caseRandomEvent(orGate);
133 if (result == null) result = caseEvent(orGate);
134 if (result == null) result = defaultCase(theEObject);
135 return result;
136 }
137 case FtPackage.KOF_MGATE: {
138 KOfMGate kOfMGate = (KOfMGate)theEObject;
139 T result = caseKOfMGate(kOfMGate);
140 if (result == null) result = caseGate(kOfMGate);
141 if (result == null) result = caseRandomEvent(kOfMGate);
142 if (result == null) result = caseEvent(kOfMGate);
143 if (result == null) result = defaultCase(theEObject);
144 return result;
145 }
146 case FtPackage.RELIABILITY_MODEL: {
147 ReliabilityModel reliabilityModel = (ReliabilityModel)theEObject;
148 T result = caseReliabilityModel(reliabilityModel);
149 if (result == null) result = defaultCase(theEObject);
150 return result;
151 }
152 case FtPackage.CONSTANT_MODEL: {
153 ConstantModel constantModel = (ConstantModel)theEObject;
154 T result = caseConstantModel(constantModel);
155 if (result == null) result = caseReliabilityModel(constantModel);
156 if (result == null) result = defaultCase(theEObject);
157 return result;
158 }
159 case FtPackage.EVENT: {
160 Event event = (Event)theEObject;
161 T result = caseEvent(event);
162 if (result == null) result = defaultCase(theEObject);
163 return result;
164 }
165 case FtPackage.CONSTANT_EVENT: {
166 ConstantEvent constantEvent = (ConstantEvent)theEObject;
167 T result = caseConstantEvent(constantEvent);
168 if (result == null) result = caseEvent(constantEvent);
169 if (result == null) result = defaultCase(theEObject);
170 return result;
171 }
172 default: return defaultCase(theEObject);
173 }
174 }
175
176 /**
177 * Returns the result of interpreting the object as an instance of '<em>Fault Tree</em>'.
178 * <!-- begin-user-doc -->
179 * This implementation returns null;
180 * returning a non-null result will terminate the switch.
181 * <!-- end-user-doc -->
182 * @param object the target of the switch.
183 * @return the result of interpreting the object as an instance of '<em>Fault Tree</em>'.
184 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
185 * @generated
186 */
187 public T caseFaultTree(FaultTree object) {
188 return null;
189 }
190
191 /**
192 * Returns the result of interpreting the object as an instance of '<em>Random Event</em>'.
193 * <!-- begin-user-doc -->
194 * This implementation returns null;
195 * returning a non-null result will terminate the switch.
196 * <!-- end-user-doc -->
197 * @param object the target of the switch.
198 * @return the result of interpreting the object as an instance of '<em>Random Event</em>'.
199 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
200 * @generated
201 */
202 public T caseRandomEvent(RandomEvent object) {
203 return null;
204 }
205
206 /**
207 * Returns the result of interpreting the object as an instance of '<em>Basic Event</em>'.
208 * <!-- begin-user-doc -->
209 * This implementation returns null;
210 * returning a non-null result will terminate the switch.
211 * <!-- end-user-doc -->
212 * @param object the target of the switch.
213 * @return the result of interpreting the object as an instance of '<em>Basic Event</em>'.
214 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
215 * @generated
216 */
217 public T caseBasicEvent(BasicEvent object) {
218 return null;
219 }
220
221 /**
222 * Returns the result of interpreting the object as an instance of '<em>Gate</em>'.
223 * <!-- begin-user-doc -->
224 * This implementation returns null;
225 * returning a non-null result will terminate the switch.
226 * <!-- end-user-doc -->
227 * @param object the target of the switch.
228 * @return the result of interpreting the object as an instance of '<em>Gate</em>'.
229 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
230 * @generated
231 */
232 public T caseGate(Gate object) {
233 return null;
234 }
235
236 /**
237 * Returns the result of interpreting the object as an instance of '<em>Distribution</em>'.
238 * <!-- begin-user-doc -->
239 * This implementation returns null;
240 * returning a non-null result will terminate the switch.
241 * <!-- end-user-doc -->
242 * @param object the target of the switch.
243 * @return the result of interpreting the object as an instance of '<em>Distribution</em>'.
244 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
245 * @generated
246 */
247 public T caseDistribution(Distribution object) {
248 return null;
249 }
250
251 /**
252 * Returns the result of interpreting the object as an instance of '<em>Constant Distribution</em>'.
253 * <!-- begin-user-doc -->
254 * This implementation returns null;
255 * returning a non-null result will terminate the switch.
256 * <!-- end-user-doc -->
257 * @param object the target of the switch.
258 * @return the result of interpreting the object as an instance of '<em>Constant Distribution</em>'.
259 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
260 * @generated
261 */
262 public T caseConstantDistribution(ConstantDistribution object) {
263 return null;
264 }
265
266 /**
267 * Returns the result of interpreting the object as an instance of '<em>Exponential Distribution</em>'.
268 * <!-- begin-user-doc -->
269 * This implementation returns null;
270 * returning a non-null result will terminate the switch.
271 * <!-- end-user-doc -->
272 * @param object the target of the switch.
273 * @return the result of interpreting the object as an instance of '<em>Exponential Distribution</em>'.
274 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
275 * @generated
276 */
277 public T caseExponentialDistribution(ExponentialDistribution object) {
278 return null;
279 }
280
281 /**
282 * Returns the result of interpreting the object as an instance of '<em>And Gate</em>'.
283 * <!-- begin-user-doc -->
284 * This implementation returns null;
285 * returning a non-null result will terminate the switch.
286 * <!-- end-user-doc -->
287 * @param object the target of the switch.
288 * @return the result of interpreting the object as an instance of '<em>And Gate</em>'.
289 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
290 * @generated
291 */
292 public T caseAndGate(AndGate object) {
293 return null;
294 }
295
296 /**
297 * Returns the result of interpreting the object as an instance of '<em>Or Gate</em>'.
298 * <!-- begin-user-doc -->
299 * This implementation returns null;
300 * returning a non-null result will terminate the switch.
301 * <!-- end-user-doc -->
302 * @param object the target of the switch.
303 * @return the result of interpreting the object as an instance of '<em>Or Gate</em>'.
304 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
305 * @generated
306 */
307 public T caseOrGate(OrGate object) {
308 return null;
309 }
310
311 /**
312 * Returns the result of interpreting the object as an instance of '<em>KOf MGate</em>'.
313 * <!-- begin-user-doc -->
314 * This implementation returns null;
315 * returning a non-null result will terminate the switch.
316 * <!-- end-user-doc -->
317 * @param object the target of the switch.
318 * @return the result of interpreting the object as an instance of '<em>KOf MGate</em>'.
319 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
320 * @generated
321 */
322 public T caseKOfMGate(KOfMGate object) {
323 return null;
324 }
325
326 /**
327 * Returns the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
328 * <!-- begin-user-doc -->
329 * This implementation returns null;
330 * returning a non-null result will terminate the switch.
331 * <!-- end-user-doc -->
332 * @param object the target of the switch.
333 * @return the result of interpreting the object as an instance of '<em>Reliability Model</em>'.
334 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
335 * @generated
336 */
337 public T caseReliabilityModel(ReliabilityModel object) {
338 return null;
339 }
340
341 /**
342 * Returns the result of interpreting the object as an instance of '<em>Constant Model</em>'.
343 * <!-- begin-user-doc -->
344 * This implementation returns null;
345 * returning a non-null result will terminate the switch.
346 * <!-- end-user-doc -->
347 * @param object the target of the switch.
348 * @return the result of interpreting the object as an instance of '<em>Constant Model</em>'.
349 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
350 * @generated
351 */
352 public T caseConstantModel(ConstantModel object) {
353 return null;
354 }
355
356 /**
357 * Returns the result of interpreting the object as an instance of '<em>Event</em>'.
358 * <!-- begin-user-doc -->
359 * This implementation returns null;
360 * returning a non-null result will terminate the switch.
361 * <!-- end-user-doc -->
362 * @param object the target of the switch.
363 * @return the result of interpreting the object as an instance of '<em>Event</em>'.
364 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
365 * @generated
366 */
367 public T caseEvent(Event object) {
368 return null;
369 }
370
371 /**
372 * Returns the result of interpreting the object as an instance of '<em>Constant Event</em>'.
373 * <!-- begin-user-doc -->
374 * This implementation returns null;
375 * returning a non-null result will terminate the switch.
376 * <!-- end-user-doc -->
377 * @param object the target of the switch.
378 * @return the result of interpreting the object as an instance of '<em>Constant Event</em>'.
379 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
380 * @generated
381 */
382 public T caseConstantEvent(ConstantEvent object) {
383 return null;
384 }
385
386 /**
387 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
388 * <!-- begin-user-doc -->
389 * This implementation returns null;
390 * returning a non-null result will terminate the switch, but this is the last case anyway.
391 * <!-- end-user-doc -->
392 * @param object the target of the switch.
393 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
394 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
395 * @generated
396 */
397 @Override
398 public T defaultCase(EObject object) {
399 return null;
400 }
401
402} //FtSwitch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 13:46:25 +0000