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, DomainType
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, getPackage, getStandardLibrary, isEqualToUnspecializedType |
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, getPackage, isEqualToUnspecializedType, lookupImplementation |
elementType
protected final DomainType elementType
AbstractCollectionType
public AbstractCollectionType(DomainStandardLibrary standardLibrary,
java.lang.String name,
DomainType containerType,
DomainType elementType)
conformsTo
public boolean conformsTo(DomainStandardLibrary standardLibrary,
DomainType type)
- Description copied from interface:
DomainType
- Return true if this type conform to thatType within standardLibrary.
- Specified by:
conformsTo
in interface DomainType
getCommonType
public DomainType getCommonType(DomainStandardLibrary standardLibrary,
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
getElementType
public DomainType getElementType()
- Specified by:
getElementType
in interface DomainCollectionType
isEqualTo
public boolean isEqualTo(DomainStandardLibrary standardLibrary,
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