org.eclipse.ocl.examples.library.ecore
Class EcoreExecutorEnumeration

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ExecutorType
          org.eclipse.ocl.examples.library.ecore.EcoreExecutorType
              org.eclipse.ocl.examples.library.ecore.EcoreExecutorEnumeration

All Implemented Interfaces:

DomainElement, DomainEnumeration, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, ExecutorTypeArgument

public class EcoreExecutorEnumeration
extends EcoreExecutorType
implements DomainEnumeration

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.examples.library.ecore.EcoreExecutorType

eClassifier

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

evaluationPackage, flags, name, operationMap, ORDERED, propertyMap, UNIQUE

Fields inherited from interface org.eclipse.ocl.examples.domain.elements.DomainInheritance

EMPTY_ARRAY

Constructor Summary

EcoreExecutorEnumeration(org.eclipse.emf.ecore.EEnum eEnum, EcoreExecutorPackage evaluationPackage, int flags)
Construct an executable type descriptor for a known EClassifier.

Method Summary

ObjectValue	createInstance() Return a new instance of this type from valueFactory.
org.eclipse.emf.ecore.EEnum	getEEnum()
EnumerationId	getEnumerationId()
EcoreExecutorEnumerationLiteral	getEnumerationLiteral(java.lang.String name)
java.lang.Iterable<? extends DomainEnumerationLiteral>	getEnumerationLiterals()
EcoreExecutorEnumeration	initLiterals(EcoreExecutorEnumerationLiteral[] literals)

Methods inherited from class org.eclipse.ocl.examples.library.ecore.EcoreExecutorType

createInstance, getEClassifier, getMetaTypeName, getTypeId, initFragments

Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutorType

getAllOperations, getAllProperties, getAllSuperFragments, getDepth, getFragment, getIndex, getIndexes, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMemberProperty, getOwnedAttribute, getOwnedOperation, getSelfFragment, getStandardLibrary, getSuperFragments, getType, getTypeParameters, initFragments

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance

conformsTo, getCommonInheritance, getCommonType, getFragment, getInheritance, getMemberOperation, getName, getNormalizedType, getOclAnyInheritance, getOwnedInvariant, getOwnedRule, getPackage, initStatics, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, isUnique, lookupImplementation, lookupLocalOperation, oclEquals, oclHashCode, specializeIn, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

conformsTo, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Constructor Detail

EcoreExecutorEnumeration

public EcoreExecutorEnumeration(org.eclipse.emf.ecore.EEnum eEnum,
                                @NonNull
                                EcoreExecutorPackage evaluationPackage,
                                int flags)

Construct an executable type descriptor for a known EClassifier.

Method Detail

createInstance

@NonNull
public ObjectValue createInstance()

Description copied from interface: DomainType

Return a new instance of this type from valueFactory. Properties may be initialised using DomainProperty#initValue(DomainStandardLibrary, ObjectValue, Value) provided no side-effect free OCL functionality is permitted to use the ObjectValue until initialisation has completed.

Specified by:

createInstance in interface DomainType

Overrides:

createInstance in class EcoreExecutorType

getEEnum

@NonNull
public final org.eclipse.emf.ecore.EEnum getEEnum()

getEnumerationLiteral

@Nullable
public EcoreExecutorEnumerationLiteral getEnumerationLiteral(@NonNull
                                                                      java.lang.String name)

Specified by:

getEnumerationLiteral in interface DomainEnumeration

getEnumerationId

@NonNull
public EnumerationId getEnumerationId()

Specified by:

getEnumerationId in interface DomainEnumeration

getEnumerationLiterals

@NonNull
public java.lang.Iterable<? extends DomainEnumerationLiteral> getEnumerationLiterals()

Specified by:

getEnumerationLiterals in interface DomainEnumeration

initLiterals

public EcoreExecutorEnumeration initLiterals(EcoreExecutorEnumerationLiteral[] literals)