org.eclipse.ocl.examples.pivot.manager
Interface TypeServer

All Superinterfaces:
DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue
All Known Implementing Classes:
AbstractTypeServer, AnyTypeServer, CollectionTypeServer, EnumerationTypeServer, ExtensibleTypeServer, ExtensionTypeServer, InvalidTypeServer, MetaclassServer, OrphanTypeServer, PrimitiveTypeServer, TemplateableTypeServer

public interface TypeServer
extends DomainInheritance

A TypeServer serves coordinated behavior of one or more merged Types as required for Complete OCL type extension.


Field Summary
 
Fields inherited from interface org.eclipse.ocl.examples.domain.elements.DomainInheritance
EMPTY_ARRAY
 
Method Summary
 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)
           
 DomainOperation getMemberOperation(DomainOperation pivotOperation)
           
 java.lang.Iterable<? extends DomainOperation> getMemberOperations(DomainOperation pivotOperation)
           
 java.lang.Iterable<? extends DomainProperty> getMemberProperties(DomainProperty pivotProperty)
           
 DomainProperty getMemberProperty(java.lang.String propertyName)
           
 java.lang.Iterable<? extends DomainType> getPartialTypes()
           
 Type getPivotType()
          Return a Type that represents this type merge.
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainInheritance
getAllSuperFragments, getCommonInheritance, getDepth, getFragment, getFragment, getIndex, getIndexes, getMemberOperation, getSelfFragment, getStandardLibrary, getSuperFragments, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType
conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeId, getTypeParameters, 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
 

Method Detail

dispose

void dispose()

getAllStates

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

getAllStates

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

getAllSuperClasses

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

getAllSuperClasses

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

getAllOperations

@NonNull
java.lang.Iterable<? extends DomainOperation> getAllOperations(boolean selectStatic)
Specified by:
getAllOperations in interface DomainInheritance

getAllOperations

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

getAllProperties

@NonNull
java.lang.Iterable<? extends DomainProperty> getAllProperties(boolean selectStatic)
Specified by:
getAllProperties in interface DomainInheritance

getAllProperties

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

getMemberOperation

@Nullable
DomainOperation getMemberOperation(@NonNull
                                            DomainOperation pivotOperation)

getMemberOperations

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

getMemberProperties

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

getMemberProperty

@Nullable
DomainProperty getMemberProperty(@NonNull
                                          java.lang.String propertyName)
Specified by:
getMemberProperty in interface DomainInheritance

getPartialTypes

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

getPivotType

@NonNull
Type getPivotType()
Return a Type that represents this type merge.