public abstract class ExtensibleTypeServer extends AbstractTypeServer
AbstractTypeServer.BestOperation, AbstractTypeServer.MapValues, AbstractTypeServer.PartialProperties, AbstractTypeServer.QualifiedName2DomainInheritance
AbstractInheritance.FragmentIterable, AbstractInheritance.RejectStaticOperation, AbstractInheritance.RejectStaticProperty, AbstractInheritance.SelectStaticOperation, AbstractInheritance.SelectStaticProperty
bestOperation, domainType, MAP_VALUES, packageManager, packageServer, typeId
evaluationPackage, flags, name, operationMap, ORDERED, propertyMap, REJECT_STATIC_OPERATION, REJECT_STATIC_PROPERTY, SELECT_STATIC_OPERATION, SELECT_STATIC_PROPERTY, UNIQUE
EMPTY_ARRAY
Modifier | Constructor and Description |
---|---|
protected |
ExtensibleTypeServer(PackageServer packageServer,
DomainType domainType) |
Modifier and Type | Method and Description |
---|---|
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() |
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
addSubInheritance, computeFlags, createInstance, createInstance, gatherUninstalledInheritances, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getAllSuperFragments, getCommonInheritance, getDepth, getFragment, getFragment, getIndex, getIndexes, getSelfFragment, getSuperFragments, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getName, getNormalizedType, getOwnedInvariant, getPackage, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn
getOwnedRule
oclEquals, oclHashCode
protected ExtensibleTypeServer(@NonNull PackageServer packageServer, @NonNull DomainType domainType)
public void dispose()
dispose
in interface TypeServer
dispose
in class AbstractTypeServer
@NonNull public java.lang.Iterable<DomainType> getPartialTypes()
@NonNull public Type getPivotType()
TypeServer
@NonNull public org.eclipse.ocl.examples.pivot.manager.TypeTracker getTypeTracker(@NonNull DomainType pivotType)
@NonNull public java.util.List<org.eclipse.ocl.examples.pivot.manager.TypeTracker> getTypeTrackers()
public java.lang.String toString()
toString
in class AbstractInheritance
public void uninstall()
uninstall
in class AbstractTypeServer