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, DomainType, 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, ORDERED, UNIQUE

Constructor Summary

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

Method Summary

ObjectValue	createInstance(ValueFactory valueFactory) Return a new instance of this type from valueFactory.
org.eclipse.emf.ecore.EEnum	getEEnum()
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, initFragments

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

getAllSuperFragments, getDepth, getFragment, getIndex, getIndexes, getLocalOperations, getLocalProperties, getLocalSuperTypes, getSelfFragment, getStandardLibrary, getSuperFragments, getType, initFragments

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

conformsTo, getCommonInheritance, getCommonType, getFragment, getInheritance, getName, getNormalizedType, getOclAnyInheritance, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, isUnique, lookupImplementation, lookupLocalOperation, 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, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

Constructor Detail

EcoreExecutorEnumeration

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

Construct an executable type descriptor for a known EClassifier.

Method Detail

createInstance

public ObjectValue createInstance(ValueFactory valueFactory)

Description copied from interface: DomainType

Return a new instance of this type from valueFactory. Properties may be initialised using DomainProperty.setValue(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

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

getEnumerationLiteral

public EcoreExecutorEnumerationLiteral getEnumerationLiteral(java.lang.String name)

Specified by:

getEnumerationLiteral in interface DomainEnumeration

getEnumerationLiterals

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

Specified by:

getEnumerationLiterals in interface DomainEnumeration

initLiterals

public EcoreExecutorEnumeration initLiterals(EcoreExecutorEnumerationLiteral[] literals)