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

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
                  extended by org.eclipse.ocl.examples.pivot.manager.ExtensionTypeServer
All Implemented Interfaces:
DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, TypeServer

public class ExtensionTypeServer
extends ExtensibleTypeServer

An ExtensionTypeServer supports the type for the extension of a class by a stereotype application.


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
ExtensionTypeServer(PackageServer packageServer, ElementExtension pivotType)
           
 
Method Summary
 java.lang.Iterable<? extends DomainOperation> getAllOperations(FeatureFilter featureFilter)
           
 java.lang.Iterable<? extends DomainOperation> getAllOperations(FeatureFilter featureFilter, java.lang.String name)
           
 java.lang.Iterable<? extends DomainProperty> getAllProperties(FeatureFilter featureFilter)
           
 java.lang.Iterable<? extends DomainProperty> getAllProperties(FeatureFilter featureFilter, java.lang.String name)
           
protected  java.util.Map<java.lang.String,AbstractTypeServer.PartialProperties> initMemberProperties()
           
 
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, 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, 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

ExtensionTypeServer

public ExtensionTypeServer(@NonNull
                           PackageServer packageServer,
                           @NonNull
                           ElementExtension pivotType)
Method Detail

getAllOperations

@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(@Nullable
                                                                              FeatureFilter featureFilter)
Specified by:
getAllOperations in interface DomainInheritance
Specified by:
getAllOperations in interface TypeServer
Overrides:
getAllOperations in class AbstractTypeServer

getAllOperations

@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(@Nullable
                                                                              FeatureFilter featureFilter,
                                                                              @NonNull
                                                                              java.lang.String name)
Specified by:
getAllOperations in interface TypeServer
Overrides:
getAllOperations in class AbstractTypeServer

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(@Nullable
                                                                             FeatureFilter featureFilter)
Specified by:
getAllProperties in interface DomainInheritance
Specified by:
getAllProperties in interface TypeServer
Overrides:
getAllProperties in class AbstractTypeServer

getAllProperties

@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(@Nullable
                                                                             FeatureFilter featureFilter,
                                                                             @NonNull
                                                                             java.lang.String name)
Specified by:
getAllProperties in interface TypeServer
Overrides:
getAllProperties in class AbstractTypeServer

initMemberProperties

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