org.eclipse.ocl.examples.domain.types
Class AbstractSpecializedType

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractType
      extended by org.eclipse.ocl.examples.domain.types.AbstractSpecializedType
All Implemented Interfaces:
DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue
Direct Known Subclasses:
AbstractCollectionType, AbstractMetaclass

public abstract class AbstractSpecializedType
extends AbstractType


Field Summary
protected  DomainType containerType
           
 
Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractType
name, standardLibrary
 
Constructor Summary
AbstractSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType)
           
 
Method Summary
 DomainType getContainerType()
           
 boolean isOrdered()
          Return true if this type is a Collection type and has ordered elements.
 boolean isUnique()
          Return true if this type is a Collection type and has unique elements.
 LibraryFeature lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
          Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
 
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractType
createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, oclEquals, oclHashCode, specializeIn
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType
conformsTo, getTypeId, isEqualTo
 

Field Detail

containerType

@NonNull
protected final DomainType containerType
Constructor Detail

AbstractSpecializedType

public AbstractSpecializedType(@NonNull
                               DomainStandardLibrary standardLibrary,
                               @NonNull
                               java.lang.String name,
                               @NonNull
                               DomainType containerType)
Method Detail

getContainerType

public DomainType getContainerType()

isOrdered

public boolean isOrdered()
Description copied from interface: DomainType
Return true if this type is a Collection type and has ordered elements.

Specified by:
isOrdered in interface DomainType
Overrides:
isOrdered in class AbstractType

isUnique

public boolean isUnique()
Description copied from interface: DomainType
Return true if this type is a Collection type and has unique elements.

Specified by:
isUnique in interface DomainType
Overrides:
isUnique in class AbstractType

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                                   DomainStandardLibrary standardLibrary,
                                                   @NonNull
                                                   DomainOperation staticOperation)
Description copied from interface: DomainType
Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.