org.eclipse.ocl.examples.pivot.manager

Class AbstractTypeServer

java.lang.Object

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

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ExtensibleTypeServer, OrphanTypeServer

public abstract class AbstractTypeServer
extends ReflectiveType
implements TypeServer

An AbstractTypeServer provides the co-ordinated operation, property and superclass lookup caches for one or more merged types.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractTypeServer.BestOperation
static class	AbstractTypeServer.MapValues
static class	AbstractTypeServer.PartialProperties
protected static class	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

Modifier and Type	Field and Description
static AbstractTypeServer.BestOperation	bestOperation
protected DomainType	domainType
static AbstractTypeServer.MapValues	MAP_VALUES
protected PackageManager	packageManager
protected PackageServer	packageServer
protected TypeId	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

Modifier	Constructor and Description
protected	AbstractTypeServer(PackageServer packageServer, DomainType domainType)

Method Summary

Methods

Modifier and Type	Method and Description
protected AbstractFragment	createFragment(DomainInheritance baseInheritance)
static TemplateParameterSubstitution	createTemplateParameterSubstitution(TemplateParameter formalParameter, ParameterableElement type)
void	dispose()
java.lang.Iterable<? extends DomainOperation>	getAllOperations(boolean selectStatic)
java.lang.Iterable<? extends DomainOperation>	getAllOperations(boolean selectStatic, java.lang.String name)
java.lang.Iterable<? extends DomainProperty>	getAllProperties(boolean selectStatic)
java.lang.Iterable<? extends DomainProperty>	getAllProperties(boolean selectStatic, java.lang.String name)
java.lang.Iterable<? extends State>	getAllStates()
java.lang.Iterable<? extends State>	getAllStates(java.lang.String name)
java.lang.Iterable<? extends DomainInheritance>	getAllSuperClasses()
java.lang.Iterable<? extends DomainInheritance>	getAllSuperClasses(java.lang.String className)
java.lang.Iterable<? extends DomainInheritance>	getInitialSuperInheritances() Return the immediate superinheritances without reference to the fragments.
java.util.List<? extends DomainOperation>	getLocalOperations()
java.util.List<? extends DomainProperty>	getLocalProperties()
java.util.List<? extends DomainType>	getLocalSuperTypes()
DomainOperation	getMemberOperation(DomainOperation pivotOperation)
DomainOperation	getMemberOperation(OperationId operationId)
java.lang.Iterable<DomainOperation>	getMemberOperations(DomainOperation pivotOperation)
java.lang.Iterable<DomainProperty>	getMemberProperties(DomainProperty pivotProperty)
DomainProperty	getMemberProperty(java.lang.String propertyName)
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
java.util.List<? extends DomainProperty>	getOwnedAttribute()
java.util.List<? extends DomainOperation>	getOwnedOperation()
PackageManager	getPackageManager()
PackageServer	getPackageServer()
DomainStandardLibrary	getStandardLibrary() Return the Standard Library managing the dispatch tables.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
DomainTypeParameters	getTypeParameters() Return the ordered list of type parameters of this type.
protected void	initMemberFeaturesFrom(DomainType pivotType)
protected void	initMemberOperationsPostProcess(java.lang.String name, java.util.List<DomainOperation> operations)
protected java.util.Map<java.lang.String,AbstractTypeServer.PartialProperties>	initMemberProperties()
protected void	initMemberPropertiesFrom(DomainType type)
protected void	initMemberPropertiesPostProcess(java.lang.String name, AbstractTypeServer.PartialProperties properties)
protected java.util.Map<java.lang.String,State>	initStates()
protected void	initStatesForRegions(java.util.Map<java.lang.String,State> name2states, java.util.List<Region> regions)
protected void	initStereotypePropertiesFrom(Type baseType, ElementExtension extensionType)
protected java.util.Map<java.lang.String,DomainInheritance>	initSuperClasses()
protected java.util.Map<java.lang.String,java.util.List<java.lang.String>>	initSuperClassesWithAmbiguousNames(java.util.Map<java.lang.String,DomainInheritance> name2superclasses2, java.util.Map<java.lang.String,java.util.List<java.lang.String>> name2qualifiedNames2)
void	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, toString

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.pivot.manager.TypeServer

getPartialTypes, getPivotType

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

bestOperation

@NonNull
public static final AbstractTypeServer.BestOperation bestOperation

MAP_VALUES

@NonNull
public static final AbstractTypeServer.MapValues MAP_VALUES

packageServer

@NonNull
protected final PackageServer packageServer

packageManager

@NonNull
protected final PackageManager packageManager

domainType

@NonNull
protected final DomainType domainType

typeId

@Nullable
protected TypeId typeId

Constructor Detail

AbstractTypeServer

protected AbstractTypeServer(@NonNull
                  PackageServer packageServer,
                  @NonNull
                  DomainType domainType)

Method Detail

createTemplateParameterSubstitution

@NonNull
public static TemplateParameterSubstitution createTemplateParameterSubstitution(@NonNull
                                                                        TemplateParameter formalParameter,
                                                                        @NonNull
                                                                        ParameterableElement type)

createFragment

@NonNull
protected AbstractFragment createFragment(@NonNull
                                      DomainInheritance baseInheritance)

Specified by:

createFragment in class ReflectiveType

dispose

public void dispose()

Specified by:

dispose in interface TypeServer

Overrides:

dispose in class ReflectiveType

getAllOperations

@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(boolean selectStatic)

Specified by:

getAllOperations in interface DomainInheritance

Specified by:

getAllOperations in interface TypeServer

getAllOperations

@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(boolean selectStatic,
                                                                     @NonNull
                                                                     java.lang.String name)

