From d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 16 Feb 2019 00:43:11 +0100 Subject: Two-valued fault tree analyzer WIP --- .../dslreasoner/faulttree/model/ft/BasicEvent.java | 2 +- .../faulttree/model/ft/ConstantEvent.java | 49 ++++ .../faulttree/model/ft/ConstantModel.java | 49 ++++ .../inf/dslreasoner/faulttree/model/ft/Event.java | 32 --- .../dslreasoner/faulttree/model/ft/FaultTree.java | 14 +- .../dslreasoner/faulttree/model/ft/FtFactory.java | 18 ++ .../dslreasoner/faulttree/model/ft/FtPackage.java | 308 ++++++++++++++++++--- .../inf/dslreasoner/faulttree/model/ft/Gate.java | 8 +- .../dslreasoner/faulttree/model/ft/KOfMGate.java | 27 -- .../faulttree/model/ft/RandomEvent.java | 49 ++++ .../faulttree/model/ft/ReliabilityModel.java | 18 ++ .../faulttree/model/ft/impl/BasicEventImpl.java | 2 +- .../faulttree/model/ft/impl/ConstantEventImpl.java | 164 +++++++++++ .../faulttree/model/ft/impl/ConstantModelImpl.java | 164 +++++++++++ .../faulttree/model/ft/impl/EventImpl.java | 126 --------- .../faulttree/model/ft/impl/FaultTreeImpl.java | 29 +- .../faulttree/model/ft/impl/FtFactoryImpl.java | 24 ++ .../faulttree/model/ft/impl/FtPackageImpl.java | 140 ++++++++-- .../faulttree/model/ft/impl/GateImpl.java | 12 +- .../faulttree/model/ft/impl/KOfMGateImpl.java | 56 ---- .../faulttree/model/ft/impl/RandomEventImpl.java | 164 +++++++++++ .../model/ft/impl/ReliabilityModelImpl.java | 39 +++ .../faulttree/model/ft/util/FtAdapterFactory.java | 82 +++++- .../faulttree/model/ft/util/FtSwitch.java | 105 ++++++- .../model/ft.ecore | 25 +- .../model/ft.genmodel | 13 +- .../representations.aird | 291 ++++++++++++++++--- 27 files changed, 1605 insertions(+), 405 deletions(-) create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model') 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 index acfc635b..63b8d0ed 100644 --- 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 @@ -19,7 +19,7 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; * @model * @generated */ -public interface BasicEvent extends Event { +public interface BasicEvent extends RandomEvent { /** * Returns the value of the 'Distribution' containment reference. * diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java new file mode 100644 index 00000000..a171fc95 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantEvent.java @@ -0,0 +1,49 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; + + +/** + * + * A representation of the model object 'Constant Event'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent() + * @model + * @generated + */ +public interface ConstantEvent extends Event { + /** + * Returns the value of the 'Failed' attribute. + * + *

+ * If the meaning of the 'Failed' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Failed' attribute. + * @see #setFailed(boolean) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantEvent_Failed() + * @model + * @generated + */ + boolean isFailed(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed Failed}' attribute. + * + * + * @param value the new value of the 'Failed' attribute. + * @see #isFailed() + * @generated + */ + void setFailed(boolean value); + +} // ConstantEvent diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java new file mode 100644 index 00000000..5649559f --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ConstantModel.java @@ -0,0 +1,49 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; + + +/** + * + * A representation of the model object 'Constant Model'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel() + * @model + * @generated + */ +public interface ConstantModel extends ReliabilityModel { + /** + * Returns the value of the 'Failed' attribute. + * + *

+ * If the meaning of the 'Failed' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Failed' attribute. + * @see #setFailed(boolean) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getConstantModel_Failed() + * @model + * @generated + */ + boolean isFailed(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed Failed}' attribute. + * + * + * @param value the new value of the 'Failed' attribute. + * @see #isFailed() + * @generated + */ + void setFailed(boolean value); + +} // ConstantModel 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 index 186e23b9..a5a905a0 100644 --- 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 @@ -9,42 +9,10 @@ import org.eclipse.emf.ecore.EObject; * A representation of the model object 'Event'. * * - *

- * The following features are supported: - *

- * * * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent() * @model abstract="true" * @generated */ public interface Event extends EObject { - /** - * Returns the value of the 'Name' attribute. - * - *

- * If the meaning of the 'Name' attribute isn't clear, - * there really should be more of a description here... - *

- * - * @return the value of the 'Name' attribute. - * @see #setName(String) - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getEvent_Name() - * @model - * @generated - */ - String getName(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName Name}' attribute. - * - * - * @param value the new value of the 'Name' attribute. - * @see #getName() - * @generated - */ - void setName(String value); - } // Event 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 index 247a9918..0bf258be 100644 --- 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 @@ -4,8 +4,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; import org.eclipse.emf.common.util.EList; -import org.eclipse.emf.ecore.EObject; - /** * * A representation of the model object 'Fault Tree'. @@ -23,10 +21,10 @@ import org.eclipse.emf.ecore.EObject; * @model * @generated */ -public interface FaultTree extends EObject { +public interface FaultTree extends ReliabilityModel { /** * Returns the value of the 'Events' containment reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}. * *

* If the meaning of the 'Events' containment reference list isn't clear, @@ -38,7 +36,7 @@ public interface FaultTree extends EObject { * @model containment="true" * @generated */ - EList getEvents(); + EList getEvents(); /** * Returns the value of the 'Top Event' reference. @@ -49,12 +47,12 @@ public interface FaultTree extends EObject { *

* * @return the value of the 'Top Event' reference. - * @see #setTopEvent(Event) + * @see #setTopEvent(RandomEvent) * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getFaultTree_TopEvent() * @model required="true" * @generated */ - Event getTopEvent(); + RandomEvent getTopEvent(); /** * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree#getTopEvent Top Event}' reference. @@ -64,6 +62,6 @@ public interface FaultTree extends EObject { * @see #getTopEvent() * @generated */ - void setTopEvent(Event value); + void setTopEvent(RandomEvent value); } // 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 index 20b71b1a..7d420e34 100644 --- 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 @@ -84,6 +84,24 @@ public interface FtFactory extends EFactory { */ KOfMGate createKOfMGate(); + /** + * Returns a new object of class 'Constant Model'. + * + * + * @return a new object of class 'Constant Model'. + * @generated + */ + ConstantModel createConstantModel(); + + /** + * Returns a new object of class 'Constant Event'. + * + * + * @return a new object of class 'Constant Event'. + * @generated + */ + ConstantEvent createConstantEvent(); + /** * Returns the package supported by this factory. * 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 index e376063c..dd35d666 100644 --- 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 @@ -56,6 +56,34 @@ public interface FtPackage extends EPackage { */ FtPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl.init(); + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl Reliability Model}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel() + * @generated + */ + int RELIABILITY_MODEL = 10; + + /** + * The number of structural features of the 'Reliability Model' class. + * + * + * @generated + * @ordered + */ + int RELIABILITY_MODEL_FEATURE_COUNT = 0; + + /** + * The number of operations of the 'Reliability Model' class. + * + * + * @generated + * @ordered + */ + int RELIABILITY_MODEL_OPERATION_COUNT = 0; + /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FaultTreeImpl Fault Tree}' class. * @@ -73,7 +101,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int FAULT_TREE__EVENTS = 0; + int FAULT_TREE__EVENTS = RELIABILITY_MODEL_FEATURE_COUNT + 0; /** * The feature id for the 'Top Event' reference. @@ -82,7 +110,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int FAULT_TREE__TOP_EVENT = 1; + int FAULT_TREE__TOP_EVENT = RELIABILITY_MODEL_FEATURE_COUNT + 1; /** * The number of structural features of the 'Fault Tree' class. @@ -91,7 +119,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int FAULT_TREE_FEATURE_COUNT = 2; + int FAULT_TREE_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 2; /** * The number of operations of the 'Fault Tree' class. @@ -100,7 +128,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int FAULT_TREE_OPERATION_COUNT = 0; + int FAULT_TREE_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl Event}' class. @@ -110,7 +138,35 @@ public interface FtPackage extends EPackage { * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent() * @generated */ - int EVENT = 1; + int EVENT = 12; + + /** + * The number of structural features of the 'Event' class. + * + * + * @generated + * @ordered + */ + int EVENT_FEATURE_COUNT = 0; + + /** + * The number of operations of the 'Event' class. + * + * + * @generated + * @ordered + */ + int EVENT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl Random Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent() + * @generated + */ + int RANDOM_EVENT = 1; /** * The feature id for the 'Name' attribute. @@ -119,25 +175,25 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int EVENT__NAME = 0; + int RANDOM_EVENT__NAME = EVENT_FEATURE_COUNT + 0; /** - * The number of structural features of the 'Event' class. + * The number of structural features of the 'Random Event' class. * * * @generated * @ordered */ - int EVENT_FEATURE_COUNT = 1; + int RANDOM_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; /** - * The number of operations of the 'Event' class. + * The number of operations of the 'Random Event' class. * * * @generated * @ordered */ - int EVENT_OPERATION_COUNT = 0; + int RANDOM_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl Basic Event}' class. @@ -156,7 +212,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int BASIC_EVENT__NAME = EVENT__NAME; + int BASIC_EVENT__NAME = RANDOM_EVENT__NAME; /** * The feature id for the 'Distribution' containment reference. @@ -165,7 +221,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int BASIC_EVENT__DISTRIBUTION = EVENT_FEATURE_COUNT + 0; + int BASIC_EVENT__DISTRIBUTION = RANDOM_EVENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Basic Event' class. @@ -174,7 +230,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int BASIC_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; + int BASIC_EVENT_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1; /** * The number of operations of the 'Basic Event' class. @@ -183,7 +239,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int BASIC_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; + int BASIC_EVENT_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.GateImpl Gate}' class. @@ -202,7 +258,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int GATE__NAME = EVENT__NAME; + int GATE__NAME = RANDOM_EVENT__NAME; /** * The feature id for the 'Input Events' reference list. @@ -211,7 +267,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int GATE__INPUT_EVENTS = EVENT_FEATURE_COUNT + 0; + int GATE__INPUT_EVENTS = RANDOM_EVENT_FEATURE_COUNT + 0; /** * The number of structural features of the 'Gate' class. @@ -220,7 +276,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int GATE_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; + int GATE_FEATURE_COUNT = RANDOM_EVENT_FEATURE_COUNT + 1; /** * The number of operations of the 'Gate' class. @@ -229,7 +285,7 @@ public interface FtPackage extends EPackage { * @generated * @ordered */ - int GATE_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; + int GATE_OPERATION_COUNT = RANDOM_EVENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.DistributionImpl Distribution}' class. @@ -463,31 +519,96 @@ public interface FtPackage extends EPackage { int KOF_MGATE__K = GATE_FEATURE_COUNT + 0; /** - * The feature id for the 'M' attribute. + * The number of structural features of the 'KOf MGate' class. * * * @generated * @ordered */ - int KOF_MGATE__M = GATE_FEATURE_COUNT + 1; + int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 1; /** - * The number of structural features of the 'KOf MGate' class. + * The number of operations of the 'KOf MGate' class. * * * @generated * @ordered */ - int KOF_MGATE_FEATURE_COUNT = GATE_FEATURE_COUNT + 2; + int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0; /** - * The number of operations of the 'KOf MGate' class. + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl Constant Model}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel() + * @generated + */ + int CONSTANT_MODEL = 11; + + /** + * The feature id for the 'Failed' attribute. * * * @generated * @ordered */ - int KOF_MGATE_OPERATION_COUNT = GATE_OPERATION_COUNT + 0; + int CONSTANT_MODEL__FAILED = RELIABILITY_MODEL_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Constant Model' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_MODEL_FEATURE_COUNT = RELIABILITY_MODEL_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Constant Model' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_MODEL_OPERATION_COUNT = RELIABILITY_MODEL_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl Constant Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent() + * @generated + */ + int CONSTANT_EVENT = 13; + + /** + * The feature id for the 'Failed' attribute. + * + * + * @generated + * @ordered + */ + int CONSTANT_EVENT__FAILED = EVENT_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Constant Event' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_EVENT_FEATURE_COUNT = EVENT_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Constant Event' class. + * + * + * @generated + * @ordered + */ + int CONSTANT_EVENT_OPERATION_COUNT = EVENT_OPERATION_COUNT + 0; /** @@ -523,25 +644,25 @@ public interface FtPackage extends EPackage { EReference getFaultTree_TopEvent(); /** - * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event Event}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent Random Event}'. * * - * @return the meta object for class 'Event'. - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event + * @return the meta object for class 'Random Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent * @generated */ - EClass getEvent(); + EClass getRandomEvent(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName Name}'. + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName Name}'. * * * @return the meta object for the attribute 'Name'. - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event#getName() - * @see #getEvent() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName() + * @see #getRandomEvent() * @generated */ - EAttribute getEvent_Name(); + EAttribute getRandomEvent_Name(); /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent Basic Event}'. @@ -679,15 +800,66 @@ public interface FtPackage extends EPackage { EAttribute getKOfMGate_K(); /** - * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM M}'. + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel Reliability Model}'. * * - * @return the meta object for the attribute 'M'. - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM() - * @see #getKOfMGate() + * @return the meta object for class 'Reliability Model'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel + * @generated + */ + EClass getReliabilityModel(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel Constant Model}'. + * + * + * @return the meta object for class 'Constant Model'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel + * @generated + */ + EClass getConstantModel(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed Failed}'. + * + * + * @return the meta object for the attribute 'Failed'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel#isFailed() + * @see #getConstantModel() + * @generated + */ + EAttribute getConstantModel_Failed(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event Event}'. + * + * + * @return the meta object for class 'Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event + * @generated + */ + EClass getEvent(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent Constant Event}'. + * + * + * @return the meta object for class 'Constant Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent * @generated */ - EAttribute getKOfMGate_M(); + EClass getConstantEvent(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed Failed}'. + * + * + * @return the meta object for the attribute 'Failed'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent#isFailed() + * @see #getConstantEvent() + * @generated + */ + EAttribute getConstantEvent_Failed(); /** * Returns the factory that creates the instances of the model. @@ -739,14 +911,14 @@ public interface FtPackage extends EPackage { EReference FAULT_TREE__TOP_EVENT = eINSTANCE.getFaultTree_TopEvent(); /** - * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl Event}' class. + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl Random Event}' class. * * - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getRandomEvent() * @generated */ - EClass EVENT = eINSTANCE.getEvent(); + EClass RANDOM_EVENT = eINSTANCE.getRandomEvent(); /** * The meta object literal for the 'Name' attribute feature. @@ -754,7 +926,7 @@ public interface FtPackage extends EPackage { * * @generated */ - EAttribute EVENT__NAME = eINSTANCE.getEvent_Name(); + EAttribute RANDOM_EVENT__NAME = eINSTANCE.getRandomEvent_Name(); /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.BasicEventImpl Basic Event}' class. @@ -877,12 +1049,60 @@ public interface FtPackage extends EPackage { EAttribute KOF_MGATE__K = eINSTANCE.getKOfMGate_K(); /** - * The meta object literal for the 'M' attribute feature. + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl Reliability Model}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ReliabilityModelImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getReliabilityModel() + * @generated + */ + EClass RELIABILITY_MODEL = eINSTANCE.getReliabilityModel(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl Constant Model}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantModelImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantModel() + * @generated + */ + EClass CONSTANT_MODEL = eINSTANCE.getConstantModel(); + + /** + * The meta object literal for the 'Failed' attribute feature. + * + * + * @generated + */ + EAttribute CONSTANT_MODEL__FAILED = eINSTANCE.getConstantModel_Failed(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.EventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getEvent() + * @generated + */ + EClass EVENT = eINSTANCE.getEvent(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl Constant Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.ConstantEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.FtPackageImpl#getConstantEvent() + * @generated + */ + EClass CONSTANT_EVENT = eINSTANCE.getConstantEvent(); + + /** + * The meta object literal for the 'Failed' attribute feature. * * * @generated */ - EAttribute KOF_MGATE__M = eINSTANCE.getKOfMGate_M(); + EAttribute CONSTANT_EVENT__FAILED = eINSTANCE.getConstantEvent_Failed(); } 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 index 0df58bb4..5015051a 100644 --- 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 @@ -20,10 +20,10 @@ import org.eclipse.emf.common.util.EList; * @model abstract="true" * @generated */ -public interface Gate extends Event { +public interface Gate extends RandomEvent { /** * Returns the value of the 'Input Events' reference list. - * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event}. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent}. * *

* If the meaning of the 'Input Events' reference list isn't clear, @@ -32,9 +32,9 @@ public interface Gate extends Event { * * @return the value of the 'Input Events' reference list. * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getGate_InputEvents() - * @model + * @model lower="2" * @generated */ - EList getInputEvents(); + EList getInputEvents(); } // 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 index 33334083..c891f83a 100644 --- 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 @@ -13,7 +13,6 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; *

* * * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate() @@ -47,30 +46,4 @@ public interface KOfMGate extends Gate { */ void setK(int value); - /** - * Returns the value of the 'M' attribute. - * - *

- * If the meaning of the 'M' attribute isn't clear, - * there really should be more of a description here... - *

- * - * @return the value of the 'M' attribute. - * @see #setM(int) - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getKOfMGate_M() - * @model - * @generated - */ - int getM(); - - /** - * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate#getM M}' attribute. - * - * - * @param value the new value of the 'M' attribute. - * @see #getM() - * @generated - */ - void setM(int value); - } // KOfMGate diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java new file mode 100644 index 00000000..3931ac41 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/RandomEvent.java @@ -0,0 +1,49 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; + + +/** + * + * A representation of the model object 'Random Event'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent() + * @model abstract="true" + * @generated + */ +public interface RandomEvent extends Event { + /** + * Returns the value of the 'Name' attribute. + * + *

+ * If the meaning of the 'Name' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Name' attribute. + * @see #setName(String) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getRandomEvent_Name() + * @model + * @generated + */ + String getName(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent#getName Name}' attribute. + * + * + * @param value the new value of the 'Name' attribute. + * @see #getName() + * @generated + */ + void setName(String value); + +} // RandomEvent diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java new file mode 100644 index 00000000..c1dc2162 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/ReliabilityModel.java @@ -0,0 +1,18 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Reliability Model'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage#getReliabilityModel() + * @model abstract="true" + * @generated + */ +public interface ReliabilityModel extends EObject { +} // ReliabilityModel 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 index 8fd0f613..bbed7b00 100644 --- 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 @@ -27,7 +27,7 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; * * @generated */ -public class BasicEventImpl extends EventImpl implements BasicEvent { +public class BasicEventImpl extends RandomEventImpl implements BasicEvent { /** * The cached value of the '{@link #getDistribution() Distribution}' containment reference. * diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java new file mode 100644 index 00000000..fc7bcf09 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantEventImpl.java @@ -0,0 +1,164 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Constant Event'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ConstantEventImpl extends EventImpl implements ConstantEvent { + /** + * The default value of the '{@link #isFailed() Failed}' attribute. + * + * + * @see #isFailed() + * @generated + * @ordered + */ + protected static final boolean FAILED_EDEFAULT = false; + + /** + * The cached value of the '{@link #isFailed() Failed}' attribute. + * + * + * @see #isFailed() + * @generated + * @ordered + */ + protected boolean failed = FAILED_EDEFAULT; + + /** + * + * + * @generated + */ + protected ConstantEventImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return FtPackage.Literals.CONSTANT_EVENT; + } + + /** + * + * + * @generated + */ + @Override + public boolean isFailed() { + return failed; + } + + /** + * + * + * @generated + */ + @Override + public void setFailed(boolean newFailed) { + boolean oldFailed = failed; + failed = newFailed; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_EVENT__FAILED, oldFailed, failed)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case FtPackage.CONSTANT_EVENT__FAILED: + return isFailed(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case FtPackage.CONSTANT_EVENT__FAILED: + setFailed((Boolean)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case FtPackage.CONSTANT_EVENT__FAILED: + setFailed(FAILED_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case FtPackage.CONSTANT_EVENT__FAILED: + return failed != FAILED_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (failed: "); + result.append(failed); + result.append(')'); + return result.toString(); + } + +} //ConstantEventImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java new file mode 100644 index 00000000..52e1605b --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ConstantModelImpl.java @@ -0,0 +1,164 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Constant Model'. + * + *

+ * The following features are implemented: + *

+ * + * + * @generated + */ +public class ConstantModelImpl extends ReliabilityModelImpl implements ConstantModel { + /** + * The default value of the '{@link #isFailed() Failed}' attribute. + * + * + * @see #isFailed() + * @generated + * @ordered + */ + protected static final boolean FAILED_EDEFAULT = false; + + /** + * The cached value of the '{@link #isFailed() Failed}' attribute. + * + * + * @see #isFailed() + * @generated + * @ordered + */ + protected boolean failed = FAILED_EDEFAULT; + + /** + * + * + * @generated + */ + protected ConstantModelImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return FtPackage.Literals.CONSTANT_MODEL; + } + + /** + * + * + * @generated + */ + @Override + public boolean isFailed() { + return failed; + } + + /** + * + * + * @generated + */ + @Override + public void setFailed(boolean newFailed) { + boolean oldFailed = failed; + failed = newFailed; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.CONSTANT_MODEL__FAILED, oldFailed, failed)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case FtPackage.CONSTANT_MODEL__FAILED: + return isFailed(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case FtPackage.CONSTANT_MODEL__FAILED: + setFailed((Boolean)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case FtPackage.CONSTANT_MODEL__FAILED: + setFailed(FAILED_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case FtPackage.CONSTANT_MODEL__FAILED: + return failed != FAILED_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (failed: "); + result.append(failed); + result.append(')'); + return result.toString(); + } + +} //ConstantModelImpl 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 index 44ac0eb6..b37fa6bd 100644 --- 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 @@ -5,47 +5,18 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; -import org.eclipse.emf.common.notify.Notification; - import org.eclipse.emf.ecore.EClass; -import org.eclipse.emf.ecore.impl.ENotificationImpl; import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; /** * * An implementation of the model object 'Event'. * - *

- * The following features are implemented: - *

- * * * @generated */ public abstract class EventImpl extends MinimalEObjectImpl.Container implements Event { - /** - * The default value of the '{@link #getName() Name}' attribute. - * - * - * @see #getName() - * @generated - * @ordered - */ - protected static final String NAME_EDEFAULT = null; - - /** - * The cached value of the '{@link #getName() Name}' attribute. - * - * - * @see #getName() - * @generated - * @ordered - */ - protected String name = NAME_EDEFAULT; - /** * * @@ -65,101 +36,4 @@ public abstract class EventImpl extends MinimalEObjectImpl.Container implements return FtPackage.Literals.EVENT; } - /** - * - * - * @generated - */ - @Override - public String getName() { - return name; - } - - /** - * - * - * @generated - */ - @Override - public void setName(String newName) { - String oldName = name; - name = newName; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.EVENT__NAME, oldName, name)); - } - - /** - * - * - * @generated - */ - @Override - public Object eGet(int featureID, boolean resolve, boolean coreType) { - switch (featureID) { - case FtPackage.EVENT__NAME: - return getName(); - } - return super.eGet(featureID, resolve, coreType); - } - - /** - * - * - * @generated - */ - @Override - public void eSet(int featureID, Object newValue) { - switch (featureID) { - case FtPackage.EVENT__NAME: - setName((String)newValue); - return; - } - super.eSet(featureID, newValue); - } - - /** - * - * - * @generated - */ - @Override - public void eUnset(int featureID) { - switch (featureID) { - case FtPackage.EVENT__NAME: - setName(NAME_EDEFAULT); - return; - } - super.eUnset(featureID); - } - - /** - * - * - * @generated - */ - @Override - public boolean eIsSet(int featureID) { - switch (featureID) { - case FtPackage.EVENT__NAME: - return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); - } - return super.eIsSet(featureID); - } - - /** - * - * - * @generated - */ - @Override - public String toString() { - if (eIsProxy()) return super.toString(); - - StringBuilder result = new StringBuilder(super.toString()); - result.append(" (name: "); - result.append(name); - result.append(')'); - return result.toString(); - } - } //EventImpl 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 index 9c716c21..23f1d056 100644 --- 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 @@ -2,9 +2,9 @@ */ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; -import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent; import java.util.Collection; @@ -17,7 +17,6 @@ import org.eclipse.emf.ecore.EClass; import org.eclipse.emf.ecore.InternalEObject; import org.eclipse.emf.ecore.impl.ENotificationImpl; -import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; import org.eclipse.emf.ecore.util.EObjectContainmentEList; import org.eclipse.emf.ecore.util.InternalEList; @@ -36,7 +35,7 @@ import org.eclipse.emf.ecore.util.InternalEList; * * @generated */ -public class FaultTreeImpl extends MinimalEObjectImpl.Container implements FaultTree { +public class FaultTreeImpl extends ReliabilityModelImpl implements FaultTree { /** * The cached value of the '{@link #getEvents() Events}' containment reference list. * @@ -45,7 +44,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * @generated * @ordered */ - protected EList events; + protected EList events; /** * The cached value of the '{@link #getTopEvent() Top Event}' reference. @@ -55,7 +54,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * @generated * @ordered */ - protected Event topEvent; + protected RandomEvent topEvent; /** * @@ -82,9 +81,9 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * @generated */ @Override - public EList getEvents() { + public EList getEvents() { if (events == null) { - events = new EObjectContainmentEList(Event.class, this, FtPackage.FAULT_TREE__EVENTS); + events = new EObjectContainmentEList(RandomEvent.class, this, FtPackage.FAULT_TREE__EVENTS); } return events; } @@ -95,10 +94,10 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * @generated */ @Override - public Event getTopEvent() { + public RandomEvent getTopEvent() { if (topEvent != null && topEvent.eIsProxy()) { InternalEObject oldTopEvent = (InternalEObject)topEvent; - topEvent = (Event)eResolveProxy(oldTopEvent); + topEvent = (RandomEvent)eResolveProxy(oldTopEvent); if (topEvent != oldTopEvent) { if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.RESOLVE, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); @@ -112,7 +111,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * * @generated */ - public Event basicGetTopEvent() { + public RandomEvent basicGetTopEvent() { return topEvent; } @@ -122,8 +121,8 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault * @generated */ @Override - public void setTopEvent(Event newTopEvent) { - Event oldTopEvent = topEvent; + public void setTopEvent(RandomEvent newTopEvent) { + RandomEvent oldTopEvent = topEvent; topEvent = newTopEvent; if (eNotificationRequired()) eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); @@ -171,10 +170,10 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault switch (featureID) { case FtPackage.FAULT_TREE__EVENTS: getEvents().clear(); - getEvents().addAll((Collection)newValue); + getEvents().addAll((Collection)newValue); return; case FtPackage.FAULT_TREE__TOP_EVENT: - setTopEvent((Event)newValue); + setTopEvent((RandomEvent)newValue); return; } super.eSet(featureID, newValue); @@ -192,7 +191,7 @@ public class FaultTreeImpl extends MinimalEObjectImpl.Container implements Fault getEvents().clear(); return; case FtPackage.FAULT_TREE__TOP_EVENT: - setTopEvent((Event)null); + setTopEvent((RandomEvent)null); return; } super.eUnset(featureID); 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 index 59364443..126abed8 100644 --- 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 @@ -63,6 +63,8 @@ public class FtFactoryImpl extends EFactoryImpl implements FtFactory { case FtPackage.AND_GATE: return createAndGate(); case FtPackage.OR_GATE: return createOrGate(); case FtPackage.KOF_MGATE: return createKOfMGate(); + case FtPackage.CONSTANT_MODEL: return createConstantModel(); + case FtPackage.CONSTANT_EVENT: return createConstantEvent(); default: throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); } @@ -145,6 +147,28 @@ public class FtFactoryImpl extends EFactoryImpl implements FtFactory { return kOfMGate; } + /** + * + * + * @generated + */ + @Override + public ConstantModel createConstantModel() { + ConstantModelImpl constantModel = new ConstantModelImpl(); + return constantModel; + } + + /** + * + * + * @generated + */ + @Override + public ConstantEvent createConstantEvent() { + ConstantEventImpl constantEvent = new ConstantEventImpl(); + return constantEvent; + } + /** * * 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 index 27ff09df..cc2c0617 100644 --- 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 @@ -5,6 +5,8 @@ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution; @@ -14,6 +16,8 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel; import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; @@ -41,7 +45,7 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { * * @generated */ - private EClass eventEClass = null; + private EClass randomEventEClass = null; /** * @@ -99,6 +103,34 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { */ private EClass kOfMGateEClass = null; + /** + * + * + * @generated + */ + private EClass reliabilityModelEClass = null; + + /** + * + * + * @generated + */ + private EClass constantModelEClass = null; + + /** + * + * + * @generated + */ + private EClass eventEClass = null; + + /** + * + * + * @generated + */ + private EClass constantEventEClass = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -196,8 +228,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { * @generated */ @Override - public EClass getEvent() { - return eventEClass; + public EClass getRandomEvent() { + return randomEventEClass; } /** @@ -206,8 +238,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { * @generated */ @Override - public EAttribute getEvent_Name() { - return (EAttribute)eventEClass.getEStructuralFeatures().get(0); + public EAttribute getRandomEvent_Name() { + return (EAttribute)randomEventEClass.getEStructuralFeatures().get(0); } /** @@ -346,8 +378,58 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { * @generated */ @Override - public EAttribute getKOfMGate_M() { - return (EAttribute)kOfMGateEClass.getEStructuralFeatures().get(1); + public EClass getReliabilityModel() { + return reliabilityModelEClass; + } + + /** + * + * + * @generated + */ + @Override + public EClass getConstantModel() { + return constantModelEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getConstantModel_Failed() { + return (EAttribute)constantModelEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EClass getEvent() { + return eventEClass; + } + + /** + * + * + * @generated + */ + @Override + public EClass getConstantEvent() { + return constantEventEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getConstantEvent_Failed() { + return (EAttribute)constantEventEClass.getEStructuralFeatures().get(0); } /** @@ -383,8 +465,8 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { createEReference(faultTreeEClass, FAULT_TREE__EVENTS); createEReference(faultTreeEClass, FAULT_TREE__TOP_EVENT); - eventEClass = createEClass(EVENT); - createEAttribute(eventEClass, EVENT__NAME); + randomEventEClass = createEClass(RANDOM_EVENT); + createEAttribute(randomEventEClass, RANDOM_EVENT__NAME); basicEventEClass = createEClass(BASIC_EVENT); createEReference(basicEventEClass, BASIC_EVENT__DISTRIBUTION); @@ -406,7 +488,16 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { kOfMGateEClass = createEClass(KOF_MGATE); createEAttribute(kOfMGateEClass, KOF_MGATE__K); - createEAttribute(kOfMGateEClass, KOF_MGATE__M); + + reliabilityModelEClass = createEClass(RELIABILITY_MODEL); + + constantModelEClass = createEClass(CONSTANT_MODEL); + createEAttribute(constantModelEClass, CONSTANT_MODEL__FAILED); + + eventEClass = createEClass(EVENT); + + constantEventEClass = createEClass(CONSTANT_EVENT); + createEAttribute(constantEventEClass, CONSTANT_EVENT__FAILED); } /** @@ -437,27 +528,31 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { // Set bounds for type parameters // Add supertypes to classes - basicEventEClass.getESuperTypes().add(this.getEvent()); - gateEClass.getESuperTypes().add(this.getEvent()); + faultTreeEClass.getESuperTypes().add(this.getReliabilityModel()); + randomEventEClass.getESuperTypes().add(this.getEvent()); + basicEventEClass.getESuperTypes().add(this.getRandomEvent()); + gateEClass.getESuperTypes().add(this.getRandomEvent()); constantDistributionEClass.getESuperTypes().add(this.getDistribution()); exponentialDistributionEClass.getESuperTypes().add(this.getDistribution()); andGateEClass.getESuperTypes().add(this.getGate()); orGateEClass.getESuperTypes().add(this.getGate()); kOfMGateEClass.getESuperTypes().add(this.getGate()); + constantModelEClass.getESuperTypes().add(this.getReliabilityModel()); + constantEventEClass.getESuperTypes().add(this.getEvent()); // Initialize classes, features, and operations; add parameters initEClass(faultTreeEClass, FaultTree.class, "FaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); - 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); - 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); + initEReference(getFaultTree_Events(), this.getRandomEvent(), null, "events", null, 0, -1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getFaultTree_TopEvent(), this.getRandomEvent(), null, "topEvent", null, 1, 1, FaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); - initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); - 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); + initEClass(randomEventEClass, RandomEvent.class, "RandomEvent", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getRandomEvent_Name(), ecorePackage.getEString(), "name", null, 0, 1, RandomEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(basicEventEClass, BasicEvent.class, "BasicEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 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); initEClass(gateEClass, Gate.class, "Gate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); - 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); + initEReference(getGate_InputEvents(), this.getRandomEvent(), null, "inputEvents", null, 2, -1, Gate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(distributionEClass, Distribution.class, "Distribution", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -473,7 +568,16 @@ public class FtPackageImpl extends EPackageImpl implements FtPackage { initEClass(kOfMGateEClass, KOfMGate.class, "KOfMGate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 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); - 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); + + initEClass(reliabilityModelEClass, ReliabilityModel.class, "ReliabilityModel", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(constantModelEClass, ConstantModel.class, "ConstantModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getConstantModel_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(eventEClass, Event.class, "Event", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(constantEventEClass, ConstantEvent.class, "ConstantEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getConstantEvent_Failed(), ecorePackage.getEBoolean(), "failed", null, 0, 1, ConstantEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); // Create resource createResource(eNS_URI); diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/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 index ae6d5a8d..9e753a09 100644 --- 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 @@ -2,9 +2,9 @@ */ package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; -import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent; import java.util.Collection; @@ -27,7 +27,7 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList; * * @generated */ -public abstract class GateImpl extends EventImpl implements Gate { +public abstract class GateImpl extends RandomEventImpl implements Gate { /** * The cached value of the '{@link #getInputEvents() Input Events}' reference list. * @@ -36,7 +36,7 @@ public abstract class GateImpl extends EventImpl implements Gate { * @generated * @ordered */ - protected EList inputEvents; + protected EList inputEvents; /** * @@ -63,9 +63,9 @@ public abstract class GateImpl extends EventImpl implements Gate { * @generated */ @Override - public EList getInputEvents() { + public EList getInputEvents() { if (inputEvents == null) { - inputEvents = new EObjectResolvingEList(Event.class, this, FtPackage.GATE__INPUT_EVENTS); + inputEvents = new EObjectResolvingEList(RandomEvent.class, this, FtPackage.GATE__INPUT_EVENTS); } return inputEvents; } @@ -95,7 +95,7 @@ public abstract class GateImpl extends EventImpl implements Gate { switch (featureID) { case FtPackage.GATE__INPUT_EVENTS: getInputEvents().clear(); - getInputEvents().addAll((Collection)newValue); + getInputEvents().addAll((Collection)newValue); return; } super.eSet(featureID, newValue); 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 index 0f0dd205..47ca936b 100644 --- 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 @@ -20,7 +20,6 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl; *

*
    *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getK K}
    • - *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.KOfMGateImpl#getM M}
    • *
* * @generated @@ -46,26 +45,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { */ protected int k = K_EDEFAULT; - /** - * The default value of the '{@link #getM() M}' attribute. - * - * - * @see #getM() - * @generated - * @ordered - */ - protected static final int M_EDEFAULT = 0; - - /** - * The cached value of the '{@link #getM() M}' attribute. - * - * - * @see #getM() - * @generated - * @ordered - */ - protected int m = M_EDEFAULT; - /** * * @@ -108,29 +87,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__K, oldK, k)); } - /** - * - * - * @generated - */ - @Override - public int getM() { - return m; - } - - /** - * - * - * @generated - */ - @Override - public void setM(int newM) { - int oldM = m; - m = newM; - if (eNotificationRequired()) - eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.KOF_MGATE__M, oldM, m)); - } - /** * * @@ -141,8 +97,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { switch (featureID) { case FtPackage.KOF_MGATE__K: return getK(); - case FtPackage.KOF_MGATE__M: - return getM(); } return super.eGet(featureID, resolve, coreType); } @@ -158,9 +112,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { case FtPackage.KOF_MGATE__K: setK((Integer)newValue); return; - case FtPackage.KOF_MGATE__M: - setM((Integer)newValue); - return; } super.eSet(featureID, newValue); } @@ -176,9 +127,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { case FtPackage.KOF_MGATE__K: setK(K_EDEFAULT); return; - case FtPackage.KOF_MGATE__M: - setM(M_EDEFAULT); - return; } super.eUnset(featureID); } @@ -193,8 +141,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { switch (featureID) { case FtPackage.KOF_MGATE__K: return k != K_EDEFAULT; - case FtPackage.KOF_MGATE__M: - return m != M_EDEFAULT; } return super.eIsSet(featureID); } @@ -211,8 +157,6 @@ public class KOfMGateImpl extends GateImpl implements KOfMGate { StringBuilder result = new StringBuilder(super.toString()); result.append(" (k: "); result.append(k); - result.append(", m: "); - result.append(m); result.append(')'); return result.toString(); } diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java new file mode 100644 index 00000000..4f9eda56 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/RandomEventImpl.java @@ -0,0 +1,164 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Random Event'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl.RandomEventImpl#getName Name}
    • + *
+ * + * @generated + */ +public abstract class RandomEventImpl extends EventImpl implements RandomEvent { + /** + * The default value of the '{@link #getName() Name}' attribute. + * + * + * @see #getName() + * @generated + * @ordered + */ + protected static final String NAME_EDEFAULT = null; + + /** + * The cached value of the '{@link #getName() Name}' attribute. + * + * + * @see #getName() + * @generated + * @ordered + */ + protected String name = NAME_EDEFAULT; + + /** + * + * + * @generated + */ + protected RandomEventImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return FtPackage.Literals.RANDOM_EVENT; + } + + /** + * + * + * @generated + */ + @Override + public String getName() { + return name; + } + + /** + * + * + * @generated + */ + @Override + public void setName(String newName) { + String oldName = name; + name = newName; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, FtPackage.RANDOM_EVENT__NAME, oldName, name)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case FtPackage.RANDOM_EVENT__NAME: + return getName(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case FtPackage.RANDOM_EVENT__NAME: + setName((String)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case FtPackage.RANDOM_EVENT__NAME: + setName(NAME_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case FtPackage.RANDOM_EVENT__NAME: + return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name); + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (name: "); + result.append(name); + result.append(')'); + return result.toString(); + } + +} //RandomEventImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java new file mode 100644 index 00000000..e3d0eec1 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/impl/ReliabilityModelImpl.java @@ -0,0 +1,39 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.ft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +/** + * + * An implementation of the model object 'Reliability Model'. + * + * + * @generated + */ +public abstract class ReliabilityModelImpl extends MinimalEObjectImpl.Container implements ReliabilityModel { + /** + * + * + * @generated + */ + protected ReliabilityModelImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return FtPackage.Literals.RELIABILITY_MODEL; + } + +} //ReliabilityModelImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/ft/util/FtAdapterFactory.java index 17daaad3..ba7545f4 100644 --- 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 @@ -72,8 +72,8 @@ public class FtAdapterFactory extends AdapterFactoryImpl { return createFaultTreeAdapter(); } @Override - public Adapter caseEvent(Event object) { - return createEventAdapter(); + public Adapter caseRandomEvent(RandomEvent object) { + return createRandomEventAdapter(); } @Override public Adapter caseBasicEvent(BasicEvent object) { @@ -108,6 +108,22 @@ public class FtAdapterFactory extends AdapterFactoryImpl { return createKOfMGateAdapter(); } @Override + public Adapter caseReliabilityModel(ReliabilityModel object) { + return createReliabilityModelAdapter(); + } + @Override + public Adapter caseConstantModel(ConstantModel object) { + return createConstantModelAdapter(); + } + @Override + public Adapter caseEvent(Event object) { + return createEventAdapter(); + } + @Override + public Adapter caseConstantEvent(ConstantEvent object) { + return createConstantEventAdapter(); + } + @Override public Adapter defaultCase(EObject object) { return createEObjectAdapter(); } @@ -142,16 +158,16 @@ public class FtAdapterFactory extends AdapterFactoryImpl { } /** - * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event Event}'. + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent Random Event}'. * * This default implementation returns null so that we can easily ignore cases; * it's useful to ignore a case when inheritance will catch all the cases anyway. * * @return the new adapter. - * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent * @generated */ - public Adapter createEventAdapter() { + public Adapter createRandomEventAdapter() { return null; } @@ -267,6 +283,62 @@ public class FtAdapterFactory extends AdapterFactoryImpl { return null; } + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel Reliability Model}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel + * @generated + */ + public Adapter createReliabilityModelAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel Constant Model}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel + * @generated + */ + public Adapter createConstantModelAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event Event}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event + * @generated + */ + public Adapter createEventAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent Constant Event}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent + * @generated + */ + public Adapter createConstantEventAdapter() { + return null; + } + /** * Creates a new adapter for the default case. * 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 index b1846705..1da4f8e8 100644 --- 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 @@ -69,18 +69,21 @@ public class FtSwitch extends Switch { case FtPackage.FAULT_TREE: { FaultTree faultTree = (FaultTree)theEObject; T result = caseFaultTree(faultTree); + if (result == null) result = caseReliabilityModel(faultTree); if (result == null) result = defaultCase(theEObject); return result; } - case FtPackage.EVENT: { - Event event = (Event)theEObject; - T result = caseEvent(event); + case FtPackage.RANDOM_EVENT: { + RandomEvent randomEvent = (RandomEvent)theEObject; + T result = caseRandomEvent(randomEvent); + if (result == null) result = caseEvent(randomEvent); if (result == null) result = defaultCase(theEObject); return result; } case FtPackage.BASIC_EVENT: { BasicEvent basicEvent = (BasicEvent)theEObject; T result = caseBasicEvent(basicEvent); + if (result == null) result = caseRandomEvent(basicEvent); if (result == null) result = caseEvent(basicEvent); if (result == null) result = defaultCase(theEObject); return result; @@ -88,6 +91,7 @@ public class FtSwitch extends Switch { case FtPackage.GATE: { Gate gate = (Gate)theEObject; T result = caseGate(gate); + if (result == null) result = caseRandomEvent(gate); if (result == null) result = caseEvent(gate); if (result == null) result = defaultCase(theEObject); return result; @@ -116,6 +120,7 @@ public class FtSwitch extends Switch { AndGate andGate = (AndGate)theEObject; T result = caseAndGate(andGate); if (result == null) result = caseGate(andGate); + if (result == null) result = caseRandomEvent(andGate); if (result == null) result = caseEvent(andGate); if (result == null) result = defaultCase(theEObject); return result; @@ -124,6 +129,7 @@ public class FtSwitch extends Switch { OrGate orGate = (OrGate)theEObject; T result = caseOrGate(orGate); if (result == null) result = caseGate(orGate); + if (result == null) result = caseRandomEvent(orGate); if (result == null) result = caseEvent(orGate); if (result == null) result = defaultCase(theEObject); return result; @@ -132,10 +138,37 @@ public class FtSwitch extends Switch { KOfMGate kOfMGate = (KOfMGate)theEObject; T result = caseKOfMGate(kOfMGate); if (result == null) result = caseGate(kOfMGate); + if (result == null) result = caseRandomEvent(kOfMGate); if (result == null) result = caseEvent(kOfMGate); if (result == null) result = defaultCase(theEObject); return result; } + case FtPackage.RELIABILITY_MODEL: { + ReliabilityModel reliabilityModel = (ReliabilityModel)theEObject; + T result = caseReliabilityModel(reliabilityModel); + if (result == null) result = defaultCase(theEObject); + return result; + } + case FtPackage.CONSTANT_MODEL: { + ConstantModel constantModel = (ConstantModel)theEObject; + T result = caseConstantModel(constantModel); + if (result == null) result = caseReliabilityModel(constantModel); + if (result == null) result = defaultCase(theEObject); + return result; + } + case FtPackage.EVENT: { + Event event = (Event)theEObject; + T result = caseEvent(event); + if (result == null) result = defaultCase(theEObject); + return result; + } + case FtPackage.CONSTANT_EVENT: { + ConstantEvent constantEvent = (ConstantEvent)theEObject; + T result = caseConstantEvent(constantEvent); + if (result == null) result = caseEvent(constantEvent); + if (result == null) result = defaultCase(theEObject); + return result; + } default: return defaultCase(theEObject); } } @@ -156,17 +189,17 @@ public class FtSwitch extends Switch { } /** - * Returns the result of interpreting the object as an instance of 'Event'. + * Returns the result of interpreting the object as an instance of 'Random Event'. * * This implementation returns null; * returning a non-null result will terminate the switch. * * @param object the target of the switch. - * @return the result of interpreting the object as an instance of 'Event'. + * @return the result of interpreting the object as an instance of 'Random Event'. * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) * @generated */ - public T caseEvent(Event object) { + public T caseRandomEvent(RandomEvent object) { return null; } @@ -290,6 +323,66 @@ public class FtSwitch extends Switch { return null; } + /** + * Returns the result of interpreting the object as an instance of 'Reliability Model'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Reliability Model'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseReliabilityModel(ReliabilityModel object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Constant Model'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Constant Model'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseConstantModel(ConstantModel object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Event'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Event'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseEvent(Event object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Constant Event'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Constant Event'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseConstantEvent(ConstantEvent object) { + return null; + } + /** * Returns the result of interpreting the object as an instance of 'EObject'. * diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore index f1f410a7..afe9395e 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore @@ -2,22 +2,22 @@ - + + eType="#//RandomEvent" containment="true"/> + eType="#//RandomEvent"/> - + - + - - + + @@ -30,6 +30,13 @@ - + + + + + + + + diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel index b5f63c34..7dcd0ae7 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel @@ -11,8 +11,8 @@ - - + + @@ -31,7 +31,14 @@ - + + + + + + + + diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird index 0c5c0fe8..16bc44f2 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird @@ -1074,7 +1074,7 @@ - + @@ -1087,7 +1087,7 @@ - + @@ -1096,7 +1096,7 @@ - + @@ -1105,7 +1105,7 @@ - + @@ -1114,7 +1114,7 @@ - + @@ -1127,7 +1127,7 @@ - + @@ -1140,7 +1140,7 @@ - + @@ -1149,7 +1149,7 @@ - + @@ -1158,7 +1158,7 @@ - + @@ -1167,46 +1167,86 @@ - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - + - + - + - + - + @@ -1354,9 +1394,73 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + KEEP_LOCATION @@ -1367,9 +1471,9 @@ - - - + + + KEEP_LOCATION KEEP_SIZE KEEP_RATIO @@ -1379,8 +1483,8 @@ - - + + @@ -1583,14 +1687,6 @@ - - - - - - - - @@ -1628,20 +1724,127 @@ - + - - - - labelSize + + + bold - - labelSize - + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + italic + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + italic + + + + + + + + + + + italic + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + italic + + + + + + + + + + + + italic + + + + + -- cgit v1.2.3-54-g00ecf