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/CftPackage.java | 174 +++++++++++++++++++-- 1 file changed, 164 insertions(+), 10 deletions(-) (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/CftPackage.java') 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 index d75710a2..07200ab2 100644 --- 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 @@ -4,6 +4,7 @@ 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.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; @@ -534,6 +535,43 @@ public interface CftPackage extends EPackage { */ int COMPONENT_FAULT_TREE_OPERATION_COUNT = 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement Modal Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModalElement() + * @generated + */ + int MODAL_ELEMENT = 14; + + /** + * The feature id for the 'Exists' attribute. + * + * + * @generated + * @ordered + */ + int MODAL_ELEMENT__EXISTS = 0; + + /** + * The number of structural features of the 'Modal Element' class. + * + * + * @generated + * @ordered + */ + int MODAL_ELEMENT_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'Modal Element' class. + * + * + * @generated + * @ordered + */ + int MODAL_ELEMENT_OPERATION_COUNT = 0; + /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.ComponentImpl Component}' class. * @@ -544,6 +582,15 @@ public interface CftPackage extends EPackage { */ int COMPONENT = 10; + /** + * The feature id for the 'Exists' attribute. + * + * + * @generated + * @ordered + */ + int COMPONENT__EXISTS = MODAL_ELEMENT__EXISTS; + /** * The feature id for the 'Inputs' containment reference list. * @@ -551,7 +598,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT__INPUTS = 0; + int COMPONENT__INPUTS = MODAL_ELEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Outputs' containment reference list. @@ -560,7 +607,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT__OUTPUTS = 1; + int COMPONENT__OUTPUTS = MODAL_ELEMENT_FEATURE_COUNT + 1; /** * The feature id for the 'Component Definition' reference. @@ -569,7 +616,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT__COMPONENT_DEFINITION = 2; + int COMPONENT__COMPONENT_DEFINITION = MODAL_ELEMENT_FEATURE_COUNT + 2; /** * The feature id for the 'Name' attribute. @@ -578,7 +625,16 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT__NAME = 3; + int COMPONENT__NAME = MODAL_ELEMENT_FEATURE_COUNT + 3; + + /** + * The feature id for the 'Multiple Allowed' attribute. + * + * + * @generated + * @ordered + */ + int COMPONENT__MULTIPLE_ALLOWED = MODAL_ELEMENT_FEATURE_COUNT + 4; /** * The number of structural features of the 'Component' class. @@ -587,7 +643,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT_FEATURE_COUNT = 4; + int COMPONENT_FEATURE_COUNT = MODAL_ELEMENT_FEATURE_COUNT + 5; /** * The number of operations of the 'Component' class. @@ -596,7 +652,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int COMPONENT_OPERATION_COUNT = 0; + int COMPONENT_OPERATION_COUNT = MODAL_ELEMENT_OPERATION_COUNT + 0; /** * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl Input}' class. @@ -718,6 +774,15 @@ public interface CftPackage extends EPackage { */ int CONNECTION = 13; + /** + * The feature id for the 'Exists' attribute. + * + * + * @generated + * @ordered + */ + int CONNECTION__EXISTS = MODAL_ELEMENT__EXISTS; + /** * The feature id for the 'Input' container reference. * @@ -725,7 +790,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int CONNECTION__INPUT = 0; + int CONNECTION__INPUT = MODAL_ELEMENT_FEATURE_COUNT + 0; /** * The feature id for the 'Output' reference. @@ -734,7 +799,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int CONNECTION__OUTPUT = 1; + int CONNECTION__OUTPUT = MODAL_ELEMENT_FEATURE_COUNT + 1; /** * The number of structural features of the 'Connection' class. @@ -743,7 +808,7 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int CONNECTION_FEATURE_COUNT = 2; + int CONNECTION_FEATURE_COUNT = MODAL_ELEMENT_FEATURE_COUNT + 2; /** * The number of operations of the 'Connection' class. @@ -752,7 +817,18 @@ public interface CftPackage extends EPackage { * @generated * @ordered */ - int CONNECTION_OPERATION_COUNT = 0; + int CONNECTION_OPERATION_COUNT = MODAL_ELEMENT_OPERATION_COUNT + 0; + + + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality Modality}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModality() + * @generated + */ + int MODALITY = 15; /** @@ -1041,6 +1117,17 @@ public interface CftPackage extends EPackage { */ EAttribute getComponent_Name(); + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed Multiple Allowed}'. + * + * + * @return the meta object for the attribute 'Multiple Allowed'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component#isMultipleAllowed() + * @see #getComponent() + * @generated + */ + EAttribute getComponent_MultipleAllowed(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input Input}'. * @@ -1159,6 +1246,37 @@ public interface CftPackage extends EPackage { */ EReference getConnection_Output(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement Modal Element}'. + * + * + * @return the meta object for class 'Modal Element'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement + * @generated + */ + EClass getModalElement(); + + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists Exists}'. + * + * + * @return the meta object for the attribute 'Exists'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement#getExists() + * @see #getModalElement() + * @generated + */ + EAttribute getModalElement_Exists(); + + /** + * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality Modality}'. + * + * + * @return the meta object for enum 'Modality'. + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality + * @generated + */ + EEnum getModality(); + /** * Returns the factory that creates the instances of the model. * @@ -1420,6 +1538,14 @@ public interface CftPackage extends EPackage { */ EAttribute COMPONENT__NAME = eINSTANCE.getComponent_Name(); + /** + * The meta object literal for the 'Multiple Allowed' attribute feature. + * + * + * @generated + */ + EAttribute COMPONENT__MULTIPLE_ALLOWED = eINSTANCE.getComponent_MultipleAllowed(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.InputImpl Input}' class. * @@ -1514,6 +1640,34 @@ public interface CftPackage extends EPackage { */ EReference CONNECTION__OUTPUT = eINSTANCE.getConnection_Output(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement Modal Element}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModalElement() + * @generated + */ + EClass MODAL_ELEMENT = eINSTANCE.getModalElement(); + + /** + * The meta object literal for the 'Exists' attribute feature. + * + * + * @generated + */ + EAttribute MODAL_ELEMENT__EXISTS = eINSTANCE.getModalElement_Exists(); + + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality Modality}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality + * @see hu.bme.mit.inf.dslreasoner.faulttree.model.cft.impl.CftPackageImpl#getModality() + * @generated + */ + EEnum MODALITY = eINSTANCE.getModality(); + } } //CftPackage -- cgit v1.2.3-70-g09d2