From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../faulttree/model/cft/impl/CftPackageImpl.java | 76 ++++++++++++++++++++++ 1 file changed, 76 insertions(+) (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java index 1d6b6a23..2d70d7ce 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java @@ -16,6 +16,8 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition; import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement; +import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality; import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; @@ -23,6 +25,7 @@ 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.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; @@ -133,6 +136,20 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { */ private EClass connectionEClass = null; + /** + * + * + * @generated + */ + private EClass modalElementEClass = null; + + /** + * + * + * @generated + */ + private EEnum modalityEEnum = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -467,6 +484,16 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { return (EAttribute)componentEClass.getEStructuralFeatures().get(3); } + /** + * + * + * @generated + */ + @Override + public EAttribute getComponent_MultipleAllowed() { + return (EAttribute)componentEClass.getEStructuralFeatures().get(4); + } + /** * * @@ -577,6 +604,36 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { return (EReference)connectionEClass.getEStructuralFeatures().get(1); } + /** + * + * + * @generated + */ + @Override + public EClass getModalElement() { + return modalElementEClass; + } + + /** + * + * + * @generated + */ + @Override + public EAttribute getModalElement_Exists() { + return (EAttribute)modalElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + @Override + public EEnum getModality() { + return modalityEEnum; + } + /** * * @@ -643,6 +700,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { createEReference(componentEClass, COMPONENT__OUTPUTS); createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION); createEAttribute(componentEClass, COMPONENT__NAME); + createEAttribute(componentEClass, COMPONENT__MULTIPLE_ALLOWED); inputEClass = createEClass(INPUT); createEReference(inputEClass, INPUT__INPUT_EVENT); @@ -657,6 +715,12 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { connectionEClass = createEClass(CONNECTION); createEReference(connectionEClass, CONNECTION__INPUT); createEReference(connectionEClass, CONNECTION__OUTPUT); + + modalElementEClass = createEClass(MODAL_ELEMENT); + createEAttribute(modalElementEClass, MODAL_ELEMENT__EXISTS); + + // Create enums + modalityEEnum = createEEnum(MODALITY); } /** @@ -697,6 +761,8 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); + componentEClass.getESuperTypes().add(this.getModalElement()); + connectionEClass.getESuperTypes().add(this.getModalElement()); // Initialize classes, features, and operations; add parameters initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -736,6 +802,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { 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); initEAttribute(getComponent_Name(), ecorePackage.getEString(), "name", null, 0, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getComponent_MultipleAllowed(), ecorePackage.getEBoolean(), "multipleAllowed", "false", 0, 1, Component.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); initEReference(getInput_InputEvent(), this.getInputEvent(), null, "inputEvent", null, 1, 1, Input.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); @@ -751,6 +818,15 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { 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); + initEClass(modalElementEClass, ModalElement.class, "ModalElement", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getModalElement_Exists(), this.getModality(), "exists", "MUST", 0, 1, ModalElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + // Initialize enums and add enum literals + initEEnum(modalityEEnum, Modality.class, "Modality"); + addEEnumLiteral(modalityEEnum, Modality.MAY); + addEEnumLiteral(modalityEEnum, Modality.CURRENT); + addEEnumLiteral(modalityEEnum, Modality.MUST); + // Create resource createResource(eNS_URI); } -- cgit v1.2.3-70-g09d2