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

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractType
      org.eclipse.ocl.examples.domain.types.AbstractSpecializedType

All Implemented Interfaces:

DomainElement, DomainType

Direct Known Subclasses:

AbstractClassifierType, AbstractCollectionType

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, getPackage, getStandardLibrary, isEqualToUnspecializedType

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, isEqualTo

Field Detail

containerType

protected final DomainType containerType

Constructor Detail

AbstractSpecializedType

public AbstractSpecializedType(DomainStandardLibrary standardLibrary,
                               java.lang.String name,
                               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

public LibraryFeature lookupImplementation(DomainStandardLibrary standardLibrary,
                                           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.