From a620f07468780778bd55dcffc30245def37ece69 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 6 Aug 2020 16:07:16 +0200 Subject: MoDeS3 unit propagation WIP --- .../ecore-gen/modes3/impl/Modes3PackageImpl.java | 363 +++++++++++++++++++++ 1 file changed, 363 insertions(+) create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3PackageImpl.java (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3PackageImpl.java') diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3PackageImpl.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3PackageImpl.java new file mode 100644 index 00000000..2b9e828c --- /dev/null +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3PackageImpl.java @@ -0,0 +1,363 @@ +/** + */ +package modes3.impl; + +import modes3.Modes3Factory; +import modes3.Modes3ModelRoot; +import modes3.Modes3Package; +import modes3.Segment; +import modes3.Train; +import modes3.Turnout; + +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 Modes3PackageImpl extends EPackageImpl implements Modes3Package { + /** + * + * + * @generated + */ + private EClass segmentEClass = null; + + /** + * + * + * @generated + */ + private EClass modes3ModelRootEClass = null; + + /** + * + * + * @generated + */ + private EClass turnoutEClass = null; + + /** + * + * + * @generated + */ + private EClass trainEClass = 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 modes3.Modes3Package#eNS_URI + * @see #init() + * @generated + */ + private Modes3PackageImpl() { + super(eNS_URI, Modes3Factory.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 Modes3Package#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 Modes3Package init() { + if (isInited) return (Modes3Package)EPackage.Registry.INSTANCE.getEPackage(Modes3Package.eNS_URI); + + // Obtain or create and register package + Object registeredModes3Package = EPackage.Registry.INSTANCE.get(eNS_URI); + Modes3PackageImpl theModes3Package = registeredModes3Package instanceof Modes3PackageImpl ? (Modes3PackageImpl)registeredModes3Package : new Modes3PackageImpl(); + + isInited = true; + + // Create package meta-data objects + theModes3Package.createPackageContents(); + + // Initialize created meta-data + theModes3Package.initializePackageContents(); + + // Mark meta-data to indicate it can't be changed + theModes3Package.freeze(); + + // Update the registry and return the package + EPackage.Registry.INSTANCE.put(Modes3Package.eNS_URI, theModes3Package); + return theModes3Package; + } + + /** + * + * + * @generated + */ + public EClass getSegment() { + return segmentEClass; + } + + /** + * + * + * @generated + */ + public EReference getSegment_ConnectedTo() { + return (EReference)segmentEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getSegment_OccupiedBy() { + return (EReference)segmentEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EAttribute getSegment_Id() { + return (EAttribute)segmentEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + public EClass getModes3ModelRoot() { + return modes3ModelRootEClass; + } + + /** + * + * + * @generated + */ + public EAttribute getModes3ModelRoot_Id() { + return (EAttribute)modes3ModelRootEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getModes3ModelRoot_Trains() { + return (EReference)modes3ModelRootEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EReference getModes3ModelRoot_Segments() { + return (EReference)modes3ModelRootEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + public EReference getModes3ModelRoot_Turnouts() { + return (EReference)modes3ModelRootEClass.getEStructuralFeatures().get(3); + } + + /** + * + * + * @generated + */ + public EClass getTurnout() { + return turnoutEClass; + } + + /** + * + * + * @generated + */ + public EReference getTurnout_Straight() { + return (EReference)turnoutEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getTurnout_Divergent() { + return (EReference)turnoutEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EClass getTrain() { + return trainEClass; + } + + /** + * + * + * @generated + */ + public EReference getTrain_Location() { + return (EReference)trainEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EAttribute getTrain_Id() { + return (EAttribute)trainEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EAttribute getTrain_Speed() { + return (EAttribute)trainEClass.getEStructuralFeatures().get(2); + } + + /** + * + * + * @generated + */ + public Modes3Factory getModes3Factory() { + return (Modes3Factory)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 + segmentEClass = createEClass(SEGMENT); + createEReference(segmentEClass, SEGMENT__CONNECTED_TO); + createEReference(segmentEClass, SEGMENT__OCCUPIED_BY); + createEAttribute(segmentEClass, SEGMENT__ID); + + modes3ModelRootEClass = createEClass(MODES3_MODEL_ROOT); + createEAttribute(modes3ModelRootEClass, MODES3_MODEL_ROOT__ID); + createEReference(modes3ModelRootEClass, MODES3_MODEL_ROOT__TRAINS); + createEReference(modes3ModelRootEClass, MODES3_MODEL_ROOT__SEGMENTS); + createEReference(modes3ModelRootEClass, MODES3_MODEL_ROOT__TURNOUTS); + + turnoutEClass = createEClass(TURNOUT); + createEReference(turnoutEClass, TURNOUT__STRAIGHT); + createEReference(turnoutEClass, TURNOUT__DIVERGENT); + + trainEClass = createEClass(TRAIN); + createEReference(trainEClass, TRAIN__LOCATION); + createEAttribute(trainEClass, TRAIN__ID); + createEAttribute(trainEClass, TRAIN__SPEED); + } + + /** + * + * + * @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); + + // Create type parameters + + // Set bounds for type parameters + + // Add supertypes to classes + turnoutEClass.getESuperTypes().add(this.getSegment()); + + // Initialize classes, features, and operations; add parameters + initEClass(segmentEClass, Segment.class, "Segment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getSegment_ConnectedTo(), this.getSegment(), null, "connectedTo", null, 0, 2, Segment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getSegment_OccupiedBy(), this.getTrain(), this.getTrain_Location(), "occupiedBy", null, 0, 1, Segment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getSegment_Id(), ecorePackage.getEInt(), "id", null, 0, 1, Segment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(modes3ModelRootEClass, Modes3ModelRoot.class, "Modes3ModelRoot", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEAttribute(getModes3ModelRoot_Id(), ecorePackage.getEInt(), "id", null, 0, 1, Modes3ModelRoot.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getModes3ModelRoot_Trains(), this.getTrain(), null, "trains", null, 0, -1, Modes3ModelRoot.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getModes3ModelRoot_Segments(), this.getSegment(), null, "segments", null, 0, -1, Modes3ModelRoot.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getModes3ModelRoot_Turnouts(), this.getTurnout(), null, "turnouts", null, 0, -1, Modes3ModelRoot.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(turnoutEClass, Turnout.class, "Turnout", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getTurnout_Straight(), this.getSegment(), null, "straight", null, 1, 1, Turnout.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getTurnout_Divergent(), this.getSegment(), null, "divergent", null, 1, 1, Turnout.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(trainEClass, Train.class, "Train", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getTrain_Location(), this.getSegment(), this.getSegment_OccupiedBy(), "location", null, 1, 1, Train.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getTrain_Id(), ecorePackage.getEInt(), "id", null, 0, 1, Train.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEAttribute(getTrain_Speed(), ecorePackage.getEDouble(), "speed", null, 0, 1, Train.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + // Create resource + createResource(eNS_URI); + } + +} //Modes3PackageImpl -- cgit v1.2.3-70-g09d2