org.eclipse.ocl.pivot

Interface Type

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLValue, Visitable

All Known Subinterfaces:

AnyType, AssociationClass, BagType, Behavior, Class, CollectionType, DataType, DynamicBehavior, DynamicType, ElementExtension, Enumeration, ExecutorTypeArgument, InvalidType, LambdaType, MapType, MessageType, OrderedSetType, PrimitiveType, SelfType, SequenceType, SetType, Signal, StateMachine, Stereotype, TemplateParameter, TupleType, VoidType, WildcardType

All Known Implementing Classes:

AbstractExecutorClass, AbstractExecutorType, AbstractReflectiveInheritanceType, AbstractSpecializedType, AnyTypeImpl, AssociationClassImpl, BagTypeImpl, BehaviorImpl, ClassImpl, CollectionTypeImpl, CompleteInheritanceImpl, DataTypeImpl, DomainReflectiveType, DynamicBehaviorImpl, DynamicTypeImpl, EcoreExecutorEnumeration, EcoreExecutorInvalidType, EcoreExecutorType, EcoreExecutorVoidType, EcoreReflectiveEnumeration, EcoreReflectiveType, ElementExtensionImpl, EnumerationImpl, ExecutorCollectionType, ExecutorLambdaType, ExecutorMapType, ExecutorSpecializedType, ExecutorTupleType, ExecutorTupleType, ExecutorType, ExecutorTypeParameter, InvalidTypeImpl, JavaType, LambdaTypeImpl, MapTypeImpl, MessageTypeImpl, OrderedSetTypeImpl, PrimitiveTypeImpl, ReflectiveInheritance, SelfTypeImpl, SequenceTypeImpl, SetTypeImpl, SignalImpl, StateMachineImpl, StereotypeImpl, TemplateParameterImpl, TupleTypeImpl, TypeImpl, VoidTypeImpl, WildcardTypeImpl

public interface Type
extends NamedElement, OCLValue

A representation of the model object 'Type'.

See Also:

PivotPackage.getType()

Extends:

org.eclipse.ocl.pivot.values.OCLValue A Type constrains the values represented by a TypedElement.

Generated

Method Summary

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)

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

Method Detail

flattenedType

Type flattenedType()

Generated

isClass

Class isClass()

isTemplateParameter

@Nullable
TemplateParameter isTemplateParameter()

specializeIn

Type specializeIn(CallExp expr,
                  Type selfType)

Generated

conformsTo

boolean conformsTo(@NonNull
                   StandardLibrary standardLibrary,
                   @NonNull
                   Type thatType)

Return true if this type conform to thatType within standardLibrary.

getCommonType

@NonNull
Type getCommonType(@NonNull
                             IdResolver idResolver,
                             @NonNull
                             Type thatType)

Return the most derived type common to this type and thatType within standardLibrary.

getInheritance

@NonNull
CompleteInheritance getInheritance(@NonNull
                                             StandardLibrary standardLibrary)

Return the inheritance description for this type within standardLibrary.

getNormalizedType

Class getNormalizedType(@NonNull
                        StandardLibrary standardLibrary)

Return the unique executable form of this type within standardLibrary.

getTypeId

@NonNull
TypeId getTypeId()

Return a unique StandardLibrary-independent identifier for this type.

isEqualTo

boolean isEqualTo(@NonNull
                  StandardLibrary standardLibrary,
                  @NonNull
                  Type thatType)

Return true if this is the same type as thatType within standardLibrary.

isEqualToUnspecializedType

boolean isEqualToUnspecializedType(@NonNull
                                   StandardLibrary standardLibrary,
                                   @NonNull
                                   Type type)