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/Modes3Package.java | 640 +++++++++++++++++++++ 1 file changed, 640 insertions(+) create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java') diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java new file mode 100644 index 00000000..4760af9d --- /dev/null +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3Package.java @@ -0,0 +1,640 @@ +/** + */ +package modes3; + +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 modes3.Modes3Factory + * @model kind="package" + * @generated + */ +public interface Modes3Package extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "modes3"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "http://www.ece.mcgill.ca/wcet/modes3"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "modes3"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + Modes3Package eINSTANCE = modes3.impl.Modes3PackageImpl.init(); + + /** + * The meta object id for the '{@link modes3.impl.SegmentImpl Segment}' class. + * + * + * @see modes3.impl.SegmentImpl + * @see modes3.impl.Modes3PackageImpl#getSegment() + * @generated + */ + int SEGMENT = 0; + + /** + * The feature id for the 'Connected To' reference list. + * + * + * @generated + * @ordered + */ + int SEGMENT__CONNECTED_TO = 0; + + /** + * The feature id for the 'Occupied By' reference. + * + * + * @generated + * @ordered + */ + int SEGMENT__OCCUPIED_BY = 1; + + /** + * The feature id for the 'Id' attribute. + * + * + * @generated + * @ordered + */ + int SEGMENT__ID = 2; + + /** + * The number of structural features of the 'Segment' class. + * + * + * @generated + * @ordered + */ + int SEGMENT_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Segment' class. + * + * + * @generated + * @ordered + */ + int SEGMENT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link modes3.impl.Modes3ModelRootImpl Model Root}' class. + * + * + * @see modes3.impl.Modes3ModelRootImpl + * @see modes3.impl.Modes3PackageImpl#getModes3ModelRoot() + * @generated + */ + int MODES3_MODEL_ROOT = 1; + + /** + * The feature id for the 'Id' attribute. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT__ID = 0; + + /** + * The feature id for the 'Trains' containment reference list. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT__TRAINS = 1; + + /** + * The feature id for the 'Segments' containment reference list. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT__SEGMENTS = 2; + + /** + * The feature id for the 'Turnouts' containment reference list. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT__TURNOUTS = 3; + + /** + * The number of structural features of the 'Model Root' class. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT_FEATURE_COUNT = 4; + + /** + * The number of operations of the 'Model Root' class. + * + * + * @generated + * @ordered + */ + int MODES3_MODEL_ROOT_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link modes3.impl.TurnoutImpl Turnout}' class. + * + * + * @see modes3.impl.TurnoutImpl + * @see modes3.impl.Modes3PackageImpl#getTurnout() + * @generated + */ + int TURNOUT = 2; + + /** + * The feature id for the 'Connected To' reference list. + * + * + * @generated + * @ordered + */ + int TURNOUT__CONNECTED_TO = SEGMENT__CONNECTED_TO; + + /** + * The feature id for the 'Occupied By' reference. + * + * + * @generated + * @ordered + */ + int TURNOUT__OCCUPIED_BY = SEGMENT__OCCUPIED_BY; + + /** + * The feature id for the 'Id' attribute. + * + * + * @generated + * @ordered + */ + int TURNOUT__ID = SEGMENT__ID; + + /** + * The feature id for the 'Straight' reference. + * + * + * @generated + * @ordered + */ + int TURNOUT__STRAIGHT = SEGMENT_FEATURE_COUNT + 0; + + /** + * The feature id for the 'Divergent' reference. + * + * + * @generated + * @ordered + */ + int TURNOUT__DIVERGENT = SEGMENT_FEATURE_COUNT + 1; + + /** + * The number of structural features of the 'Turnout' class. + * + * + * @generated + * @ordered + */ + int TURNOUT_FEATURE_COUNT = SEGMENT_FEATURE_COUNT + 2; + + /** + * The number of operations of the 'Turnout' class. + * + * + * @generated + * @ordered + */ + int TURNOUT_OPERATION_COUNT = SEGMENT_OPERATION_COUNT + 0; + + /** + * The meta object id for the '{@link modes3.impl.TrainImpl Train}' class. + * + * + * @see modes3.impl.TrainImpl + * @see modes3.impl.Modes3PackageImpl#getTrain() + * @generated + */ + int TRAIN = 3; + + /** + * The feature id for the 'Location' reference. + * + * + * @generated + * @ordered + */ + int TRAIN__LOCATION = 0; + + /** + * The feature id for the 'Id' attribute. + * + * + * @generated + * @ordered + */ + int TRAIN__ID = 1; + + /** + * The feature id for the 'Speed' attribute. + * + * + * @generated + * @ordered + */ + int TRAIN__SPEED = 2; + + /** + * The number of structural features of the 'Train' class. + * + * + * @generated + * @ordered + */ + int TRAIN_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Train' class. + * + * + * @generated + * @ordered + */ + int TRAIN_OPERATION_COUNT = 0; + + + /** + * Returns the meta object for class '{@link modes3.Segment Segment}'. + * + * + * @return the meta object for class 'Segment'. + * @see modes3.Segment + * @generated + */ + EClass getSegment(); + + /** + * Returns the meta object for the reference list '{@link modes3.Segment#getConnectedTo Connected To}'. + * + * + * @return the meta object for the reference list 'Connected To'. + * @see modes3.Segment#getConnectedTo() + * @see #getSegment() + * @generated + */ + EReference getSegment_ConnectedTo(); + + /** + * Returns the meta object for the reference '{@link modes3.Segment#getOccupiedBy Occupied By}'. + * + * + * @return the meta object for the reference 'Occupied By'. + * @see modes3.Segment#getOccupiedBy() + * @see #getSegment() + * @generated + */ + EReference getSegment_OccupiedBy(); + + /** + * Returns the meta object for the attribute '{@link modes3.Segment#getId Id}'. + * + * + * @return the meta object for the attribute 'Id'. + * @see modes3.Segment#getId() + * @see #getSegment() + * @generated + */ + EAttribute getSegment_Id(); + + /** + * Returns the meta object for class '{@link modes3.Modes3ModelRoot Model Root}'. + * + * + * @return the meta object for class 'Model Root'. + * @see modes3.Modes3ModelRoot + * @generated + */ + EClass getModes3ModelRoot(); + + /** + * Returns the meta object for the attribute '{@link modes3.Modes3ModelRoot#getId Id}'. + * + * + * @return the meta object for the attribute 'Id'. + * @see modes3.Modes3ModelRoot#getId() + * @see #getModes3ModelRoot() + * @generated + */ + EAttribute getModes3ModelRoot_Id(); + + /** + * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getTrains Trains}'. + * + * + * @return the meta object for the containment reference list 'Trains'. + * @see modes3.Modes3ModelRoot#getTrains() + * @see #getModes3ModelRoot() + * @generated + */ + EReference getModes3ModelRoot_Trains(); + + /** + * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getSegments Segments}'. + * + * + * @return the meta object for the containment reference list 'Segments'. + * @see modes3.Modes3ModelRoot#getSegments() + * @see #getModes3ModelRoot() + * @generated + */ + EReference getModes3ModelRoot_Segments(); + + /** + * Returns the meta object for the containment reference list '{@link modes3.Modes3ModelRoot#getTurnouts Turnouts}'. + * + * + * @return the meta object for the containment reference list 'Turnouts'. + * @see modes3.Modes3ModelRoot#getTurnouts() + * @see #getModes3ModelRoot() + * @generated + */ + EReference getModes3ModelRoot_Turnouts(); + + /** + * Returns the meta object for class '{@link modes3.Turnout Turnout}'. + * + * + * @return the meta object for class 'Turnout'. + * @see modes3.Turnout + * @generated + */ + EClass getTurnout(); + + /** + * Returns the meta object for the reference '{@link modes3.Turnout#getStraight Straight}'. + * + * + * @return the meta object for the reference 'Straight'. + * @see modes3.Turnout#getStraight() + * @see #getTurnout() + * @generated + */ + EReference getTurnout_Straight(); + + /** + * Returns the meta object for the reference '{@link modes3.Turnout#getDivergent Divergent}'. + * + * + * @return the meta object for the reference 'Divergent'. + * @see modes3.Turnout#getDivergent() + * @see #getTurnout() + * @generated + */ + EReference getTurnout_Divergent(); + + /** + * Returns the meta object for class '{@link modes3.Train Train}'. + * + * + * @return the meta object for class 'Train'. + * @see modes3.Train + * @generated + */ + EClass getTrain(); + + /** + * Returns the meta object for the reference '{@link modes3.Train#getLocation Location}'. + * + * + * @return the meta object for the reference 'Location'. + * @see modes3.Train#getLocation() + * @see #getTrain() + * @generated + */ + EReference getTrain_Location(); + + /** + * Returns the meta object for the attribute '{@link modes3.Train#getId Id}'. + * + * + * @return the meta object for the attribute 'Id'. + * @see modes3.Train#getId() + * @see #getTrain() + * @generated + */ + EAttribute getTrain_Id(); + + /** + * Returns the meta object for the attribute '{@link modes3.Train#getSpeed Speed}'. + * + * + * @return the meta object for the attribute 'Speed'. + * @see modes3.Train#getSpeed() + * @see #getTrain() + * @generated + */ + EAttribute getTrain_Speed(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + Modes3Factory getModes3Factory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link modes3.impl.SegmentImpl Segment}' class. + * + * + * @see modes3.impl.SegmentImpl + * @see modes3.impl.Modes3PackageImpl#getSegment() + * @generated + */ + EClass SEGMENT = eINSTANCE.getSegment(); + + /** + * The meta object literal for the 'Connected To' reference list feature. + * + * + * @generated + */ + EReference SEGMENT__CONNECTED_TO = eINSTANCE.getSegment_ConnectedTo(); + + /** + * The meta object literal for the 'Occupied By' reference feature. + * + * + * @generated + */ + EReference SEGMENT__OCCUPIED_BY = eINSTANCE.getSegment_OccupiedBy(); + + /** + * The meta object literal for the 'Id' attribute feature. + * + * + * @generated + */ + EAttribute SEGMENT__ID = eINSTANCE.getSegment_Id(); + + /** + * The meta object literal for the '{@link modes3.impl.Modes3ModelRootImpl Model Root}' class. + * + * + * @see modes3.impl.Modes3ModelRootImpl + * @see modes3.impl.Modes3PackageImpl#getModes3ModelRoot() + * @generated + */ + EClass MODES3_MODEL_ROOT = eINSTANCE.getModes3ModelRoot(); + + /** + * The meta object literal for the 'Id' attribute feature. + * + * + * @generated + */ + EAttribute MODES3_MODEL_ROOT__ID = eINSTANCE.getModes3ModelRoot_Id(); + + /** + * The meta object literal for the 'Trains' containment reference list feature. + * + * + * @generated + */ + EReference MODES3_MODEL_ROOT__TRAINS = eINSTANCE.getModes3ModelRoot_Trains(); + + /** + * The meta object literal for the 'Segments' containment reference list feature. + * + * + * @generated + */ + EReference MODES3_MODEL_ROOT__SEGMENTS = eINSTANCE.getModes3ModelRoot_Segments(); + + /** + * The meta object literal for the 'Turnouts' containment reference list feature. + * + * + * @generated + */ + EReference MODES3_MODEL_ROOT__TURNOUTS = eINSTANCE.getModes3ModelRoot_Turnouts(); + + /** + * The meta object literal for the '{@link modes3.impl.TurnoutImpl Turnout}' class. + * + * + * @see modes3.impl.TurnoutImpl + * @see modes3.impl.Modes3PackageImpl#getTurnout() + * @generated + */ + EClass TURNOUT = eINSTANCE.getTurnout(); + + /** + * The meta object literal for the 'Straight' reference feature. + * + * + * @generated + */ + EReference TURNOUT__STRAIGHT = eINSTANCE.getTurnout_Straight(); + + /** + * The meta object literal for the 'Divergent' reference feature. + * + * + * @generated + */ + EReference TURNOUT__DIVERGENT = eINSTANCE.getTurnout_Divergent(); + + /** + * The meta object literal for the '{@link modes3.impl.TrainImpl Train}' class. + * + * + * @see modes3.impl.TrainImpl + * @see modes3.impl.Modes3PackageImpl#getTrain() + * @generated + */ + EClass TRAIN = eINSTANCE.getTrain(); + + /** + * The meta object literal for the 'Location' reference feature. + * + * + * @generated + */ + EReference TRAIN__LOCATION = eINSTANCE.getTrain_Location(); + + /** + * The meta object literal for the 'Id' attribute feature. + * + * + * @generated + */ + EAttribute TRAIN__ID = eINSTANCE.getTrain_Id(); + + /** + * The meta object literal for the 'Speed' attribute feature. + * + * + * @generated + */ + EAttribute TRAIN__SPEED = eINSTANCE.getTrain_Speed(); + + } + +} //Modes3Package -- cgit v1.2.3-54-g00ecf