Specified by:

getAllOperations in interface TypeServer

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(boolean selectStatic)

Specified by:

getAllProperties in interface DomainInheritance

Specified by:

getAllProperties in interface TypeServer

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(boolean selectStatic,
                                                                    @NonNull
                                                                    java.lang.String name)

Specified by:

getAllProperties in interface TypeServer

getAllStates

@NonNull
public java.lang.Iterable<? extends State> getAllStates()

Specified by:

getAllStates in interface TypeServer

getAllStates

@NonNull
public java.lang.Iterable<? extends State> getAllStates(@NonNull
                                                       java.lang.String name)

Specified by:

getAllStates in interface TypeServer

getAllSuperClasses

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

Specified by:

getAllSuperClasses in interface TypeServer

getAllSuperClasses

@NonNull
public java.lang.Iterable<? extends DomainInheritance> getAllSuperClasses(@NonNull
                                                                         java.lang.String className)

Specified by:

getAllSuperClasses in interface TypeServer

initStates

@NonNull
protected java.util.Map<java.lang.String,State> initStates()

initStatesForRegions

protected void initStatesForRegions(@NonNull
                        java.util.Map<java.lang.String,State> name2states,
                        @NonNull
                        java.util.List<Region> regions)

getInitialSuperInheritances

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

Description copied from class: ReflectiveType

Return the immediate superinheritances without reference to the fragments.

Specified by:

getInitialSuperInheritances in class ReflectiveType

getLocalOperations

@NonNull
public java.util.List<? extends DomainOperation> getLocalOperations()

Specified by:

getLocalOperations in interface DomainType

getLocalProperties

@NonNull
public java.util.List<? extends DomainProperty> getLocalProperties()

Specified by:

getLocalProperties in interface DomainType

getLocalSuperTypes

@NonNull
public java.util.List<? extends DomainType> getLocalSuperTypes()

Specified by:

getLocalSuperTypes in interface DomainType

getMemberOperation

@Nullable
public DomainOperation getMemberOperation(@NonNull
                                          OperationId operationId)

Specified by:

getMemberOperation in interface DomainInheritance

Overrides:

getMemberOperation in class AbstractInheritance

getMemberOperation

@Nullable
public DomainOperation getMemberOperation(@NonNull
                                          DomainOperation pivotOperation)

Specified by:

getMemberOperation in interface TypeServer

getMemberOperations

@Nullable
public java.lang.Iterable<DomainOperation> getMemberOperations(@NonNull
                                                               DomainOperation pivotOperation)

Specified by:

getMemberOperations in interface TypeServer

getMemberProperties

@Nullable
public java.lang.Iterable<DomainProperty> getMemberProperties(@NonNull
                                                              DomainProperty pivotProperty)

Specified by:

getMemberProperties in interface TypeServer

getMemberProperty

@Nullable
public DomainProperty getMemberProperty(@NonNull
                                        java.lang.String propertyName)

Specified by:

getMemberProperty in interface DomainInheritance

Specified by:

getMemberProperty in interface TypeServer

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Description copied from interface: DomainType

Return the name of the meta-type of this type.

Specified by:

getMetaTypeName in interface DomainType

getOwnedAttribute

@NonNull
public java.util.List<? extends DomainProperty> getOwnedAttribute()

Specified by:

getOwnedAttribute in interface DomainType

getOwnedOperation

@NonNull
public java.util.List<? extends DomainOperation> getOwnedOperation()

Specified by:

getOwnedOperation in interface DomainType

getPackageManager

@NonNull
public final PackageManager getPackageManager()

getPackageServer

public PackageServer getPackageServer()

getStandardLibrary

@NonNull
public final DomainStandardLibrary getStandardLibrary()

Description copied from interface: DomainInheritance

Return the Standard Library managing the dispatch tables.

Specified by:

getStandardLibrary in interface DomainInheritance

getTypeId

@NonNull
public final TypeId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface DomainType

Overrides:

getTypeId in class ReflectiveType

Returns:

getTypeParameters

@NonNull
public DomainTypeParameters getTypeParameters()

Description copied from interface: DomainType

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface DomainType

initMemberFeaturesFrom

protected void initMemberFeaturesFrom(@NonNull
                          DomainType pivotType)

initMemberOperationsPostProcess

protected void initMemberOperationsPostProcess(@NonNull
                                   java.lang.String name,
                                   @NonNull
                                   java.util.List<DomainOperation> operations)

initMemberProperties

@NonNull
protected java.util.Map<java.lang.String,AbstractTypeServer.PartialProperties> initMemberProperties()

initMemberPropertiesFrom

protected void initMemberPropertiesFrom(@NonNull
                            DomainType type)

initMemberPropertiesPostProcess

protected void initMemberPropertiesPostProcess(@NonNull
                                   java.lang.String name,
                                   @NonNull
                                   AbstractTypeServer.PartialProperties properties)

initStereotypePropertiesFrom

protected void initStereotypePropertiesFrom(@NonNull
                                Type baseType,
                                @NonNull
                                ElementExtension extensionType)

initSuperClasses

@NonNull
protected java.util.Map<java.lang.String,DomainInheritance> initSuperClasses()

initSuperClassesWithAmbiguousNames

protected java.util.Map<java.lang.String,java.util.List<java.lang.String>> initSuperClassesWithAmbiguousNames(java.util.Map<java.lang.String,DomainInheritance> name2superclasses2,
                                                                                                  java.util.Map<java.lang.String,java.util.List<java.lang.String>> name2qualifiedNames2)

uninstall

public void uninstall()

Overrides:

uninstall in class ReflectiveType