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, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue

Direct Known Subclasses:

AbstractCollectionType, AbstractMetaclass

public abstract class AbstractSpecializedType
extends AbstractType

Field Summary

Fields

Modifier and Type	Field and Description
protected DomainType	containerType

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractType

name, standardLibrary

Constructor Summary

Constructors

Constructor and Description
AbstractSpecializedType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType)

Method Summary

Methods

Modifier and Type	Method and Description
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.