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

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractType
      org.eclipse.ocl.examples.domain.types.AbstractSpecializedType
          org.eclipse.ocl.examples.domain.types.AbstractClassifierType

All Implemented Interfaces:

DomainClassifierType, DomainElement, DomainType

public class AbstractClassifierType
extends AbstractSpecializedType
implements DomainClassifierType

Field Summary

protected DomainType	instanceType
protected DomainType	metaType

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

AbstractClassifierType(DomainStandardLibrary standardLibrary, DomainType containerType, DomainType instanceType)

Method Summary

boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
boolean	equals(java.lang.Object obj)
DomainType	getCommonType(DomainStandardLibrary standardLibrary, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainType	getInstanceType()
protected DomainType	getMetaType()
protected DomainType	getNormalizedInstanceType()
int	hashCode()
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, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getContainerType

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

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

Field Detail

instanceType

protected final DomainType instanceType

metaType

protected DomainType metaType

Constructor Detail

AbstractClassifierType

public AbstractClassifierType(DomainStandardLibrary standardLibrary,
                              DomainType containerType,
                              DomainType instanceType)

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

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

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

getInstanceType

public DomainType getInstanceType()

Specified by:

getInstanceType in interface DomainClassifierType

getMetaType

protected DomainType getMetaType()

getNormalizedInstanceType

protected DomainType getNormalizedInstanceType()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

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