org.eclipse.ocl.examples.domain.types
Class AbstractTupleType

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractType
      org.eclipse.ocl.examples.domain.types.AbstractTupleType

All Implemented Interfaces:

DomainElement, DomainTupleType, DomainType

public class AbstractTupleType
extends AbstractType
implements DomainTupleType

Field Summary

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

name, standardLibrary

Constructor Summary

AbstractTupleType(DomainStandardLibrary standardLibrary, java.util.List<? extends DomainTypedElement> parts)

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.
java.util.List<? extends DomainTypedElement>	getOwnedAttribute()
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this is the same type as thatType within standardLibrary.
LibraryFeature	lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

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

createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getPackage, getStandardLibrary, isEqualToUnspecializedType, isOrdered, isUnique

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, 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, isOrdered, isUnique

Constructor Detail

AbstractTupleType

public AbstractTupleType(DomainStandardLibrary standardLibrary,
                         java.util.List<? extends DomainTypedElement> parts)

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

getOwnedAttribute

public java.util.List<? extends DomainTypedElement> getOwnedAttribute()

Specified by:

getOwnedAttribute in interface DomainTupleType

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

lookupImplementation

public LibraryFeature lookupImplementation(DomainStandardLibrary standardLibrary,
                                           DomainOperation staticOperation)

Description copied from interface: DomainType

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Specified by:

lookupImplementation in interface DomainType