From 615b602f0a9b4ce9eca8c38b9aa780b81d03d8e7 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 6 Feb 2019 18:28:18 +0100 Subject: Extract component fault tree model --- .../faulttree/model/cft/AndGateDefinition.java | 17 + .../faulttree/model/cft/BasicEventDefinition.java | 50 + .../faulttree/model/cft/CftFactory.java | 132 ++ .../faulttree/model/cft/CftPackage.java | 1491 ++++++++++++++++++++ .../dslreasoner/faulttree/model/cft/Component.java | 90 ++ .../faulttree/model/cft/ComponentDefinition.java | 103 ++ .../faulttree/model/cft/ComponentFaultTree.java | 69 + .../faulttree/model/cft/Connection.java | 81 ++ .../faulttree/model/cft/EventDeclaration.java | 50 + .../faulttree/model/cft/EventDefinition.java | 17 + .../faulttree/model/cft/GateDefinition.java | 40 + .../inf/dslreasoner/faulttree/model/cft/Input.java | 100 ++ .../faulttree/model/cft/IntputEvent.java | 49 + .../faulttree/model/cft/KOfMGateDefinition.java | 76 + .../faulttree/model/cft/OrGateDefinition.java | 17 + .../dslreasoner/faulttree/model/cft/Output.java | 100 ++ .../model/cft/impl/AndGateDefinitionImpl.java | 37 + .../model/cft/impl/BasicEventDefinitionImpl.java | 178 +++ .../faulttree/model/cft/impl/CftFactoryImpl.java | 217 +++ .../faulttree/model/cft/impl/CftPackageImpl.java | 746 ++++++++++ .../model/cft/impl/ComponentDefinitionImpl.java | 300 ++++ .../model/cft/impl/ComponentFaultTreeImpl.java | 218 +++ .../faulttree/model/cft/impl/ComponentImpl.java | 273 ++++ .../faulttree/model/cft/impl/ConnectionImpl.java | 289 ++++ .../model/cft/impl/EventDeclarationImpl.java | 163 +++ .../model/cft/impl/EventDefinitionImpl.java | 37 + .../model/cft/impl/GateDefinitionImpl.java | 133 ++ .../faulttree/model/cft/impl/InputImpl.java | 309 ++++ .../faulttree/model/cft/impl/IntputEventImpl.java | 164 +++ .../model/cft/impl/KOfMGateDefinitionImpl.java | 220 +++ .../model/cft/impl/OrGateDefinitionImpl.java | 37 + .../faulttree/model/cft/impl/OutputImpl.java | 309 ++++ .../model/cft/util/CftAdapterFactory.java | 354 +++++ .../faulttree/model/cft/util/CftSwitch.java | 398 ++++++ 34 files changed, 6864 insertions(+) create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java create mode 100644 Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java new file mode 100644 index 00000000..cdae0f09 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/AndGateDefinition.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + + +/** + * + * A representation of the model object 'And Gate Definition'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getAndGateDefinition() + * @model + * @generated + */ +public interface AndGateDefinition extends GateDefinition { +} // AndGateDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java new file mode 100644 index 00000000..c963dbfe --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/BasicEventDefinition.java @@ -0,0 +1,50 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; + +/** + * + * A representation of the model object 'Basic Event Definition'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getBasicEventDefinition() + * @model + * @generated + */ +public interface BasicEventDefinition extends EventDefinition { + /** + * Returns the value of the 'Distribution' containment reference. + * + *

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

