org.eclipse.ocl.examples.pivot.manager
Class OrphanTypeServer

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.OrphanTypeServer

All Implemented Interfaces:

java.lang.Iterable<Type>, DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, TypeServer

public class OrphanTypeServer
extends AbstractTypeServer
implements java.lang.Iterable<Type>

An OrphanTypeServer provides a 'merge' type behaviour for a synthesized type that forms part of the OrphanPackage rather than a true package. OrphanTypeServer provides lightweight support that eliminates the redundant notification tracking.

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

Field Summary

protected Type

target

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

ADD_BASE_PROPERTY, ADD_EXTENSION_PROPERTY, bestOperation, domainType, INIT_MEMBER_OPERATIONS, INIT_MEMBER_PROPERTIES, MAP_VALUES, packageManager, packageServer, typeId

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

protected

OrphanTypeServer(OrphanPackageServer packageServer, Type type)

Method Summary

java.lang.Iterable<Type>	getPartialTypes()
Type	getPivotType() Return a Type that represents this type merge.
java.util.Iterator<Type>	iterator()
java.lang.String	toString()

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

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

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.DomainInheritance

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

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

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getName, getNormalizedType, getOwnedInvariant, getPackage, 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

Field Detail

target

@NonNull
protected final Type target

Constructor Detail

OrphanTypeServer

protected OrphanTypeServer(@NonNull
                           OrphanPackageServer packageServer,
                           @NonNull
                           Type type)

Method Detail

getPartialTypes

@NonNull
public java.lang.Iterable<Type> getPartialTypes()

Specified by:

getPartialTypes in interface TypeServer

getPivotType

@NonNull
public Type getPivotType()

Description copied from interface: TypeServer

Return a Type that represents this type merge.

Specified by:

getPivotType in interface TypeServer

iterator

@NonNull
public java.util.Iterator<Type> iterator()

Specified by:

iterator in interface java.lang.Iterable<Type>

toString

public java.lang.String toString()

Overrides:

toString in class AbstractInheritance