public class AbstractCollectionType extends AbstractSpecializedType implements DomainCollectionType
Modifier and Type | Field and Description |
---|---|
protected DomainType |
elementType |
protected IntegerValue |
lower |
protected CollectionTypeId |
typeId |
protected IntegerValue |
upper |
containerType
name, standardLibrary
Constructor and Description |
---|
AbstractCollectionType(DomainStandardLibrary standardLibrary,
java.lang.String name,
DomainType containerType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(DomainStandardLibrary standardLibrary,
DomainType type)
Return true if this type conform to thatType within standardLibrary.
|
DomainType |
getCommonType(IdResolver idResolver,
DomainType type)
Return the most derived type com mon to this type and thatType within standardLibrary.
|
DomainType |
getContainerType() |
DomainType |
getElementType() |
IntegerValue |
getLowerValue() |
java.util.List<? extends DomainOperation> |
getOwnedOperation() |
CollectionTypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
IntegerValue |
getUpperValue() |
boolean |
isEqualTo(DomainStandardLibrary standardLibrary,
DomainType type)
Return true if this is the same type as thatType within standardLibrary.
|
java.lang.String |
toString() |
isOrdered, isUnique, lookupImplementation
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, oclEquals, oclHashCode, specializeIn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isOrdered, isUnique
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, lookupImplementation, specializeIn
getOwnedRule
oclEquals, oclHashCode
@NonNull protected final DomainType elementType
@NonNull protected final IntegerValue lower
@NonNull protected final IntegerValue upper
@NonNull protected final CollectionTypeId typeId
public AbstractCollectionType(@NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String name, @NonNull DomainType containerType, @NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
public boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
conformsTo
in interface DomainType
@NonNull public DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType type)
DomainType
getCommonType
in interface DomainType
getCommonType
in class AbstractType
public DomainType getContainerType()
getContainerType
in interface DomainCollectionType
getContainerType
in class AbstractSpecializedType
@NonNull public DomainType getElementType()
getElementType
in interface DomainCollectionType
@NonNull public IntegerValue getLowerValue()
getLowerValue
in interface DomainCollectionType
@NonNull public java.util.List<? extends DomainOperation> getOwnedOperation()
getOwnedOperation
in interface DomainType
getOwnedOperation
in class AbstractType
@NonNull public CollectionTypeId getTypeId()
DomainType
getTypeId
in interface DomainCollectionType
getTypeId
in interface DomainType
@NonNull public IntegerValue getUpperValue()
getUpperValue
in interface DomainCollectionType
public boolean isEqualTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
isEqualTo
in interface DomainType
public java.lang.String toString()
toString
in class java.lang.Object