+ * + * @return the value of the 'Distribution' containment reference. + * @see #setDistribution(Distribution) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getBasicEventDefinition_Distribution() + * @model containment="true" required="true" + * @generated + */ + Distribution getDistribution(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution Distribution}' containment reference. + * + * + * @param value the new value of the 'Distribution' containment reference. + * @see #getDistribution() + * @generated + */ + void setDistribution(Distribution value); + +} // BasicEventDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java new file mode 100644 index 00000000..d5f4cd76 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftFactory.java @@ -0,0 +1,132 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.ecore.EFactory; + +/** + * + * The Factory for the model. + * It provides a create method for each non-abstract class of the model. + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage + * @generated + */ +public interface CftFactory extends EFactory { + /** + * The singleton instance of the factory. + * + * + * @generated + */ + CftFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftFactoryImpl.init(); + + /** + * Returns a new object of class 'Component Definition'. + * + * + * @return a new object of class 'Component Definition'. + * @generated + */ + ComponentDefinition createComponentDefinition(); + + /** + * Returns a new object of class 'Basic Event Definition'. + * + * + * @return a new object of class 'Basic Event Definition'. + * @generated + */ + BasicEventDefinition createBasicEventDefinition(); + + /** + * Returns a new object of class 'Intput Event'. + * + * + * @return a new object of class 'Intput Event'. + * @generated + */ + IntputEvent createIntputEvent(); + + /** + * Returns a new object of class 'And Gate Definition'. + * + * + * @return a new object of class 'And Gate Definition'. + * @generated + */ + AndGateDefinition createAndGateDefinition(); + + /** + * Returns a new object of class 'Or Gate Definition'. + * + * + * @return a new object of class 'Or Gate Definition'. + * @generated + */ + OrGateDefinition createOrGateDefinition(); + + /** + * Returns a new object of class 'KOf MGate Definition'. + * + * + * @return a new object of class 'KOf MGate Definition'. + * @generated + */ + KOfMGateDefinition createKOfMGateDefinition(); + + /** + * Returns a new object of class 'Component Fault Tree'. + * + * + * @return a new object of class 'Component Fault Tree'. + * @generated + */ + ComponentFaultTree createComponentFaultTree(); + + /** + * Returns a new object of class 'Component'. + * + * + * @return a new object of class 'Component'. + * @generated + */ + Component createComponent(); + + /** + * Returns a new object of class 'Input'. + * + * + * @return a new object of class 'Input'. + * @generated + */ + Input createInput(); + + /** + * Returns a new object of class 'Output'. + * + * + * @return a new object of class 'Output'. + * @generated + */ + Output createOutput(); + + /** + * Returns a new object of class 'Connection'. + * + * + * @return a new object of class 'Connection'. + * @generated + */ + Connection createConnection(); + + /** + * Returns the package supported by this factory. + * + * + * @return the package supported by this factory. + * @generated + */ + CftPackage getCftPackage(); + +} //CftFactory diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java new file mode 100644 index 00000000..8cf7dbc6 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java @@ -0,0 +1,1491 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory + * @model kind="package" + * @generated + */ +public interface CftPackage extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "cft"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "cft"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + CftPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl.init(); + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl Component Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentDefinition() + * @generated + */ + int COMPONENT_DEFINITION = 0; + + /** + * The feature id for the 'Input Events' containment reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION__INPUT_EVENTS = 0; + + /** + * The feature id for the 'Event Definitions' containment reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION__EVENT_DEFINITIONS = 1; + + /** + * The feature id for the 'Output Events' reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION__OUTPUT_EVENTS = 2; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION__NAME = 3; + + /** + * The number of structural features of the 'Component Definition' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION_FEATURE_COUNT = 4; + + /** + * The number of operations of the 'Component Definition' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_DEFINITION_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl Event Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDeclaration() + * @generated + */ + int EVENT_DECLARATION = 5; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int EVENT_DECLARATION__NAME = 0; + + /** + * The number of structural features of the 'Event Declaration' class. + * + * + * @generated + * @ordered + */ + int EVENT_DECLARATION_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'Event Declaration' class. + * + * + * @generated + * @ordered + */ + int EVENT_DECLARATION_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl Event Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDefinition() + * @generated + */ + int EVENT_DEFINITION = 1; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int EVENT_DEFINITION__NAME = EVENT_DECLARATION__NAME; + + /** + * The number of structural features of the 'Event Definition' class. + * + * + * @generated + * @ordered + */ + int EVENT_DEFINITION_FEATURE_COUNT = EVENT_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Event Definition' class. + * + * + * @generated + * @ordered + */ + int EVENT_DEFINITION_OPERATION_COUNT = EVENT_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getGateDefinition() + * @generated + */ + int GATE_DEFINITION = 2; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int GATE_DEFINITION__NAME = EVENT_DEFINITION__NAME; + + /** + * The feature id for the 'Input Events' reference list. + * + * + * @generated + * @ordered + */ + int GATE_DEFINITION__INPUT_EVENTS = EVENT_DEFINITION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Gate Definition' class. + * + * + * @generated + * @ordered + */ + int GATE_DEFINITION_FEATURE_COUNT = EVENT_DEFINITION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Gate Definition' class. + * + * + * @generated + * @ordered + */ + int GATE_DEFINITION_OPERATION_COUNT = EVENT_DEFINITION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl Basic Event Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getBasicEventDefinition() + * @generated + */ + int BASIC_EVENT_DEFINITION = 3; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int BASIC_EVENT_DEFINITION__NAME = EVENT_DEFINITION__NAME; + + /** + * The feature id for the 'Distribution' containment reference. + * + * + * @generated + * @ordered + */ + int BASIC_EVENT_DEFINITION__DISTRIBUTION = EVENT_DEFINITION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Basic Event Definition' class. + * + * + * @generated + * @ordered + */ + int BASIC_EVENT_DEFINITION_FEATURE_COUNT = EVENT_DEFINITION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Basic Event Definition' class. + * + * + * @generated + * @ordered + */ + int BASIC_EVENT_DEFINITION_OPERATION_COUNT = EVENT_DEFINITION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl Intput Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getIntputEvent() + * @generated + */ + int INTPUT_EVENT = 4; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int INTPUT_EVENT__NAME = EVENT_DECLARATION__NAME; + + /** + * The feature id for the 'Multiple' attribute. + * + * + * @generated + * @ordered + */ + int INTPUT_EVENT__MULTIPLE = EVENT_DECLARATION_FEATURE_COUNT + 0; + + /** + * The number of structural features of the 'Intput Event' class. + * + * + * @generated + * @ordered + */ + int INTPUT_EVENT_FEATURE_COUNT = EVENT_DECLARATION_FEATURE_COUNT + 1; + + /** + * The number of operations of the 'Intput Event' class. + * + * + * @generated + * @ordered + */ + int INTPUT_EVENT_OPERATION_COUNT = EVENT_DECLARATION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl And Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getAndGateDefinition() + * @generated + */ + int AND_GATE_DEFINITION = 6; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int AND_GATE_DEFINITION__NAME = GATE_DEFINITION__NAME; + + /** + * The feature id for the 'Input Events' reference list. + * + * + * @generated + * @ordered + */ + int AND_GATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS; + + /** + * The number of structural features of the 'And Gate Definition' class. + * + * + * @generated + * @ordered + */ + int AND_GATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'And Gate Definition' class. + * + * + * @generated + * @ordered + */ + int AND_GATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl Or Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOrGateDefinition() + * @generated + */ + int OR_GATE_DEFINITION = 7; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int OR_GATE_DEFINITION__NAME = GATE_DEFINITION__NAME; + + /** + * The feature id for the 'Input Events' reference list. + * + * + * @generated + * @ordered + */ + int OR_GATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS; + + /** + * The number of structural features of the 'Or Gate Definition' class. + * + * + * @generated + * @ordered + */ + int OR_GATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 0; + + /** + * The number of operations of the 'Or Gate Definition' class. + * + * + * @generated + * @ordered + */ + int OR_GATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl KOf MGate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getKOfMGateDefinition() + * @generated + */ + int KOF_MGATE_DEFINITION = 8; + + /** + * The feature id for the 'Name' attribute. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION__NAME = GATE_DEFINITION__NAME; + + /** + * The feature id for the 'Input Events' reference list. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION__INPUT_EVENTS = GATE_DEFINITION__INPUT_EVENTS; + + /** + * The feature id for the 'K' attribute. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION__K = GATE_DEFINITION_FEATURE_COUNT + 0; + + /** + * The feature id for the 'M' attribute. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION__M = GATE_DEFINITION_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'KOf MGate Definition' class. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION_FEATURE_COUNT = GATE_DEFINITION_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'KOf MGate Definition' class. + * + * + * @generated + * @ordered + */ + int KOF_MGATE_DEFINITION_OPERATION_COUNT = GATE_DEFINITION_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl Component Fault Tree}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentFaultTree() + * @generated + */ + int COMPONENT_FAULT_TREE = 9; + + /** + * The feature id for the 'Components' containment reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT_FAULT_TREE__COMPONENTS = 0; + + /** + * The feature id for the 'Top Event' reference. + * + * + * @generated + * @ordered + */ + int COMPONENT_FAULT_TREE__TOP_EVENT = 1; + + /** + * The number of structural features of the 'Component Fault Tree' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_FAULT_TREE_FEATURE_COUNT = 2; + + /** + * The number of operations of the 'Component Fault Tree' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_FAULT_TREE_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl Component}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponent() + * @generated + */ + int COMPONENT = 10; + + /** + * The feature id for the 'Inputs' containment reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT__INPUTS = 0; + + /** + * The feature id for the 'Outputs' containment reference list. + * + * + * @generated + * @ordered + */ + int COMPONENT__OUTPUTS = 1; + + /** + * The feature id for the 'Component Definition' reference. + * + * + * @generated + * @ordered + */ + int COMPONENT__COMPONENT_DEFINITION = 2; + + /** + * The number of structural features of the 'Component' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Component' class. + * + * + * @generated + * @ordered + */ + int COMPONENT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl Input}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getInput() + * @generated + */ + int INPUT = 11; + + /** + * The feature id for the 'Intput Event' reference. + * + * + * @generated + * @ordered + */ + int INPUT__INTPUT_EVENT = 0; + + /** + * The feature id for the 'Component' container reference. + * + * + * @generated + * @ordered + */ + int INPUT__COMPONENT = 1; + + /** + * The feature id for the 'Incoming Connections' containment reference list. + * + * + * @generated + * @ordered + */ + int INPUT__INCOMING_CONNECTIONS = 2; + + /** + * The number of structural features of the 'Input' class. + * + * + * @generated + * @ordered + */ + int INPUT_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Input' class. + * + * + * @generated + * @ordered + */ + int INPUT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl Output}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOutput() + * @generated + */ + int OUTPUT = 12; + + /** + * The feature id for the 'Event Declaration' reference. + * + * + * @generated + * @ordered + */ + int OUTPUT__EVENT_DECLARATION = 0; + + /** + * The feature id for the 'Outgoing Connections' reference list. + * + * + * @generated + * @ordered + */ + int OUTPUT__OUTGOING_CONNECTIONS = 1; + + /** + * The feature id for the 'Component' container reference. + * + * + * @generated + * @ordered + */ + int OUTPUT__COMPONENT = 2; + + /** + * The number of structural features of the 'Output' class. + * + * + * @generated + * @ordered + */ + int OUTPUT_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Output' class. + * + * + * @generated + * @ordered + */ + int OUTPUT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl Connection}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getConnection() + * @generated + */ + int CONNECTION = 13; + + /** + * The feature id for the 'Input' container reference. + * + * + * @generated + * @ordered + */ + int CONNECTION__INPUT = 0; + + /** + * The feature id for the 'Output' reference. + * + * + * @generated + * @ordered + */ + int CONNECTION__OUTPUT = 1; + + /** + * The number of structural features of the 'Connection' class. + * + * + * @generated + * @ordered + */ + int CONNECTION_FEATURE_COUNT = 2; + + /** + * The number of operations of the 'Connection' class. + * + * + * @generated + * @ordered + */ + int CONNECTION_OPERATION_COUNT = 0; + + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition Component Definition}'. + * + * + * @return the meta object for class 'Component Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition + * @generated + */ + EClass getComponentDefinition(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getInputEvents Input Events}'. + * + * + * @return the meta object for the containment reference list 'Input Events'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getInputEvents() + * @see #getComponentDefinition() + * @generated + */ + EReference getComponentDefinition_InputEvents(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getEventDefinitions Event Definitions}'. + * + * + * @return the meta object for the containment reference list 'Event Definitions'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getEventDefinitions() + * @see #getComponentDefinition() + * @generated + */ + EReference getComponentDefinition_EventDefinitions(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getOutputEvents Output Events}'. + * + * + * @return the meta object for the reference list 'Output Events'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getOutputEvents() + * @see #getComponentDefinition() + * @generated + */ + EReference getComponentDefinition_OutputEvents(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName() + * @see #getComponentDefinition() + * @generated + */ + EAttribute getComponentDefinition_Name(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition Event Definition}'. + * + * + * @return the meta object for class 'Event Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition + * @generated + */ + EClass getEventDefinition(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition Gate Definition}'. + * + * + * @return the meta object for class 'Gate Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition + * @generated + */ + EClass getGateDefinition(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents Input Events}'. + * + * + * @return the meta object for the reference list 'Input Events'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents() + * @see #getGateDefinition() + * @generated + */ + EReference getGateDefinition_InputEvents(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition Basic Event Definition}'. + * + * + * @return the meta object for class 'Basic Event Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition + * @generated + */ + EClass getBasicEventDefinition(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution Distribution}'. + * + * + * @return the meta object for the containment reference 'Distribution'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition#getDistribution() + * @see #getBasicEventDefinition() + * @generated + */ + EReference getBasicEventDefinition_Distribution(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent Intput Event}'. + * + * + * @return the meta object for class 'Intput Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent + * @generated + */ + EClass getIntputEvent(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple Multiple}'. + * + * + * @return the meta object for the attribute 'Multiple'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple() + * @see #getIntputEvent() + * @generated + */ + EAttribute getIntputEvent_Multiple(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration Event Declaration}'. + * + * + * @return the meta object for class 'Event Declaration'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration + * @generated + */ + EClass getEventDeclaration(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName Name}'. + * + * + * @return the meta object for the attribute 'Name'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName() + * @see #getEventDeclaration() + * @generated + */ + EAttribute getEventDeclaration_Name(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition And Gate Definition}'. + * + * + * @return the meta object for class 'And Gate Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition + * @generated + */ + EClass getAndGateDefinition(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition Or Gate Definition}'. + * + * + * @return the meta object for class 'Or Gate Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition + * @generated + */ + EClass getOrGateDefinition(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition KOf MGate Definition}'. + * + * + * @return the meta object for class 'KOf MGate Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition + * @generated + */ + EClass getKOfMGateDefinition(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK K}'. + * + * + * @return the meta object for the attribute 'K'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK() + * @see #getKOfMGateDefinition() + * @generated + */ + EAttribute getKOfMGateDefinition_K(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM M}'. + * + * + * @return the meta object for the attribute 'M'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM() + * @see #getKOfMGateDefinition() + * @generated + */ + EAttribute getKOfMGateDefinition_M(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree Component Fault Tree}'. + * + * + * @return the meta object for class 'Component Fault Tree'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree + * @generated + */ + EClass getComponentFaultTree(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents Components}'. + * + * + * @return the meta object for the containment reference list 'Components'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents() + * @see #getComponentFaultTree() + * @generated + */ + EReference getComponentFaultTree_Components(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent Top Event}'. + * + * + * @return the meta object for the reference 'Top Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent() + * @see #getComponentFaultTree() + * @generated + */ + EReference getComponentFaultTree_TopEvent(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component Component}'. + * + * + * @return the meta object for class 'Component'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component + * @generated + */ + EClass getComponent(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs Inputs}'. + * + * + * @return the meta object for the containment reference list 'Inputs'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs() + * @see #getComponent() + * @generated + */ + EReference getComponent_Inputs(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs Outputs}'. + * + * + * @return the meta object for the containment reference list 'Outputs'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs() + * @see #getComponent() + * @generated + */ + EReference getComponent_Outputs(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition Component Definition}'. + * + * + * @return the meta object for the reference 'Component Definition'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition() + * @see #getComponent() + * @generated + */ + EReference getComponent_ComponentDefinition(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input Input}'. + * + * + * @return the meta object for class 'Input'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input + * @generated + */ + EClass getInput(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent Intput Event}'. + * + * + * @return the meta object for the reference 'Intput Event'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent() + * @see #getInput() + * @generated + */ + EReference getInput_IntputEvent(); + + /** + * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent Component}'. + * + * + * @return the meta object for the container reference 'Component'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent() + * @see #getInput() + * @generated + */ + EReference getInput_Component(); + + /** + * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections Incoming Connections}'. + * + * + * @return the meta object for the containment reference list 'Incoming Connections'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections() + * @see #getInput() + * @generated + */ + EReference getInput_IncomingConnections(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output Output}'. + * + * + * @return the meta object for class 'Output'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output + * @generated + */ + EClass getOutput(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration Event Declaration}'. + * + * + * @return the meta object for the reference 'Event Declaration'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration() + * @see #getOutput() + * @generated + */ + EReference getOutput_EventDeclaration(); + + /** + * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections Outgoing Connections}'. + * + * + * @return the meta object for the reference list 'Outgoing Connections'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections() + * @see #getOutput() + * @generated + */ + EReference getOutput_OutgoingConnections(); + + /** + * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent Component}'. + * + * + * @return the meta object for the container reference 'Component'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent() + * @see #getOutput() + * @generated + */ + EReference getOutput_Component(); + + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection Connection}'. + * + * + * @return the meta object for class 'Connection'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection + * @generated + */ + EClass getConnection(); + + /** + * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput Input}'. + * + * + * @return the meta object for the container reference 'Input'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput() + * @see #getConnection() + * @generated + */ + EReference getConnection_Input(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput Output}'. + * + * + * @return the meta object for the reference 'Output'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput() + * @see #getConnection() + * @generated + */ + EReference getConnection_Output(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + CftFactory getCftFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl Component Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentDefinition() + * @generated + */ + EClass COMPONENT_DEFINITION = eINSTANCE.getComponentDefinition(); + + /** + * The meta object literal for the 'Input Events' containment reference list feature. + * + * + * @generated + */ + EReference COMPONENT_DEFINITION__INPUT_EVENTS = eINSTANCE.getComponentDefinition_InputEvents(); + + /** + * The meta object literal for the 'Event Definitions' containment reference list feature. + * + * + * @generated + */ + EReference COMPONENT_DEFINITION__EVENT_DEFINITIONS = eINSTANCE.getComponentDefinition_EventDefinitions(); + + /** + * The meta object literal for the 'Output Events' reference list feature. + * + * + * @generated + */ + EReference COMPONENT_DEFINITION__OUTPUT_EVENTS = eINSTANCE.getComponentDefinition_OutputEvents(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute COMPONENT_DEFINITION__NAME = eINSTANCE.getComponentDefinition_Name(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl Event Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDefinition() + * @generated + */ + EClass EVENT_DEFINITION = eINSTANCE.getEventDefinition(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getGateDefinition() + * @generated + */ + EClass GATE_DEFINITION = eINSTANCE.getGateDefinition(); + + /** + * The meta object literal for the 'Input Events' reference list feature. + * + * + * @generated + */ + EReference GATE_DEFINITION__INPUT_EVENTS = eINSTANCE.getGateDefinition_InputEvents(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl Basic Event Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getBasicEventDefinition() + * @generated + */ + EClass BASIC_EVENT_DEFINITION = eINSTANCE.getBasicEventDefinition(); + + /** + * The meta object literal for the 'Distribution' containment reference feature. + * + * + * @generated + */ + EReference BASIC_EVENT_DEFINITION__DISTRIBUTION = eINSTANCE.getBasicEventDefinition_Distribution(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl Intput Event}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getIntputEvent() + * @generated + */ + EClass INTPUT_EVENT = eINSTANCE.getIntputEvent(); + + /** + * The meta object literal for the 'Multiple' attribute feature. + * + * + * @generated + */ + EAttribute INTPUT_EVENT__MULTIPLE = eINSTANCE.getIntputEvent_Multiple(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl Event Declaration}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getEventDeclaration() + * @generated + */ + EClass EVENT_DECLARATION = eINSTANCE.getEventDeclaration(); + + /** + * The meta object literal for the 'Name' attribute feature. + * + * + * @generated + */ + EAttribute EVENT_DECLARATION__NAME = eINSTANCE.getEventDeclaration_Name(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl And Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.AndGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getAndGateDefinition() + * @generated + */ + EClass AND_GATE_DEFINITION = eINSTANCE.getAndGateDefinition(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl Or Gate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OrGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOrGateDefinition() + * @generated + */ + EClass OR_GATE_DEFINITION = eINSTANCE.getOrGateDefinition(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl KOf MGate Definition}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getKOfMGateDefinition() + * @generated + */ + EClass KOF_MGATE_DEFINITION = eINSTANCE.getKOfMGateDefinition(); + + /** + * The meta object literal for the 'K' attribute feature. + * + * + * @generated + */ + EAttribute KOF_MGATE_DEFINITION__K = eINSTANCE.getKOfMGateDefinition_K(); + + /** + * The meta object literal for the 'M' attribute feature. + * + * + * @generated + */ + EAttribute KOF_MGATE_DEFINITION__M = eINSTANCE.getKOfMGateDefinition_M(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl Component Fault Tree}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponentFaultTree() + * @generated + */ + EClass COMPONENT_FAULT_TREE = eINSTANCE.getComponentFaultTree(); + + /** + * The meta object literal for the 'Components' containment reference list feature. + * + * + * @generated + */ + EReference COMPONENT_FAULT_TREE__COMPONENTS = eINSTANCE.getComponentFaultTree_Components(); + + /** + * The meta object literal for the 'Top Event' reference feature. + * + * + * @generated + */ + EReference COMPONENT_FAULT_TREE__TOP_EVENT = eINSTANCE.getComponentFaultTree_TopEvent(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl Component}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getComponent() + * @generated + */ + EClass COMPONENT = eINSTANCE.getComponent(); + + /** + * The meta object literal for the 'Inputs' containment reference list feature. + * + * + * @generated + */ + EReference COMPONENT__INPUTS = eINSTANCE.getComponent_Inputs(); + + /** + * The meta object literal for the 'Outputs' containment reference list feature. + * + * + * @generated + */ + EReference COMPONENT__OUTPUTS = eINSTANCE.getComponent_Outputs(); + + /** + * The meta object literal for the 'Component Definition' reference feature. + * + * + * @generated + */ + EReference COMPONENT__COMPONENT_DEFINITION = eINSTANCE.getComponent_ComponentDefinition(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl Input}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getInput() + * @generated + */ + EClass INPUT = eINSTANCE.getInput(); + + /** + * The meta object literal for the 'Intput Event' reference feature. + * + * + * @generated + */ + EReference INPUT__INTPUT_EVENT = eINSTANCE.getInput_IntputEvent(); + + /** + * The meta object literal for the 'Component' container reference feature. + * + * + * @generated + */ + EReference INPUT__COMPONENT = eINSTANCE.getInput_Component(); + + /** + * The meta object literal for the 'Incoming Connections' containment reference list feature. + * + * + * @generated + */ + EReference INPUT__INCOMING_CONNECTIONS = eINSTANCE.getInput_IncomingConnections(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl Output}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getOutput() + * @generated + */ + EClass OUTPUT = eINSTANCE.getOutput(); + + /** + * The meta object literal for the 'Event Declaration' reference feature. + * + * + * @generated + */ + EReference OUTPUT__EVENT_DECLARATION = eINSTANCE.getOutput_EventDeclaration(); + + /** + * The meta object literal for the 'Outgoing Connections' reference list feature. + * + * + * @generated + */ + EReference OUTPUT__OUTGOING_CONNECTIONS = eINSTANCE.getOutput_OutgoingConnections(); + + /** + * The meta object literal for the 'Component' container reference feature. + * + * + * @generated + */ + EReference OUTPUT__COMPONENT = eINSTANCE.getOutput_Component(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl Connection}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getConnection() + * @generated + */ + EClass CONNECTION = eINSTANCE.getConnection(); + + /** + * The meta object literal for the 'Input' container reference feature. + * + * + * @generated + */ + EReference CONNECTION__INPUT = eINSTANCE.getConnection_Input(); + + /** + * The meta object literal for the 'Output' reference feature. + * + * + * @generated + */ + EReference CONNECTION__OUTPUT = eINSTANCE.getConnection_Output(); + + } + +} //CftPackage diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java new file mode 100644 index 00000000..e1951172 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Component.java @@ -0,0 +1,90 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Component'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent() + * @model + * @generated + */ +public interface Component extends EObject { + /** + * Returns the value of the 'Inputs' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input}. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent Component}'. + * + *

