public class AbstractTupleType extends AbstractType implements DomainTupleType
Modifier and Type | Field and Description |
---|---|
protected TupleTypeId |
typeId |
name, standardLibrary
Constructor and Description |
---|
AbstractTupleType(DomainStandardLibrary standardLibrary,
TupleTypeId typeId) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(DomainStandardLibrary standardLibrary,
DomainType type)
Return true if this type conform to thatType within standardLibrary.
|
DomainType |
getCommonType(IdResolver idResolver,
DomainType type)
Return the most derived type com mon to this type and thatType within standardLibrary.
|
TupleTypeId |
getTupleTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
TupleTypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
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.
|
java.lang.String |
toString() |
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, oclEquals, oclHashCode, specializeIn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, specializeIn
getOwnedRule
oclEquals, oclHashCode
@NonNull protected final TupleTypeId typeId
public AbstractTupleType(@NonNull DomainStandardLibrary standardLibrary, @NonNull TupleTypeId typeId)
public boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
conformsTo
in interface DomainType
@NonNull public DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType type)
DomainType
getCommonType
in interface DomainType
getCommonType
in class AbstractType
@NonNull public TupleTypeId getTupleTypeId()
DomainTupleType
getTupleTypeId
in interface DomainTupleType
@NonNull public TupleTypeId getTypeId()
DomainType
getTypeId
in interface DomainTupleType
getTypeId
in interface DomainType
public boolean isEqualTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
DomainType
isEqualTo
in interface DomainType
@NonNull public LibraryFeature lookupImplementation(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainOperation staticOperation)
DomainType
lookupImplementation
in interface DomainType
public java.lang.String toString()
toString
in class java.lang.Object