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, DomainNamedElement, DomainNamespace, DomainTupleType, DomainType, Nameable, OCLValue
public class AbstractTupleType
- extends AbstractType
- implements DomainTupleType
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractType |
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, 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, getOwnedOperation, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, specializeIn |
typeId
@NonNull
protected final TupleTypeId typeId
AbstractTupleType
public AbstractTupleType(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
TupleTypeId typeId)
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
getTupleTypeId
@NonNull
public TupleTypeId getTupleTypeId()
- Description copied from interface:
DomainTupleType
- Return a unique StandardLibrary-independent identifier for this type.
- Specified by:
getTupleTypeId
in interface DomainTupleType
- Returns:
getTypeId
@NonNull
public TupleTypeId getTypeId()
- Description copied from interface:
DomainType
- Return a unique StandardLibrary-independent identifier for this type.
- Specified by:
getTypeId
in interface DomainTupleType
- Specified by:
getTypeId
in interface DomainType
- Returns:
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
lookupImplementation
@NonNull
public LibraryFeature lookupImplementation(@NonNull
DomainStandardLibrary standardLibrary,
@NonNull
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
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object