From f1f2a1fac60aa00aa21cf9165e34666c108e8e4b Mon Sep 17 00:00:00 2001
From: ArenBabikian
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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage#eNS_URI + * @see #init() + * @generated + */ + private YakinduPackageImpl() { + super(eNS_URI, YakinduFactory.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 YakinduPackage#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 YakinduPackage init() { + if (isInited) return (YakinduPackage)EPackage.Registry.INSTANCE.getEPackage(YakinduPackage.eNS_URI); + + // Obtain or create and register package + Object registeredYakinduPackage = EPackage.Registry.INSTANCE.get(eNS_URI); + YakinduPackageImpl theYakinduPackage = registeredYakinduPackage instanceof YakinduPackageImpl ? (YakinduPackageImpl)registeredYakinduPackage : new YakinduPackageImpl(); + + isInited = true; + + // Create package meta-data objects + theYakinduPackage.createPackageContents(); + + // Initialize created meta-data + theYakinduPackage.initializePackageContents(); + + // Mark meta-data to indicate it can't be changed + theYakinduPackage.freeze(); + + // Update the registry and return the package + EPackage.Registry.INSTANCE.put(YakinduPackage.eNS_URI, theYakinduPackage); + return theYakinduPackage; + } + + /** + * + * + * @generated + */ + public EClass getPseudostate() { + return pseudostateEClass; + } + + /** + * + * + * @generated + */ + public EClass getVertex() { + return vertexEClass; + } + + /** + * + * + * @generated + */ + public EReference getVertex_IncomingTransitions() { + return (EReference)vertexEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getVertex_OutgoingTransitions() { + return (EReference)vertexEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EClass getRegion() { + return regionEClass; + } + + /** + * + * + * @generated + */ + public EReference getRegion_Vertices() { + return (EReference)regionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getTransition() { + return transitionEClass; + } + + /** + * + * + * @generated + */ + public EReference getTransition_Target() { + return (EReference)transitionEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getTransition_Source() { + return (EReference)transitionEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public EClass getStatechart() { + return statechartEClass; + } + + /** + * + * + * @generated + */ + public EClass getEntry() { + return entryEClass; + } + + /** + * + * + * @generated + */ + public EClass getSynchronization() { + return synchronizationEClass; + } + + /** + * + * + * @generated + */ + public EClass getState() { + return stateEClass; + } + + /** + * + * + * @generated + */ + public EClass getRegularState() { + return regularStateEClass; + } + + /** + * + * + * @generated + */ + public EClass getCompositeElement() { + return compositeElementEClass; + } + + /** + * + * + * @generated + */ + public EReference getCompositeElement_Regions() { + return (EReference)compositeElementEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getChoice() { + return choiceEClass; + } + + /** + * + * + * @generated + */ + public EClass getExit() { + return exitEClass; + } + + /** + * + * + * @generated + */ + public EClass getFinalState() { + return finalStateEClass; + } + + /** + * + * + * @generated + */ + public YakinduFactory getYakinduFactory() { + return (YakinduFactory)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 + pseudostateEClass = createEClass(PSEUDOSTATE); + + vertexEClass = createEClass(VERTEX); + createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS); + createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS); + + regionEClass = createEClass(REGION); + createEReference(regionEClass, REGION__VERTICES); + + transitionEClass = createEClass(TRANSITION); + createEReference(transitionEClass, TRANSITION__TARGET); + createEReference(transitionEClass, TRANSITION__SOURCE); + + statechartEClass = createEClass(STATECHART); + + entryEClass = createEClass(ENTRY); + + synchronizationEClass = createEClass(SYNCHRONIZATION); + + stateEClass = createEClass(STATE); + + regularStateEClass = createEClass(REGULAR_STATE); + + compositeElementEClass = createEClass(COMPOSITE_ELEMENT); + createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS); + + choiceEClass = createEClass(CHOICE); + + exitEClass = createEClass(EXIT); + + finalStateEClass = createEClass(FINAL_STATE); + } + + /** + * + * + * @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 + pseudostateEClass.getESuperTypes().add(this.getVertex()); + statechartEClass.getESuperTypes().add(this.getCompositeElement()); + entryEClass.getESuperTypes().add(this.getPseudostate()); + synchronizationEClass.getESuperTypes().add(this.getPseudostate()); + stateEClass.getESuperTypes().add(this.getRegularState()); + stateEClass.getESuperTypes().add(this.getCompositeElement()); + regularStateEClass.getESuperTypes().add(this.getVertex()); + choiceEClass.getESuperTypes().add(this.getPseudostate()); + exitEClass.getESuperTypes().add(this.getPseudostate()); + finalStateEClass.getESuperTypes().add(this.getRegularState()); + + // Initialize classes, features, and operations; add parameters + initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); + initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); + + initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); + + initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); + initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED); + + initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + + // Create resource + createResource(eNS_URI); + } + +} //YakinduPackageImpl diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduFactoryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduFactoryImpl.java deleted file mode 100644 index 5d004565..00000000 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduFactoryImpl.java +++ /dev/null @@ -1,183 +0,0 @@ -/** - */ -package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl; - -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*; - -import org.eclipse.emf.ecore.EClass; -import org.eclipse.emf.ecore.EObject; -import org.eclipse.emf.ecore.EPackage; - -import org.eclipse.emf.ecore.impl.EFactoryImpl; - -import org.eclipse.emf.ecore.plugin.EcorePlugin; - -/** - * - * An implementation of the model Factory. - * - * @generated - */ -public class yakinduFactoryImpl extends EFactoryImpl implements yakinduFactory { - /** - * Creates the default factory implementation. - * - * - * @generated - */ - public static yakinduFactory init() { - try { - yakinduFactory theyakinduFactory = (yakinduFactory)EPackage.Registry.INSTANCE.getEFactory(yakinduPackage.eNS_URI); - if (theyakinduFactory != null) { - return theyakinduFactory; - } - } - catch (Exception exception) { - EcorePlugin.INSTANCE.log(exception); - } - return new yakinduFactoryImpl(); - } - - /** - * Creates an instance of the factory. - * - * - * @generated - */ - public yakinduFactoryImpl() { - super(); - } - - /** - * - * - * @generated - */ - @Override - public EObject create(EClass eClass) { - switch (eClass.getClassifierID()) { - case yakinduPackage.REGION: return createRegion(); - case yakinduPackage.TRANSITION: return createTransition(); - case yakinduPackage.STATECHART: return createStatechart(); - case yakinduPackage.ENTRY: return createEntry(); - case yakinduPackage.SYNCHRONIZATION: return createSynchronization(); - case yakinduPackage.STATE: return createState(); - case yakinduPackage.CHOICE: return createChoice(); - case yakinduPackage.EXIT: return createExit(); - case yakinduPackage.FINAL_STATE: return createFinalState(); - default: - throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); - } - } - - /** - * - * - * @generated - */ - public Region createRegion() { - RegionImpl region = new RegionImpl(); - return region; - } - - /** - * - * - * @generated - */ - public Transition createTransition() { - TransitionImpl transition = new TransitionImpl(); - return transition; - } - - /** - * - * - * @generated - */ - public Statechart createStatechart() { - StatechartImpl statechart = new StatechartImpl(); - return statechart; - } - - /** - * - * - * @generated - */ - public Entry createEntry() { - EntryImpl entry = new EntryImpl(); - return entry; - } - - /** - * - * - * @generated - */ - public Synchronization createSynchronization() { - SynchronizationImpl synchronization = new SynchronizationImpl(); - return synchronization; - } - - /** - * - * - * @generated - */ - public State createState() { - StateImpl state = new StateImpl(); - return state; - } - - /** - * - * - * @generated - */ - public Choice createChoice() { - ChoiceImpl choice = new ChoiceImpl(); - return choice; - } - - /** - * - * - * @generated - */ - public Exit createExit() { - ExitImpl exit = new ExitImpl(); - return exit; - } - - /** - * - * - * @generated - */ - public FinalState createFinalState() { - FinalStateImpl finalState = new FinalStateImpl(); - return finalState; - } - - /** - * - * - * @generated - */ - public yakinduPackage getyakinduPackage() { - return (yakinduPackage)getEPackage(); - } - - /** - * - * - * @deprecated - * @generated - */ - @Deprecated - public static yakinduPackage getPackage() { - return yakinduPackage.eINSTANCE; - } - -} //yakinduFactoryImpl diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduPackageImpl.java deleted file mode 100644 index 2213e07f..00000000 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/impl/yakinduPackageImpl.java +++ /dev/null @@ -1,494 +0,0 @@ -/** - */ -package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl; - -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduFactory; -import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; - -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 yakinduPackageImpl extends EPackageImpl implements yakinduPackage { - /** - * - * - * @generated - */ - private EClass pseudostateEClass = null; - - /** - * - * - * @generated - */ - private EClass vertexEClass = null; - - /** - * - * - * @generated - */ - private EClass regionEClass = null; - - /** - * - * - * @generated - */ - private EClass transitionEClass = null; - - /** - * - * - * @generated - */ - private EClass statechartEClass = null; - - /** - * - * - * @generated - */ - private EClass entryEClass = null; - - /** - * - * - * @generated - */ - private EClass synchronizationEClass = null; - - /** - * - * - * @generated - */ - private EClass stateEClass = null; - - /** - * - * - * @generated - */ - private EClass regularStateEClass = null; - - /** - * - * - * @generated - */ - private EClass compositeElementEClass = null; - - /** - * - * - * @generated - */ - private EClass choiceEClass = null; - - /** - * - * - * @generated - */ - private EClass exitEClass = null; - - /** - * - * - * @generated - */ - private EClass finalStateEClass = 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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage#eNS_URI - * @see #init() - * @generated - */ - private yakinduPackageImpl() { - super(eNS_URI, yakinduFactory.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 yakinduPackage#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 yakinduPackage init() {
- if (isInited) return (yakinduPackage)EPackage.Registry.INSTANCE.getEPackage(yakinduPackage.eNS_URI);
-
- // Obtain or create and register package
- yakinduPackageImpl theyakinduPackage = (yakinduPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof yakinduPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new yakinduPackageImpl());
-
- isInited = true;
-
- // Create package meta-data objects
- theyakinduPackage.createPackageContents();
-
- // Initialize created meta-data
- theyakinduPackage.initializePackageContents();
-
- // Mark meta-data to indicate it can't be changed
- theyakinduPackage.freeze();
-
-
- // Update the registry and return the package
- EPackage.Registry.INSTANCE.put(yakinduPackage.eNS_URI, theyakinduPackage);
- return theyakinduPackage;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getPseudostate() {
- return pseudostateEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getVertex() {
- return vertexEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getVertex_IncomingTransitions() {
- return (EReference)vertexEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getVertex_OutgoingTransitions() {
- return (EReference)vertexEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getRegion() {
- return regionEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getRegion_Vertices() {
- return (EReference)regionEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getTransition() {
- return transitionEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getTransition_Target() {
- return (EReference)transitionEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getTransition_Source() {
- return (EReference)transitionEClass.getEStructuralFeatures().get(1);
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getStatechart() {
- return statechartEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getEntry() {
- return entryEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getSynchronization() {
- return synchronizationEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getState() {
- return stateEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getRegularState() {
- return regularStateEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getCompositeElement() {
- return compositeElementEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EReference getCompositeElement_Regions() {
- return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getChoice() {
- return choiceEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getExit() {
- return exitEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public EClass getFinalState() {
- return finalStateEClass;
- }
-
- /**
- *
- *
- * @generated
- */
- public yakinduFactory getyakinduFactory() {
- return (yakinduFactory)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
- pseudostateEClass = createEClass(PSEUDOSTATE);
-
- vertexEClass = createEClass(VERTEX);
- createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
- createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
-
- regionEClass = createEClass(REGION);
- createEReference(regionEClass, REGION__VERTICES);
-
- transitionEClass = createEClass(TRANSITION);
- createEReference(transitionEClass, TRANSITION__TARGET);
- createEReference(transitionEClass, TRANSITION__SOURCE);
-
- statechartEClass = createEClass(STATECHART);
-
- entryEClass = createEClass(ENTRY);
-
- synchronizationEClass = createEClass(SYNCHRONIZATION);
-
- stateEClass = createEClass(STATE);
-
- regularStateEClass = createEClass(REGULAR_STATE);
-
- compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
- createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
-
- choiceEClass = createEClass(CHOICE);
-
- exitEClass = createEClass(EXIT);
-
- finalStateEClass = createEClass(FINAL_STATE);
- }
-
- /**
- *
- *
- * @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
- pseudostateEClass.getESuperTypes().add(this.getVertex());
- statechartEClass.getESuperTypes().add(this.getCompositeElement());
- entryEClass.getESuperTypes().add(this.getPseudostate());
- synchronizationEClass.getESuperTypes().add(this.getPseudostate());
- stateEClass.getESuperTypes().add(this.getRegularState());
- stateEClass.getESuperTypes().add(this.getCompositeElement());
- regularStateEClass.getESuperTypes().add(this.getVertex());
- choiceEClass.getESuperTypes().add(this.getPseudostate());
- exitEClass.getESuperTypes().add(this.getPseudostate());
- finalStateEClass.getESuperTypes().add(this.getRegularState());
-
- // Initialize classes, features, and operations; add parameters
- initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
- initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
-
- initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
-
- initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
- initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
-
- initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
-
- initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
-
- // Create resource
- createResource(eNS_URI);
- }
-
-} //yakinduPackageImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java
new file mode 100644
index 00000000..566f01e5
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduAdapterFactory.java
@@ -0,0 +1,336 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
+
+import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ *
+ * The Adapter Factory for the model.
+ * It provides an adapter createXXX
method for each class of the model.
+ *
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
+ * @generated
+ */
+public class YakinduAdapterFactory extends AdapterFactoryImpl {
+ /**
+ * The cached model package.
+ *
+ *
+ * @generated
+ */
+ protected static YakinduPackage modelPackage;
+
+ /**
+ * Creates an instance of the adapter factory.
+ *
+ *
+ * @generated
+ */
+ public YakinduAdapterFactory() {
+ if (modelPackage == null) {
+ modelPackage = YakinduPackage.eINSTANCE;
+ }
+ }
+
+ /**
+ * Returns whether this factory is applicable for the type of the object.
+ *
+ * This implementation returns true
if the object is either the model's package or is an instance object of the model.
+ *
+ * @return whether this factory is applicable for the type of the object.
+ * @generated
+ */
+ @Override
+ public boolean isFactoryForType(Object object) {
+ if (object == modelPackage) {
+ return true;
+ }
+ if (object instanceof EObject) {
+ return ((EObject)object).eClass().getEPackage() == modelPackage;
+ }
+ return false;
+ }
+
+ /**
+ * The switch that delegates to the createXXX
methods.
+ *
+ *
+ * @generated
+ */
+ protected YakinduSwitchtarget
.
+ *
+ *
+ * @param target the object to adapt.
+ * @return the adapter for the target
.
+ * @generated
+ */
+ @Override
+ public Adapter createAdapter(Notifier target) {
+ return modelSwitch.doSwitch((EObject)target);
+ }
+
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate Pseudostate}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
+ * @generated
+ */
+ public Adapter createPseudostateAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex Vertex}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
+ * @generated
+ */
+ public Adapter createVertexAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region Region}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
+ * @generated
+ */
+ public Adapter createRegionAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition Transition}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
+ * @generated
+ */
+ public Adapter createTransitionAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart Statechart}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
+ * @generated
+ */
+ public Adapter createStatechartAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry Entry}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
+ * @generated
+ */
+ public Adapter createEntryAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization Synchronization}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
+ * @generated
+ */
+ public Adapter createSynchronizationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State State}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
+ * @generated
+ */
+ public Adapter createStateAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState Regular State}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
+ * @generated
+ */
+ public Adapter createRegularStateAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement Composite Element}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
+ * @generated
+ */
+ public Adapter createCompositeElementAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice Choice}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
+ * @generated
+ */
+ public Adapter createChoiceAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit Exit}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
+ * @generated
+ */
+ public Adapter createExitAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState Final State}'.
+ *
+ * This default implementation returns null so that we can easily ignore cases;
+ * it's useful to ignore a case when inheritance will catch all the cases anyway.
+ *
+ * @return the new adapter.
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
+ * @generated
+ */
+ public Adapter createFinalStateAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for the default case.
+ *
+ * This default implementation returns null.
+ *
+ * @return the new adapter.
+ * @generated
+ */
+ public Adapter createEObjectAdapter() {
+ return null;
+ }
+
+} //YakinduAdapterFactory
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java
new file mode 100644
index 00000000..fdaff54d
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/YakinduSwitch.java
@@ -0,0 +1,378 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
+
+import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.util.Switch;
+
+/**
+ *
+ * The Switch for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the caseXXX
method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ *
+ * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.YakinduPackage
+ * @generated
+ */
+public class YakinduSwitchcaseXXX
for each class of the model until one returns a non null result; it yields that result.
+ *
+ *
+ * @return the first non-null result returned by a caseXXX
call.
+ * @generated
+ */
+ @Override
+ protected T doSwitch(int classifierID, EObject theEObject) {
+ switch (classifierID) {
+ case YakinduPackage.PSEUDOSTATE: {
+ Pseudostate pseudostate = (Pseudostate)theEObject;
+ T result = casePseudostate(pseudostate);
+ if (result == null) result = caseVertex(pseudostate);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.VERTEX: {
+ Vertex vertex = (Vertex)theEObject;
+ T result = caseVertex(vertex);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.REGION: {
+ Region region = (Region)theEObject;
+ T result = caseRegion(region);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.TRANSITION: {
+ Transition transition = (Transition)theEObject;
+ T result = caseTransition(transition);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.STATECHART: {
+ Statechart statechart = (Statechart)theEObject;
+ T result = caseStatechart(statechart);
+ if (result == null) result = caseCompositeElement(statechart);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.ENTRY: {
+ Entry entry = (Entry)theEObject;
+ T result = caseEntry(entry);
+ if (result == null) result = casePseudostate(entry);
+ if (result == null) result = caseVertex(entry);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.SYNCHRONIZATION: {
+ Synchronization synchronization = (Synchronization)theEObject;
+ T result = caseSynchronization(synchronization);
+ if (result == null) result = casePseudostate(synchronization);
+ if (result == null) result = caseVertex(synchronization);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.STATE: {
+ State state = (State)theEObject;
+ T result = caseState(state);
+ if (result == null) result = caseRegularState(state);
+ if (result == null) result = caseCompositeElement(state);
+ if (result == null) result = caseVertex(state);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.REGULAR_STATE: {
+ RegularState regularState = (RegularState)theEObject;
+ T result = caseRegularState(regularState);
+ if (result == null) result = caseVertex(regularState);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.COMPOSITE_ELEMENT: {
+ CompositeElement compositeElement = (CompositeElement)theEObject;
+ T result = caseCompositeElement(compositeElement);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.CHOICE: {
+ Choice choice = (Choice)theEObject;
+ T result = caseChoice(choice);
+ if (result == null) result = casePseudostate(choice);
+ if (result == null) result = caseVertex(choice);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.EXIT: {
+ Exit exit = (Exit)theEObject;
+ T result = caseExit(exit);
+ if (result == null) result = casePseudostate(exit);
+ if (result == null) result = caseVertex(exit);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case YakinduPackage.FINAL_STATE: {
+ FinalState finalState = (FinalState)theEObject;
+ T result = caseFinalState(finalState);
+ if (result == null) result = caseRegularState(finalState);
+ if (result == null) result = caseVertex(finalState);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ default: return defaultCase(theEObject);
+ }
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Pseudostate'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Pseudostate'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePseudostate(Pseudostate object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Vertex'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Vertex'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseVertex(Vertex object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Region'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Region'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseRegion(Region object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Transition'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Transition'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseTransition(Transition object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Statechart'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Statechart'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseStatechart(Statechart object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Entry'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Entry'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseEntry(Entry object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Synchronization'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Synchronization'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseSynchronization(Synchronization object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'State'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'State'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseState(State object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Regular State'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Regular State'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseRegularState(RegularState object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Composite Element'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Composite Element'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseCompositeElement(CompositeElement object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Choice'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Choice'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseChoice(Choice object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Exit'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Exit'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseExit(Exit object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Final State'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Final State'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseFinalState(FinalState object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'EObject'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch, but this is the last case anyway.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'EObject'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+ * @generated
+ */
+ @Override
+ public T defaultCase(EObject object) {
+ return null;
+ }
+
+} //YakinduSwitch
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduAdapterFactory.java
deleted file mode 100644
index b8fafb35..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduAdapterFactory.java
+++ /dev/null
@@ -1,336 +0,0 @@
-/**
- */
-package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
-
-import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
-
-import org.eclipse.emf.common.notify.Adapter;
-import org.eclipse.emf.common.notify.Notifier;
-
-import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
-
-import org.eclipse.emf.ecore.EObject;
-
-/**
- *
- * The Adapter Factory for the model.
- * It provides an adapter createXXX
method for each class of the model.
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage
- * @generated
- */
-public class yakinduAdapterFactory extends AdapterFactoryImpl {
- /**
- * The cached model package.
- *
- *
- * @generated
- */
- protected static yakinduPackage modelPackage;
-
- /**
- * Creates an instance of the adapter factory.
- *
- *
- * @generated
- */
- public yakinduAdapterFactory() {
- if (modelPackage == null) {
- modelPackage = yakinduPackage.eINSTANCE;
- }
- }
-
- /**
- * Returns whether this factory is applicable for the type of the object.
- *
- * This implementation returns true
if the object is either the model's package or is an instance object of the model.
- *
- * @return whether this factory is applicable for the type of the object.
- * @generated
- */
- @Override
- public boolean isFactoryForType(Object object) {
- if (object == modelPackage) {
- return true;
- }
- if (object instanceof EObject) {
- return ((EObject)object).eClass().getEPackage() == modelPackage;
- }
- return false;
- }
-
- /**
- * The switch that delegates to the createXXX
methods.
- *
- *
- * @generated
- */
- protected yakinduSwitchtarget
.
- *
- *
- * @param target the object to adapt.
- * @return the adapter for the target
.
- * @generated
- */
- @Override
- public Adapter createAdapter(Notifier target) {
- return modelSwitch.doSwitch((EObject)target);
- }
-
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate Pseudostate}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
- * @generated
- */
- public Adapter createPseudostateAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex Vertex}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
- * @generated
- */
- public Adapter createVertexAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region Region}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
- * @generated
- */
- public Adapter createRegionAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition Transition}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
- * @generated
- */
- public Adapter createTransitionAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart Statechart}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
- * @generated
- */
- public Adapter createStatechartAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry Entry}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
- * @generated
- */
- public Adapter createEntryAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization Synchronization}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
- * @generated
- */
- public Adapter createSynchronizationAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State State}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
- * @generated
- */
- public Adapter createStateAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState Regular State}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
- * @generated
- */
- public Adapter createRegularStateAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement Composite Element}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
- * @generated
- */
- public Adapter createCompositeElementAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice Choice}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
- * @generated
- */
- public Adapter createChoiceAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit Exit}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
- * @generated
- */
- public Adapter createExitAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState Final State}'.
- *
- * This default implementation returns null so that we can easily ignore cases;
- * it's useful to ignore a case when inheritance will catch all the cases anyway.
- *
- * @return the new adapter.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
- * @generated
- */
- public Adapter createFinalStateAdapter() {
- return null;
- }
-
- /**
- * Creates a new adapter for the default case.
- *
- * This default implementation returns null.
- *
- * @return the new adapter.
- * @generated
- */
- public Adapter createEObjectAdapter() {
- return null;
- }
-
-} //yakinduAdapterFactory
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduSwitch.java
deleted file mode 100644
index fbc6f821..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/util/yakinduSwitch.java
+++ /dev/null
@@ -1,378 +0,0 @@
-/**
- */
-package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.util;
-
-import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.*;
-
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.emf.ecore.EPackage;
-
-import org.eclipse.emf.ecore.util.Switch;
-
-/**
- *
- * The Switch for the model's inheritance hierarchy.
- * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
- * to invoke the caseXXX
method for each class of the model,
- * starting with the actual class of the object
- * and proceeding up the inheritance hierarchy
- * until a non-null result is returned,
- * which is the result of the switch.
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage
- * @generated
- */
-public class yakinduSwitchcaseXXX
for each class of the model until one returns a non null result; it yields that result.
- *
- *
- * @return the first non-null result returned by a caseXXX
call.
- * @generated
- */
- @Override
- protected T doSwitch(int classifierID, EObject theEObject) {
- switch (classifierID) {
- case yakinduPackage.PSEUDOSTATE: {
- Pseudostate pseudostate = (Pseudostate)theEObject;
- T result = casePseudostate(pseudostate);
- if (result == null) result = caseVertex(pseudostate);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.VERTEX: {
- Vertex vertex = (Vertex)theEObject;
- T result = caseVertex(vertex);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.REGION: {
- Region region = (Region)theEObject;
- T result = caseRegion(region);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.TRANSITION: {
- Transition transition = (Transition)theEObject;
- T result = caseTransition(transition);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.STATECHART: {
- Statechart statechart = (Statechart)theEObject;
- T result = caseStatechart(statechart);
- if (result == null) result = caseCompositeElement(statechart);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.ENTRY: {
- Entry entry = (Entry)theEObject;
- T result = caseEntry(entry);
- if (result == null) result = casePseudostate(entry);
- if (result == null) result = caseVertex(entry);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.SYNCHRONIZATION: {
- Synchronization synchronization = (Synchronization)theEObject;
- T result = caseSynchronization(synchronization);
- if (result == null) result = casePseudostate(synchronization);
- if (result == null) result = caseVertex(synchronization);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.STATE: {
- State state = (State)theEObject;
- T result = caseState(state);
- if (result == null) result = caseRegularState(state);
- if (result == null) result = caseCompositeElement(state);
- if (result == null) result = caseVertex(state);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.REGULAR_STATE: {
- RegularState regularState = (RegularState)theEObject;
- T result = caseRegularState(regularState);
- if (result == null) result = caseVertex(regularState);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.COMPOSITE_ELEMENT: {
- CompositeElement compositeElement = (CompositeElement)theEObject;
- T result = caseCompositeElement(compositeElement);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.CHOICE: {
- Choice choice = (Choice)theEObject;
- T result = caseChoice(choice);
- if (result == null) result = casePseudostate(choice);
- if (result == null) result = caseVertex(choice);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.EXIT: {
- Exit exit = (Exit)theEObject;
- T result = caseExit(exit);
- if (result == null) result = casePseudostate(exit);
- if (result == null) result = caseVertex(exit);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- case yakinduPackage.FINAL_STATE: {
- FinalState finalState = (FinalState)theEObject;
- T result = caseFinalState(finalState);
- if (result == null) result = caseRegularState(finalState);
- if (result == null) result = caseVertex(finalState);
- if (result == null) result = defaultCase(theEObject);
- return result;
- }
- default: return defaultCase(theEObject);
- }
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Pseudostate'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Pseudostate'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T casePseudostate(Pseudostate object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Vertex'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Vertex'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseVertex(Vertex object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Region'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Region'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseRegion(Region object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Transition'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Transition'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseTransition(Transition object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Statechart'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Statechart'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseStatechart(Statechart object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Entry'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Entry'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseEntry(Entry object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Synchronization'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Synchronization'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseSynchronization(Synchronization object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'State'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'State'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseState(State object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Regular State'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Regular State'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseRegularState(RegularState object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Composite Element'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Composite Element'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseCompositeElement(CompositeElement object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Choice'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Choice'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseChoice(Choice object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Exit'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Exit'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseExit(Exit object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'Final State'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'Final State'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
- * @generated
- */
- public T caseFinalState(FinalState object) {
- return null;
- }
-
- /**
- * Returns the result of interpreting the object as an instance of 'EObject'.
- *
- * This implementation returns null;
- * returning a non-null result will terminate the switch, but this is the last case anyway.
- *
- * @param object the target of the switch.
- * @return the result of interpreting the object as an instance of 'EObject'.
- * @see #doSwitch(org.eclipse.emf.ecore.EObject)
- * @generated
- */
- @Override
- public T defaultCase(EObject object) {
- return null;
- }
-
-} //yakinduSwitch
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduFactory.java
deleted file mode 100644
index 6d437ecb..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduFactory.java
+++ /dev/null
@@ -1,114 +0,0 @@
-/**
- */
-package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu;
-
-import org.eclipse.emf.ecore.EFactory;
-
-/**
- *
- * The Factory for the model.
- * It provides a create method for each non-abstract class of the model.
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage
- * @generated
- */
-public interface yakinduFactory extends EFactory {
- /**
- * The singleton instance of the factory.
- *
- *
- * @generated
- */
- yakinduFactory eINSTANCE = ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduFactoryImpl.init();
-
- /**
- * Returns a new object of class 'Region'.
- *
- *
- * @return a new object of class 'Region'.
- * @generated
- */
- Region createRegion();
-
- /**
- * Returns a new object of class 'Transition'.
- *
- *
- * @return a new object of class 'Transition'.
- * @generated
- */
- Transition createTransition();
-
- /**
- * Returns a new object of class 'Statechart'.
- *
- *
- * @return a new object of class 'Statechart'.
- * @generated
- */
- Statechart createStatechart();
-
- /**
- * Returns a new object of class 'Entry'.
- *
- *
- * @return a new object of class 'Entry'.
- * @generated
- */
- Entry createEntry();
-
- /**
- * Returns a new object of class 'Synchronization'.
- *
- *
- * @return a new object of class 'Synchronization'.
- * @generated
- */
- Synchronization createSynchronization();
-
- /**
- * Returns a new object of class 'State'.
- *
- *
- * @return a new object of class 'State'.
- * @generated
- */
- State createState();
-
- /**
- * Returns a new object of class 'Choice'.
- *
- *
- * @return a new object of class 'Choice'.
- * @generated
- */
- Choice createChoice();
-
- /**
- * Returns a new object of class 'Exit'.
- *
- *
- * @return a new object of class 'Exit'.
- * @generated
- */
- Exit createExit();
-
- /**
- * Returns a new object of class 'Final State'.
- *
- *
- * @return a new object of class 'Final State'.
- * @generated
- */
- FinalState createFinalState();
-
- /**
- * Returns the package supported by this factory.
- *
- *
- * @return the package supported by this factory.
- * @generated
- */
- yakinduPackage getyakinduPackage();
-
-} //yakinduFactory
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduPackage.java b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduPackage.java
deleted file mode 100644
index b3b14944..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/yakinduPackage.java
+++ /dev/null
@@ -1,1038 +0,0 @@
-/**
- */
-package ca.mcgill.ecse.dslreasoner.standalone.test.yakindu;
-
-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 ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduFactory
- * @model kind="package"
- * @generated
- */
-public interface yakinduPackage extends EPackage {
- /**
- * The package name.
- *
- *
- * @generated
- */
- String eNAME = "yakindu";
-
- /**
- * The package namespace URI.
- *
- *
- * @generated
- */
- String eNS_URI = "YakinduMetamodel";
-
- /**
- * The package namespace name.
- *
- *
- * @generated
- */
- String eNS_PREFIX = "yakindu";
-
- /**
- * The singleton instance of the package.
- *
- *
- * @generated
- */
- yakinduPackage eINSTANCE = ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl.init();
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl Vertex}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getVertex()
- * @generated
- */
- int VERTEX = 1;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int VERTEX__INCOMING_TRANSITIONS = 0;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int VERTEX__OUTGOING_TRANSITIONS = 1;
-
- /**
- * The number of structural features of the 'Vertex' class.
- *
- *
- * @generated
- * @ordered
- */
- int VERTEX_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Vertex' class.
- *
- *
- * @generated
- * @ordered
- */
- int VERTEX_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.PseudostateImpl Pseudostate}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.PseudostateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getPseudostate()
- * @generated
- */
- int PSEUDOSTATE = 0;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PSEUDOSTATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PSEUDOSTATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Pseudostate' class.
- *
- *
- * @generated
- * @ordered
- */
- int PSEUDOSTATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Pseudostate' class.
- *
- *
- * @generated
- * @ordered
- */
- int PSEUDOSTATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegionImpl Region}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegionImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getRegion()
- * @generated
- */
- int REGION = 2;
-
- /**
- * The feature id for the 'Vertices' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int REGION__VERTICES = 0;
-
- /**
- * The number of structural features of the 'Region' class.
- *
- *
- * @generated
- * @ordered
- */
- int REGION_FEATURE_COUNT = 1;
-
- /**
- * The number of operations of the 'Region' class.
- *
- *
- * @generated
- * @ordered
- */
- int REGION_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl Transition}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getTransition()
- * @generated
- */
- int TRANSITION = 3;
-
- /**
- * The feature id for the 'Target' reference.
- *
- *
- * @generated
- * @ordered
- */
- int TRANSITION__TARGET = 0;
-
- /**
- * The feature id for the 'Source' container reference.
- *
- *
- * @generated
- * @ordered
- */
- int TRANSITION__SOURCE = 1;
-
- /**
- * The number of structural features of the 'Transition' class.
- *
- *
- * @generated
- * @ordered
- */
- int TRANSITION_FEATURE_COUNT = 2;
-
- /**
- * The number of operations of the 'Transition' class.
- *
- *
- * @generated
- * @ordered
- */
- int TRANSITION_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.CompositeElementImpl Composite Element}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.CompositeElementImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getCompositeElement()
- * @generated
- */
- int COMPOSITE_ELEMENT = 9;
-
- /**
- * The feature id for the 'Regions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int COMPOSITE_ELEMENT__REGIONS = 0;
-
- /**
- * The number of structural features of the 'Composite Element' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMPOSITE_ELEMENT_FEATURE_COUNT = 1;
-
- /**
- * The number of operations of the 'Composite Element' class.
- *
- *
- * @generated
- * @ordered
- */
- int COMPOSITE_ELEMENT_OPERATION_COUNT = 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StatechartImpl Statechart}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StatechartImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getStatechart()
- * @generated
- */
- int STATECHART = 4;
-
- /**
- * The feature id for the 'Regions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int STATECHART__REGIONS = COMPOSITE_ELEMENT__REGIONS;
-
- /**
- * The number of structural features of the 'Statechart' class.
- *
- *
- * @generated
- * @ordered
- */
- int STATECHART_FEATURE_COUNT = COMPOSITE_ELEMENT_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Statechart' class.
- *
- *
- * @generated
- * @ordered
- */
- int STATECHART_OPERATION_COUNT = COMPOSITE_ELEMENT_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.EntryImpl Entry}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.EntryImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getEntry()
- * @generated
- */
- int ENTRY = 5;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int ENTRY__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Entry' class.
- *
- *
- * @generated
- * @ordered
- */
- int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Entry' class.
- *
- *
- * @generated
- * @ordered
- */
- int ENTRY_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.SynchronizationImpl Synchronization}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.SynchronizationImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getSynchronization()
- * @generated
- */
- int SYNCHRONIZATION = 6;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int SYNCHRONIZATION__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int SYNCHRONIZATION__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Synchronization' class.
- *
- *
- * @generated
- * @ordered
- */
- int SYNCHRONIZATION_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Synchronization' class.
- *
- *
- * @generated
- * @ordered
- */
- int SYNCHRONIZATION_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegularStateImpl Regular State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegularStateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getRegularState()
- * @generated
- */
- int REGULAR_STATE = 8;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int REGULAR_STATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int REGULAR_STATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Regular State' class.
- *
- *
- * @generated
- * @ordered
- */
- int REGULAR_STATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Regular State' class.
- *
- *
- * @generated
- * @ordered
- */
- int REGULAR_STATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StateImpl State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getState()
- * @generated
- */
- int STATE = 7;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
-
- /**
- * The feature id for the 'Regions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int STATE__REGIONS = REGULAR_STATE_FEATURE_COUNT + 0;
-
- /**
- * The number of structural features of the 'State' class.
- *
- *
- * @generated
- * @ordered
- */
- int STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 1;
-
- /**
- * The number of operations of the 'State' class.
- *
- *
- * @generated
- * @ordered
- */
- int STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ChoiceImpl Choice}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ChoiceImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getChoice()
- * @generated
- */
- int CHOICE = 10;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CHOICE__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int CHOICE__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Choice' class.
- *
- *
- * @generated
- * @ordered
- */
- int CHOICE_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Choice' class.
- *
- *
- * @generated
- * @ordered
- */
- int CHOICE_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ExitImpl Exit}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ExitImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getExit()
- * @generated
- */
- int EXIT = 11;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int EXIT__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int EXIT__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Exit' class.
- *
- *
- * @generated
- * @ordered
- */
- int EXIT_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Exit' class.
- *
- *
- * @generated
- * @ordered
- */
- int EXIT_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
-
- /**
- * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.FinalStateImpl Final State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.FinalStateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getFinalState()
- * @generated
- */
- int FINAL_STATE = 12;
-
- /**
- * The feature id for the 'Incoming Transitions' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int FINAL_STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
-
- /**
- * The feature id for the 'Outgoing Transitions' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int FINAL_STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
-
- /**
- * The number of structural features of the 'Final State' class.
- *
- *
- * @generated
- * @ordered
- */
- int FINAL_STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 0;
-
- /**
- * The number of operations of the 'Final State' class.
- *
- *
- * @generated
- * @ordered
- */
- int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
-
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate Pseudostate}'.
- *
- *
- * @return the meta object for class 'Pseudostate'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Pseudostate
- * @generated
- */
- EClass getPseudostate();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex Vertex}'.
- *
- *
- * @return the meta object for class 'Vertex'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex
- * @generated
- */
- EClass getVertex();
-
- /**
- * Returns the meta object for the reference list '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex#getIncomingTransitions Incoming Transitions}'.
- *
- *
- * @return the meta object for the reference list 'Incoming Transitions'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex#getIncomingTransitions()
- * @see #getVertex()
- * @generated
- */
- EReference getVertex_IncomingTransitions();
-
- /**
- * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex#getOutgoingTransitions Outgoing Transitions}'.
- *
- *
- * @return the meta object for the containment reference list 'Outgoing Transitions'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Vertex#getOutgoingTransitions()
- * @see #getVertex()
- * @generated
- */
- EReference getVertex_OutgoingTransitions();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region Region}'.
- *
- *
- * @return the meta object for class 'Region'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region
- * @generated
- */
- EClass getRegion();
-
- /**
- * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region#getVertices Vertices}'.
- *
- *
- * @return the meta object for the containment reference list 'Vertices'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region#getVertices()
- * @see #getRegion()
- * @generated
- */
- EReference getRegion_Vertices();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition Transition}'.
- *
- *
- * @return the meta object for class 'Transition'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition
- * @generated
- */
- EClass getTransition();
-
- /**
- * Returns the meta object for the reference '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition#getTarget Target}'.
- *
- *
- * @return the meta object for the reference 'Target'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition#getTarget()
- * @see #getTransition()
- * @generated
- */
- EReference getTransition_Target();
-
- /**
- * Returns the meta object for the container reference '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition#getSource Source}'.
- *
- *
- * @return the meta object for the container reference 'Source'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Transition#getSource()
- * @see #getTransition()
- * @generated
- */
- EReference getTransition_Source();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart Statechart}'.
- *
- *
- * @return the meta object for class 'Statechart'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Statechart
- * @generated
- */
- EClass getStatechart();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry Entry}'.
- *
- *
- * @return the meta object for class 'Entry'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Entry
- * @generated
- */
- EClass getEntry();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization Synchronization}'.
- *
- *
- * @return the meta object for class 'Synchronization'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Synchronization
- * @generated
- */
- EClass getSynchronization();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State State}'.
- *
- *
- * @return the meta object for class 'State'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.State
- * @generated
- */
- EClass getState();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState Regular State}'.
- *
- *
- * @return the meta object for class 'Regular State'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.RegularState
- * @generated
- */
- EClass getRegularState();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement Composite Element}'.
- *
- *
- * @return the meta object for class 'Composite Element'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement
- * @generated
- */
- EClass getCompositeElement();
-
- /**
- * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement#getRegions Regions}'.
- *
- *
- * @return the meta object for the containment reference list 'Regions'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.CompositeElement#getRegions()
- * @see #getCompositeElement()
- * @generated
- */
- EReference getCompositeElement_Regions();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice Choice}'.
- *
- *
- * @return the meta object for class 'Choice'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Choice
- * @generated
- */
- EClass getChoice();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit Exit}'.
- *
- *
- * @return the meta object for class 'Exit'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Exit
- * @generated
- */
- EClass getExit();
-
- /**
- * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState Final State}'.
- *
- *
- * @return the meta object for class 'Final State'.
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.FinalState
- * @generated
- */
- EClass getFinalState();
-
- /**
- * Returns the factory that creates the instances of the model.
- *
- *
- * @return the factory that creates the instances of the model.
- * @generated
- */
- yakinduFactory getyakinduFactory();
-
- /**
- *
- * Defines literals for the meta objects that represent
- *
- *
- *
- * @generated
- */
- interface Literals {
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.PseudostateImpl Pseudostate}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.PseudostateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getPseudostate()
- * @generated
- */
- EClass PSEUDOSTATE = eINSTANCE.getPseudostate();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl Vertex}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.VertexImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getVertex()
- * @generated
- */
- EClass VERTEX = eINSTANCE.getVertex();
-
- /**
- * The meta object literal for the 'Incoming Transitions' reference list feature.
- *
- *
- * @generated
- */
- EReference VERTEX__INCOMING_TRANSITIONS = eINSTANCE.getVertex_IncomingTransitions();
-
- /**
- * The meta object literal for the 'Outgoing Transitions' containment reference list feature.
- *
- *
- * @generated
- */
- EReference VERTEX__OUTGOING_TRANSITIONS = eINSTANCE.getVertex_OutgoingTransitions();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegionImpl Region}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegionImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getRegion()
- * @generated
- */
- EClass REGION = eINSTANCE.getRegion();
-
- /**
- * The meta object literal for the 'Vertices' containment reference list feature.
- *
- *
- * @generated
- */
- EReference REGION__VERTICES = eINSTANCE.getRegion_Vertices();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl Transition}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.TransitionImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getTransition()
- * @generated
- */
- EClass TRANSITION = eINSTANCE.getTransition();
-
- /**
- * The meta object literal for the 'Target' reference feature.
- *
- *
- * @generated
- */
- EReference TRANSITION__TARGET = eINSTANCE.getTransition_Target();
-
- /**
- * The meta object literal for the 'Source' container reference feature.
- *
- *
- * @generated
- */
- EReference TRANSITION__SOURCE = eINSTANCE.getTransition_Source();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StatechartImpl Statechart}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StatechartImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getStatechart()
- * @generated
- */
- EClass STATECHART = eINSTANCE.getStatechart();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.EntryImpl Entry}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.EntryImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getEntry()
- * @generated
- */
- EClass ENTRY = eINSTANCE.getEntry();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.SynchronizationImpl Synchronization}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.SynchronizationImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getSynchronization()
- * @generated
- */
- EClass SYNCHRONIZATION = eINSTANCE.getSynchronization();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StateImpl State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.StateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getState()
- * @generated
- */
- EClass STATE = eINSTANCE.getState();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegularStateImpl Regular State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.RegularStateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getRegularState()
- * @generated
- */
- EClass REGULAR_STATE = eINSTANCE.getRegularState();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.CompositeElementImpl Composite Element}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.CompositeElementImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getCompositeElement()
- * @generated
- */
- EClass COMPOSITE_ELEMENT = eINSTANCE.getCompositeElement();
-
- /**
- * The meta object literal for the 'Regions' containment reference list feature.
- *
- *
- * @generated
- */
- EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ChoiceImpl Choice}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ChoiceImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getChoice()
- * @generated
- */
- EClass CHOICE = eINSTANCE.getChoice();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ExitImpl Exit}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.ExitImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getExit()
- * @generated
- */
- EClass EXIT = eINSTANCE.getExit();
-
- /**
- * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.FinalStateImpl Final State}' class.
- *
- *
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.FinalStateImpl
- * @see ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.impl.yakinduPackageImpl#getFinalState()
- * @generated
- */
- EClass FINAL_STATE = eINSTANCE.getFinalState();
-
- }
-
-} //yakinduPackage
--
cgit v1.2.3-70-g09d2