org.eclipse.ocl.pivot.internal.library.executor

Class JavaType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.library.executor.JavaType

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, Class, CompleteInheritance, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

public class JavaType
extends AbstractExecutorClass

JavaType supports the usage of Java Class to define the type of an object.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Class<?>	javaClass

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

name

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
JavaType(java.lang.Class<?> javaClass)

Method Summary

Modifier and Type	Method and Description
boolean	conformsTo(StandardLibrary standardLibrary, Type thatType) Return true if this type conform to thatType within standardLibrary.
Class	getCommonType(IdResolver idResolver, Type type) 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.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
boolean	isEqualTo(StandardLibrary standardLibrary, Type thatType) Return true if this is the same type as thatType within standardLibrary.
Operation	lookupActualOperation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

createInstance, createInstance, getBehavioralClass, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeParameters, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, isOrdered, isUnique, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

flattenedType, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, isClass, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

flattenedType, getNormalizedType, isClass, isEqualToUnspecializedType, isTemplateParameter, specializeIn

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

oclEquals, oclHashCode

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

Field Detail

javaClass

@NonNull
protected final java.lang.Class<?> javaClass

Constructor Detail

JavaType

public JavaType(@NonNull
                java.lang.Class<?> javaClass)

Method Detail

conformsTo

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

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class AbstractExecutorType

getCommonType

public Class getCommonType(@NonNull
                           IdResolver idResolver,
                           @NonNull
                           Type type)

Description copied from interface: Type

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

Specified by:

getCommonType in interface Type

Overrides:

getCommonType in class AbstractExecutorType

getInheritance

@NonNull
public CompleteInheritance getInheritance(@NonNull
                                                    StandardLibrary standardLibrary)

Description copied from interface: Type

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface Type

Overrides:

getInheritance in class AbstractExecutorClass

getTypeId

@NonNull
public TypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

Overrides:

getTypeId in class AbstractExecutorType

isEqualTo

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

Description copied from interface: Type

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

Specified by:

isEqualTo in interface Type

Overrides:

isEqualTo in class AbstractExecutorType

lookupActualOperation

@NonNull
public Operation lookupActualOperation(@NonNull
                                                 StandardLibrary standardLibrary,
                                                 @NonNull
                                                 Operation apparentOperation)

Specified by:

lookupActualOperation in interface Class

Specified by:

lookupActualOperation in interface CompleteInheritance

Overrides:

lookupActualOperation in class AbstractInheritance

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                                     StandardLibrary standardLibrary,
                                                     @NonNull
                                                     Operation apparentOperation)

Description copied from interface: CompleteInheritance

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Specified by:

lookupImplementation in interface Class

Specified by:

lookupImplementation in interface CompleteInheritance

Overrides:

lookupImplementation in class AbstractInheritance

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object