From 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 7 Oct 2019 00:35:42 -0400 Subject: VAMPIRE: Implement Vampire measurement code --- .../domains/yakindu/sgraph/yakindumm/Entry.java | 35 +++ .../yakindu/sgraph/yakindumm/EntryType.java | 239 +++++++++++++++++++++ .../yakindu/sgraph/yakindumm/YakindummPackage.java | 63 +++++- .../yakindu/sgraph/yakindumm/impl/EntryImpl.java | 123 +++++++++++ .../yakindumm/impl/YakindummFactoryImpl.java | 51 +++++ .../yakindumm/impl/YakindummPackageImpl.java | 45 +++- 6 files changed, 552 insertions(+), 4 deletions(-) create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/EntryType.java (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Entry.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Entry.java index de8cdb07..994ffd96 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Entry.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/Entry.java @@ -8,10 +8,45 @@ package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm; * A representation of the model object 'Entry'. * * + *

+ * The following features are supported: + *

+ * * * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getEntry() * @model * @generated */ public interface Entry extends Pseudostate { + + /** + * Returns the value of the 'Type' attribute. + * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType}. + * + *

+ * If the meaning of the 'Type' attribute isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Type' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType + * @see #setType(EntryType) + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getEntry_Type() + * @model + * @generated + */ + EntryType getType(); + + /** + * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry#getType Type}' attribute. + * + * + * @param value the new value of the 'Type' attribute. + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType + * @see #getType() + * @generated + */ + void setType(EntryType value); } // Entry diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/EntryType.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/EntryType.java new file mode 100644 index 00000000..4f5d1a31 --- /dev/null +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/EntryType.java @@ -0,0 +1,239 @@ +/** + */ +package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm; + +import java.util.Arrays; +import java.util.Collections; +import java.util.List; + +import org.eclipse.emf.common.util.Enumerator; + +/** + * + * A representation of the literals of the enumeration 'Entry Type', + * and utility methods for working with them. + * + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage#getEntryType() + * @model + * @generated + */ +public enum EntryType implements Enumerator { + /** + * The 'Normal' literal object. + * + * + * @see #NORMAL_VALUE + * @generated + * @ordered + */ + NORMAL(0, "Normal", "Normal"), + + /** + * The 'History' literal object. + * + * + * @see #HISTORY_VALUE + * @generated + * @ordered + */ + HISTORY(0, "History", "History"), + + /** + * The 'Deep History' literal object. + * + * + * @see #DEEP_HISTORY_VALUE + * @generated + * @ordered + */ + DEEP_HISTORY(0, "DeepHistory", "DeepHistory"); + + /** + * The 'Normal' literal value. + * + *

+ * If the meaning of 'Normal' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #NORMAL + * @model name="Normal" + * @generated + * @ordered + */ + public static final int NORMAL_VALUE = 0; + + /** + * The 'History' literal value. + * + *

+ * If the meaning of 'History' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #HISTORY + * @model name="History" + * @generated + * @ordered + */ + public static final int HISTORY_VALUE = 0; + + /** + * The 'Deep History' literal value. + * + *

+ * If the meaning of 'Deep History' literal object isn't clear, + * there really should be more of a description here... + *

+ * + * @see #DEEP_HISTORY + * @model name="DeepHistory" + * @generated + * @ordered + */ + public static final int DEEP_HISTORY_VALUE = 0; + + /** + * An array of all the 'Entry Type' enumerators. + * + * + * @generated + */ + private static final EntryType[] VALUES_ARRAY = + new EntryType[] { + NORMAL, + HISTORY, + DEEP_HISTORY, + }; + + /** + * A public read-only list of all the 'Entry Type' enumerators. + * + * + * @generated + */ + public static final List VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY)); + + /** + * Returns the 'Entry Type' literal with the specified literal value. + * + * + * @param literal the literal. + * @return the matching enumerator or null. + * @generated + */ + public static EntryType get(String literal) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + EntryType result = VALUES_ARRAY[i]; + if (result.toString().equals(literal)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Entry Type' literal with the specified name. + * + * + * @param name the name. + * @return the matching enumerator or null. + * @generated + */ + public static EntryType getByName(String name) { + for (int i = 0; i < VALUES_ARRAY.length; ++i) { + EntryType result = VALUES_ARRAY[i]; + if (result.getName().equals(name)) { + return result; + } + } + return null; + } + + /** + * Returns the 'Entry Type' literal with the specified integer value. + * + * + * @param value the integer value. + * @return the matching enumerator or null. + * @generated + */ + public static EntryType get(int value) { + switch (value) { + case NORMAL_VALUE: return NORMAL; + } + return null; + } + + /** + * + * + * @generated + */ + private final int value; + + /** + * + * + * @generated + */ + private final String name; + + /** + * + * + * @generated + */ + private final String literal; + + /** + * Only this class can construct instances. + * + * + * @generated + */ + private EntryType(int value, String name, String literal) { + this.value = value; + this.name = name; + this.literal = literal; + } + + /** + * + * + * @generated + */ + public int getValue() { + return value; + } + + /** + * + * + * @generated + */ + public String getName() { + return name; + } + + /** + * + * + * @generated + */ + public String getLiteral() { + return literal; + } + + /** + * Returns the literal value of the enumerator, which is its string representation. + * + * + * @generated + */ + @Override + public String toString() { + return literal; + } + +} //EntryType diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java index 18a4b105..a9269e05 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/YakindummPackage.java @@ -2,7 +2,9 @@ */ package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm; +import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; @@ -332,6 +334,15 @@ public interface YakindummPackage extends EPackage { */ int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS; + /** + * The feature id for the 'Type' attribute. + * + * + * @generated + * @ordered + */ + int ENTRY__TYPE = PSEUDOSTATE_FEATURE_COUNT + 0; + /** * The number of structural features of the 'Entry' class. * @@ -339,7 +350,7 @@ public interface YakindummPackage extends EPackage { * @generated * @ordered */ - int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0; + int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 1; /** * The number of operations of the 'Entry' class. @@ -638,6 +649,17 @@ public interface YakindummPackage extends EPackage { int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType Entry Type}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getEntryType() + * @generated + */ + int ENTRY_TYPE = 13; + + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate Pseudostate}'. * @@ -753,6 +775,17 @@ public interface YakindummPackage extends EPackage { */ EClass getEntry(); + /** + * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry#getType Type}'. + * + * + * @return the meta object for the attribute 'Type'. + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry#getType() + * @see #getEntry() + * @generated + */ + EAttribute getEntry_Type(); + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Synchronization Synchronization}'. * @@ -834,6 +867,16 @@ public interface YakindummPackage extends EPackage { */ EClass getFinalState(); + /** + * Returns the meta object for enum '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType Entry Type}'. + * + * + * @return the meta object for enum 'Entry Type'. + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType + * @generated + */ + EEnum getEntryType(); + /** * Returns the factory that creates the instances of the model. * @@ -957,6 +1000,14 @@ public interface YakindummPackage extends EPackage { */ EClass ENTRY = eINSTANCE.getEntry(); + /** + * The meta object literal for the 'Type' attribute feature. + * + * + * @generated + */ + EAttribute ENTRY__TYPE = eINSTANCE.getEntry_Type(); + /** * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.SynchronizationImpl Synchronization}' class. * @@ -1035,6 +1086,16 @@ public interface YakindummPackage extends EPackage { */ EClass FINAL_STATE = eINSTANCE.getFinalState(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType Entry Type}' enum. + * + * + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType + * @see hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl.YakindummPackageImpl#getEntryType() + * @generated + */ + EEnum ENTRY_TYPE = eINSTANCE.getEntryType(); + } } //YakindummPackage diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/EntryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/EntryImpl.java index 35003e0d..27041630 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/EntryImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/EntryImpl.java @@ -3,18 +3,46 @@ package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry; +import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage; +import org.eclipse.emf.common.notify.Notification; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.impl.ENotificationImpl; /** * * An implementation of the model object 'Entry'. * + *

+ * The following features are implemented: + *

+ * * * @generated */ public class EntryImpl extends PseudostateImpl implements Entry { + /** + * The default value of the '{@link #getType() Type}' attribute. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected static final EntryType TYPE_EDEFAULT = EntryType.NORMAL; + /** + * The cached value of the '{@link #getType() Type}' attribute. + * + * + * @see #getType() + * @generated + * @ordered + */ + protected EntryType type = TYPE_EDEFAULT; + /** * * @@ -34,4 +62,99 @@ public class EntryImpl extends PseudostateImpl implements Entry { return YakindummPackage.Literals.ENTRY; } + /** + * + * + * @generated + */ + public EntryType getType() { + return type; + } + + /** + * + * + * @generated + */ + public void setType(EntryType newType) { + EntryType oldType = type; + type = newType == null ? TYPE_EDEFAULT : newType; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, YakindummPackage.ENTRY__TYPE, oldType, type)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case YakindummPackage.ENTRY__TYPE: + return getType(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case YakindummPackage.ENTRY__TYPE: + setType((EntryType)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case YakindummPackage.ENTRY__TYPE: + setType(TYPE_EDEFAULT); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case YakindummPackage.ENTRY__TYPE: + return type != TYPE_EDEFAULT; + } + return super.eIsSet(featureID); + } + + /** + * + * + * @generated + */ + @Override + public String toString() { + if (eIsProxy()) return super.toString(); + + StringBuilder result = new StringBuilder(super.toString()); + result.append(" (Type: "); + result.append(type); + result.append(')'); + return result.toString(); + } + } //EntryImpl diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java index 9c4fc4f1..d4fc2d01 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummFactoryImpl.java @@ -5,6 +5,7 @@ package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.*; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EDataType; import org.eclipse.emf.ecore.EObject; import org.eclipse.emf.ecore.EPackage; @@ -70,6 +71,36 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto } } + /** + * + * + * @generated + */ + @Override + public Object createFromString(EDataType eDataType, String initialValue) { + switch (eDataType.getClassifierID()) { + case YakindummPackage.ENTRY_TYPE: + return createEntryTypeFromString(eDataType, initialValue); + default: + throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier"); + } + } + + /** + * + * + * @generated + */ + @Override + public String convertToString(EDataType eDataType, Object instanceValue) { + switch (eDataType.getClassifierID()) { + case YakindummPackage.ENTRY_TYPE: + return convertEntryTypeToString(eDataType, instanceValue); + default: + throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier"); + } + } + /** * * @@ -160,6 +191,26 @@ public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFacto return finalState; } + /** + * + * + * @generated + */ + public EntryType createEntryTypeFromString(EDataType eDataType, String initialValue) { + EntryType result = EntryType.get(initialValue); + if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'"); + return result; + } + + /** + * + * + * @generated + */ + public String convertEntryTypeToString(EDataType eDataType, Object instanceValue) { + return instanceValue == null ? null : instanceValue.toString(); + } + /** * * diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java index 77092c17..e6da53ec 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/ecore-gen/hu/bme/mit/inf/dslreasoner/domains/yakindu/sgraph/yakindumm/impl/YakindummPackageImpl.java @@ -5,6 +5,7 @@ package hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Choice; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.CompositeElement; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Entry; +import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.EntryType; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Exit; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.FinalState; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Pseudostate; @@ -18,7 +19,9 @@ import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.Vertex; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummFactory; import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage; +import org.eclipse.emf.ecore.EAttribute; import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EEnum; import org.eclipse.emf.ecore.EPackage; import org.eclipse.emf.ecore.EReference; @@ -122,6 +125,13 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka */ private EClass finalStateEClass = null; + /** + * + * + * @generated + */ + private EEnum entryTypeEEnum = null; + /** * Creates an instance of the model Package, registered with * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package @@ -150,7 +160,7 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka /** * Creates, registers, and initializes the Package for this model, and for any others upon which it depends. - * + * *

This method is used to initialize {@link YakindummPackage#eINSTANCE} when that field is accessed. * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. * @@ -164,7 +174,8 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka if (isInited) return (YakindummPackage)EPackage.Registry.INSTANCE.getEPackage(YakindummPackage.eNS_URI); // Obtain or create and register package - YakindummPackageImpl theYakindummPackage = (YakindummPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof YakindummPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new YakindummPackageImpl()); + Object registeredYakindummPackage = EPackage.Registry.INSTANCE.get(eNS_URI); + YakindummPackageImpl theYakindummPackage = registeredYakindummPackage instanceof YakindummPackageImpl ? (YakindummPackageImpl)registeredYakindummPackage : new YakindummPackageImpl(); isInited = true; @@ -177,7 +188,6 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka // Mark meta-data to indicate it can't be changed theYakindummPackage.freeze(); - // Update the registry and return the package EPackage.Registry.INSTANCE.put(YakindummPackage.eNS_URI, theYakindummPackage); return theYakindummPackage; @@ -282,6 +292,15 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka return entryEClass; } + /** + * + * + * @generated + */ + public EAttribute getEntry_Type() { + return (EAttribute)entryEClass.getEStructuralFeatures().get(0); + } + /** * * @@ -354,6 +373,15 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka return finalStateEClass; } + /** + * + * + * @generated + */ + public EEnum getEntryType() { + return entryTypeEEnum; + } + /** * * @@ -398,6 +426,7 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka statechartEClass = createEClass(STATECHART); entryEClass = createEClass(ENTRY); + createEAttribute(entryEClass, ENTRY__TYPE); synchronizationEClass = createEClass(SYNCHRONIZATION); @@ -413,6 +442,9 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka exitEClass = createEClass(EXIT); finalStateEClass = createEClass(FINAL_STATE); + + // Create enums + entryTypeEEnum = createEEnum(ENTRY_TYPE); } /** @@ -471,6 +503,7 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka 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); + initEAttribute(getEntry_Type(), this.getEntryType(), "Type", null, 0, 1, Entry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); initEClass(synchronizationEClass, Synchronization.class, "Synchronization", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); @@ -487,6 +520,12 @@ public class YakindummPackageImpl extends EPackageImpl implements YakindummPacka initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + // Initialize enums and add enum literals + initEEnum(entryTypeEEnum, EntryType.class, "EntryType"); + addEEnumLiteral(entryTypeEEnum, EntryType.NORMAL); + addEEnumLiteral(entryTypeEEnum, EntryType.HISTORY); + addEEnumLiteral(entryTypeEEnum, EntryType.DEEP_HISTORY); + // Create resource createResource(eNS_URI); } -- cgit v1.2.3-54-g00ecf