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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractInheritance
      extended by org.eclipse.ocl.examples.library.executor.ReflectiveType
          extended by org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer
              extended by org.eclipse.ocl.examples.pivot.manager.ExtensibleTypeServer
All Implemented Interfaces:
DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, TypeServer
Direct Known Subclasses:
AnyTypeServer, CollectionTypeServer, EnumerationTypeServer, ExtensionTypeServer, InvalidTypeServer, MetaclassServer, PrimitiveTypeServer, TemplateableTypeServer

public abstract class ExtensibleTypeServer
extends AbstractTypeServer

An ExtensibleTypeServer supports one or more merged types as the source for operations, properties or superclasses.


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
 
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 ExtensibleTypeServer(PackageServer packageServer, DomainType domainType)
           
 
Method Summary
 void dispose()
           
 java.lang.Iterable<DomainType> getPartialTypes()
           
 Type getPivotType()
          Return a Type that represents this type merge.
 org.eclipse.ocl.examples.pivot.manager.TypeTracker getTypeTracker(DomainType pivotType)
           
 java.util.List<org.eclipse.ocl.examples.pivot.manager.TypeTracker> getTypeTrackers()
           
 java.lang.String toString()
           
 void uninstall()
           
 
Methods inherited from class org.eclipse.ocl.examples.pivot.manager.AbstractTypeServer
createExtensionProperty, createFragment, createTemplateParameterSubstitution, 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
 
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
 

Constructor Detail

ExtensibleTypeServer

protected ExtensibleTypeServer(@NonNull
                               PackageServer packageServer,
                               @NonNull
                               DomainType domainType)
Method Detail

dispose

public void dispose()
Specified by:
dispose in interface TypeServer
Overrides:
dispose in class AbstractTypeServer

getPartialTypes

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

getPivotType

@NonNull
public Type getPivotType()
Description copied from interface: TypeServer
Return a Type that represents this type merge.


getTypeTracker

@NonNull
public org.eclipse.ocl.examples.pivot.manager.TypeTracker getTypeTracker(@NonNull
                                                                                 DomainType pivotType)

getTypeTrackers

@NonNull
public java.util.List<org.eclipse.ocl.examples.pivot.manager.TypeTracker> getTypeTrackers()

toString

public java.lang.String toString()
Overrides:
toString in class AbstractInheritance

uninstall

public void uninstall()
Overrides:
uninstall in class AbstractTypeServer