public abstract class AbstractSpecializedType extends AbstractType
Modifier and Type | Field and Description |
---|---|
protected DomainType |
containerType |
name, standardLibrary
Constructor and Description |
---|
AbstractSpecializedType(DomainStandardLibrary standardLibrary,
java.lang.String name,
DomainType containerType) |
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.
|
createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, oclEquals, oclHashCode, specializeIn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
conformsTo, getTypeId, isEqualTo
@NonNull protected final DomainType containerType
public AbstractSpecializedType(@NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String name, @NonNull DomainType containerType)
public DomainType getContainerType()
public boolean isOrdered()
DomainType
isOrdered
in interface DomainType
isOrdered
in class AbstractType
public boolean isUnique()
DomainType
isUnique
in interface DomainType
isUnique
in class AbstractType
@NonNull public LibraryFeature lookupImplementation(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainOperation staticOperation)
DomainType