public interface Type extends NamedElement, OCLValue
PivotPackage.getType()
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(StandardLibrary standardLibrary,
Type thatType)
Return true if this type conform to thatType within standardLibrary.
|
Type |
flattenedType() |
Type |
getCommonType(IdResolver idResolver,
Type thatType)
Return the most derived type common to this type and thatType within standardLibrary.
|
CompleteInheritance |
getInheritance(StandardLibrary standardLibrary)
Return the inheritance description for this type within standardLibrary.
|
Class |
getNormalizedType(StandardLibrary standardLibrary)
Return the unique executable form of this type within standardLibrary.
|
TypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
Class |
isClass() |
boolean |
isEqualTo(StandardLibrary standardLibrary,
Type thatType)
Return true if this is the same type as thatType within standardLibrary.
|
boolean |
isEqualToUnspecializedType(StandardLibrary standardLibrary,
Type type) |
TemplateParameter |
isTemplateParameter() |
Type |
specializeIn(CallExp expr,
Type selfType) |
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
eAdapters, eDeliver, eNotify, eSetDeliver
oclEquals, oclHashCode
Type flattenedType()
@Nullable TemplateParameter isTemplateParameter()
boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
@NonNull Type getCommonType(@NonNull IdResolver idResolver, @NonNull Type thatType)
@NonNull CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
@NonNull Class getNormalizedType(@NonNull StandardLibrary standardLibrary)
@NonNull TypeId getTypeId()
boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
boolean isEqualToUnspecializedType(@NonNull StandardLibrary standardLibrary, @NonNull Type type)