public class JavaType extends AbstractExecutorClass
AbstractInheritance.FragmentIterable
Modifier and Type | Field and Description |
---|---|
protected java.lang.Class<?> |
javaClass |
ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE
name
EMPTY_ARRAY
Constructor and Description |
---|
JavaType(java.lang.Class<?> javaClass) |
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() |
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
flattenedType, getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, isClass, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn
getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupLocalOperation
getName, setName
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
flattenedType, getNormalizedType, isClass, isEqualToUnspecializedType, isTemplateParameter, specializeIn
oclEquals, oclHashCode
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
public boolean conformsTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
Type
conformsTo
in interface Type
conformsTo
in class AbstractExecutorType
public Class getCommonType(@NonNull IdResolver idResolver, @NonNull Type type)
Type
getCommonType
in interface Type
getCommonType
in class AbstractExecutorType
@NonNull public CompleteInheritance getInheritance(@NonNull StandardLibrary standardLibrary)
Type
getInheritance
in interface Type
getInheritance
in class AbstractExecutorClass
@NonNull public TypeId getTypeId()
Type
getTypeId
in interface Type
getTypeId
in class AbstractExecutorType
public boolean isEqualTo(@NonNull StandardLibrary standardLibrary, @NonNull Type thatType)
Type
isEqualTo
in interface Type
isEqualTo
in class AbstractExecutorType
@NonNull public Operation lookupActualOperation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
lookupActualOperation
in interface Class
lookupActualOperation
in interface CompleteInheritance
lookupActualOperation
in class AbstractInheritance
@NonNull public LibraryFeature lookupImplementation(@NonNull StandardLibrary standardLibrary, @NonNull Operation apparentOperation)
CompleteInheritance
lookupImplementation
in interface Class
lookupImplementation
in interface CompleteInheritance
lookupImplementation
in class AbstractInheritance
public java.lang.String toString()
toString
in class java.lang.Object