+ * If the meaning of the 'Inputs' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Inputs' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_Inputs() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent + * @model opposite="component" containment="true" + * @generated + */ + EList getInputs(); + + /** + * Returns the value of the 'Outputs' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output}. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent Component}'. + * + *

+ * If the meaning of the 'Outputs' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Outputs' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_Outputs() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent + * @model opposite="component" containment="true" + * @generated + */ + EList getOutputs(); + + /** + * Returns the value of the 'Component Definition' reference. + * + *

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

+ * + * @return the value of the 'Component Definition' reference. + * @see #setComponentDefinition(ComponentDefinition) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponent_ComponentDefinition() + * @model required="true" + * @generated + */ + ComponentDefinition getComponentDefinition(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getComponentDefinition Component Definition}' reference. + * + * + * @param value the new value of the 'Component Definition' reference. + * @see #getComponentDefinition() + * @generated + */ + void setComponentDefinition(ComponentDefinition value); + +} // Component diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java new file mode 100644 index 00000000..b3f3b163 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentDefinition.java @@ -0,0 +1,103 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Component Definition'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition() + * @model + * @generated + */ +public interface ComponentDefinition extends EObject { + /** + * Returns the value of the 'Input Events' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent}. + * + *

+ * If the meaning of the 'Input Events' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Input Events' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_InputEvents() + * @model containment="true" + * @generated + */ + EList getInputEvents(); + + /** + * Returns the value of the 'Event Definitions' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition}. + * + *

+ * If the meaning of the 'Event Definitions' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Event Definitions' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_EventDefinitions() + * @model containment="true" + * @generated + */ + EList getEventDefinitions(); + + /** + * Returns the value of the 'Output Events' reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration}. + * + *

+ * If the meaning of the 'Output Events' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Output Events' reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentDefinition_OutputEvents() + * @model + * @generated + */ + EList getOutputEvents(); + + /** + * 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.cft.CftPackage#getComponentDefinition_Name() + * @model + * @generated + */ + String getName(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition#getName Name}' attribute. + * + * + * @param value the new value of the 'Name' attribute. + * @see #getName() + * @generated + */ + void setName(String value); + +} // ComponentDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java new file mode 100644 index 00000000..06554378 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/ComponentFaultTree.java @@ -0,0 +1,69 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Component Fault Tree'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getComponents Components}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent Top Event}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree() + * @model + * @generated + */ +public interface ComponentFaultTree extends EObject { + /** + * Returns the value of the 'Components' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component}. + * + *

+ * If the meaning of the 'Components' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Components' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree_Components() + * @model containment="true" + * @generated + */ + EList getComponents(); + + /** + * Returns the value of the 'Top Event' reference. + * + *

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

+ * + * @return the value of the 'Top Event' reference. + * @see #setTopEvent(Output) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getComponentFaultTree_TopEvent() + * @model required="true" + * @generated + */ + Output getTopEvent(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree#getTopEvent Top Event}' reference. + * + * + * @param value the new value of the 'Top Event' reference. + * @see #getTopEvent() + * @generated + */ + void setTopEvent(Output value); + +} // ComponentFaultTree diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java new file mode 100644 index 00000000..c05e809b --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Connection.java @@ -0,0 +1,81 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Connection'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput Input}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput Output}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection() + * @model + * @generated + */ +public interface Connection extends EObject { + /** + * Returns the value of the 'Input' container reference. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections Incoming Connections}'. + * + *

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

+ * + * @return the value of the 'Input' container reference. + * @see #setInput(Input) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection_Input() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections + * @model opposite="incomingConnections" required="true" transient="false" + * @generated + */ + Input getInput(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput Input}' container reference. + * + * + * @param value the new value of the 'Input' container reference. + * @see #getInput() + * @generated + */ + void setInput(Input value); + + /** + * Returns the value of the 'Output' reference. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections Outgoing Connections}'. + * + *

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

+ * + * @return the value of the 'Output' reference. + * @see #setOutput(Output) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getConnection_Output() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections + * @model opposite="outgoingConnections" required="true" + * @generated + */ + Output getOutput(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput Output}' reference. + * + * + * @param value the new value of the 'Output' reference. + * @see #getOutput() + * @generated + */ + void setOutput(Output value); + +} // Connection diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java new file mode 100644 index 00000000..1e52a570 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDeclaration.java @@ -0,0 +1,50 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Event Declaration'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName Name}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getEventDeclaration() + * @model abstract="true" + * @generated + */ +public interface EventDeclaration 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.cft.CftPackage#getEventDeclaration_Name() + * @model + * @generated + */ + String getName(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration#getName Name}' attribute. + * + * + * @param value the new value of the 'Name' attribute. + * @see #getName() + * @generated + */ + void setName(String value); +} // EventDeclaration diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java new file mode 100644 index 00000000..d279ddfc --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/EventDefinition.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + + +/** + * + * A representation of the model object 'Event Definition'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getEventDefinition() + * @model abstract="true" + * @generated + */ +public interface EventDefinition extends EventDeclaration { +} // EventDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java new file mode 100644 index 00000000..2173be5c --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/GateDefinition.java @@ -0,0 +1,40 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +/** + * + * A representation of the model object 'Gate Definition'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition#getInputEvents Input Events}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getGateDefinition() + * @model abstract="true" + * @generated + */ +public interface GateDefinition extends EventDefinition { + /** + * Returns the value of the 'Input Events' reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration}. + * + *

+ * If the meaning of the 'Input Events' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Input Events' reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getGateDefinition_InputEvents() + * @model + * @generated + */ + EList getInputEvents(); + +} // GateDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java new file mode 100644 index 00000000..55da3f9a --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Input.java @@ -0,0 +1,100 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Input'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent Intput Event}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent Component}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIncomingConnections Incoming Connections}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput() + * @model + * @generated + */ +public interface Input extends EObject { + /** + * Returns the value of the 'Intput Event' reference. + * + *

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

+ * + * @return the value of the 'Intput Event' reference. + * @see #setIntputEvent(IntputEvent) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_IntputEvent() + * @model required="true" + * @generated + */ + IntputEvent getIntputEvent(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getIntputEvent Intput Event}' reference. + * + * + * @param value the new value of the 'Intput Event' reference. + * @see #getIntputEvent() + * @generated + */ + void setIntputEvent(IntputEvent value); + + /** + * Returns the value of the 'Component' container reference. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs Inputs}'. + * + *

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

+ * + * @return the value of the 'Component' container reference. + * @see #setComponent(Component) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_Component() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getInputs + * @model opposite="inputs" required="true" transient="false" + * @generated + */ + Component getComponent(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input#getComponent Component}' container reference. + * + * + * @param value the new value of the 'Component' container reference. + * @see #getComponent() + * @generated + */ + void setComponent(Component value); + + /** + * Returns the value of the 'Incoming Connections' containment reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection}. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput Input}'. + * + *

+ * If the meaning of the 'Incoming Connections' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Incoming Connections' containment reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getInput_IncomingConnections() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getInput + * @model opposite="input" containment="true" + * @generated + */ + EList getIncomingConnections(); + +} // Input diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java new file mode 100644 index 00000000..bec5c487 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/IntputEvent.java @@ -0,0 +1,49 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + + +/** + * + * A representation of the model object 'Intput Event'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple Multiple}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getIntputEvent() + * @model + * @generated + */ +public interface IntputEvent extends EventDeclaration { + /** + * Returns the value of the 'Multiple' attribute. + * + *

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

+ * + * @return the value of the 'Multiple' attribute. + * @see #setMultiple(boolean) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getIntputEvent_Multiple() + * @model + * @generated + */ + boolean isMultiple(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent#isMultiple Multiple}' attribute. + * + * + * @param value the new value of the 'Multiple' attribute. + * @see #isMultiple() + * @generated + */ + void setMultiple(boolean value); + +} // IntputEvent diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java new file mode 100644 index 00000000..6e1bc1c1 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/KOfMGateDefinition.java @@ -0,0 +1,76 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + + +/** + * + * A representation of the model object 'KOf MGate Definition'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK K}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM M}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition() + * @model + * @generated + */ +public interface KOfMGateDefinition extends GateDefinition { + /** + * Returns the value of the 'K' attribute. + * + *

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

+ * + * @return the value of the 'K' attribute. + * @see #setK(int) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getKOfMGateDefinition_K() + * @model + * @generated + */ + int getK(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getK K}' attribute. + * + * + * @param value the new value of the 'K' attribute. + * @see #getK() + * @generated + */ + 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.cft.CftPackage#getKOfMGateDefinition_M() + * @model + * @generated + */ + int getM(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition#getM M}' attribute. + * + * + * @param value the new value of the 'M' attribute. + * @see #getM() + * @generated + */ + void setM(int value); + +} // KOfMGateDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java new file mode 100644 index 00000000..f62d6652 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/OrGateDefinition.java @@ -0,0 +1,17 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + + +/** + * + * A representation of the model object 'Or Gate Definition'. + * + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOrGateDefinition() + * @model + * @generated + */ +public interface OrGateDefinition extends GateDefinition { +} // OrGateDefinition diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java new file mode 100644 index 00000000..ffb61b8c --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/Output.java @@ -0,0 +1,100 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Output'. + * + * + *

+ * The following features are supported: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration Event Declaration}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getOutgoingConnections Outgoing Connections}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent Component}
    • + *
+ * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput() + * @model + * @generated + */ +public interface Output extends EObject { + /** + * Returns the value of the 'Event Declaration' reference. + * + *

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

+ * + * @return the value of the 'Event Declaration' reference. + * @see #setEventDeclaration(EventDeclaration) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_EventDeclaration() + * @model required="true" + * @generated + */ + EventDeclaration getEventDeclaration(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getEventDeclaration Event Declaration}' reference. + * + * + * @param value the new value of the 'Event Declaration' reference. + * @see #getEventDeclaration() + * @generated + */ + void setEventDeclaration(EventDeclaration value); + + /** + * Returns the value of the 'Outgoing Connections' reference list. + * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection}. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput Output}'. + * + *

+ * If the meaning of the 'Outgoing Connections' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Outgoing Connections' reference list. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_OutgoingConnections() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection#getOutput + * @model opposite="output" + * @generated + */ + EList getOutgoingConnections(); + + /** + * Returns the value of the 'Component' container reference. + * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs Outputs}'. + * + *

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

+ * + * @return the value of the 'Component' container reference. + * @see #setComponent(Component) + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#getOutput_Component() + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#getOutputs + * @model opposite="outputs" required="true" transient="false" + * @generated + */ + Component getComponent(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output#getComponent Component}' container reference. + * + * + * @param value the new value of the 'Component' container reference. + * @see #getComponent() + * @generated + */ + void setComponent(Component value); + +} // Output diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java new file mode 100644 index 00000000..fd716fc9 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/AndGateDefinitionImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'And Gate Definition'. + * + * + * @generated + */ +public class AndGateDefinitionImpl extends GateDefinitionImpl implements AndGateDefinition { + /** + * + * + * @generated + */ + protected AndGateDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.AND_GATE_DEFINITION; + } + +} //AndGateDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java new file mode 100644 index 00000000..87fc5d70 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/BasicEventDefinitionImpl.java @@ -0,0 +1,178 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; + +/** + * + * An implementation of the model object 'Basic Event Definition'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.BasicEventDefinitionImpl#getDistribution Distribution}
    • + *
+ * + * @generated + */ +public class BasicEventDefinitionImpl extends EventDefinitionImpl implements BasicEventDefinition { + /** + * The cached value of the '{@link #getDistribution() Distribution}' containment reference. + * + * + * @see #getDistribution() + * @generated + * @ordered + */ + protected Distribution distribution; + + /** + * + * + * @generated + */ + protected BasicEventDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.BASIC_EVENT_DEFINITION; + } + + /** + * + * + * @generated + */ + @Override + public Distribution getDistribution() { + return distribution; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetDistribution(Distribution newDistribution, NotificationChain msgs) { + Distribution oldDistribution = distribution; + distribution = newDistribution; + if (eNotificationRequired()) { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, oldDistribution, newDistribution); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setDistribution(Distribution newDistribution) { + if (newDistribution != distribution) { + NotificationChain msgs = null; + if (distribution != null) + msgs = ((InternalEObject)distribution).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, null, msgs); + if (newDistribution != null) + msgs = ((InternalEObject)newDistribution).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, null, msgs); + msgs = basicSetDistribution(newDistribution, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION, newDistribution, newDistribution)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION: + return basicSetDistribution(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION: + return getDistribution(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION: + setDistribution((Distribution)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION: + setDistribution((Distribution)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.BASIC_EVENT_DEFINITION__DISTRIBUTION: + return distribution != null; + } + return super.eIsSet(featureID); + } + +} //BasicEventDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java new file mode 100644 index 00000000..33778461 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftFactoryImpl.java @@ -0,0 +1,217 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.impl.EFactoryImpl; + +import org.eclipse.emf.ecore.plugin.EcorePlugin; + +/** + * + * An implementation of the model Factory. + * + * @generated + */ +public class CftFactoryImpl extends EFactoryImpl implements CftFactory { + /** + * Creates the default factory implementation. + * + * + * @generated + */ + public static CftFactory init() { + try { + CftFactory theCftFactory = (CftFactory)EPackage.Registry.INSTANCE.getEFactory(CftPackage.eNS_URI); + if (theCftFactory != null) { + return theCftFactory; + } + } + catch (Exception exception) { + EcorePlugin.INSTANCE.log(exception); + } + return new CftFactoryImpl(); + } + + /** + * Creates an instance of the factory. + * + * + * @generated + */ + public CftFactoryImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + public EObject create(EClass eClass) { + switch (eClass.getClassifierID()) { + case CftPackage.COMPONENT_DEFINITION: return createComponentDefinition(); + case CftPackage.BASIC_EVENT_DEFINITION: return createBasicEventDefinition(); + case CftPackage.INTPUT_EVENT: return createIntputEvent(); + case CftPackage.AND_GATE_DEFINITION: return createAndGateDefinition(); + case CftPackage.OR_GATE_DEFINITION: return createOrGateDefinition(); + case CftPackage.KOF_MGATE_DEFINITION: return createKOfMGateDefinition(); + case CftPackage.COMPONENT_FAULT_TREE: return createComponentFaultTree(); + case CftPackage.COMPONENT: return createComponent(); + case CftPackage.INPUT: return createInput(); + case CftPackage.OUTPUT: return createOutput(); + case CftPackage.CONNECTION: return createConnection(); + default: + throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); + } + } + + /** + * + * + * @generated + */ + @Override + public ComponentDefinition createComponentDefinition() { + ComponentDefinitionImpl componentDefinition = new ComponentDefinitionImpl(); + return componentDefinition; + } + + /** + * + * + * @generated + */ + @Override + public BasicEventDefinition createBasicEventDefinition() { + BasicEventDefinitionImpl basicEventDefinition = new BasicEventDefinitionImpl(); + return basicEventDefinition; + } + + /** + * + * + * @generated + */ + @Override + public IntputEvent createIntputEvent() { + IntputEventImpl intputEvent = new IntputEventImpl(); + return intputEvent; + } + + /** + * + * + * @generated + */ + @Override + public AndGateDefinition createAndGateDefinition() { + AndGateDefinitionImpl andGateDefinition = new AndGateDefinitionImpl(); + return andGateDefinition; + } + + /** + * + * + * @generated + */ + @Override + public OrGateDefinition createOrGateDefinition() { + OrGateDefinitionImpl orGateDefinition = new OrGateDefinitionImpl(); + return orGateDefinition; + } + + /** + * + * + * @generated + */ + @Override + public KOfMGateDefinition createKOfMGateDefinition() { + KOfMGateDefinitionImpl kOfMGateDefinition = new KOfMGateDefinitionImpl(); + return kOfMGateDefinition; + } + + /** + * + * + * @generated + */ + @Override + public ComponentFaultTree createComponentFaultTree() { + ComponentFaultTreeImpl componentFaultTree = new ComponentFaultTreeImpl(); + return componentFaultTree; + } + + /** + * + * + * @generated + */ + @Override + public Component createComponent() { + ComponentImpl component = new ComponentImpl(); + return component; + } + + /** + * + * + * @generated + */ + @Override + public Input createInput() { + InputImpl input = new InputImpl(); + return input; + } + + /** + * + * + * @generated + */ + @Override + public Output createOutput() { + OutputImpl output = new OutputImpl(); + return output; + } + + /** + * + * + * @generated + */ + @Override + public Connection createConnection() { + ConnectionImpl connection = new ConnectionImpl(); + return connection; + } + + /** + * + * + * @generated + */ + @Override + public CftPackage getCftPackage() { + return (CftPackage)getEPackage(); + } + + /** + * + * + * @deprecated + * @generated + */ + @Deprecated + public static CftPackage getPackage() { + return CftPackage.eINSTANCE; + } + +} //CftFactoryImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java new file mode 100644 index 00000000..f03fa0ba --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java @@ -0,0 +1,746 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; + +import org.eclipse.emf.ecore.EAttribute; +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +import org.eclipse.emf.ecore.impl.EPackageImpl; + +/** + * + * An implementation of the model Package. + * + * @generated + */ +public class CftPackageImpl extends EPackageImpl implements CftPackage { + /** + * + * + * @generated + */ + private EClass componentDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass eventDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass gateDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass basicEventDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass intputEventEClass = null; + + /** + * + * + * @generated + */ + private EClass eventDeclarationEClass = null; + + /** + * + * + * @generated + */ + private EClass andGateDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass orGateDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass kOfMGateDefinitionEClass = null; + + /** + * + * + * @generated + */ + private EClass componentFaultTreeEClass = null; + + /** + * + * + * @generated + */ + private EClass componentEClass = null; + + /** + * + * + * @generated + */ + private EClass inputEClass = null; + + /** + * + * + * @generated + */ + private EClass outputEClass = null; + + /** + * + * + * @generated + */ + private EClass connectionEClass = null; + + /** + * Creates an instance of the model Package, registered with + * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package + * package URI value. + *

Note: the correct way to create the package is via the static + * factory method {@link #init init()}, which also performs + * initialization of the package, or returns the registered package, + * if one already exists. + * + * + * @see org.eclipse.emf.ecore.EPackage.Registry + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage#eNS_URI + * @see #init() + * @generated + */ + private CftPackageImpl() { + super(eNS_URI, CftFactory.eINSTANCE); + } + + /** + * + * + * @generated + */ + private static boolean isInited = false; + + /** + * Creates, registers, and initializes the Package for this model, and for any others upon which it depends. + * + *

This method is used to initialize {@link CftPackage#eINSTANCE} when that field is accessed. + * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. + * + * + * @see #eNS_URI + * @see #createPackageContents() + * @see #initializePackageContents() + * @generated + */ + public static CftPackage init() { + if (isInited) return (CftPackage)EPackage.Registry.INSTANCE.getEPackage(CftPackage.eNS_URI); + + // Obtain or create and register package + Object registeredCftPackage = EPackage.Registry.INSTANCE.get(eNS_URI); + CftPackageImpl theCftPackage = registeredCftPackage instanceof CftPackageImpl ? (CftPackageImpl)registeredCftPackage : new CftPackageImpl(); + + isInited = true; + + // Initialize simple dependencies + FtPackage.eINSTANCE.eClass(); + + // Create package meta-data objects + theCftPackage.createPackageContents(); + + // Initialize created meta-data + theCftPackage.initializePackageContents(); + + // Mark meta-data to indicate it can't be changed + theCftPackage.freeze(); + + // Update the registry and return the package + EPackage.Registry.INSTANCE.put(CftPackage.eNS_URI, theCftPackage); + return theCftPackage; + } + + /** + * + * + * @generated + */ + @Override + public EClass getComponentDefinition() { + return componentDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponentDefinition_InputEvents() { + return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponentDefinition_EventDefinitions() { + return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponentDefinition_OutputEvents() { + return (EReference)componentDefinitionEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getComponentDefinition_Name() { + return (EAttribute)componentDefinitionEClass.getEStructuralFeatures().get(3); + } + + /** + * + * + * @generated + */ + @Override + public EClass getEventDefinition() { + return eventDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EClass getGateDefinition() { + return gateDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getGateDefinition_InputEvents() { + return (EReference)gateDefinitionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EClass getBasicEventDefinition() { + return basicEventDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getBasicEventDefinition_Distribution() { + return (EReference)basicEventDefinitionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EClass getIntputEvent() { + return intputEventEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getIntputEvent_Multiple() { + return (EAttribute)intputEventEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EClass getEventDeclaration() { + return eventDeclarationEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getEventDeclaration_Name() { + return (EAttribute)eventDeclarationEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EClass getAndGateDefinition() { + return andGateDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EClass getOrGateDefinition() { + return orGateDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EClass getKOfMGateDefinition() { + return kOfMGateDefinitionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getKOfMGateDefinition_K() { + return (EAttribute)kOfMGateDefinitionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getKOfMGateDefinition_M() { + return (EAttribute)kOfMGateDefinitionEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EClass getComponentFaultTree() { + return componentFaultTreeEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponentFaultTree_Components() { + return (EReference)componentFaultTreeEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponentFaultTree_TopEvent() { + return (EReference)componentFaultTreeEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EClass getComponent() { + return componentEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponent_Inputs() { + return (EReference)componentEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponent_Outputs() { + return (EReference)componentEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EReference getComponent_ComponentDefinition() { + return (EReference)componentEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + @Override + public EClass getInput() { + return inputEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getInput_IntputEvent() { + return (EReference)inputEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getInput_Component() { + return (EReference)inputEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EReference getInput_IncomingConnections() { + return (EReference)inputEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + @Override + public EClass getOutput() { + return outputEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getOutput_EventDeclaration() { + return (EReference)outputEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getOutput_OutgoingConnections() { + return (EReference)outputEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public EReference getOutput_Component() { + return (EReference)outputEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + @Override + public EClass getConnection() { + return connectionEClass; + } + + /** + * + * + * @generated + */ + @Override + public EReference getConnection_Input() { + return (EReference)connectionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EReference getConnection_Output() { + return (EReference)connectionEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + @Override + public CftFactory getCftFactory() { + return (CftFactory)getEFactoryInstance(); + } + + /** + * + * + * @generated + */ + private boolean isCreated = false; + + /** + * Creates the meta-model objects for the package. This method is + * guarded to have no affect on any invocation but its first. + * + * + * @generated + */ + public void createPackageContents() { + if (isCreated) return; + isCreated = true; + + // Create classes and their features + componentDefinitionEClass = createEClass(COMPONENT_DEFINITION); + createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__INPUT_EVENTS); + createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__EVENT_DEFINITIONS); + createEReference(componentDefinitionEClass, COMPONENT_DEFINITION__OUTPUT_EVENTS); + createEAttribute(componentDefinitionEClass, COMPONENT_DEFINITION__NAME); + + eventDefinitionEClass = createEClass(EVENT_DEFINITION); + + gateDefinitionEClass = createEClass(GATE_DEFINITION); + createEReference(gateDefinitionEClass, GATE_DEFINITION__INPUT_EVENTS); + + basicEventDefinitionEClass = createEClass(BASIC_EVENT_DEFINITION); + createEReference(basicEventDefinitionEClass, BASIC_EVENT_DEFINITION__DISTRIBUTION); + + intputEventEClass = createEClass(INTPUT_EVENT); + createEAttribute(intputEventEClass, INTPUT_EVENT__MULTIPLE); + + eventDeclarationEClass = createEClass(EVENT_DECLARATION); + createEAttribute(eventDeclarationEClass, EVENT_DECLARATION__NAME); + + andGateDefinitionEClass = createEClass(AND_GATE_DEFINITION); + + orGateDefinitionEClass = createEClass(OR_GATE_DEFINITION); + + kOfMGateDefinitionEClass = createEClass(KOF_MGATE_DEFINITION); + createEAttribute(kOfMGateDefinitionEClass, KOF_MGATE_DEFINITION__K); + createEAttribute(kOfMGateDefinitionEClass, KOF_MGATE_DEFINITION__M); + + componentFaultTreeEClass = createEClass(COMPONENT_FAULT_TREE); + createEReference(componentFaultTreeEClass, COMPONENT_FAULT_TREE__COMPONENTS); + createEReference(componentFaultTreeEClass, COMPONENT_FAULT_TREE__TOP_EVENT); + + componentEClass = createEClass(COMPONENT); + createEReference(componentEClass, COMPONENT__INPUTS); + createEReference(componentEClass, COMPONENT__OUTPUTS); + createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION); + + inputEClass = createEClass(INPUT); + createEReference(inputEClass, INPUT__INTPUT_EVENT); + createEReference(inputEClass, INPUT__COMPONENT); + createEReference(inputEClass, INPUT__INCOMING_CONNECTIONS); + + outputEClass = createEClass(OUTPUT); + createEReference(outputEClass, OUTPUT__EVENT_DECLARATION); + createEReference(outputEClass, OUTPUT__OUTGOING_CONNECTIONS); + createEReference(outputEClass, OUTPUT__COMPONENT); + + connectionEClass = createEClass(CONNECTION); + createEReference(connectionEClass, CONNECTION__INPUT); + createEReference(connectionEClass, CONNECTION__OUTPUT); + } + + /** + * + * + * @generated + */ + private boolean isInitialized = false; + + /** + * Complete the initialization of the package and its meta-model. This + * method is guarded to have no affect on any invocation but its first. + * + * + * @generated + */ + public void initializePackageContents() { + if (isInitialized) return; + isInitialized = true; + + // Initialize package + setName(eNAME); + setNsPrefix(eNS_PREFIX); + setNsURI(eNS_URI); + + // Obtain other dependent packages + FtPackage theFtPackage = (FtPackage)EPackage.Registry.INSTANCE.getEPackage(FtPackage.eNS_URI); + + // Create type parameters + + // Set bounds for type parameters + + // Add supertypes to classes + eventDefinitionEClass.getESuperTypes().add(this.getEventDeclaration()); + gateDefinitionEClass.getESuperTypes().add(this.getEventDefinition()); + basicEventDefinitionEClass.getESuperTypes().add(this.getEventDefinition()); + intputEventEClass.getESuperTypes().add(this.getEventDeclaration()); + andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); + orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); + kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); + + // Initialize classes, features, and operations; add parameters + initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getComponentDefinition_InputEvents(), this.getIntputEvent(), null, "inputEvents", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getComponentDefinition_EventDefinitions(), this.getEventDefinition(), null, "eventDefinitions", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getComponentDefinition_OutputEvents(), this.getEventDeclaration(), null, "outputEvents", null, 0, -1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getComponentDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, ComponentDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(eventDefinitionEClass, EventDefinition.class, "EventDefinition", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(gateDefinitionEClass, GateDefinition.class, "GateDefinition", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getGateDefinition_InputEvents(), this.getEventDeclaration(), null, "inputEvents", null, 0, -1, GateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(basicEventDefinitionEClass, BasicEventDefinition.class, "BasicEventDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getBasicEventDefinition_Distribution(), theFtPackage.getDistribution(), null, "distribution", null, 1, 1, BasicEventDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(intputEventEClass, IntputEvent.class, "IntputEvent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getIntputEvent_Multiple(), ecorePackage.getEBoolean(), "multiple", null, 0, 1, IntputEvent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(eventDeclarationEClass, EventDeclaration.class, "EventDeclaration", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getEventDeclaration_Name(), ecorePackage.getEString(), "name", null, 0, 1, EventDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(andGateDefinitionEClass, AndGateDefinition.class, "AndGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(orGateDefinitionEClass, OrGateDefinition.class, "OrGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(kOfMGateDefinitionEClass, KOfMGateDefinition.class, "KOfMGateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getKOfMGateDefinition_K(), ecorePackage.getEInt(), "k", null, 0, 1, KOfMGateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getKOfMGateDefinition_M(), ecorePackage.getEInt(), "m", null, 0, 1, KOfMGateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(componentFaultTreeEClass, ComponentFaultTree.class, "ComponentFaultTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getComponentFaultTree_Components(), this.getComponent(), null, "components", null, 0, -1, ComponentFaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getComponentFaultTree_TopEvent(), this.getOutput(), null, "topEvent", null, 1, 1, ComponentFaultTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(componentEClass, Component.class, "Component", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getComponent_Inputs(), this.getInput(), this.getInput_Component(), "inputs", null, 0, -1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getComponent_Outputs(), this.getOutput(), this.getOutput_Component(), "outputs", null, 0, -1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getComponent_ComponentDefinition(), this.getComponentDefinition(), null, "componentDefinition", null, 1, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getInput_IntputEvent(), this.getIntputEvent(), null, "intputEvent", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getInput_Component(), this.getComponent(), this.getComponent_Inputs(), "component", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getInput_IncomingConnections(), this.getConnection(), this.getConnection_Input(), "incomingConnections", null, 0, -1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(outputEClass, Output.class, "Output", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getOutput_EventDeclaration(), this.getEventDeclaration(), null, "eventDeclaration", null, 1, 1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getOutput_OutgoingConnections(), this.getConnection(), this.getConnection_Output(), "outgoingConnections", null, 0, -1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getOutput_Component(), this.getComponent(), this.getComponent_Outputs(), "component", null, 1, 1, Output.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(connectionEClass, Connection.class, "Connection", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getConnection_Input(), this.getInput(), this.getInput_IncomingConnections(), "input", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getConnection_Output(), this.getOutput(), this.getOutput_OutgoingConnections(), "output", null, 1, 1, Connection.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + // Create resource + createResource(eNS_URI); + } + +} //CftPackageImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java new file mode 100644 index 00000000..58a476f3 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentDefinitionImpl.java @@ -0,0 +1,300 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +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.EObjectResolvingEList; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Component Definition'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getInputEvents Input Events}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getEventDefinitions Event Definitions}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getOutputEvents Output Events}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentDefinitionImpl#getName Name}
    • + *
+ * + * @generated + */ +public class ComponentDefinitionImpl extends MinimalEObjectImpl.Container implements ComponentDefinition { + /** + * The cached value of the '{@link #getInputEvents() Input Events}' containment reference list. + * + * + * @see #getInputEvents() + * @generated + * @ordered + */ + protected EList inputEvents; + + /** + * The cached value of the '{@link #getEventDefinitions() Event Definitions}' containment reference list. + * + * + * @see #getEventDefinitions() + * @generated + * @ordered + */ + protected EList eventDefinitions; + + /** + * The cached value of the '{@link #getOutputEvents() Output Events}' reference list. + * + * + * @see #getOutputEvents() + * @generated + * @ordered + */ + protected EList outputEvents; + + /** + * 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 ComponentDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.COMPONENT_DEFINITION; + } + + /** + * + * + * @generated + */ + @Override + public EList getInputEvents() { + if (inputEvents == null) { + inputEvents = new EObjectContainmentEList(IntputEvent.class, this, CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS); + } + return inputEvents; + } + + /** + * + * + * @generated + */ + @Override + public EList getEventDefinitions() { + if (eventDefinitions == null) { + eventDefinitions = new EObjectContainmentEList(EventDefinition.class, this, CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS); + } + return eventDefinitions; + } + + /** + * + * + * @generated + */ + @Override + public EList getOutputEvents() { + if (outputEvents == null) { + outputEvents = new EObjectResolvingEList(EventDeclaration.class, this, CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS); + } + return outputEvents; + } + + /** + * + * + * @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, CftPackage.COMPONENT_DEFINITION__NAME, oldName, name)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS: + return ((InternalEList)getInputEvents()).basicRemove(otherEnd, msgs); + case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS: + return ((InternalEList)getEventDefinitions()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS: + return getInputEvents(); + case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS: + return getEventDefinitions(); + case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS: + return getOutputEvents(); + case CftPackage.COMPONENT_DEFINITION__NAME: + return getName(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS: + getInputEvents().clear(); + getInputEvents().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS: + getEventDefinitions().clear(); + getEventDefinitions().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS: + getOutputEvents().clear(); + getOutputEvents().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT_DEFINITION__NAME: + setName((String)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS: + getInputEvents().clear(); + return; + case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS: + getEventDefinitions().clear(); + return; + case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS: + getOutputEvents().clear(); + return; + case CftPackage.COMPONENT_DEFINITION__NAME: + setName(NAME_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT_DEFINITION__INPUT_EVENTS: + return inputEvents != null && !inputEvents.isEmpty(); + case CftPackage.COMPONENT_DEFINITION__EVENT_DEFINITIONS: + return eventDefinitions != null && !eventDefinitions.isEmpty(); + case CftPackage.COMPONENT_DEFINITION__OUTPUT_EVENTS: + return outputEvents != null && !outputEvents.isEmpty(); + case CftPackage.COMPONENT_DEFINITION__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(); + } + +} //ComponentDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java new file mode 100644 index 00000000..b84b6436 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentFaultTreeImpl.java @@ -0,0 +1,218 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +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; + +/** + * + * An implementation of the model object 'Component Fault Tree'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl#getComponents Components}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentFaultTreeImpl#getTopEvent Top Event}
    • + *
+ * + * @generated + */ +public class ComponentFaultTreeImpl extends MinimalEObjectImpl.Container implements ComponentFaultTree { + /** + * The cached value of the '{@link #getComponents() Components}' containment reference list. + * + * + * @see #getComponents() + * @generated + * @ordered + */ + protected EList components; + + /** + * The cached value of the '{@link #getTopEvent() Top Event}' reference. + * + * + * @see #getTopEvent() + * @generated + * @ordered + */ + protected Output topEvent; + + /** + * + * + * @generated + */ + protected ComponentFaultTreeImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.COMPONENT_FAULT_TREE; + } + + /** + * + * + * @generated + */ + @Override + public EList getComponents() { + if (components == null) { + components = new EObjectContainmentEList(Component.class, this, CftPackage.COMPONENT_FAULT_TREE__COMPONENTS); + } + return components; + } + + /** + * + * + * @generated + */ + @Override + public Output getTopEvent() { + if (topEvent != null && topEvent.eIsProxy()) { + InternalEObject oldTopEvent = (InternalEObject)topEvent; + topEvent = (Output)eResolveProxy(oldTopEvent); + if (topEvent != oldTopEvent) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); + } + } + return topEvent; + } + + /** + * + * + * @generated + */ + public Output basicGetTopEvent() { + return topEvent; + } + + /** + * + * + * @generated + */ + @Override + public void setTopEvent(Output newTopEvent) { + Output oldTopEvent = topEvent; + topEvent = newTopEvent; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT, oldTopEvent, topEvent)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS: + return ((InternalEList)getComponents()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS: + return getComponents(); + case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT: + if (resolve) return getTopEvent(); + return basicGetTopEvent(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS: + getComponents().clear(); + getComponents().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT: + setTopEvent((Output)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS: + getComponents().clear(); + return; + case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT: + setTopEvent((Output)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT_FAULT_TREE__COMPONENTS: + return components != null && !components.isEmpty(); + case CftPackage.COMPONENT_FAULT_TREE__TOP_EVENT: + return topEvent != null; + } + return super.eIsSet(featureID); + } + +} //ComponentFaultTreeImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java new file mode 100644 index 00000000..6d23dc78 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ComponentImpl.java @@ -0,0 +1,273 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +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.EObjectContainmentWithInverseEList; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Component'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getInputs Inputs}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getOutputs Outputs}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl#getComponentDefinition Component Definition}
    • + *
+ * + * @generated + */ +public class ComponentImpl extends MinimalEObjectImpl.Container implements Component { + /** + * The cached value of the '{@link #getInputs() Inputs}' containment reference list. + * + * + * @see #getInputs() + * @generated + * @ordered + */ + protected EList inputs; + + /** + * The cached value of the '{@link #getOutputs() Outputs}' containment reference list. + * + * + * @see #getOutputs() + * @generated + * @ordered + */ + protected EList outputs; + + /** + * The cached value of the '{@link #getComponentDefinition() Component Definition}' reference. + * + * + * @see #getComponentDefinition() + * @generated + * @ordered + */ + protected ComponentDefinition componentDefinition; + + /** + * + * + * @generated + */ + protected ComponentImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.COMPONENT; + } + + /** + * + * + * @generated + */ + @Override + public EList getInputs() { + if (inputs == null) { + inputs = new EObjectContainmentWithInverseEList(Input.class, this, CftPackage.COMPONENT__INPUTS, CftPackage.INPUT__COMPONENT); + } + return inputs; + } + + /** + * + * + * @generated + */ + @Override + public EList getOutputs() { + if (outputs == null) { + outputs = new EObjectContainmentWithInverseEList(Output.class, this, CftPackage.COMPONENT__OUTPUTS, CftPackage.OUTPUT__COMPONENT); + } + return outputs; + } + + /** + * + * + * @generated + */ + @Override + public ComponentDefinition getComponentDefinition() { + if (componentDefinition != null && componentDefinition.eIsProxy()) { + InternalEObject oldComponentDefinition = (InternalEObject)componentDefinition; + componentDefinition = (ComponentDefinition)eResolveProxy(oldComponentDefinition); + if (componentDefinition != oldComponentDefinition) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.COMPONENT__COMPONENT_DEFINITION, oldComponentDefinition, componentDefinition)); + } + } + return componentDefinition; + } + + /** + * + * + * @generated + */ + public ComponentDefinition basicGetComponentDefinition() { + return componentDefinition; + } + + /** + * + * + * @generated + */ + @Override + public void setComponentDefinition(ComponentDefinition newComponentDefinition) { + ComponentDefinition oldComponentDefinition = componentDefinition; + componentDefinition = newComponentDefinition; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.COMPONENT__COMPONENT_DEFINITION, oldComponentDefinition, componentDefinition)); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + return ((InternalEList)(InternalEList)getInputs()).basicAdd(otherEnd, msgs); + case CftPackage.COMPONENT__OUTPUTS: + return ((InternalEList)(InternalEList)getOutputs()).basicAdd(otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + return ((InternalEList)getInputs()).basicRemove(otherEnd, msgs); + case CftPackage.COMPONENT__OUTPUTS: + return ((InternalEList)getOutputs()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + return getInputs(); + case CftPackage.COMPONENT__OUTPUTS: + return getOutputs(); + case CftPackage.COMPONENT__COMPONENT_DEFINITION: + if (resolve) return getComponentDefinition(); + return basicGetComponentDefinition(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + getInputs().clear(); + getInputs().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT__OUTPUTS: + getOutputs().clear(); + getOutputs().addAll((Collection)newValue); + return; + case CftPackage.COMPONENT__COMPONENT_DEFINITION: + setComponentDefinition((ComponentDefinition)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + getInputs().clear(); + return; + case CftPackage.COMPONENT__OUTPUTS: + getOutputs().clear(); + return; + case CftPackage.COMPONENT__COMPONENT_DEFINITION: + setComponentDefinition((ComponentDefinition)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.COMPONENT__INPUTS: + return inputs != null && !inputs.isEmpty(); + case CftPackage.COMPONENT__OUTPUTS: + return outputs != null && !outputs.isEmpty(); + case CftPackage.COMPONENT__COMPONENT_DEFINITION: + return componentDefinition != null; + } + return super.eIsSet(featureID); + } + +} //ComponentImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java new file mode 100644 index 00000000..7506e4d7 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/ConnectionImpl.java @@ -0,0 +1,289 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +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.EcoreUtil; + +/** + * + * An implementation of the model object 'Connection'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getInput Input}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ConnectionImpl#getOutput Output}
    • + *
+ * + * @generated + */ +public class ConnectionImpl extends MinimalEObjectImpl.Container implements Connection { + /** + * The cached value of the '{@link #getOutput() Output}' reference. + * + * + * @see #getOutput() + * @generated + * @ordered + */ + protected Output output; + + /** + * + * + * @generated + */ + protected ConnectionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.CONNECTION; + } + + /** + * + * + * @generated + */ + @Override + public Input getInput() { + if (eContainerFeatureID() != CftPackage.CONNECTION__INPUT) return null; + return (Input)eInternalContainer(); + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetInput(Input newInput, NotificationChain msgs) { + msgs = eBasicSetContainer((InternalEObject)newInput, CftPackage.CONNECTION__INPUT, msgs); + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setInput(Input newInput) { + if (newInput != eInternalContainer() || (eContainerFeatureID() != CftPackage.CONNECTION__INPUT && newInput != null)) { + if (EcoreUtil.isAncestor(this, newInput)) + throw new IllegalArgumentException("Recursive containment not allowed for " + toString()); + NotificationChain msgs = null; + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + if (newInput != null) + msgs = ((InternalEObject)newInput).eInverseAdd(this, CftPackage.INPUT__INCOMING_CONNECTIONS, Input.class, msgs); + msgs = basicSetInput(newInput, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__INPUT, newInput, newInput)); + } + + /** + * + * + * @generated + */ + @Override + public Output getOutput() { + if (output != null && output.eIsProxy()) { + InternalEObject oldOutput = (InternalEObject)output; + output = (Output)eResolveProxy(oldOutput); + if (output != oldOutput) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.CONNECTION__OUTPUT, oldOutput, output)); + } + } + return output; + } + + /** + * + * + * @generated + */ + public Output basicGetOutput() { + return output; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetOutput(Output newOutput, NotificationChain msgs) { + Output oldOutput = output; + output = newOutput; + if (eNotificationRequired()) { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__OUTPUT, oldOutput, newOutput); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setOutput(Output newOutput) { + if (newOutput != output) { + NotificationChain msgs = null; + if (output != null) + msgs = ((InternalEObject)output).eInverseRemove(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs); + if (newOutput != null) + msgs = ((InternalEObject)newOutput).eInverseAdd(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs); + msgs = basicSetOutput(newOutput, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.CONNECTION__OUTPUT, newOutput, newOutput)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + return basicSetInput((Input)otherEnd, msgs); + case CftPackage.CONNECTION__OUTPUT: + if (output != null) + msgs = ((InternalEObject)output).eInverseRemove(this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, Output.class, msgs); + return basicSetOutput((Output)otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + return basicSetInput(null, msgs); + case CftPackage.CONNECTION__OUTPUT: + return basicSetOutput(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) { + switch (eContainerFeatureID()) { + case CftPackage.CONNECTION__INPUT: + return eInternalContainer().eInverseRemove(this, CftPackage.INPUT__INCOMING_CONNECTIONS, Input.class, msgs); + } + return super.eBasicRemoveFromContainerFeature(msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + return getInput(); + case CftPackage.CONNECTION__OUTPUT: + if (resolve) return getOutput(); + return basicGetOutput(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + setInput((Input)newValue); + return; + case CftPackage.CONNECTION__OUTPUT: + setOutput((Output)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + setInput((Input)null); + return; + case CftPackage.CONNECTION__OUTPUT: + setOutput((Output)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.CONNECTION__INPUT: + return getInput() != null; + case CftPackage.CONNECTION__OUTPUT: + return output != null; + } + return super.eIsSet(featureID); + } + +} //ConnectionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java new file mode 100644 index 00000000..e60a9427 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDeclarationImpl.java @@ -0,0 +1,163 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration; + +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 Declaration'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.EventDeclarationImpl#getName Name}
    • + *
+ * + * @generated + */ +public abstract class EventDeclarationImpl extends MinimalEObjectImpl.Container implements EventDeclaration { + /** + * 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 EventDeclarationImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.EVENT_DECLARATION; + } + + /** + * + * + * @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, CftPackage.EVENT_DECLARATION__NAME, oldName, name)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.EVENT_DECLARATION__NAME: + return getName(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.EVENT_DECLARATION__NAME: + setName((String)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.EVENT_DECLARATION__NAME: + setName(NAME_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.EVENT_DECLARATION__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(); + } + +} //EventDeclarationImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java new file mode 100644 index 00000000..76b79f5b --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/EventDefinitionImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Event Definition'. + * + * + * @generated + */ +public abstract class EventDefinitionImpl extends EventDeclarationImpl implements EventDefinition { + /** + * + * + * @generated + */ + protected EventDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.EVENT_DEFINITION; + } + +} //EventDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java new file mode 100644 index 00000000..2fb9a724 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/GateDefinitionImpl.java @@ -0,0 +1,133 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition; + +import java.util.Collection; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.util.EObjectResolvingEList; + +/** + * + * An implementation of the model object 'Gate Definition'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.GateDefinitionImpl#getInputEvents Input Events}
    • + *
+ * + * @generated + */ +public abstract class GateDefinitionImpl extends EventDefinitionImpl implements GateDefinition { + /** + * The cached value of the '{@link #getInputEvents() Input Events}' reference list. + * + * + * @see #getInputEvents() + * @generated + * @ordered + */ + protected EList inputEvents; + + /** + * + * + * @generated + */ + protected GateDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.GATE_DEFINITION; + } + + /** + * + * + * @generated + */ + @Override + public EList getInputEvents() { + if (inputEvents == null) { + inputEvents = new EObjectResolvingEList(EventDeclaration.class, this, CftPackage.GATE_DEFINITION__INPUT_EVENTS); + } + return inputEvents; + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.GATE_DEFINITION__INPUT_EVENTS: + return getInputEvents(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.GATE_DEFINITION__INPUT_EVENTS: + getInputEvents().clear(); + getInputEvents().addAll((Collection)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.GATE_DEFINITION__INPUT_EVENTS: + getInputEvents().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.GATE_DEFINITION__INPUT_EVENTS: + return inputEvents != null && !inputEvents.isEmpty(); + } + return super.eIsSet(featureID); + } + +} //GateDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java new file mode 100644 index 00000000..eda5fea0 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/InputImpl.java @@ -0,0 +1,309 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +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.EObjectContainmentWithInverseEList; +import org.eclipse.emf.ecore.util.EcoreUtil; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Input'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getIntputEvent Intput Event}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getComponent Component}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl#getIncomingConnections Incoming Connections}
    • + *
+ * + * @generated + */ +public class InputImpl extends MinimalEObjectImpl.Container implements Input { + /** + * The cached value of the '{@link #getIntputEvent() Intput Event}' reference. + * + * + * @see #getIntputEvent() + * @generated + * @ordered + */ + protected IntputEvent intputEvent; + + /** + * The cached value of the '{@link #getIncomingConnections() Incoming Connections}' containment reference list. + * + * + * @see #getIncomingConnections() + * @generated + * @ordered + */ + protected EList incomingConnections; + + /** + * + * + * @generated + */ + protected InputImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.INPUT; + } + + /** + * + * + * @generated + */ + @Override + public IntputEvent getIntputEvent() { + if (intputEvent != null && intputEvent.eIsProxy()) { + InternalEObject oldIntputEvent = (InternalEObject)intputEvent; + intputEvent = (IntputEvent)eResolveProxy(oldIntputEvent); + if (intputEvent != oldIntputEvent) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.INPUT__INTPUT_EVENT, oldIntputEvent, intputEvent)); + } + } + return intputEvent; + } + + /** + * + * + * @generated + */ + public IntputEvent basicGetIntputEvent() { + return intputEvent; + } + + /** + * + * + * @generated + */ + @Override + public void setIntputEvent(IntputEvent newIntputEvent) { + IntputEvent oldIntputEvent = intputEvent; + intputEvent = newIntputEvent; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INPUT__INTPUT_EVENT, oldIntputEvent, intputEvent)); + } + + /** + * + * + * @generated + */ + @Override + public Component getComponent() { + if (eContainerFeatureID() != CftPackage.INPUT__COMPONENT) return null; + return (Component)eInternalContainer(); + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetComponent(Component newComponent, NotificationChain msgs) { + msgs = eBasicSetContainer((InternalEObject)newComponent, CftPackage.INPUT__COMPONENT, msgs); + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setComponent(Component newComponent) { + if (newComponent != eInternalContainer() || (eContainerFeatureID() != CftPackage.INPUT__COMPONENT && newComponent != null)) { + if (EcoreUtil.isAncestor(this, newComponent)) + throw new IllegalArgumentException("Recursive containment not allowed for " + toString()); + NotificationChain msgs = null; + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + if (newComponent != null) + msgs = ((InternalEObject)newComponent).eInverseAdd(this, CftPackage.COMPONENT__INPUTS, Component.class, msgs); + msgs = basicSetComponent(newComponent, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INPUT__COMPONENT, newComponent, newComponent)); + } + + /** + * + * + * @generated + */ + @Override + public EList getIncomingConnections() { + if (incomingConnections == null) { + incomingConnections = new EObjectContainmentWithInverseEList(Connection.class, this, CftPackage.INPUT__INCOMING_CONNECTIONS, CftPackage.CONNECTION__INPUT); + } + return incomingConnections; + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.INPUT__COMPONENT: + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + return basicSetComponent((Component)otherEnd, msgs); + case CftPackage.INPUT__INCOMING_CONNECTIONS: + return ((InternalEList)(InternalEList)getIncomingConnections()).basicAdd(otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.INPUT__COMPONENT: + return basicSetComponent(null, msgs); + case CftPackage.INPUT__INCOMING_CONNECTIONS: + return ((InternalEList)getIncomingConnections()).basicRemove(otherEnd, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) { + switch (eContainerFeatureID()) { + case CftPackage.INPUT__COMPONENT: + return eInternalContainer().eInverseRemove(this, CftPackage.COMPONENT__INPUTS, Component.class, msgs); + } + return super.eBasicRemoveFromContainerFeature(msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.INPUT__INTPUT_EVENT: + if (resolve) return getIntputEvent(); + return basicGetIntputEvent(); + case CftPackage.INPUT__COMPONENT: + return getComponent(); + case CftPackage.INPUT__INCOMING_CONNECTIONS: + return getIncomingConnections(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.INPUT__INTPUT_EVENT: + setIntputEvent((IntputEvent)newValue); + return; + case CftPackage.INPUT__COMPONENT: + setComponent((Component)newValue); + return; + case CftPackage.INPUT__INCOMING_CONNECTIONS: + getIncomingConnections().clear(); + getIncomingConnections().addAll((Collection)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.INPUT__INTPUT_EVENT: + setIntputEvent((IntputEvent)null); + return; + case CftPackage.INPUT__COMPONENT: + setComponent((Component)null); + return; + case CftPackage.INPUT__INCOMING_CONNECTIONS: + getIncomingConnections().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.INPUT__INTPUT_EVENT: + return intputEvent != null; + case CftPackage.INPUT__COMPONENT: + return getComponent() != null; + case CftPackage.INPUT__INCOMING_CONNECTIONS: + return incomingConnections != null && !incomingConnections.isEmpty(); + } + return super.eIsSet(featureID); + } + +} //InputImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java new file mode 100644 index 00000000..ea22452f --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/IntputEventImpl.java @@ -0,0 +1,164 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent; + +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 'Intput Event'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.IntputEventImpl#isMultiple Multiple}
    • + *
+ * + * @generated + */ +public class IntputEventImpl extends EventDeclarationImpl implements IntputEvent { + /** + * The default value of the '{@link #isMultiple() Multiple}' attribute. + * + * + * @see #isMultiple() + * @generated + * @ordered + */ + protected static final boolean MULTIPLE_EDEFAULT = false; + + /** + * The cached value of the '{@link #isMultiple() Multiple}' attribute. + * + * + * @see #isMultiple() + * @generated + * @ordered + */ + protected boolean multiple = MULTIPLE_EDEFAULT; + + /** + * + * + * @generated + */ + protected IntputEventImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.INTPUT_EVENT; + } + + /** + * + * + * @generated + */ + @Override + public boolean isMultiple() { + return multiple; + } + + /** + * + * + * @generated + */ + @Override + public void setMultiple(boolean newMultiple) { + boolean oldMultiple = multiple; + multiple = newMultiple; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.INTPUT_EVENT__MULTIPLE, oldMultiple, multiple)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.INTPUT_EVENT__MULTIPLE: + return isMultiple(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.INTPUT_EVENT__MULTIPLE: + setMultiple((Boolean)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.INTPUT_EVENT__MULTIPLE: + setMultiple(MULTIPLE_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.INTPUT_EVENT__MULTIPLE: + return multiple != MULTIPLE_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (multiple: "); + result.append(multiple); + result.append(')'); + return result.toString(); + } + +} //IntputEventImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java new file mode 100644 index 00000000..fed17513 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/KOfMGateDefinitionImpl.java @@ -0,0 +1,220 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; + +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 'KOf MGate Definition'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl#getK K}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.KOfMGateDefinitionImpl#getM M}
    • + *
+ * + * @generated + */ +public class KOfMGateDefinitionImpl extends GateDefinitionImpl implements KOfMGateDefinition { + /** + * The default value of the '{@link #getK() K}' attribute. + * + * + * @see #getK() + * @generated + * @ordered + */ + protected static final int K_EDEFAULT = 0; + + /** + * The cached value of the '{@link #getK() K}' attribute. + * + * + * @see #getK() + * @generated + * @ordered + */ + 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; + + /** + * + * + * @generated + */ + protected KOfMGateDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.KOF_MGATE_DEFINITION; + } + + /** + * + * + * @generated + */ + @Override + public int getK() { + return k; + } + + /** + * + * + * @generated + */ + @Override + public void setK(int newK) { + int oldK = k; + k = newK; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.KOF_MGATE_DEFINITION__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, CftPackage.KOF_MGATE_DEFINITION__M, oldM, m)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.KOF_MGATE_DEFINITION__K: + return getK(); + case CftPackage.KOF_MGATE_DEFINITION__M: + return getM(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.KOF_MGATE_DEFINITION__K: + setK((Integer)newValue); + return; + case CftPackage.KOF_MGATE_DEFINITION__M: + setM((Integer)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.KOF_MGATE_DEFINITION__K: + setK(K_EDEFAULT); + return; + case CftPackage.KOF_MGATE_DEFINITION__M: + setM(M_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.KOF_MGATE_DEFINITION__K: + return k != K_EDEFAULT; + case CftPackage.KOF_MGATE_DEFINITION__M: + return m != M_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (k: "); + result.append(k); + result.append(", m: "); + result.append(m); + result.append(')'); + return result.toString(); + } + +} //KOfMGateDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java new file mode 100644 index 00000000..d2275f60 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OrGateDefinitionImpl.java @@ -0,0 +1,37 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; + +import org.eclipse.emf.ecore.EClass; + +/** + * + * An implementation of the model object 'Or Gate Definition'. + * + * + * @generated + */ +public class OrGateDefinitionImpl extends GateDefinitionImpl implements OrGateDefinition { + /** + * + * + * @generated + */ + protected OrGateDefinitionImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.OR_GATE_DEFINITION; + } + +} //OrGateDefinitionImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java new file mode 100644 index 00000000..31a81afe --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/OutputImpl.java @@ -0,0 +1,309 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +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.EObjectWithInverseResolvingEList; +import org.eclipse.emf.ecore.util.EcoreUtil; +import org.eclipse.emf.ecore.util.InternalEList; + +/** + * + * An implementation of the model object 'Output'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getEventDeclaration Event Declaration}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getOutgoingConnections Outgoing Connections}
    • + *
  • {@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.OutputImpl#getComponent Component}
    • + *
+ * + * @generated + */ +public class OutputImpl extends MinimalEObjectImpl.Container implements Output { + /** + * The cached value of the '{@link #getEventDeclaration() Event Declaration}' reference. + * + * + * @see #getEventDeclaration() + * @generated + * @ordered + */ + protected EventDeclaration eventDeclaration; + + /** + * The cached value of the '{@link #getOutgoingConnections() Outgoing Connections}' reference list. + * + * + * @see #getOutgoingConnections() + * @generated + * @ordered + */ + protected EList outgoingConnections; + + /** + * + * + * @generated + */ + protected OutputImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return CftPackage.Literals.OUTPUT; + } + + /** + * + * + * @generated + */ + @Override + public EventDeclaration getEventDeclaration() { + if (eventDeclaration != null && eventDeclaration.eIsProxy()) { + InternalEObject oldEventDeclaration = (InternalEObject)eventDeclaration; + eventDeclaration = (EventDeclaration)eResolveProxy(oldEventDeclaration); + if (eventDeclaration != oldEventDeclaration) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, CftPackage.OUTPUT__EVENT_DECLARATION, oldEventDeclaration, eventDeclaration)); + } + } + return eventDeclaration; + } + + /** + * + * + * @generated + */ + public EventDeclaration basicGetEventDeclaration() { + return eventDeclaration; + } + + /** + * + * + * @generated + */ + @Override + public void setEventDeclaration(EventDeclaration newEventDeclaration) { + EventDeclaration oldEventDeclaration = eventDeclaration; + eventDeclaration = newEventDeclaration; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.OUTPUT__EVENT_DECLARATION, oldEventDeclaration, eventDeclaration)); + } + + /** + * + * + * @generated + */ + @Override + public EList getOutgoingConnections() { + if (outgoingConnections == null) { + outgoingConnections = new EObjectWithInverseResolvingEList(Connection.class, this, CftPackage.OUTPUT__OUTGOING_CONNECTIONS, CftPackage.CONNECTION__OUTPUT); + } + return outgoingConnections; + } + + /** + * + * + * @generated + */ + @Override + public Component getComponent() { + if (eContainerFeatureID() != CftPackage.OUTPUT__COMPONENT) return null; + return (Component)eInternalContainer(); + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetComponent(Component newComponent, NotificationChain msgs) { + msgs = eBasicSetContainer((InternalEObject)newComponent, CftPackage.OUTPUT__COMPONENT, msgs); + return msgs; + } + + /** + * + * + * @generated + */ + @Override + public void setComponent(Component newComponent) { + if (newComponent != eInternalContainer() || (eContainerFeatureID() != CftPackage.OUTPUT__COMPONENT && newComponent != null)) { + if (EcoreUtil.isAncestor(this, newComponent)) + throw new IllegalArgumentException("Recursive containment not allowed for " + toString()); + NotificationChain msgs = null; + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + if (newComponent != null) + msgs = ((InternalEObject)newComponent).eInverseAdd(this, CftPackage.COMPONENT__OUTPUTS, Component.class, msgs); + msgs = basicSetComponent(newComponent, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, CftPackage.OUTPUT__COMPONENT, newComponent, newComponent)); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + return ((InternalEList)(InternalEList)getOutgoingConnections()).basicAdd(otherEnd, msgs); + case CftPackage.OUTPUT__COMPONENT: + if (eInternalContainer() != null) + msgs = eBasicRemoveFromContainer(msgs); + return basicSetComponent((Component)otherEnd, msgs); + } + return super.eInverseAdd(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + return ((InternalEList)getOutgoingConnections()).basicRemove(otherEnd, msgs); + case CftPackage.OUTPUT__COMPONENT: + return basicSetComponent(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) { + switch (eContainerFeatureID()) { + case CftPackage.OUTPUT__COMPONENT: + return eInternalContainer().eInverseRemove(this, CftPackage.COMPONENT__OUTPUTS, Component.class, msgs); + } + return super.eBasicRemoveFromContainerFeature(msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case CftPackage.OUTPUT__EVENT_DECLARATION: + if (resolve) return getEventDeclaration(); + return basicGetEventDeclaration(); + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + return getOutgoingConnections(); + case CftPackage.OUTPUT__COMPONENT: + return getComponent(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case CftPackage.OUTPUT__EVENT_DECLARATION: + setEventDeclaration((EventDeclaration)newValue); + return; + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + getOutgoingConnections().clear(); + getOutgoingConnections().addAll((Collection)newValue); + return; + case CftPackage.OUTPUT__COMPONENT: + setComponent((Component)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case CftPackage.OUTPUT__EVENT_DECLARATION: + setEventDeclaration((EventDeclaration)null); + return; + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + getOutgoingConnections().clear(); + return; + case CftPackage.OUTPUT__COMPONENT: + setComponent((Component)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case CftPackage.OUTPUT__EVENT_DECLARATION: + return eventDeclaration != null; + case CftPackage.OUTPUT__OUTGOING_CONNECTIONS: + return outgoingConnections != null && !outgoingConnections.isEmpty(); + case CftPackage.OUTPUT__COMPONENT: + return getComponent() != null; + } + return super.eIsSet(featureID); + } + +} //OutputImpl diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java new file mode 100644 index 00000000..c6b82734 --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftAdapterFactory.java @@ -0,0 +1,354 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*; + +import org.eclipse.emf.common.notify.Adapter; +import org.eclipse.emf.common.notify.Notifier; + +import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * The Adapter Factory for the model. + * It provides an adapter createXXX method for each class of the model. + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage + * @generated + */ +public class CftAdapterFactory extends AdapterFactoryImpl { + /** + * The cached model package. + * + * + * @generated + */ + protected static CftPackage modelPackage; + + /** + * Creates an instance of the adapter factory. + * + * + * @generated + */ + public CftAdapterFactory() { + if (modelPackage == null) { + modelPackage = CftPackage.eINSTANCE; + } + } + + /** + * Returns whether this factory is applicable for the type of the object. + * + * This implementation returns true if the object is either the model's package or is an instance object of the model. + * + * @return whether this factory is applicable for the type of the object. + * @generated + */ + @Override + public boolean isFactoryForType(Object object) { + if (object == modelPackage) { + return true; + } + if (object instanceof EObject) { + return ((EObject)object).eClass().getEPackage() == modelPackage; + } + return false; + } + + /** + * The switch that delegates to the createXXX methods. + * + * + * @generated + */ + protected CftSwitch modelSwitch = + new CftSwitch() { + @Override + public Adapter caseComponentDefinition(ComponentDefinition object) { + return createComponentDefinitionAdapter(); + } + @Override + public Adapter caseEventDefinition(EventDefinition object) { + return createEventDefinitionAdapter(); + } + @Override + public Adapter caseGateDefinition(GateDefinition object) { + return createGateDefinitionAdapter(); + } + @Override + public Adapter caseBasicEventDefinition(BasicEventDefinition object) { + return createBasicEventDefinitionAdapter(); + } + @Override + public Adapter caseIntputEvent(IntputEvent object) { + return createIntputEventAdapter(); + } + @Override + public Adapter caseEventDeclaration(EventDeclaration object) { + return createEventDeclarationAdapter(); + } + @Override + public Adapter caseAndGateDefinition(AndGateDefinition object) { + return createAndGateDefinitionAdapter(); + } + @Override + public Adapter caseOrGateDefinition(OrGateDefinition object) { + return createOrGateDefinitionAdapter(); + } + @Override + public Adapter caseKOfMGateDefinition(KOfMGateDefinition object) { + return createKOfMGateDefinitionAdapter(); + } + @Override + public Adapter caseComponentFaultTree(ComponentFaultTree object) { + return createComponentFaultTreeAdapter(); + } + @Override + public Adapter caseComponent(Component object) { + return createComponentAdapter(); + } + @Override + public Adapter caseInput(Input object) { + return createInputAdapter(); + } + @Override + public Adapter caseOutput(Output object) { + return createOutputAdapter(); + } + @Override + public Adapter caseConnection(Connection object) { + return createConnectionAdapter(); + } + @Override + public Adapter defaultCase(EObject object) { + return createEObjectAdapter(); + } + }; + + /** + * Creates an adapter for the target. + * + * + * @param target the object to adapt. + * @return the adapter for the target. + * @generated + */ + @Override + public Adapter createAdapter(Notifier target) { + return modelSwitch.doSwitch((EObject)target); + } + + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition Component Definition}'. + * + * 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.cft.ComponentDefinition + * @generated + */ + public Adapter createComponentDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDefinition Event Definition}'. + * + * 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.cft.EventDefinition + * @generated + */ + public Adapter createEventDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition Gate Definition}'. + * + * 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.cft.GateDefinition + * @generated + */ + public Adapter createGateDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition Basic Event Definition}'. + * + * 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.cft.BasicEventDefinition + * @generated + */ + public Adapter createBasicEventDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.IntputEvent Intput 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.cft.IntputEvent + * @generated + */ + public Adapter createIntputEventAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration Event Declaration}'. + * + * 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.cft.EventDeclaration + * @generated + */ + public Adapter createEventDeclarationAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition And Gate Definition}'. + * + * 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.cft.AndGateDefinition + * @generated + */ + public Adapter createAndGateDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition Or Gate Definition}'. + * + * 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.cft.OrGateDefinition + * @generated + */ + public Adapter createOrGateDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition KOf MGate Definition}'. + * + * 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.cft.KOfMGateDefinition + * @generated + */ + public Adapter createKOfMGateDefinitionAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree Component Fault Tree}'. + * + * 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.cft.ComponentFaultTree + * @generated + */ + public Adapter createComponentFaultTreeAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component Component}'. + * + * 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.cft.Component + * @generated + */ + public Adapter createComponentAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input Input}'. + * + * 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.cft.Input + * @generated + */ + public Adapter createInputAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output Output}'. + * + * 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.cft.Output + * @generated + */ + public Adapter createOutputAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection Connection}'. + * + * 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.cft.Connection + * @generated + */ + public Adapter createConnectionAdapter() { + return null; + } + + /** + * Creates a new adapter for the default case. + * + * This default implementation returns null. + * + * @return the new adapter. + * @generated + */ + public Adapter createEObjectAdapter() { + return null; + } + +} //CftAdapterFactory diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java new file mode 100644 index 00000000..f2ec9ffb --- /dev/null +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/util/CftSwitch.java @@ -0,0 +1,398 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.faulttree.model.cft.util; + +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.*; + +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.util.Switch; + +/** + * + * The Switch for the model's inheritance hierarchy. + * It supports the call {@link #doSwitch(EObject) doSwitch(object)} + * to invoke the caseXXX method for each class of the model, + * starting with the actual class of the object + * and proceeding up the inheritance hierarchy + * until a non-null result is returned, + * which is the result of the switch. + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftPackage + * @generated + */ +public class CftSwitch extends Switch { + /** + * The cached model package + * + * + * @generated + */ + protected static CftPackage modelPackage; + + /** + * Creates an instance of the switch. + * + * + * @generated + */ + public CftSwitch() { + if (modelPackage == null) { + modelPackage = CftPackage.eINSTANCE; + } + } + + /** + * Checks whether this is a switch for the given package. + * + * + * @param ePackage the package in question. + * @return whether this is a switch for the given package. + * @generated + */ + @Override + protected boolean isSwitchFor(EPackage ePackage) { + return ePackage == modelPackage; + } + + /** + * Calls caseXXX for each class of the model until one returns a non null result; it yields that result. + * + * + * @return the first non-null result returned by a caseXXX call. + * @generated + */ + @Override + protected T doSwitch(int classifierID, EObject theEObject) { + switch (classifierID) { + case CftPackage.COMPONENT_DEFINITION: { + ComponentDefinition componentDefinition = (ComponentDefinition)theEObject; + T result = caseComponentDefinition(componentDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.EVENT_DEFINITION: { + EventDefinition eventDefinition = (EventDefinition)theEObject; + T result = caseEventDefinition(eventDefinition); + if (result == null) result = caseEventDeclaration(eventDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.GATE_DEFINITION: { + GateDefinition gateDefinition = (GateDefinition)theEObject; + T result = caseGateDefinition(gateDefinition); + if (result == null) result = caseEventDefinition(gateDefinition); + if (result == null) result = caseEventDeclaration(gateDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.BASIC_EVENT_DEFINITION: { + BasicEventDefinition basicEventDefinition = (BasicEventDefinition)theEObject; + T result = caseBasicEventDefinition(basicEventDefinition); + if (result == null) result = caseEventDefinition(basicEventDefinition); + if (result == null) result = caseEventDeclaration(basicEventDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.INTPUT_EVENT: { + IntputEvent intputEvent = (IntputEvent)theEObject; + T result = caseIntputEvent(intputEvent); + if (result == null) result = caseEventDeclaration(intputEvent); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.EVENT_DECLARATION: { + EventDeclaration eventDeclaration = (EventDeclaration)theEObject; + T result = caseEventDeclaration(eventDeclaration); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.AND_GATE_DEFINITION: { + AndGateDefinition andGateDefinition = (AndGateDefinition)theEObject; + T result = caseAndGateDefinition(andGateDefinition); + if (result == null) result = caseGateDefinition(andGateDefinition); + if (result == null) result = caseEventDefinition(andGateDefinition); + if (result == null) result = caseEventDeclaration(andGateDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.OR_GATE_DEFINITION: { + OrGateDefinition orGateDefinition = (OrGateDefinition)theEObject; + T result = caseOrGateDefinition(orGateDefinition); + if (result == null) result = caseGateDefinition(orGateDefinition); + if (result == null) result = caseEventDefinition(orGateDefinition); + if (result == null) result = caseEventDeclaration(orGateDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.KOF_MGATE_DEFINITION: { + KOfMGateDefinition kOfMGateDefinition = (KOfMGateDefinition)theEObject; + T result = caseKOfMGateDefinition(kOfMGateDefinition); + if (result == null) result = caseGateDefinition(kOfMGateDefinition); + if (result == null) result = caseEventDefinition(kOfMGateDefinition); + if (result == null) result = caseEventDeclaration(kOfMGateDefinition); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.COMPONENT_FAULT_TREE: { + ComponentFaultTree componentFaultTree = (ComponentFaultTree)theEObject; + T result = caseComponentFaultTree(componentFaultTree); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.COMPONENT: { + Component component = (Component)theEObject; + T result = caseComponent(component); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.INPUT: { + Input input = (Input)theEObject; + T result = caseInput(input); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.OUTPUT: { + Output output = (Output)theEObject; + T result = caseOutput(output); + if (result == null) result = defaultCase(theEObject); + return result; + } + case CftPackage.CONNECTION: { + Connection connection = (Connection)theEObject; + T result = caseConnection(connection); + if (result == null) result = defaultCase(theEObject); + return result; + } + default: return defaultCase(theEObject); + } + } + + /** + * Returns the result of interpreting the object as an instance of 'Component Definition'. + * + * 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 'Component Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseComponentDefinition(ComponentDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Event Definition'. + * + * 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 Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseEventDefinition(EventDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Gate Definition'. + * + * 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 'Gate Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseGateDefinition(GateDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Basic Event Definition'. + * + * 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 'Basic Event Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseBasicEventDefinition(BasicEventDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Intput 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 'Intput Event'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseIntputEvent(IntputEvent object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Event Declaration'. + * + * 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 Declaration'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseEventDeclaration(EventDeclaration object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'And Gate Definition'. + * + * 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 'And Gate Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseAndGateDefinition(AndGateDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Or Gate Definition'. + * + * 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 'Or Gate Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseOrGateDefinition(OrGateDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'KOf MGate Definition'. + * + * 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 'KOf MGate Definition'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseKOfMGateDefinition(KOfMGateDefinition object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Component Fault Tree'. + * + * 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 'Component Fault Tree'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseComponentFaultTree(ComponentFaultTree object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Component'. + * + * 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 'Component'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseComponent(Component object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Input'. + * + * 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 'Input'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseInput(Input object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Output'. + * + * 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 'Output'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseOutput(Output object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Connection'. + * + * 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 'Connection'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseConnection(Connection object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'EObject'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch, but this is the last case anyway. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'EObject'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) + * @generated + */ + @Override + public T defaultCase(EObject object) { + return null; + } + +} //CftSwitch -- cgit v1.2.3-54-g00ecf