org.eclipse.ocl.examples.pivot.executor
Class PivotReflectiveEnumerationType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ReflectiveType
          org.eclipse.ocl.examples.pivot.executor.PivotReflectiveType
              org.eclipse.ocl.examples.pivot.executor.PivotReflectiveEnumerationType

All Implemented Interfaces:

DomainElement, DomainEnumeration, DomainInheritance, DomainType

public class PivotReflectiveEnumerationType
extends PivotReflectiveType
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.pivot.executor.PivotReflectiveType

metaModelManager, type

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

evaluationPackage, flags, name, ORDERED, UNIQUE

Constructor Summary

PivotReflectiveEnumerationType(PivotReflectivePackage executorPackage, Enumeration type)

Method Summary

DomainEnumerationLiteral	getEnumerationLiteral(java.lang.String name)
java.lang.Iterable<? extends DomainEnumerationLiteral>	getEnumerationLiterals()

Methods inherited from class org.eclipse.ocl.examples.pivot.executor.PivotReflectiveType

createFragment, getInitialSuperInheritances, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaModelManager, getMetaTypeName, getPivotType, getStandardLibrary

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

addSubInheritance, computeFlags, dispose, gatherUninstalledInheritances, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall

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

conformsTo, createInstance, createInstance, 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, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation

Constructor Detail

PivotReflectiveEnumerationType

public PivotReflectiveEnumerationType(PivotReflectivePackage executorPackage,
                                      Enumeration type)

Method Detail

getEnumerationLiteral

public DomainEnumerationLiteral 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