org.eclipse.ocl.examples.pivot.manager

Class EnumerationTypeServer

java.lang.Object

org.eclipse.ocl.examples.domain.types.AbstractInheritance

org.eclipse.ocl.examples.library.executor.ReflectiveType

org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer

org.eclipse.ocl.examples.pivot.manager.ExtensibleTypeServer

org.eclipse.ocl.examples.pivot.manager.EnumerationTypeServer

All Implemented Interfaces:

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

public class EnumerationTypeServer
extends ExtensibleTypeServer
implements DomainEnumeration

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer

AbstractTypeServer.BestOperation, AbstractTypeServer.MapValues, AbstractTypeServer.PartialProperties, AbstractTypeServer.QualifiedName2DomainInheritance

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

AbstractInheritance.FragmentIterable, AbstractInheritance.RejectStaticOperation, AbstractInheritance.RejectStaticProperty, AbstractInheritance.SelectStaticOperation, AbstractInheritance.SelectStaticProperty

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer

bestOperation, domainType, MAP_VALUES, packageManager, packageServer, typeId

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

evaluationPackage, flags, name, operationMap, ORDERED, propertyMap, REJECT_STATIC_OPERATION, REJECT_STATIC_PROPERTY, SELECT_STATIC_OPERATION, SELECT_STATIC_PROPERTY, UNIQUE

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

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
EnumerationTypeServer(PackageServer packageServer, Enumeration type)

Method Summary

Methods

Modifier and Type	Method and Description
EnumerationId	getEnumerationId()
DomainEnumerationLiteral	getEnumerationLiteral(java.lang.String name)
java.lang.Iterable<? extends DomainEnumerationLiteral>	getEnumerationLiterals()

Methods inherited from class org.eclipse.ocl.examples.pivot.manager.ExtensibleTypeServer

dispose, getPartialTypes, getPivotType, getTypeTracker, getTypeTrackers, toString, uninstall

Methods inherited from class org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer

createFragment, createTemplateParameterSubstitution, getAllOperations, getAllOperations, getAllProperties, getAllProperties, getAllStates, getAllStates, getAllSuperClasses, getAllSuperClasses, getInitialSuperInheritances, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMemberOperation, getMemberOperation, getMemberOperations, getMemberProperties, getMemberProperty, getMetaTypeName, getOwnedAttribute, getOwnedOperation, getPackageManager, getPackageServer, getStandardLibrary, getTypeId, getTypeParameters, initMemberFeaturesFrom, initMemberOperationsPostProcess, initMemberProperties, initMemberPropertiesFrom, initMemberPropertiesPostProcess, initStates, initStatesForRegions, initStereotypePropertiesFrom, initSuperClasses, initSuperClassesWithAmbiguousNames

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

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

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

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

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, 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

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

getAllSuperFragments, getCommonInheritance, getDepth, getFragment, getFragment, getIndex, getIndexes, getSelfFragment, getSuperFragments, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation

Constructor Detail

EnumerationTypeServer

public EnumerationTypeServer(@NonNull
                     PackageServer packageServer,
                     @NonNull
                     Enumeration type)

Method Detail

getEnumerationId

@NonNull
public EnumerationId getEnumerationId()

Specified by:

getEnumerationId in interface DomainEnumeration

getEnumerationLiteral

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

Specified by:

getEnumerationLiteral in interface DomainEnumeration

getEnumerationLiterals

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

Specified by:

getEnumerationLiterals in interface DomainEnumeration