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

Field Summary

protected DomainType

elementType

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

containerType

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

name, standardLibrary

Constructor Summary

AbstractCollectionType(DomainStandardLibrary standardLibrary, java.lang.String name, DomainType containerType, DomainType elementType)

Method Summary

boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
DomainType	getCommonType(DomainStandardLibrary standardLibrary, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainType	getElementType()
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this is the same type as thatType within standardLibrary.
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractSpecializedType

getContainerType, isOrdered, isUnique, lookupImplementation

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.DomainCollectionType

getContainerType, isOrdered, isUnique

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getPackage, isEqualToUnspecializedType, lookupImplementation

Field Detail

elementType

protected final DomainType elementType

Constructor Detail

AbstractCollectionType

public AbstractCollectionType(DomainStandardLibrary standardLibrary,
                              java.lang.String name,
                              DomainType containerType,
                              DomainType elementType)

Method Detail

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