diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-03-20 16:09:09 +0100 |
commit | 3f5aaab5025b8eb243f414b1c789085327df04f4 (patch) | |
tree | 156d9d95888fce6b003d73f509b9155e6b24555f /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java | |
parent | Fix ParseUtil to avoid breaking the .vql editor in Eclipse (diff) | |
download | VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.gz VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.tar.zst VIATRA-Generator-3f5aaab5025b8eb243f414b1c789085327df04f4.zip |
Fault tree transformation for partial models WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java')
-rw-r--r-- | Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen/hu/bme/mit/inf/dslreasoner/faulttree/model/cft/impl/CftPackageImpl.java | 76 |
1 files changed, 76 insertions, 0 deletions
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; | |||
16 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; | 16 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input; |
17 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; | 17 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent; |
18 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; | 18 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition; |
19 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ModalElement; | ||
20 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality; | ||
19 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; | 21 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition; |
20 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; | 22 | import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output; |
21 | 23 | ||
@@ -23,6 +25,7 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtPackage; | |||
23 | 25 | ||
24 | import org.eclipse.emf.ecore.EAttribute; | 26 | import org.eclipse.emf.ecore.EAttribute; |
25 | import org.eclipse.emf.ecore.EClass; | 27 | import org.eclipse.emf.ecore.EClass; |
28 | import org.eclipse.emf.ecore.EEnum; | ||
26 | import org.eclipse.emf.ecore.EPackage; | 29 | import org.eclipse.emf.ecore.EPackage; |
27 | import org.eclipse.emf.ecore.EReference; | 30 | import org.eclipse.emf.ecore.EReference; |
28 | 31 | ||
@@ -134,6 +137,20 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
134 | private EClass connectionEClass = null; | 137 | private EClass connectionEClass = null; |
135 | 138 | ||
136 | /** | 139 | /** |
140 | * <!-- begin-user-doc --> | ||
141 | * <!-- end-user-doc --> | ||
142 | * @generated | ||
143 | */ | ||
144 | private EClass modalElementEClass = null; | ||
145 | |||
146 | /** | ||
147 | * <!-- begin-user-doc --> | ||
148 | * <!-- end-user-doc --> | ||
149 | * @generated | ||
150 | */ | ||
151 | private EEnum modalityEEnum = null; | ||
152 | |||
153 | /** | ||
137 | * Creates an instance of the model <b>Package</b>, registered with | 154 | * Creates an instance of the model <b>Package</b>, registered with |
138 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package | 155 | * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package |
139 | * package URI value. | 156 | * package URI value. |
@@ -473,6 +490,16 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
473 | * @generated | 490 | * @generated |
474 | */ | 491 | */ |
475 | @Override | 492 | @Override |
493 | public EAttribute getComponent_MultipleAllowed() { | ||
494 | return (EAttribute)componentEClass.getEStructuralFeatures().get(4); | ||
495 | } | ||
496 | |||
497 | /** | ||
498 | * <!-- begin-user-doc --> | ||
499 | * <!-- end-user-doc --> | ||
500 | * @generated | ||
501 | */ | ||
502 | @Override | ||
476 | public EClass getInput() { | 503 | public EClass getInput() { |
477 | return inputEClass; | 504 | return inputEClass; |
478 | } | 505 | } |
@@ -583,6 +610,36 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
583 | * @generated | 610 | * @generated |
584 | */ | 611 | */ |
585 | @Override | 612 | @Override |
613 | public EClass getModalElement() { | ||
614 | return modalElementEClass; | ||
615 | } | ||
616 | |||
617 | /** | ||
618 | * <!-- begin-user-doc --> | ||
619 | * <!-- end-user-doc --> | ||
620 | * @generated | ||
621 | */ | ||
622 | @Override | ||
623 | public EAttribute getModalElement_Exists() { | ||
624 | return (EAttribute)modalElementEClass.getEStructuralFeatures().get(0); | ||
625 | } | ||
626 | |||
627 | /** | ||
628 | * <!-- begin-user-doc --> | ||
629 | * <!-- end-user-doc --> | ||
630 | * @generated | ||
631 | */ | ||
632 | @Override | ||
633 | public EEnum getModality() { | ||
634 | return modalityEEnum; | ||
635 | } | ||
636 | |||
637 | /** | ||
638 | * <!-- begin-user-doc --> | ||
639 | * <!-- end-user-doc --> | ||
640 | * @generated | ||
641 | */ | ||
642 | @Override | ||
586 | public CftFactory getCftFactory() { | 643 | public CftFactory getCftFactory() { |
587 | return (CftFactory)getEFactoryInstance(); | 644 | return (CftFactory)getEFactoryInstance(); |
588 | } | 645 | } |
@@ -643,6 +700,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
643 | createEReference(componentEClass, COMPONENT__OUTPUTS); | 700 | createEReference(componentEClass, COMPONENT__OUTPUTS); |
644 | createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION); | 701 | createEReference(componentEClass, COMPONENT__COMPONENT_DEFINITION); |
645 | createEAttribute(componentEClass, COMPONENT__NAME); | 702 | createEAttribute(componentEClass, COMPONENT__NAME); |
703 | createEAttribute(componentEClass, COMPONENT__MULTIPLE_ALLOWED); | ||
646 | 704 | ||
647 | inputEClass = createEClass(INPUT); | 705 | inputEClass = createEClass(INPUT); |
648 | createEReference(inputEClass, INPUT__INPUT_EVENT); | 706 | createEReference(inputEClass, INPUT__INPUT_EVENT); |
@@ -657,6 +715,12 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
657 | connectionEClass = createEClass(CONNECTION); | 715 | connectionEClass = createEClass(CONNECTION); |
658 | createEReference(connectionEClass, CONNECTION__INPUT); | 716 | createEReference(connectionEClass, CONNECTION__INPUT); |
659 | createEReference(connectionEClass, CONNECTION__OUTPUT); | 717 | createEReference(connectionEClass, CONNECTION__OUTPUT); |
718 | |||
719 | modalElementEClass = createEClass(MODAL_ELEMENT); | ||
720 | createEAttribute(modalElementEClass, MODAL_ELEMENT__EXISTS); | ||
721 | |||
722 | // Create enums | ||
723 | modalityEEnum = createEEnum(MODALITY); | ||
660 | } | 724 | } |
661 | 725 | ||
662 | /** | 726 | /** |
@@ -697,6 +761,8 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
697 | andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); | 761 | andGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); |
698 | orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); | 762 | orGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); |
699 | kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); | 763 | kOfMGateDefinitionEClass.getESuperTypes().add(this.getGateDefinition()); |
764 | componentEClass.getESuperTypes().add(this.getModalElement()); | ||
765 | connectionEClass.getESuperTypes().add(this.getModalElement()); | ||
700 | 766 | ||
701 | // Initialize classes, features, and operations; add parameters | 767 | // Initialize classes, features, and operations; add parameters |
702 | initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 768 | initEClass(componentDefinitionEClass, ComponentDefinition.class, "ComponentDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
@@ -736,6 +802,7 @@ public class CftPackageImpl extends EPackageImpl implements CftPackage { | |||
736 | 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); | 802 | 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); |
737 | 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); | 803 | 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); |
738 | 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); | 804 | 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); |
805 | 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); | ||
739 | 806 | ||
740 | initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 807 | initEClass(inputEClass, Input.class, "Input", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
741 | 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); | 808 | 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 { | |||
751 | 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); | 818 | 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); |
752 | 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); | 819 | 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); |
753 | 820 | ||
821 | initEClass(modalElementEClass, ModalElement.class, "ModalElement", IS_ABSTRACT, IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
822 | 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); | ||
823 | |||
824 | // Initialize enums and add enum literals | ||
825 | initEEnum(modalityEEnum, Modality.class, "Modality"); | ||
826 | addEEnumLiteral(modalityEEnum, Modality.MAY); | ||
827 | addEEnumLiteral(modalityEEnum, Modality.CURRENT); | ||
828 | addEEnumLiteral(modalityEEnum, Modality.MUST); | ||
829 | |||
754 | // Create resource | 830 | // Create resource |
755 | createResource(eNS_URI); | 831 | createResource(eNS_URI); |
756 | } | 832 | } |