Package com.strobel.assembler.metadata

Class MetadataHelper

java.lang.Object

com.strobel.assembler.metadata.MetadataHelper

public final class MetadataHelper
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	MetadataHelper.AdaptFailure

Constructor Summary

Constructors

Constructor	Description
MetadataHelper()

Method Summary

Modifier and Type	Method	Description
static Map<TypeReference,TypeReference>	adapt(TypeReference source, TypeReference target)
static boolean	areGenericsSupported(TypeDefinition t)
static boolean	areSameTypes(List<? extends TypeReference> t, List<? extends TypeReference> s)
static boolean	areSameTypes(List<? extends TypeReference> t, List<? extends TypeReference> s, boolean strict)
static FieldReference	asMemberOf(FieldReference field, TypeReference baseType)
static MethodReference	asMemberOf(MethodReference method, TypeReference baseType)
static TypeReference	asMemberOf(TypeReference innerType, TypeReference baseType)
static TypeReference	asSubType(TypeReference type, TypeReference baseType)
static TypeReference	asSuper(TypeReference type, TypeReference subType)
static boolean	canReferenceTypeVariablesOf(TypeReference declaringType, TypeReference referenceSite)
static boolean	containsType(TypeReference t, TypeReference s)	Check if t contains s.
static MethodReference	erase(MethodReference method)
static TypeReference	erase(TypeReference type)
static TypeReference	erase(TypeReference type, boolean recurse)
static TypeReference	eraseRecursive(TypeReference type)
static List<TypeReference>	eraseRecursive(List<TypeReference> types)
static TypeReference	findCommonSuperType(TypeReference type1, TypeReference type2)
static List<MethodReference>	findMethods(TypeReference type)
static List<MethodReference>	findMethods(TypeReference type, Predicate<? super MethodReference> filter)
static List<MethodReference>	findMethods(TypeReference type, Predicate<? super MethodReference> filter, boolean includeBridgeMethods)
static List<MethodReference>	findMethods(TypeReference type, Predicate<? super MethodReference> filter, boolean includeBridgeMethods, boolean includeOverriddenMethods)
static int	getArrayRank(TypeReference t)
static TypeReference	getBaseType(TypeReference type)
static TypeReference	getBoxedTypeOrSelf(TypeReference type)
static ConversionType	getConversionType(ICompoundType targetType, TypeReference source)
static ConversionType	getConversionType(TypeReference targetType, ICompoundType source)
static ConversionType	getConversionType(TypeReference target, TypeReference source)
static TypeReference	getDeclaredType(TypeReference type)
static TypeReference	getElementType(TypeReference t)
static Map<TypeReference,TypeReference>	getGenericSubTypeMappings(TypeReference type, TypeReference baseType)
static List<TypeReference>	getInterfaces(TypeReference type)
static TypeReference	getLowerBound(TypeReference t)
static ConversionType	getNumericConversionType(TypeReference target, TypeReference source)
static TypeDefinition	getOutermostEnclosingType(TypeReference innerType)
static TypeReference	getSuperType(TypeReference t)
static int	getUnboundGenericParameterCount(TypeReference t)
static TypeReference	getUnderlyingPrimitiveTypeOrSelf(TypeReference type)
static TypeReference	getUpperBound(TypeReference t)
static boolean	hasImplicitNumericConversion(TypeReference target, TypeReference source)
static boolean	isAssignableFrom(TypeReference target, TypeReference source)
static boolean	isAssignableFrom(TypeReference target, TypeReference source, boolean allowUnchecked)
static boolean	isBytecodeCastAssignable(TypeReference target, TypeReference castType)
static boolean	isConvertible(TypeReference source, TypeReference target)
static boolean	isConvertible(TypeReference source, TypeReference target, boolean allowUnchecked)
static boolean	isEnclosedBy(TypeReference innerType, TypeReference outerType)
static boolean	isInterface(TypeReference t)
static boolean	isOverloadCheckingRequired(MethodReference method)
static boolean	isOverride(MethodDefinition method, MethodReference ancestorMethod)
static boolean	isPrimitiveBoxType(TypeReference type)
static boolean	isRawType(TypeReference t)
static boolean	isSameType(TypeReference t, TypeReference s)
static boolean	isSameType(TypeReference t, TypeReference s, boolean strict)
static boolean	isSubType(TypeReference type, TypeReference baseType)
static boolean	isSubType(TypeReference type, TypeReference baseType, boolean capture)
static boolean	isSubTypeNoCapture(TypeReference type, TypeReference baseType)
static TypeReference	substituteGenericArguments(TypeReference inputType, MethodReference substitutionsProvider)
static TypeReference	substituteGenericArguments(TypeReference inputType, TypeReference substitutionsProvider)
static TypeReference	substituteGenericArguments(TypeReference inputType, Map<TypeReference,TypeReference> substitutionsProvider)

Methods inherited from class java.lang.Object

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

Constructor Details

MetadataHelper

public MetadataHelper()

Method Details

areGenericsSupported

public static boolean areGenericsSupported(TypeDefinition t)

getArrayRank

public static int getArrayRank(TypeReference t)

getOutermostEnclosingType

@Nullable
public static TypeDefinition getOutermostEnclosingType(TypeReference innerType)

isEnclosedBy

public static boolean isEnclosedBy(TypeReference innerType,
 TypeReference outerType)

canReferenceTypeVariablesOf

public static boolean canReferenceTypeVariablesOf(TypeReference declaringType,
 TypeReference referenceSite)

findCommonSuperType

public static TypeReference findCommonSuperType(TypeReference type1,
 TypeReference type2)

getConversionType

public static ConversionType getConversionType(ICompoundType targetType,
 TypeReference source)

getConversionType

