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

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

All Implemented Interfaces:

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

public class AnyTypeServer
extends ExtensibleTypeServer

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

AnyTypeServer(PackageServer packageServer, AnyType type)

Method Summary

DomainInheritance	getCommonInheritance(DomainInheritance thatInheritance)
java.lang.Iterable<? extends DomainInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
boolean	install() Install this Inheritance establishing its superClass tables and registering it to be notified of any changes.
boolean	isInstallable() Return true if this is installed or able to be installed.
boolean	isUndefined()

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

createExtensionProperty, createFragment, createTemplateParameterSubstitution, getAllOperations, getAllOperations, getAllProperties, getAllProperties, getAllStates, getAllStates, getAllSuperClasses, getAllSuperClasses, 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, installOclAny, isInstalled, removeSubInheritance

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

conformsTo, getCommonType, getFragment, getInheritance, getName, getNormalizedType, getOclAnyInheritance, getOwnedInvariant, getOwnedRule, getPackage, initStatics, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, 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, getDepth, getFragment, getFragment, getIndex, getIndexes, getSelfFragment, getSuperFragments, isSubInheritanceOf, isSuperInheritanceOf, 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

AnyTypeServer

public AnyTypeServer(@NonNull
                     PackageServer packageServer,
                     @NonNull
                     AnyType type)

Method Detail

getCommonInheritance

@NonNull
public DomainInheritance getCommonInheritance(@NonNull
                                                      DomainInheritance thatInheritance)

Specified by:

getCommonInheritance in interface DomainInheritance

Overrides:

getCommonInheritance in class AbstractInheritance

getInitialSuperInheritances

@NonNull
public java.lang.Iterable<? extends DomainInheritance> getInitialSuperInheritances()

Description copied from class: ReflectiveType

Return the immediate superinheritances without reference to the fragments.

Overrides:

getInitialSuperInheritances in class AbstractTypeServer

install

public boolean install()

Description copied from class: ReflectiveType

Install this Inheritance establishing its superClass tables and registering it to be notified of any changes.

Overrides:

install in class ReflectiveType

Returns:

true if installed, false if some superClass uninstallable

isInstallable

public boolean isInstallable()

Description copied from class: ReflectiveType

Return true if this is installed or able to be installed. Returns false if some superclass must be installed first.

Overrides:

isInstallable in class ReflectiveType

isUndefined

public boolean isUndefined()

Specified by:

isUndefined in interface DomainInheritance

Overrides:

isUndefined in class AbstractInheritance