org.eclipse.ocl.examples.domain.types
Class AbstractCollectionType
java.lang.Object
org.eclipse.ocl.examples.domain.types.AbstractType
org.eclipse.ocl.examples.domain.types.AbstractSpecializedType
org.eclipse.ocl.examples.domain.types.AbstractCollectionType
- All Implemented Interfaces:
- DomainCollectionType, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue
public class AbstractCollectionType
- extends AbstractSpecializedType
- implements DomainCollectionType
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractType |
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, oclEquals, oclHashCode, specializeIn |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType |
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, lookupImplementation, specializeIn |
elementType
@NonNull
protected final DomainType elementType
lower
@NonNull
protected final IntegerValue lower
upper
@NonNull
protected final IntegerValue upper
typeId
@NonNull
protected final CollectionTypeId typeId
AbstractCollectionType
public AbstractCollectionType(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
java.lang.String name,
@NonNull
DomainType containerType,
@NonNull
DomainType elementType,
@Nullable
IntegerValue lower,
@Nullable
IntegerValue upper)
conformsTo
public boolean conformsTo(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
DomainType type)
- Description copied from interface:
DomainType
- Return true if this type conform to thatType within standardLibrary.
- Specified by:
conformsTo
in interface DomainType
getCommonType
@NonNull
public DomainType getCommonType(@NonNull
IdResolver idResolver,
@NonNull
DomainType type)
- Description copied from interface:
DomainType
- Return the most derived type com mon to this type and thatType within standardLibrary.
- Specified by:
getCommonType
in interface DomainType
- Specified by:
getCommonType
in class AbstractType
getContainerType
public DomainType getContainerType()
- Specified by:
getContainerType
in interface DomainCollectionType
- Overrides:
getContainerType
in class AbstractSpecializedType
getElementType
@NonNull
public DomainType getElementType()
- Specified by:
getElementType
in interface DomainCollectionType
getLowerValue
@NonNull
public IntegerValue getLowerValue()
- Specified by:
getLowerValue
in interface DomainCollectionType
getOwnedOperation
@NonNull
public java.util.List<? extends DomainOperation> getOwnedOperation()
- Specified by:
getOwnedOperation
in interface DomainType
- Overrides:
getOwnedOperation
in class AbstractType
getTypeId
@NonNull
public CollectionTypeId getTypeId()
- Description copied from interface:
DomainType
- Return a unique StandardLibrary-independent identifier for this type.
- Specified by:
getTypeId
in interface DomainCollectionType
- Specified by:
getTypeId
in interface DomainType
getUpperValue
@NonNull
public IntegerValue getUpperValue()
- Specified by:
getUpperValue
in interface DomainCollectionType
isEqualTo
public boolean isEqualTo(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
DomainType type)
- Description copied from interface:
DomainType
- Return true if this is the same type as thatType within standardLibrary.
- Specified by:
isEqualTo
in interface DomainType
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object