public static ConversionType getConversionType(TypeReference targetType,
 ICompoundType source)

getConversionType

public static ConversionType getConversionType(TypeReference target,
 TypeReference source)

getNumericConversionType

@NotNull
public static ConversionType getNumericConversionType(TypeReference target,
 TypeReference source)

hasImplicitNumericConversion

public static boolean hasImplicitNumericConversion(TypeReference target,
 TypeReference source)

isConvertible

public static boolean isConvertible(TypeReference source,
 TypeReference target)

isConvertible

public static boolean isConvertible(TypeReference source,
 TypeReference target,
 boolean allowUnchecked)

isAssignableFrom

public static boolean isAssignableFrom(TypeReference target,
 TypeReference source)

isAssignableFrom

public static boolean isAssignableFrom(TypeReference target,
 TypeReference source,
 boolean allowUnchecked)

isSubType

public static boolean isSubType(TypeReference type,
 TypeReference baseType)

isBytecodeCastAssignable

public static boolean isBytecodeCastAssignable(TypeReference target,
 TypeReference castType)

isPrimitiveBoxType

public static boolean isPrimitiveBoxType(TypeReference type)

getBoxedTypeOrSelf

public static TypeReference getBoxedTypeOrSelf(TypeReference type)

getUnderlyingPrimitiveTypeOrSelf

@NotNull
public static TypeReference getUnderlyingPrimitiveTypeOrSelf(@NotNull
 TypeReference type)

getDeclaredType

public static TypeReference getDeclaredType(TypeReference type)

getBaseType

public static TypeReference getBaseType(TypeReference type)

getInterfaces

public static List<TypeReference> getInterfaces(TypeReference type)

asSubType

public static TypeReference asSubType(TypeReference type,
 TypeReference baseType)

asSuper

public static TypeReference asSuper(TypeReference type,
 TypeReference subType)

getGenericSubTypeMappings

public static Map<TypeReference,TypeReference> getGenericSubTypeMappings(TypeReference type,
 TypeReference baseType)

asMemberOf

public static MethodReference asMemberOf(MethodReference method,
 TypeReference baseType)

asMemberOf

public static FieldReference asMemberOf(FieldReference field,
 TypeReference baseType)

asMemberOf

public static TypeReference asMemberOf(TypeReference innerType,
 TypeReference baseType)

substituteGenericArguments

public static TypeReference substituteGenericArguments(TypeReference inputType,
 TypeReference substitutionsProvider)

substituteGenericArguments

public static TypeReference substituteGenericArguments(TypeReference inputType,
 MethodReference substitutionsProvider)

substituteGenericArguments

public static TypeReference substituteGenericArguments(TypeReference inputType,
 Map<TypeReference,TypeReference> substitutionsProvider)

findMethods

public static List<MethodReference> findMethods(TypeReference type)

findMethods

public static List<MethodReference> findMethods(TypeReference type,
 Predicate<? super MethodReference> filter)

findMethods

public static List<MethodReference> findMethods(TypeReference type,
 Predicate<? super MethodReference> filter,
 boolean includeBridgeMethods)

findMethods

public static List<MethodReference> findMethods(TypeReference type,
 Predicate<? super MethodReference> filter,
 boolean includeBridgeMethods,
 boolean includeOverriddenMethods)

isOverloadCheckingRequired

public static boolean isOverloadCheckingRequired(MethodReference method)

isInterface

public static boolean isInterface(TypeReference t)

getLowerBound

public static TypeReference getLowerBound(TypeReference t)

getUpperBound

public static TypeReference getUpperBound(TypeReference t)

getElementType

public static TypeReference getElementType(TypeReference t)

getSuperType

public static TypeReference getSuperType(TypeReference t)

isSubTypeNoCapture

public static boolean isSubTypeNoCapture(TypeReference type,
 TypeReference baseType)

isSubType

public static boolean isSubType(TypeReference type,
 TypeReference baseType,
 boolean capture)

adapt

public static Map<TypeReference,TypeReference> adapt(TypeReference source,
 TypeReference target)

containsType

public static boolean containsType(TypeReference t,
 TypeReference s)

Check if t contains s.

T contains S if:

L(T) <: L(S) && U(S) <: U(T)

This relation is only used by isSubType(), that is:

C<S> <: C<T> if T contains S.

Because of F-bounds, this relation can lead to infinite recursion. Thus, we must somehow break that recursion. Notice that containsType() is only called from isSubType(). Since the arguments have already been checked against their bounds, we know:

U(S) <: U(T) if T is "super" bound (U(T) *is* the bound)

L(T) <: L(S) if T is "extends" bound (L(T) is bottom)

Parameters:

t - a type

s - a type

isSameType

public static boolean isSameType(TypeReference t,
 TypeReference s)

isSameType

public static boolean isSameType(TypeReference t,
 TypeReference s,
 boolean strict)

areSameTypes

public static boolean areSameTypes(List<? extends TypeReference> t,
 List<? extends TypeReference> s)

areSameTypes

public static boolean areSameTypes(List<? extends TypeReference> t,
 List<? extends TypeReference> s,
 boolean strict)

isRawType

public static boolean isRawType(TypeReference t)

getUnboundGenericParameterCount

public static int getUnboundGenericParameterCount(TypeReference t)

eraseRecursive

public static List<TypeReference> eraseRecursive(List<TypeReference> types)

eraseRecursive

public static TypeReference eraseRecursive(TypeReference type)

erase

public static TypeReference erase(TypeReference type)

erase

public static TypeReference erase(TypeReference type,
 boolean recurse)

erase

public static MethodReference erase(MethodReference method)

isOverride

public static boolean isOverride(MethodDefinition method,
 MethodReference ancestorMethod)