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:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-06 18:28:18 +0100
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-19 19:18:25 +0100
commit615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 (patch)
tree1c9fe0f4ae152d84152c8ff1cfb6366ec8b277e9 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft
parent[Stochastic] Fault tree transformation langauge (diff)
downloadVIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.gz
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.tar.zst
VIATRA-Generator-615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7.zip
Extract component fault tree model
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/Distribution.java18
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java50
-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.java69
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java96
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java889
-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.java76
-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/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/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.java165
-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.java217
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java169
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java482
-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.java220
-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/util/FtAdapterFactory.java282
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java309
26 files changed, 4014 insertions, 0 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
new file mode 100644
index 00000000..5591557c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/AndGate.java
@@ -0,0 +1,17 @@
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
new file mode 100644
index 00000000..acfc635b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/BasicEvent.java
@@ -0,0 +1,49 @@
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 Event {
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
new file mode 100644
index 00000000..873c1fd3
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantDistribution.java
@@ -0,0 +1,49 @@
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/Distribution.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java
new file mode 100644
index 00000000..4435f5ef
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Distribution.java
@@ -0,0 +1,18 @@
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
new file mode 100644
index 00000000..186e23b9
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Event.java
@@ -0,0 +1,50 @@
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 * <p>
13 * The following features are supported:
14 * </p>
15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent()
20 * @model abstract="true"
21 * @generated
22 */
23public interface Event extends EObject {
24 /**
25 * Returns the value of the '<em><b>Name</b></em>' attribute.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>Name</em>' attribute isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>Name</em>' attribute.
33 * @see #setName(String)
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent_Name()
35 * @model
36 * @generated
37 */
38 String getName();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}' attribute.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>Name</em>' attribute.
45 * @see #getName()
46 * @generated
47 */
48 void setName(String value);
49
50} // 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
new file mode 100644
index 00000000..7fdd448b
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ExponentialDistribution.java
@@ -0,0 +1,49 @@
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
new file mode 100644
index 00000000..247a9918
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FaultTree.java
@@ -0,0 +1,69 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.faulttree.model.ft;
4
5import org.eclipse.emf.common.util.EList;
6
7import org.eclipse.emf.ecore.EObject;
8
9/**
10 * <!-- begin-user-doc -->
11 * A representation of the model object '<em><b>Fault Tree</b></em>'.
12 * <!-- end-user-doc -->
13 *
14 * <p>
15 * The following features are supported:
16 * </p>
17 * <ul>
18 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getEvents <em>Events</em>}</li>
19 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}</li>
20 * </ul>
21 *
22 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree()
23 * @model
24 * @generated
25 */
26public interface FaultTree extends EObject {
27 /**
28 * Returns the value of the '<em><b>Events</b></em>' containment reference list.
29 * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}.
30 * <!-- begin-user-doc -->
31 * <p>
32 * If the meaning of the '<em>Events</em>' containment reference list isn't clear,
33 * there really should be more of a description here...
34 * </p>
35 * <!-- end-user-doc -->
36 * @return the value of the '<em>Events</em>' containment reference list.
37 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_Events()
38 * @model containment="true"
39 * @generated
40 */
41 EList<Event> getEvents();
42
43 /**
44 * Returns the value of the '<em><b>Top Event</b></em>' reference.
45 * <!-- begin-user-doc -->
46 * <p>
47 * If the meaning of the '<em>Top Event</em>' reference isn't clear,
48 * there really should be more of a description here...
49 * </p>
50 * <!-- end-user-doc -->
51 * @return the value of the '<em>Top Event</em>' reference.
52 * @see #setTopEvent(Event)
53 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent()
54 * @model required="true"
55 * @generated
56 */
57 Event getTopEvent();
58
59 /**
60 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}' reference.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @param value the new value of the '<em>Top Event</em>' reference.
64 * @see #getTopEvent()
65 * @generated
66 */
67 void setTopEvent(Event value);
68
69} // 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
new file mode 100644
index 00000000..20b71b1a
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtFactory.java
@@ -0,0 +1,96 @@
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 the package supported by this factory.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @return the package supported by this factory.
92 * @generated
93 */
94 FtPackage getFtPackage();
95
96} //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
new file mode 100644
index 00000000..e376063c
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/FtPackage.java
@@ -0,0 +1,889 @@
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.FaultTreeImpl <em>Fault Tree</em>}' class.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl
64 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getFaultTree()
65 * @generated
66 */
67 int FAULT_TREE = 0;
68
69 /**
70 * The feature id for the '<em><b>Events</b></em>' containment reference list.
71 * <!-- begin-user-doc -->
72 * <!-- end-user-doc -->
73 * @generated
74 * @ordered
75 */
76 int FAULT_TREE__EVENTS = 0;
77
78 /**
79 * The feature id for the '<em><b>Top Event</b></em>' reference.
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 * @ordered
84 */
85 int FAULT_TREE__TOP_EVENT = 1;
86
87 /**
88 * The number of structural features of the '<em>Fault Tree</em>' class.
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 * @ordered
93 */
94 int FAULT_TREE_FEATURE_COUNT = 2;
95
96 /**
97 * The number of operations of the '<em>Fault Tree</em>' class.
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 * @ordered
102 */
103 int FAULT_TREE_OPERATION_COUNT = 0;
104
105 /**
106 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
107 * <!-- begin-user-doc -->
108 * <!-- end-user-doc -->
109 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl
110 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
111 * @generated
112 */
113 int EVENT = 1;
114
115 /**
116 * The feature id for the '<em><b>Name</b></em>' attribute.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 * @ordered
121 */
122 int EVENT__NAME = 0;
123
124 /**
125 * The number of structural features of the '<em>Event</em>' class.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 * @ordered
130 */
131 int EVENT_FEATURE_COUNT = 1;
132
133 /**
134 * The number of operations of the '<em>Event</em>' class.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 * @ordered
139 */
140 int EVENT_OPERATION_COUNT = 0;
141
142 /**
143 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl
147 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getBasicEvent()
148 * @generated
149 */
150 int BASIC_EVENT = 2;
151
152 /**
153 * The feature id for the '<em><b>Name</b></em>' attribute.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 * @ordered
158 */
159 int BASIC_EVENT__NAME = EVENT__NAME;
160
161 /**
162 * The feature id for the '<em><b>Distribution</b></em>' containment reference.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 * @ordered
167 */
168 int BASIC_EVENT__DISTRIBUTION = EVENT_FEATURE_COUNT + 0;
169
170 /**
171 * The number of structural features of the '<em>Basic Event</em>' class.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @generated
175 * @ordered
176 */
177 int BASIC_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
178
179 /**
180 * The number of operations of the '<em>Basic Event</em>' class.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @generated
184 * @ordered
185 */
186 int BASIC_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
187
188 /**
189 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl
193 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getGate()
194 * @generated
195 */
196 int GATE = 3;
197
198 /**
199 * The feature id for the '<em><b>Name</b></em>' attribute.
200 * <!-- begin-user-doc -->
201 * <!-- end-user-doc -->
202 * @generated
203 * @ordered
204 */
205 int GATE__NAME = EVENT__NAME;
206
207 /**
208 * The feature id for the '<em><b>Input Events</b></em>' reference list.
209 * <!-- begin-user-doc -->
210 * <!-- end-user-doc -->
211 * @generated
212 * @ordered
213 */
214 int GATE__INPUT_EVENTS = EVENT_FEATURE_COUNT + 0;
215
216 /**
217 * The number of structural features of the '<em>Gate</em>' class.
218 * <!-- begin-user-doc -->
219 * <!-- end-user-doc -->
220 * @generated
221 * @ordered
222 */
223 int GATE_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1;
224
225 /**
226 * The number of operations of the '<em>Gate</em>' class.
227 * <!-- begin-user-doc -->
228 * <!-- end-user-doc -->
229 * @generated
230 * @ordered
231 */
232 int GATE_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0;
233
234 /**
235 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class.
236 * <!-- begin-user-doc -->
237 * <!-- end-user-doc -->
238 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl
239 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getDistribution()
240 * @generated
241 */
242 int DISTRIBUTION = 4;
243
244 /**
245 * The number of structural features of the '<em>Distribution</em>' class.
246 * <!-- begin-user-doc -->
247 * <!-- end-user-doc -->
248 * @generated
249 * @ordered
250 */
251 int DISTRIBUTION_FEATURE_COUNT = 0;
252
253 /**
254 * The number of operations of the '<em>Distribution</em>' class.
255 * <!-- begin-user-doc -->
256 * <!-- end-user-doc -->
257 * @generated
258 * @ordered
259 */
260 int DISTRIBUTION_OPERATION_COUNT = 0;
261
262 /**
263 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl <em>Constant Distribution</em>}' class.
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl
267 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantDistribution()
268 * @generated
269 */
270 int CONSTANT_DISTRIBUTION = 5;
271
272 /**
273 * The feature id for the '<em><b>P</b></em>' attribute.
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 * @ordered
278 */
279 int CONSTANT_DISTRIBUTION__P = DISTRIBUTION_FEATURE_COUNT + 0;
280
281 /**
282 * The number of structural features of the '<em>Constant Distribution</em>' class.
283 * <!-- begin-user-doc -->
284 * <!-- end-user-doc -->
285 * @generated
286 * @ordered
287 */
288 int CONSTANT_DISTRIBUTION_FEATURE_COUNT = DISTRIBUTION_FEATURE_COUNT + 1;
289
290 /**
291 * The number of operations of the '<em>Constant Distribution</em>' class.
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 * @ordered
296 */
297 int CONSTANT_DISTRIBUTION_OPERATION_COUNT = DISTRIBUTION_OPERATION_COUNT + 0;
298
299 /**
300 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl <em>Exponential Distribution</em>}' class.
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl
304 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getExponentialDistribution()
305 * @generated
306 */
307 int EXPONENTIAL_DISTRIBUTION = 6;
308
309 /**
310 * The feature id for the '<em><b>Lambda</b></em>' attribute.
311 * <!-- begin-user-doc -->
312 * <!-- end-user-doc -->
313 * @generated
314 * @ordered
315 */
316 int EXPONENTIAL_DISTRIBUTION__LAMBDA = DISTRIBUTION_FEATURE_COUNT + 0;
317
318 /**
319 * The number of structural features of the '<em>Exponential Distribution</em>' class.
320 * <!-- begin-user-doc -->
321 * <!-- end-user-doc -->
322 * @generated
323 * @ordered
324 */
325 int EXPONENTIAL_DISTRIBUTION_FEATURE_COUNT = DISTRIBUTION_FEATURE_COUNT + 1;
326
327 /**
328 * The number of operations of the '<em>Exponential Distribution</em>' class.
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 * @ordered
333 */
334 int EXPONENTIAL_DISTRIBUTION_OPERATION_COUNT = DISTRIBUTION_OPERATION_COUNT + 0;
335
336 /**
337 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl <em>And Gate</em>}' class.
338 * <!-- begin-user-doc -->
339 * <!-- end-user-doc -->
340 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl
341 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getAndGate()
342 * @generated
343 */
344 int AND_GATE = 7;
345
346 /**
347 * The feature id for the '<em><b>Name</b></em>' attribute.
348 * <!-- begin-user-doc -->
349 * <!-- end-user-doc -->
350 * @generated
351 * @ordered
352 */
353 int AND_GATE__NAME = GATE__NAME;
354
355 /**
356 * The feature id for the '<em><b>Input Events</b></em>' reference list.
357 * <!-- begin-user-doc -->
358 * <!-- end-user-doc -->
359 * @generated
360 * @ordered
361 */
362 int AND_GATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
363
364 /**
365 * The number of structural features of the '<em>And Gate</em>' class.
366 * <!-- begin-user-doc -->
367 * <!-- end-user-doc -->
368 * @generated
369 * @ordered
370 */
371 int AND_GATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 0;
372
373 /**
374 * The number of operations of the '<em>And Gate</em>' class.
375 * <!-- begin-user-doc -->
376 * <!-- end-user-doc -->
377 * @generated
378 * @ordered
379 */
380 int AND_GATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
381
382 /**
383 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl <em>Or Gate</em>}' class.
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl
387 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getOrGate()
388 * @generated
389 */
390 int OR_GATE = 8;
391
392 /**
393 * The feature id for the '<em><b>Name</b></em>' attribute.
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 * @ordered
398 */
399 int OR_GATE__NAME = GATE__NAME;
400
401 /**
402 * The feature id for the '<em><b>Input Events</b></em>' reference list.
403 * <!-- begin-user-doc -->
404 * <!-- end-user-doc -->
405 * @generated
406 * @ordered
407 */
408 int OR_GATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
409
410 /**
411 * The number of structural features of the '<em>Or Gate</em>' class.
412 * <!-- begin-user-doc -->
413 * <!-- end-user-doc -->
414 * @generated
415 * @ordered
416 */
417 int OR_GATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 0;
418
419 /**
420 * The number of operations of the '<em>Or Gate</em>' class.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 * @ordered
425 */
426 int OR_GATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
427
428 /**
429 * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl <em>KOf MGate</em>}' class.
430 * <!-- begin-user-doc -->
431 * <!-- end-user-doc -->
432 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl
433 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getKOfMGate()
434 * @generated
435 */
436 int KOF_MGATE = 9;
437
438 /**
439 * The feature id for the '<em><b>Name</b></em>' attribute.
440 * <!-- begin-user-doc -->
441 * <!-- end-user-doc -->
442 * @generated
443 * @ordered
444 */
445 int KOF_MGATE__NAME = GATE__NAME;
446
447 /**
448 * The feature id for the '<em><b>Input Events</b></em>' reference list.
449 * <!-- begin-user-doc -->
450 * <!-- end-user-doc -->
451 * @generated
452 * @ordered
453 */
454 int KOF_MGATE__INPUT_EVENTS = GATE__INPUT_EVENTS;
455
456 /**
457 * The feature id for the '<em><b>K</b></em>' attribute.
458 * <!-- begin-user-doc -->
459 * <!-- end-user-doc -->
460 * @generated
461 * @ordered
462 */
463 int KOF_MGATE__K = GATE_FEATURE_COUNT + 0;
464
465 /**
466 * The feature id for the '<em><b>M</b></em>' attribute.
467 * <!-- begin-user-doc -->
468 * <!-- end-user-doc -->
469 * @generated
470 * @ordered
471 */
472 int KOF_MGATE__M = GATE_FEATURE_COUNT + 1;
473
474 /**
475 * The number of structural features of the '<em>KOf MGate</em>' class.
476 * <!-- begin-user-doc -->
477 * <!-- end-user-doc -->
478 * @generated
479 * @ordered
480 */
481 int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 2;
482
483 /**
484 * The number of operations of the '<em>KOf MGate</em>' class.
485 * <!-- begin-user-doc -->
486 * <!-- end-user-doc -->
487 * @generated
488 * @ordered
489 */
490 int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0;
491
492
493 /**
494 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree <em>Fault Tree</em>}'.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @return the meta object for class '<em>Fault Tree</em>'.
498 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
499 * @generated
500 */
501 EClass getFaultTree();
502
503 /**
504 * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getEvents <em>Events</em>}'.
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @return the meta object for the containment reference list '<em>Events</em>'.
508 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getEvents()
509 * @see #getFaultTree()
510 * @generated
511 */
512 EReference getFaultTree_Events();
513
514 /**
515 * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent <em>Top Event</em>}'.
516 * <!-- begin-user-doc -->
517 * <!-- end-user-doc -->
518 * @return the meta object for the reference '<em>Top Event</em>'.
519 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent()
520 * @see #getFaultTree()
521 * @generated
522 */
523 EReference getFaultTree_TopEvent();
524
525 /**
526 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
527 * <!-- begin-user-doc -->
528 * <!-- end-user-doc -->
529 * @return the meta object for class '<em>Event</em>'.
530 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
531 * @generated
532 */
533 EClass getEvent();
534
535 /**
536 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName <em>Name</em>}'.
537 * <!-- begin-user-doc -->
538 * <!-- end-user-doc -->
539 * @return the meta object for the attribute '<em>Name</em>'.
540 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName()
541 * @see #getEvent()
542 * @generated
543 */
544 EAttribute getEvent_Name();
545
546 /**
547 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'.
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @return the meta object for class '<em>Basic Event</em>'.
551 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent
552 * @generated
553 */
554 EClass getBasicEvent();
555
556 /**
557 * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution <em>Distribution</em>}'.
558 * <!-- begin-user-doc -->
559 * <!-- end-user-doc -->
560 * @return the meta object for the containment reference '<em>Distribution</em>'.
561 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent#getDistribution()
562 * @see #getBasicEvent()
563 * @generated
564 */
565 EReference getBasicEvent_Distribution();
566
567 /**
568 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate <em>Gate</em>}'.
569 * <!-- begin-user-doc -->
570 * <!-- end-user-doc -->
571 * @return the meta object for class '<em>Gate</em>'.
572 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
573 * @generated
574 */
575 EClass getGate();
576
577 /**
578 * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate#getInputEvents <em>Input Events</em>}'.
579 * <!-- begin-user-doc -->
580 * <!-- end-user-doc -->
581 * @return the meta object for the reference list '<em>Input Events</em>'.
582 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate#getInputEvents()
583 * @see #getGate()
584 * @generated
585 */
586 EReference getGate_InputEvents();
587
588 /**
589 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution <em>Distribution</em>}'.
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @return the meta object for class '<em>Distribution</em>'.
593 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution
594 * @generated
595 */
596 EClass getDistribution();
597
598 /**
599 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution <em>Constant Distribution</em>}'.
600 * <!-- begin-user-doc -->
601 * <!-- end-user-doc -->
602 * @return the meta object for class '<em>Constant Distribution</em>'.
603 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution
604 * @generated
605 */
606 EClass getConstantDistribution();
607
608 /**
609 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP <em>P</em>}'.
610 * <!-- begin-user-doc -->
611 * <!-- end-user-doc -->
612 * @return the meta object for the attribute '<em>P</em>'.
613 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution#getP()
614 * @see #getConstantDistribution()
615 * @generated
616 */
617 EAttribute getConstantDistribution_P();
618
619 /**
620 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution <em>Exponential Distribution</em>}'.
621 * <!-- begin-user-doc -->
622 * <!-- end-user-doc -->
623 * @return the meta object for class '<em>Exponential Distribution</em>'.
624 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution
625 * @generated
626 */
627 EClass getExponentialDistribution();
628
629 /**
630 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda <em>Lambda</em>}'.
631 * <!-- begin-user-doc -->
632 * <!-- end-user-doc -->
633 * @return the meta object for the attribute '<em>Lambda</em>'.
634 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution#getLambda()
635 * @see #getExponentialDistribution()
636 * @generated
637 */
638 EAttribute getExponentialDistribution_Lambda();
639
640 /**
641 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate <em>And Gate</em>}'.
642 * <!-- begin-user-doc -->
643 * <!-- end-user-doc -->
644 * @return the meta object for class '<em>And Gate</em>'.
645 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate
646 * @generated
647 */
648 EClass getAndGate();
649
650 /**
651 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate <em>Or Gate</em>}'.
652 * <!-- begin-user-doc -->
653 * <!-- end-user-doc -->
654 * @return the meta object for class '<em>Or Gate</em>'.
655 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate
656 * @generated
657 */
658 EClass getOrGate();
659
660 /**
661 * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate <em>KOf MGate</em>}'.
662 * <!-- begin-user-doc -->
663 * <!-- end-user-doc -->
664 * @return the meta object for class '<em>KOf MGate</em>'.
665 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate
666 * @generated
667 */
668 EClass getKOfMGate();
669
670 /**
671 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}'.
672 * <!-- begin-user-doc -->
673 * <!-- end-user-doc -->
674 * @return the meta object for the attribute '<em>K</em>'.
675 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK()
676 * @see #getKOfMGate()
677 * @generated
678 */
679 EAttribute getKOfMGate_K();
680
681 /**
682 * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}'.
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @return the meta object for the attribute '<em>M</em>'.
686 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM()
687 * @see #getKOfMGate()
688 * @generated
689 */
690 EAttribute getKOfMGate_M();
691
692 /**
693 * Returns the factory that creates the instances of the model.
694 * <!-- begin-user-doc -->
695 * <!-- end-user-doc -->
696 * @return the factory that creates the instances of the model.
697 * @generated
698 */
699 FtFactory getFtFactory();
700
701 /**
702 * <!-- begin-user-doc -->
703 * Defines literals for the meta objects that represent
704 * <ul>
705 * <li>each class,</li>
706 * <li>each feature of each class,</li>
707 * <li>each operation of each class,</li>
708 * <li>each enum,</li>
709 * <li>and each data type</li>
710 * </ul>
711 * <!-- end-user-doc -->
712 * @generated
713 */
714 interface Literals {
715 /**
716 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl <em>Fault Tree</em>}' class.
717 * <!-- begin-user-doc -->
718 * <!-- end-user-doc -->
719 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl
720 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getFaultTree()
721 * @generated
722 */
723 EClass FAULT_TREE = eINSTANCE.getFaultTree();
724
725 /**
726 * The meta object literal for the '<em><b>Events</b></em>' containment reference list feature.
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 EReference FAULT_TREE__EVENTS = eINSTANCE.getFaultTree_Events();
732
733 /**
734 * The meta object literal for the '<em><b>Top Event</b></em>' reference feature.
735 * <!-- begin-user-doc -->
736 * <!-- end-user-doc -->
737 * @generated
738 */
739 EReference FAULT_TREE__TOP_EVENT = eINSTANCE.getFaultTree_TopEvent();
740
741 /**
742 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl <em>Event</em>}' class.
743 * <!-- begin-user-doc -->
744 * <!-- end-user-doc -->
745 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl
746 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent()
747 * @generated
748 */
749 EClass EVENT = eINSTANCE.getEvent();
750
751 /**
752 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
753 * <!-- begin-user-doc -->
754 * <!-- end-user-doc -->
755 * @generated
756 */
757 EAttribute EVENT__NAME = eINSTANCE.getEvent_Name();
758
759 /**
760 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl <em>Basic Event</em>}' class.
761 * <!-- begin-user-doc -->
762 * <!-- end-user-doc -->
763 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl
764 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getBasicEvent()
765 * @generated
766 */
767 EClass BASIC_EVENT = eINSTANCE.getBasicEvent();
768
769 /**
770 * The meta object literal for the '<em><b>Distribution</b></em>' containment reference feature.
771 * <!-- begin-user-doc -->
772 * <!-- end-user-doc -->
773 * @generated
774 */
775 EReference BASIC_EVENT__DISTRIBUTION = eINSTANCE.getBasicEvent_Distribution();
776
777 /**
778 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl <em>Gate</em>}' class.
779 * <!-- begin-user-doc -->
780 * <!-- end-user-doc -->
781 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl
782 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getGate()
783 * @generated
784 */
785 EClass GATE = eINSTANCE.getGate();
786
787 /**
788 * The meta object literal for the '<em><b>Input Events</b></em>' reference list feature.
789 * <!-- begin-user-doc -->
790 * <!-- end-user-doc -->
791 * @generated
792 */
793 EReference GATE__INPUT_EVENTS = eINSTANCE.getGate_InputEvents();
794
795 /**
796 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl <em>Distribution</em>}' class.
797 * <!-- begin-user-doc -->
798 * <!-- end-user-doc -->
799 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl
800 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getDistribution()
801 * @generated
802 */
803 EClass DISTRIBUTION = eINSTANCE.getDistribution();
804
805 /**
806 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl <em>Constant Distribution</em>}' class.
807 * <!-- begin-user-doc -->
808 * <!-- end-user-doc -->
809 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantDistributionImpl
810 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantDistribution()
811 * @generated
812 */
813 EClass CONSTANT_DISTRIBUTION = eINSTANCE.getConstantDistribution();
814
815 /**
816 * The meta object literal for the '<em><b>P</b></em>' attribute feature.
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 */
821 EAttribute CONSTANT_DISTRIBUTION__P = eINSTANCE.getConstantDistribution_P();
822
823 /**
824 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl <em>Exponential Distribution</em>}' class.
825 * <!-- begin-user-doc -->
826 * <!-- end-user-doc -->
827 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ExponentialDistributionImpl
828 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getExponentialDistribution()
829 * @generated
830 */
831 EClass EXPONENTIAL_DISTRIBUTION = eINSTANCE.getExponentialDistribution();
832
833 /**
834 * The meta object literal for the '<em><b>Lambda</b></em>' attribute feature.
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @generated
838 */
839 EAttribute EXPONENTIAL_DISTRIBUTION__LAMBDA = eINSTANCE.getExponentialDistribution_Lambda();
840
841 /**
842 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl <em>And Gate</em>}' class.
843 * <!-- begin-user-doc -->
844 * <!-- end-user-doc -->
845 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.AndGateImpl
846 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getAndGate()
847 * @generated
848 */
849 EClass AND_GATE = eINSTANCE.getAndGate();
850
851 /**
852 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl <em>Or Gate</em>}' class.
853 * <!-- begin-user-doc -->
854 * <!-- end-user-doc -->
855 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.OrGateImpl
856 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getOrGate()
857 * @generated
858 */
859 EClass OR_GATE = eINSTANCE.getOrGate();
860
861 /**
862 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl <em>KOf MGate</em>}' class.
863 * <!-- begin-user-doc -->
864 * <!-- end-user-doc -->
865 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl
866 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getKOfMGate()
867 * @generated
868 */
869 EClass KOF_MGATE = eINSTANCE.getKOfMGate();
870
871 /**
872 * The meta object literal for the '<em><b>K</b></em>' attribute feature.
873 * <!-- begin-user-doc -->
874 * <!-- end-user-doc -->
875 * @generated
876 */
877 EAttribute KOF_MGATE__K = eINSTANCE.getKOfMGate_K();
878
879 /**
880 * The meta object literal for the '<em><b>M</b></em>' attribute feature.
881 * <!-- begin-user-doc -->
882 * <!-- end-user-doc -->
883 * @generated
884 */
885 EAttribute KOF_MGATE__M = eINSTANCE.getKOfMGate_M();
886
887 }
888
889} //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
new file mode 100644
index 00000000..0df58bb4
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/Gate.java
@@ -0,0 +1,40 @@
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 Event {
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.Event}.
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
36 * @generated
37 */
38 EList<Event> 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
new file mode 100644
index 00000000..33334083
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/KOfMGate.java
@@ -0,0 +1,76 @@
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 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}</li>
17 * </ul>
18 *
19 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate()
20 * @model
21 * @generated
22 */
23public interface KOfMGate extends Gate {
24 /**
25 * Returns the value of the '<em><b>K</b></em>' attribute.
26 * <!-- begin-user-doc -->
27 * <p>
28 * If the meaning of the '<em>K</em>' attribute isn't clear,
29 * there really should be more of a description here...
30 * </p>
31 * <!-- end-user-doc -->
32 * @return the value of the '<em>K</em>' attribute.
33 * @see #setK(int)
34 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate_K()
35 * @model
36 * @generated
37 */
38 int getK();
39
40 /**
41 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getK <em>K</em>}' attribute.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @param value the new value of the '<em>K</em>' attribute.
45 * @see #getK()
46 * @generated
47 */
48 void setK(int value);
49
50 /**
51 * Returns the value of the '<em><b>M</b></em>' attribute.
52 * <!-- begin-user-doc -->
53 * <p>
54 * If the meaning of the '<em>M</em>' attribute isn't clear,
55 * there really should be more of a description here...
56 * </p>
57 * <!-- end-user-doc -->
58 * @return the value of the '<em>M</em>' attribute.
59 * @see #setM(int)
60 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate_M()
61 * @model
62 * @generated
63 */
64 int getM();
65
66 /**
67 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM <em>M</em>}' attribute.
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @param value the new value of the '<em>M</em>' attribute.
71 * @see #getM()
72 * @generated
73 */
74 void setM(int value);
75
76} // 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
new file mode 100644
index 00000000..278a2d38
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/OrGate.java
@@ -0,0 +1,17 @@
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/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
new file mode 100644
index 00000000..509843b1
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/AndGateImpl.java
@@ -0,0 +1,37 @@
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
new file mode 100644
index 00000000..8fd0f613
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/BasicEventImpl.java
@@ -0,0 +1,177 @@
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 EventImpl 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
new file mode 100644
index 00000000..7f85ed32
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantDistributionImpl.java
@@ -0,0 +1,164 @@
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/DistributionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
new file mode 100644
index 00000000..171a58cd
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/DistributionImpl.java
@@ -0,0 +1,39 @@
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
new file mode 100644
index 00000000..44ac0eb6
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/EventImpl.java
@@ -0,0 +1,165 @@
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.common.notify.Notification;
9
10import org.eclipse.emf.ecore.EClass;
11
12import org.eclipse.emf.ecore.impl.ENotificationImpl;
13import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model object '<em><b>Event</b></em>'.
18 * <!-- end-user-doc -->
19 * <p>
20 * The following features are implemented:
21 * </p>
22 * <ul>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl#getName <em>Name</em>}</li>
24 * </ul>
25 *
26 * @generated
27 */
28public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event {
29 /**
30 * The default value of the '{@link #getName() <em>Name</em>}' attribute.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @see #getName()
34 * @generated
35 * @ordered
36 */
37 protected static final String NAME_EDEFAULT = null;
38
39 /**
40 * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getName()
44 * @generated
45 * @ordered
46 */
47 protected String name = NAME_EDEFAULT;
48
49 /**
50 * <!-- begin-user-doc -->
51 * <!-- end-user-doc -->
52 * @generated
53 */
54 protected EventImpl() {
55 super();
56 }
57
58 /**
59 * <!-- begin-user-doc -->
60 * <!-- end-user-doc -->
61 * @generated
62 */
63 @Override
64 protected EClass eStaticClass() {
65 return FtPackage.Literals.EVENT;
66 }
67
68 /**
69 * <!-- begin-user-doc -->
70 * <!-- end-user-doc -->
71 * @generated
72 */
73 @Override
74 public String getName() {
75 return name;
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 @Override
84 public void setName(String newName) {
85 String oldName = name;
86 name = newName;
87 if (eNotificationRequired())
88 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.EVENT__NAME, oldName, name));
89 }
90
91 /**
92 * <!-- begin-user-doc -->
93 * <!-- end-user-doc -->
94 * @generated
95 */
96 @Override
97 public Object eGet(int featureID, boolean resolve, boolean coreType) {
98 switch (featureID) {
99 case FtPackage.EVENT__NAME:
100 return getName();
101 }
102 return super.eGet(featureID, resolve, coreType);
103 }
104
105 /**
106 * <!-- begin-user-doc -->
107 * <!-- end-user-doc -->
108 * @generated
109 */
110 @Override
111 public void eSet(int featureID, Object newValue) {
112 switch (featureID) {
113 case FtPackage.EVENT__NAME:
114 setName((String)newValue);
115 return;
116 }
117 super.eSet(featureID, newValue);
118 }
119
120 /**
121 * <!-- begin-user-doc -->
122 * <!-- end-user-doc -->
123 * @generated
124 */
125 @Override
126 public void eUnset(int featureID) {
127 switch (featureID) {
128 case FtPackage.EVENT__NAME:
129 setName(NAME_EDEFAULT);
130 return;
131 }
132 super.eUnset(featureID);
133 }
134
135 /**
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 */
140 @Override
141 public boolean eIsSet(int featureID) {
142 switch (featureID) {
143 case FtPackage.EVENT__NAME:
144 return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
145 }
146 return super.eIsSet(featureID);
147 }
148
149 /**
150 * <!-- begin-user-doc -->
151 * <!-- end-user-doc -->
152 * @generated
153 */
154 @Override
155 public String toString() {
156 if (eIsProxy()) return super.toString();
157
158 StringBuilder result = new StringBuilder(super.toString());
159 result.append(" (name: ");
160 result.append(name);
161 result.append(')');
162 return result.toString();
163 }
164
165} //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
new file mode 100644
index 00000000..b3c7bd79
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ExponentialDistributionImpl.java
@@ -0,0 +1,164 @@
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
new file mode 100644
index 00000000..9c716c21
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FaultTreeImpl.java
@@ -0,0 +1,217 @@
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.FaultTree;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
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;
20import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
21
22import org.eclipse.emf.ecore.util.EObjectContainmentEList;
23import org.eclipse.emf.ecore.util.InternalEList;
24
25/**
26 * <!-- begin-user-doc -->
27 * An implementation of the model object '<em><b>Fault Tree</b></em>'.
28 * <!-- end-user-doc -->
29 * <p>
30 * The following features are implemented:
31 * </p>
32 * <ul>
33 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getEvents <em>Events</em>}</li>
34 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl#getTopEvent <em>Top Event</em>}</li>
35 * </ul>
36 *
37 * @generated
38 */
39public class FaultTreeImpl extends MinimalEObjectImpl.Container implements FaultTree {
40 /**
41 * The cached value of the '{@link #getEvents() <em>Events</em>}' containment reference list.
42 * <!-- begin-user-doc -->
43 * <!-- end-user-doc -->
44 * @see #getEvents()
45 * @generated
46 * @ordered
47 */
48 protected EList<Event> events;
49
50 /**
51 * The cached value of the '{@link #getTopEvent() <em>Top Event</em>}' reference.
52 * <!-- begin-user-doc -->
53 * <!-- end-user-doc -->
54 * @see #getTopEvent()
55 * @generated
56 * @ordered
57 */
58 protected Event topEvent;
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 protected FaultTreeImpl() {
66 super();
67 }
68
69 /**
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 @Override
75 protected EClass eStaticClass() {
76 return FtPackage.Literals.FAULT_TREE;
77 }
78
79 /**
80 * <!-- begin-user-doc -->
81 * <!-- end-user-doc -->
82 * @generated
83 */
84 @Override
85 public EList<Event> getEvents() {
86 if (events == null) {
87 events = new EObjectContainmentEList<Event>(Event.class, this, FtPackage.FAULT_TREE__EVENTS);
88 }
89 return events;
90 }
91
92 /**
93 * <!-- begin-user-doc -->
94 * <!-- end-user-doc -->
95 * @generated
96 */
97 @Override
98 public Event getTopEvent() {
99 if (topEvent != null && topEvent.eIsProxy()) {
100 InternalEObject oldTopEvent = (InternalEObject)topEvent;
101 topEvent = (Event)eResolveProxy(oldTopEvent);
102 if (topEvent != oldTopEvent) {
103 if (eNotificationRequired())
104 eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
105 }
106 }
107 return topEvent;
108 }
109
110 /**
111 * <!-- begin-user-doc -->
112 * <!-- end-user-doc -->
113 * @generated
114 */
115 public Event basicGetTopEvent() {
116 return topEvent;
117 }
118
119 /**
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 */
124 @Override
125 public void setTopEvent(Event newTopEvent) {
126 Event oldTopEvent = topEvent;
127 topEvent = newTopEvent;
128 if (eNotificationRequired())
129 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent));
130 }
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 @Override
138 public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
139 switch (featureID) {
140 case FtPackage.FAULT_TREE__EVENTS:
141 return ((InternalEList<?>)getEvents()).basicRemove(otherEnd, msgs);
142 }
143 return super.eInverseRemove(otherEnd, featureID, msgs);
144 }
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 @Override
152 public Object eGet(int featureID, boolean resolve, boolean coreType) {
153 switch (featureID) {
154 case FtPackage.FAULT_TREE__EVENTS:
155 return getEvents();
156 case FtPackage.FAULT_TREE__TOP_EVENT:
157 if (resolve) return getTopEvent();
158 return basicGetTopEvent();
159 }
160 return super.eGet(featureID, resolve, coreType);
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @SuppressWarnings("unchecked")
169 @Override
170 public void eSet(int featureID, Object newValue) {
171 switch (featureID) {
172 case FtPackage.FAULT_TREE__EVENTS:
173 getEvents().clear();
174 getEvents().addAll((Collection<? extends Event>)newValue);
175 return;
176 case FtPackage.FAULT_TREE__TOP_EVENT:
177 setTopEvent((Event)newValue);
178 return;
179 }
180 super.eSet(featureID, newValue);
181 }
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 @Override
189 public void eUnset(int featureID) {
190 switch (featureID) {
191 case FtPackage.FAULT_TREE__EVENTS:
192 getEvents().clear();
193 return;
194 case FtPackage.FAULT_TREE__TOP_EVENT:
195 setTopEvent((Event)null);
196 return;
197 }
198 super.eUnset(featureID);
199 }
200
201 /**
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @generated
205 */
206 @Override
207 public boolean eIsSet(int featureID) {
208 switch (featureID) {
209 case FtPackage.FAULT_TREE__EVENTS:
210 return events != null && !events.isEmpty();
211 case FtPackage.FAULT_TREE__TOP_EVENT:
212 return topEvent != null;
213 }
214 return super.eIsSet(featureID);
215 }
216
217} //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
new file mode 100644
index 00000000..59364443
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtFactoryImpl.java
@@ -0,0 +1,169 @@
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 default:
67 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
68 }
69 }
70
71 /**
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 */
76 @Override
77 public FaultTree createFaultTree() {
78 FaultTreeImpl faultTree = new FaultTreeImpl();
79 return faultTree;
80 }
81
82 /**
83 * <!-- begin-user-doc -->
84 * <!-- end-user-doc -->
85 * @generated
86 */
87 @Override
88 public BasicEvent createBasicEvent() {
89 BasicEventImpl basicEvent = new BasicEventImpl();
90 return basicEvent;
91 }
92
93 /**
94 * <!-- begin-user-doc -->
95 * <!-- end-user-doc -->
96 * @generated
97 */
98 @Override
99 public ConstantDistribution createConstantDistribution() {
100 ConstantDistributionImpl constantDistribution = new ConstantDistributionImpl();
101 return constantDistribution;
102 }
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 @Override
110 public ExponentialDistribution createExponentialDistribution() {
111 ExponentialDistributionImpl exponentialDistribution = new ExponentialDistributionImpl();
112 return exponentialDistribution;
113 }
114
115 /**
116 * <!-- begin-user-doc -->
117 * <!-- end-user-doc -->
118 * @generated
119 */
120 @Override
121 public AndGate createAndGate() {
122 AndGateImpl andGate = new AndGateImpl();
123 return andGate;
124 }
125
126 /**
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @generated
130 */
131 @Override
132 public OrGate createOrGate() {
133 OrGateImpl orGate = new OrGateImpl();
134 return orGate;
135 }
136
137 /**
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 */
142 @Override
143 public KOfMGate createKOfMGate() {
144 KOfMGateImpl kOfMGate = new KOfMGateImpl();
145 return kOfMGate;
146 }
147
148 /**
149 * <!-- begin-user-doc -->
150 * <!-- end-user-doc -->
151 * @generated
152 */
153 @Override
154 public FtPackage getFtPackage() {
155 return (FtPackage)getEPackage();
156 }
157
158 /**
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @deprecated
162 * @generated
163 */
164 @Deprecated
165 public static FtPackage getPackage() {
166 return FtPackage.eINSTANCE;
167 }
168
169} //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
new file mode 100644
index 00000000..27ff09df
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/FtPackageImpl.java
@@ -0,0 +1,482 @@
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.Distribution;
9import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
10import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
11import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
12import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
13import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage;
14import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
15import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
16import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
17
18import org.eclipse.emf.ecore.EAttribute;
19import org.eclipse.emf.ecore.EClass;
20import org.eclipse.emf.ecore.EPackage;
21import org.eclipse.emf.ecore.EReference;
22
23import org.eclipse.emf.ecore.impl.EPackageImpl;
24
25/**
26 * <!-- begin-user-doc -->
27 * An implementation of the model <b>Package</b>.
28 * <!-- end-user-doc -->
29 * @generated
30 */
31public class FtPackageImpl extends EPackageImpl implements FtPackage {
32 /**
33 * <!-- begin-user-doc -->
34 * <!-- end-user-doc -->
35 * @generated
36 */
37 private EClass faultTreeEClass = null;
38
39 /**
40 * <!-- begin-user-doc -->
41 * <!-- end-user-doc -->
42 * @generated
43 */
44 private EClass eventEClass = null;
45
46 /**
47 * <!-- begin-user-doc -->
48 * <!-- end-user-doc -->
49 * @generated
50 */
51 private EClass basicEventEClass = null;
52
53 /**
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 private EClass gateEClass = null;
59
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 private EClass distributionEClass = null;
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 private EClass constantDistributionEClass = null;
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 private EClass exponentialDistributionEClass = null;
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 private EClass andGateEClass = null;
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 private EClass orGateEClass = null;
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 private EClass kOfMGateEClass = null;
101
102 /**
103 * Creates an instance of the model <b>Package</b>, registered with
104 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
105 * package URI value.
106 * <p>Note: the correct way to create the package is via the static
107 * factory method {@link #init init()}, which also performs
108 * initialization of the package, or returns the registered package,
109 * if one already exists.
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @see org.eclipse.emf.ecore.EPackage.Registry
113 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#eNS_URI
114 * @see #init()
115 * @generated
116 */
117 private FtPackageImpl() {
118 super(eNS_URI, FtFactory.eINSTANCE);
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 private static boolean isInited = false;
127
128 /**
129 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
130 *
131 * <p>This method is used to initialize {@link FtPackage#eINSTANCE} when that field is accessed.
132 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @see #eNS_URI
136 * @see #createPackageContents()
137 * @see #initializePackageContents()
138 * @generated
139 */
140 public static FtPackage init() {
141 if (isInited) return (FtPackage)EPackage.Registry.INSTANCE.getEPackage(FtPackage.eNS_URI);
142
143 // Obtain or create and register package
144 Object registeredFtPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
145 FtPackageImpl theFtPackage = registeredFtPackage instanceof FtPackageImpl ? (FtPackageImpl)registeredFtPackage : new FtPackageImpl();
146
147 isInited = true;
148
149 // Create package meta-data objects
150 theFtPackage.createPackageContents();
151
152 // Initialize created meta-data
153 theFtPackage.initializePackageContents();
154
155 // Mark meta-data to indicate it can't be changed
156 theFtPackage.freeze();
157
158 // Update the registry and return the package
159 EPackage.Registry.INSTANCE.put(FtPackage.eNS_URI, theFtPackage);
160 return theFtPackage;
161 }
162
163 /**
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 */
168 @Override
169 public EClass getFaultTree() {
170 return faultTreeEClass;
171 }
172
173 /**
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 */
178 @Override
179 public EReference getFaultTree_Events() {
180 return (EReference)faultTreeEClass.getEStructuralFeatures().get(0);
181 }
182
183 /**
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 */
188 @Override
189 public EReference getFaultTree_TopEvent() {
190 return (EReference)faultTreeEClass.getEStructuralFeatures().get(1);
191 }
192
193 /**
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 */
198 @Override
199 public EClass getEvent() {
200 return eventEClass;
201 }
202
203 /**
204 * <!-- begin-user-doc -->
205 * <!-- end-user-doc -->
206 * @generated
207 */
208 @Override
209 public EAttribute getEvent_Name() {
210 return (EAttribute)eventEClass.getEStructuralFeatures().get(0);
211 }
212
213 /**
214 * <!-- begin-user-doc -->
215 * <!-- end-user-doc -->
216 * @generated
217 */
218 @Override
219 public EClass getBasicEvent() {
220 return basicEventEClass;
221 }
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 @Override
229 public EReference getBasicEvent_Distribution() {
230 return (EReference)basicEventEClass.getEStructuralFeatures().get(0);
231 }
232
233 /**
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @generated
237 */
238 @Override
239 public EClass getGate() {
240 return gateEClass;
241 }
242
243 /**
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @generated
247 */
248 @Override
249 public EReference getGate_InputEvents() {
250 return (EReference)gateEClass.getEStructuralFeatures().get(0);
251 }
252
253 /**
254 * <!-- begin-user-doc -->
255 * <!-- end-user-doc -->
256 * @generated
257 */
258 @Override
259 public EClass getDistribution() {
260 return distributionEClass;
261 }
262
263 /**
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @generated
267 */
268 @Override
269 public EClass getConstantDistribution() {
270 return constantDistributionEClass;
271 }
272
273 /**
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 */
278 @Override
279 public EAttribute getConstantDistribution_P() {
280 return (EAttribute)constantDistributionEClass.getEStructuralFeatures().get(0);
281 }
282
283 /**
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @generated
287 */
288 @Override
289 public EClass getExponentialDistribution() {
290 return exponentialDistributionEClass;
291 }
292
293 /**
294 * <!-- begin-user-doc -->
295 * <!-- end-user-doc -->
296 * @generated
297 */
298 @Override
299 public EAttribute getExponentialDistribution_Lambda() {
300 return (EAttribute)exponentialDistributionEClass.getEStructuralFeatures().get(0);
301 }
302
303 /**
304 * <!-- begin-user-doc -->
305 * <!-- end-user-doc -->
306 * @generated
307 */
308 @Override
309 public EClass getAndGate() {
310 return andGateEClass;
311 }
312
313 /**
314 * <!-- begin-user-doc -->
315 * <!-- end-user-doc -->
316 * @generated
317 */
318 @Override
319 public EClass getOrGate() {
320 return orGateEClass;
321 }
322
323 /**
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @generated
327 */
328 @Override
329 public EClass getKOfMGate() {
330 return kOfMGateEClass;
331 }
332
333 /**
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @generated
337 */
338 @Override
339 public EAttribute getKOfMGate_K() {
340 return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(0);
341 }
342
343 /**
344 * <!-- begin-user-doc -->
345 * <!-- end-user-doc -->
346 * @generated
347 */
348 @Override
349 public EAttribute getKOfMGate_M() {
350 return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(1);
351 }
352
353 /**
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @generated
357 */
358 @Override
359 public FtFactory getFtFactory() {
360 return (FtFactory)getEFactoryInstance();
361 }
362
363 /**
364 * <!-- begin-user-doc -->
365 * <!-- end-user-doc -->
366 * @generated
367 */
368 private boolean isCreated = false;
369
370 /**
371 * Creates the meta-model objects for the package. This method is
372 * guarded to have no affect on any invocation but its first.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @generated
376 */
377 public void createPackageContents() {
378 if (isCreated) return;
379 isCreated = true;
380
381 // Create classes and their features
382 faultTreeEClass = createEClass(FAULT_TREE);
383 createEReference(faultTreeEClass, FAULT_TREE__EVENTS);
384 createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT);
385
386 eventEClass = createEClass(EVENT);
387 createEAttribute(eventEClass, EVENT__NAME);
388
389 basicEventEClass = createEClass(BASIC_EVENT);
390 createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION);
391
392 gateEClass = createEClass(GATE);
393 createEReference(gateEClass, GATE__INPUT_EVENTS);
394
395 distributionEClass = createEClass(DISTRIBUTION);
396
397 constantDistributionEClass = createEClass(CONSTANT_DISTRIBUTION);
398 createEAttribute(constantDistributionEClass, CONSTANT_DISTRIBUTION__P);
399
400 exponentialDistributionEClass = createEClass(EXPONENTIAL_DISTRIBUTION);
401 createEAttribute(exponentialDistributionEClass, EXPONENTIAL_DISTRIBUTION__LAMBDA);
402
403 andGateEClass = createEClass(AND_GATE);
404
405 orGateEClass = createEClass(OR_GATE);
406
407 kOfMGateEClass = createEClass(KOF_MGATE);
408 createEAttribute(kOfMGateEClass, KOF_MGATE__K);
409 createEAttribute(kOfMGateEClass, KOF_MGATE__M);
410 }
411
412 /**
413 * <!-- begin-user-doc -->
414 * <!-- end-user-doc -->
415 * @generated
416 */
417 private boolean isInitialized = false;
418
419 /**
420 * Complete the initialization of the package and its meta-model. This
421 * method is guarded to have no affect on any invocation but its first.
422 * <!-- begin-user-doc -->
423 * <!-- end-user-doc -->
424 * @generated
425 */
426 public void initializePackageContents() {
427 if (isInitialized) return;
428 isInitialized = true;
429
430 // Initialize package
431 setName(eNAME);
432 setNsPrefix(eNS_PREFIX);
433 setNsURI(eNS_URI);
434
435 // Create type parameters
436
437 // Set bounds for type parameters
438
439 // Add supertypes to classes
440 basicEventEClass.getESuperTypes().add(this.getEvent());
441 gateEClass.getESuperTypes().add(this.getEvent());
442 constantDistributionEClass.getESuperTypes().add(this.getDistribution());
443 exponentialDistributionEClass.getESuperTypes().add(this.getDistribution());
444 andGateEClass.getESuperTypes().add(this.getGate());
445 orGateEClass.getESuperTypes().add(this.getGate());
446 kOfMGateEClass.getESuperTypes().add(this.getGate());
447
448 // Initialize classes, features, and operations; add parameters
449 initEClass(faultTreeEClass, FaultTree.class, "FaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
450 initEReference(getFaultTree_Events(), this.getEvent(), 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);
451 initEReference(getFaultTree_TopEvent(), this.getEvent(), 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);
452
453 initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
454 initEAttribute(getEvent_Name(), ecorePackage.getEString(), "name", null, 0, 1, Event.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
455
456 initEClass(basicEventEClass, BasicEvent.class, "BasicEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
457 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);
458
459 initEClass(gateEClass, Gate.class, "Gate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
460 initEReference(getGate_InputEvents(), this.getEvent(), null, "inputEvents", null, 0, -1, Gate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
461
462 initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
463
464 initEClass(constantDistributionEClass, ConstantDistribution.class, "ConstantDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
465 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);
466
467 initEClass(exponentialDistributionEClass, ExponentialDistribution.class, "ExponentialDistribution", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
468 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);
469
470 initEClass(andGateEClass, AndGate.class, "AndGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
471
472 initEClass(orGateEClass, OrGate.class, "OrGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
473
474 initEClass(kOfMGateEClass, KOfMGate.class, "KOfMGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
475 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);
476 initEAttribute(getKOfMGate_M(), ecorePackage.getEInt(), "m", null, 0, 1, KOfMGate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
477
478 // Create resource
479 createResource(eNS_URI);
480 }
481
482} //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
new file mode 100644
index 00000000..ae6d5a8d
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/GateImpl.java
@@ -0,0 +1,133 @@
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;
7import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
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 EventImpl 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<Event> 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<Event> getInputEvents() {
67 if (inputEvents == null) {
68 inputEvents = new EObjectResolvingEList<Event>(Event.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 Event>)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
new file mode 100644
index 00000000..0f0dd205
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/KOfMGateImpl.java
@@ -0,0 +1,220 @@
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 * <li>{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getM <em>M</em>}</li>
24 * </ul>
25 *
26 * @generated
27 */
28public class KOfMGateImpl extends GateImpl implements KOfMGate {
29 /**
30 * The default value of the '{@link #getK() <em>K</em>}' attribute.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @see #getK()
34 * @generated
35 * @ordered
36 */
37 protected static final int K_EDEFAULT = 0;
38
39 /**
40 * The cached value of the '{@link #getK() <em>K</em>}' attribute.
41 * <!-- begin-user-doc -->
42 * <!-- end-user-doc -->
43 * @see #getK()
44 * @generated
45 * @ordered
46 */
47 protected int k = K_EDEFAULT;
48
49 /**
50 * The default value of the '{@link #getM() <em>M</em>}' attribute.
51 * <!-- begin-user-doc -->
52 * <!-- end-user-doc -->
53 * @see #getM()
54 * @generated
55 * @ordered
56 */
57 protected static final int M_EDEFAULT = 0;
58
59 /**
60 * The cached value of the '{@link #getM() <em>M</em>}' attribute.
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @see #getM()
64 * @generated
65 * @ordered
66 */
67 protected int m = M_EDEFAULT;
68
69 /**
70 * <!-- begin-user-doc -->
71 * <!-- end-user-doc -->
72 * @generated
73 */
74 protected KOfMGateImpl() {
75 super();
76 }
77
78 /**
79 * <!-- begin-user-doc -->
80 * <!-- end-user-doc -->
81 * @generated
82 */
83 @Override
84 protected EClass eStaticClass() {
85 return FtPackage.Literals.KOF_MGATE;
86 }
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 @Override
94 public int getK() {
95 return k;
96 }
97
98 /**
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @generated
102 */
103 @Override
104 public void setK(int newK) {
105 int oldK = k;
106 k = newK;
107 if (eNotificationRequired())
108 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__K, oldK, k));
109 }
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 @Override
117 public int getM() {
118 return m;
119 }
120
121 /**
122 * <!-- begin-user-doc -->
123 * <!-- end-user-doc -->
124 * @generated
125 */
126 @Override
127 public void setM(int newM) {
128 int oldM = m;
129 m = newM;
130 if (eNotificationRequired())
131 eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__M, oldM, m));
132 }
133
134 /**
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @generated
138 */
139 @Override
140 public Object eGet(int featureID, boolean resolve, boolean coreType) {
141 switch (featureID) {
142 case FtPackage.KOF_MGATE__K:
143 return getK();
144 case FtPackage.KOF_MGATE__M:
145 return getM();
146 }
147 return super.eGet(featureID, resolve, coreType);
148 }
149
150 /**
151 * <!-- begin-user-doc -->
152 * <!-- end-user-doc -->
153 * @generated
154 */
155 @Override
156 public void eSet(int featureID, Object newValue) {
157 switch (featureID) {
158 case FtPackage.KOF_MGATE__K:
159 setK((Integer)newValue);
160 return;
161 case FtPackage.KOF_MGATE__M:
162 setM((Integer)newValue);
163 return;
164 }
165 super.eSet(featureID, newValue);
166 }
167
168 /**
169 * <!-- begin-user-doc -->
170 * <!-- end-user-doc -->
171 * @generated
172 */
173 @Override
174 public void eUnset(int featureID) {
175 switch (featureID) {
176 case FtPackage.KOF_MGATE__K:
177 setK(K_EDEFAULT);
178 return;
179 case FtPackage.KOF_MGATE__M:
180 setM(M_EDEFAULT);
181 return;
182 }
183 super.eUnset(featureID);
184 }
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 @Override
192 public boolean eIsSet(int featureID) {
193 switch (featureID) {
194 case FtPackage.KOF_MGATE__K:
195 return k != K_EDEFAULT;
196 case FtPackage.KOF_MGATE__M:
197 return m != M_EDEFAULT;
198 }
199 return super.eIsSet(featureID);
200 }
201
202 /**
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @generated
206 */
207 @Override
208 public String toString() {
209 if (eIsProxy()) return super.toString();
210
211 StringBuilder result = new StringBuilder(super.toString());
212 result.append(" (k: ");
213 result.append(k);
214 result.append(", m: ");
215 result.append(m);
216 result.append(')');
217 return result.toString();
218 }
219
220} //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
new file mode 100644
index 00000000..88bd2bae
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/OrGateImpl.java
@@ -0,0 +1,37 @@
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/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
new file mode 100644
index 00000000..17daaad3
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java
@@ -0,0 +1,282 @@
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 caseEvent(Event object) {
76 return createEventAdapter();
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 defaultCase(EObject object) {
112 return createEObjectAdapter();
113 }
114 };
115
116 /**
117 * Creates an adapter for the <code>target</code>.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @param target the object to adapt.
121 * @return the adapter for the <code>target</code>.
122 * @generated
123 */
124 @Override
125 public Adapter createAdapter(Notifier target) {
126 return modelSwitch.doSwitch((EObject)target);
127 }
128
129
130 /**
131 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree <em>Fault Tree</em>}'.
132 * <!-- begin-user-doc -->
133 * This default implementation returns null so that we can easily ignore cases;
134 * it's useful to ignore a case when inheritance will catch all the cases anyway.
135 * <!-- end-user-doc -->
136 * @return the new adapter.
137 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
138 * @generated
139 */
140 public Adapter createFaultTreeAdapter() {
141 return null;
142 }
143
144 /**
145 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event <em>Event</em>}'.
146 * <!-- begin-user-doc -->
147 * This default implementation returns null so that we can easily ignore cases;
148 * it's useful to ignore a case when inheritance will catch all the cases anyway.
149 * <!-- end-user-doc -->
150 * @return the new adapter.
151 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
152 * @generated
153 */
154 public Adapter createEventAdapter() {
155 return null;
156 }
157
158 /**
159 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent <em>Basic Event</em>}'.
160 * <!-- begin-user-doc -->
161 * This default implementation returns null so that we can easily ignore cases;
162 * it's useful to ignore a case when inheritance will catch all the cases anyway.
163 * <!-- end-user-doc -->
164 * @return the new adapter.
165 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent
166 * @generated
167 */
168 public Adapter createBasicEventAdapter() {
169 return null;
170 }
171
172 /**
173 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate <em>Gate</em>}'.
174 * <!-- begin-user-doc -->
175 * This default implementation returns null so that we can easily ignore cases;
176 * it's useful to ignore a case when inheritance will catch all the cases anyway.
177 * <!-- end-user-doc -->
178 * @return the new adapter.
179 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
180 * @generated
181 */
182 public Adapter createGateAdapter() {
183 return null;
184 }
185
186 /**
187 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution <em>Distribution</em>}'.
188 * <!-- begin-user-doc -->
189 * This default implementation returns null so that we can easily ignore cases;
190 * it's useful to ignore a case when inheritance will catch all the cases anyway.
191 * <!-- end-user-doc -->
192 * @return the new adapter.
193 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution
194 * @generated
195 */
196 public Adapter createDistributionAdapter() {
197 return null;
198 }
199
200 /**
201 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution <em>Constant Distribution</em>}'.
202 * <!-- begin-user-doc -->
203 * This default implementation returns null so that we can easily ignore cases;
204 * it's useful to ignore a case when inheritance will catch all the cases anyway.
205 * <!-- end-user-doc -->
206 * @return the new adapter.
207 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution
208 * @generated
209 */
210 public Adapter createConstantDistributionAdapter() {
211 return null;
212 }
213
214 /**
215 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution <em>Exponential Distribution</em>}'.
216 * <!-- begin-user-doc -->
217 * This default implementation returns null so that we can easily ignore cases;
218 * it's useful to ignore a case when inheritance will catch all the cases anyway.
219 * <!-- end-user-doc -->
220 * @return the new adapter.
221 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution
222 * @generated
223 */
224 public Adapter createExponentialDistributionAdapter() {
225 return null;
226 }
227
228 /**
229 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate <em>And Gate</em>}'.
230 * <!-- begin-user-doc -->
231 * This default implementation returns null so that we can easily ignore cases;
232 * it's useful to ignore a case when inheritance will catch all the cases anyway.
233 * <!-- end-user-doc -->
234 * @return the new adapter.
235 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate
236 * @generated
237 */
238 public Adapter createAndGateAdapter() {
239 return null;
240 }
241
242 /**
243 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate <em>Or Gate</em>}'.
244 * <!-- begin-user-doc -->
245 * This default implementation returns null so that we can easily ignore cases;
246 * it's useful to ignore a case when inheritance will catch all the cases anyway.
247 * <!-- end-user-doc -->
248 * @return the new adapter.
249 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate
250 * @generated
251 */
252 public Adapter createOrGateAdapter() {
253 return null;
254 }
255
256 /**
257 * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate <em>KOf MGate</em>}'.
258 * <!-- begin-user-doc -->
259 * This default implementation returns null so that we can easily ignore cases;
260 * it's useful to ignore a case when inheritance will catch all the cases anyway.
261 * <!-- end-user-doc -->
262 * @return the new adapter.
263 * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate
264 * @generated
265 */
266 public Adapter createKOfMGateAdapter() {
267 return null;
268 }
269
270 /**
271 * Creates a new adapter for the default case.
272 * <!-- begin-user-doc -->
273 * This default implementation returns null.
274 * <!-- end-user-doc -->
275 * @return the new adapter.
276 * @generated
277 */
278 public Adapter createEObjectAdapter() {
279 return null;
280 }
281
282} //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
new file mode 100644
index 00000000..b1846705
--- /dev/null
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtSwitch.java
@@ -0,0 +1,309 @@
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 = defaultCase(theEObject);
73 return result;
74 }
75 case FtPackage.EVENT: {
76 Event event = (Event)theEObject;
77 T result = caseEvent(event);
78 if (result == null) result = defaultCase(theEObject);
79 return result;
80 }
81 case FtPackage.BASIC_EVENT: {
82 BasicEvent basicEvent = (BasicEvent)theEObject;
83 T result = caseBasicEvent(basicEvent);
84 if (result == null) result = caseEvent(basicEvent);
85 if (result == null) result = defaultCase(theEObject);
86 return result;
87 }
88 case FtPackage.GATE: {
89 Gate gate = (Gate)theEObject;
90 T result = caseGate(gate);
91 if (result == null) result = caseEvent(gate);
92 if (result == null) result = defaultCase(theEObject);
93 return result;
94 }
95 case FtPackage.DISTRIBUTION: {
96 Distribution distribution = (Distribution)theEObject;
97 T result = caseDistribution(distribution);
98 if (result == null) result = defaultCase(theEObject);
99 return result;
100 }
101 case FtPackage.CONSTANT_DISTRIBUTION: {
102 ConstantDistribution constantDistribution = (ConstantDistribution)theEObject;
103 T result = caseConstantDistribution(constantDistribution);
104 if (result == null) result = caseDistribution(constantDistribution);
105 if (result == null) result = defaultCase(theEObject);
106 return result;
107 }
108 case FtPackage.EXPONENTIAL_DISTRIBUTION: {
109 ExponentialDistribution exponentialDistribution = (ExponentialDistribution)theEObject;
110 T result = caseExponentialDistribution(exponentialDistribution);
111 if (result == null) result = caseDistribution(exponentialDistribution);
112 if (result == null) result = defaultCase(theEObject);
113 return result;
114 }
115 case FtPackage.AND_GATE: {
116 AndGate andGate = (AndGate)theEObject;
117 T result = caseAndGate(andGate);
118 if (result == null) result = caseGate(andGate);
119 if (result == null) result = caseEvent(andGate);
120 if (result == null) result = defaultCase(theEObject);
121 return result;
122 }
123 case FtPackage.OR_GATE: {
124 OrGate orGate = (OrGate)theEObject;
125 T result = caseOrGate(orGate);
126 if (result == null) result = caseGate(orGate);
127 if (result == null) result = caseEvent(orGate);
128 if (result == null) result = defaultCase(theEObject);
129 return result;
130 }
131 case FtPackage.KOF_MGATE: {
132 KOfMGate kOfMGate = (KOfMGate)theEObject;
133 T result = caseKOfMGate(kOfMGate);
134 if (result == null) result = caseGate(kOfMGate);
135 if (result == null) result = caseEvent(kOfMGate);
136 if (result == null) result = defaultCase(theEObject);
137 return result;
138 }
139 default: return defaultCase(theEObject);
140 }
141 }
142
143 /**
144 * Returns the result of interpreting the object as an instance of '<em>Fault Tree</em>'.
145 * <!-- begin-user-doc -->
146 * This implementation returns null;
147 * returning a non-null result will terminate the switch.
148 * <!-- end-user-doc -->
149 * @param object the target of the switch.
150 * @return the result of interpreting the object as an instance of '<em>Fault Tree</em>'.
151 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
152 * @generated
153 */
154 public T caseFaultTree(FaultTree object) {
155 return null;
156 }
157
158 /**
159 * Returns the result of interpreting the object as an instance of '<em>Event</em>'.
160 * <!-- begin-user-doc -->
161 * This implementation returns null;
162 * returning a non-null result will terminate the switch.
163 * <!-- end-user-doc -->
164 * @param object the target of the switch.
165 * @return the result of interpreting the object as an instance of '<em>Event</em>'.
166 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
167 * @generated
168 */
169 public T caseEvent(Event object) {
170 return null;
171 }
172
173 /**
174 * Returns the result of interpreting the object as an instance of '<em>Basic Event</em>'.
175 * <!-- begin-user-doc -->
176 * This implementation returns null;
177 * returning a non-null result will terminate the switch.
178 * <!-- end-user-doc -->
179 * @param object the target of the switch.
180 * @return the result of interpreting the object as an instance of '<em>Basic Event</em>'.
181 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
182 * @generated
183 */
184 public T caseBasicEvent(BasicEvent object) {
185 return null;
186 }
187
188 /**
189 * Returns the result of interpreting the object as an instance of '<em>Gate</em>'.
190 * <!-- begin-user-doc -->
191 * This implementation returns null;
192 * returning a non-null result will terminate the switch.
193 * <!-- end-user-doc -->
194 * @param object the target of the switch.
195 * @return the result of interpreting the object as an instance of '<em>Gate</em>'.
196 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
197 * @generated
198 */
199 public T caseGate(Gate object) {
200 return null;
201 }
202
203 /**
204 * Returns the result of interpreting the object as an instance of '<em>Distribution</em>'.
205 * <!-- begin-user-doc -->
206 * This implementation returns null;
207 * returning a non-null result will terminate the switch.
208 * <!-- end-user-doc -->
209 * @param object the target of the switch.
210 * @return the result of interpreting the object as an instance of '<em>Distribution</em>'.
211 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
212 * @generated
213 */
214 public T caseDistribution(Distribution object) {
215 return null;
216 }
217
218 /**
219 * Returns the result of interpreting the object as an instance of '<em>Constant Distribution</em>'.
220 * <!-- begin-user-doc -->
221 * This implementation returns null;
222 * returning a non-null result will terminate the switch.
223 * <!-- end-user-doc -->
224 * @param object the target of the switch.
225 * @return the result of interpreting the object as an instance of '<em>Constant Distribution</em>'.
226 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
227 * @generated
228 */
229 public T caseConstantDistribution(ConstantDistribution object) {
230 return null;
231 }
232
233 /**
234 * Returns the result of interpreting the object as an instance of '<em>Exponential Distribution</em>'.
235 * <!-- begin-user-doc -->
236 * This implementation returns null;
237 * returning a non-null result will terminate the switch.
238 * <!-- end-user-doc -->
239 * @param object the target of the switch.
240 * @return the result of interpreting the object as an instance of '<em>Exponential Distribution</em>'.
241 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
242 * @generated
243 */
244 public T caseExponentialDistribution(ExponentialDistribution object) {
245 return null;
246 }
247
248 /**
249 * Returns the result of interpreting the object as an instance of '<em>And Gate</em>'.
250 * <!-- begin-user-doc -->
251 * This implementation returns null;
252 * returning a non-null result will terminate the switch.
253 * <!-- end-user-doc -->
254 * @param object the target of the switch.
255 * @return the result of interpreting the object as an instance of '<em>And Gate</em>'.
256 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
257 * @generated
258 */
259 public T caseAndGate(AndGate object) {
260 return null;
261 }
262
263 /**
264 * Returns the result of interpreting the object as an instance of '<em>Or Gate</em>'.
265 * <!-- begin-user-doc -->
266 * This implementation returns null;
267 * returning a non-null result will terminate the switch.
268 * <!-- end-user-doc -->
269 * @param object the target of the switch.
270 * @return the result of interpreting the object as an instance of '<em>Or Gate</em>'.
271 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
272 * @generated
273 */
274 public T caseOrGate(OrGate object) {
275 return null;
276 }
277
278 /**
279 * Returns the result of interpreting the object as an instance of '<em>KOf MGate</em>'.
280 * <!-- begin-user-doc -->
281 * This implementation returns null;
282 * returning a non-null result will terminate the switch.
283 * <!-- end-user-doc -->
284 * @param object the target of the switch.
285 * @return the result of interpreting the object as an instance of '<em>KOf MGate</em>'.
286 * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
287 * @generated
288 */
289 public T caseKOfMGate(KOfMGate object) {
290 return null;
291 }
292
293 /**
294 * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
295 * <!-- begin-user-doc -->
296 * This implementation returns null;
297 * returning a non-null result will terminate the switch, but this is the last case anyway.
298 * <!-- end-user-doc -->
299 * @param object the target of the switch.
300 * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
301 * @see #doSwitch(org.eclipse.emf.ecore.EObject)
302 * @generated
303 */
304 @Override
305 public T defaultCase(EObject object) {
306 return null;
307 }
308
309} //FtSwitch
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-11 08:56:41 +0000