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
private static final class	MetadataHelper.Adapter
static class	MetadataHelper.AdaptFailure
(package private) static final class	MetadataHelper.LooseSameTypeVisitor
(package private) static class	MetadataHelper.SameTypeVisitor
(package private) static final class	MetadataHelper.StrictSameTypeVisitor

Field Summary

Fields

Modifier and Type	Field	Description
private static final ThreadLocal<HashSet<Pair<TypeReference, TypeReference>>>	ADAPT_CACHE
private static final TypeMapper<TypeReference>	AS_SUBTYPE_VISITOR
private static final TypeMapper<TypeReference>	AS_SUPER_VISITOR
private static final ThreadLocal<HashSet<Pair<TypeReference, TypeReference>>>	CONTAINS_TYPE_CACHE
private static final TypeRelation	CONTAINS_TYPE_VISITOR
private static final DefaultTypeVisitor<Boolean, TypeReference>	ERASE_VISITOR
private static final DefaultTypeVisitor<Void, List<TypeReference>>	INTERFACES_VISITOR
private static final DefaultTypeVisitor<Void,Boolean>	IS_DECLARED_TYPE
private static final TypeRelation	IS_SUBTYPE_VISITOR
private static final TypeMapper<Void>	LOWER_BOUND_VISITOR
private static final MetadataHelper.SameTypeVisitor	SAME_TYPE_VISITOR_LOOSE
private static final MetadataHelper.SameTypeVisitor	SAME_TYPE_VISITOR_STRICT
private static final TypeMapper<Void>	SUPER_VISITOR
private static final TypeMapper<Void>	UPPER_BOUND_VISITOR

Constructor Summary

Constructors

Constructor	Description
MetadataHelper()

Method Summary

Modifier and Type	Method	Description
static Map<TypeReference, TypeReference>	adapt(TypeReference source, TypeReference target)
private static Map<TypeReference, TypeReference>	adaptSelf(TypeReference t)
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)
private static TypeReference	arraySuperType(TypeReference t)
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)
private static TypeReference	capture(TypeReference type)
(package private) static List<TypeReference>	checkTypeArguments(IGenericParameterProvider owner, List<TypeReference> typeArguments)
private static TypeReference	classBound(TypeReference t)
static boolean	containsType(TypeReference t, TypeReference s)	Check if t contains s.
private static boolean	containsType(List<? extends TypeReference> t, List<? extends TypeReference> s)
private static boolean	containsTypeEquivalent(TypeReference t, TypeReference s)
private static boolean	containsTypeEquivalent(List<? extends TypeReference> t, List<? extends TypeReference> s)
private static boolean	containsTypeRecursive(TypeReference t, TypeReference s)
private static ConversionType	conversionType0(TypeReference target, TypeReference source, boolean processCompoundTypes)
(package private) static List<ParameterDefinition>	copyParameters(List<ParameterDefinition> parameters)
private static TypeReference	doNumericPromotion(TypeReference leftType, TypeReference rightType)
private static MethodReference	ensureReturnType(MethodReference originalMethod, MethodReference method, TypeReference returnType, TypeReference declaringType)
static MethodReference	erase(MethodReference method)
static TypeReference	erase(TypeReference type)
static TypeReference	erase(TypeReference type, boolean recurse)
private static boolean	eraseNotNeeded(TypeReference type)
static TypeReference	eraseRecursive(TypeReference type)
static List<TypeReference>	eraseRecursive(List<TypeReference> types)
static TypeReference	findCommonSuperType(TypeReference type1, TypeReference type2)
private static TypeReference	findCommonSuperTypeCore(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)
private static List<? extends TypeReference>	getTypeArguments(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)
private static boolean	isCaptureOf(TypeReference t, TypeReference s)
static boolean	isConvertible(TypeReference source, TypeReference target)
static boolean	isConvertible(TypeReference source, TypeReference target, boolean allowUnchecked)
static boolean	isEnclosedBy(TypeReference innerType, TypeReference outerType)
private static boolean	isGenericSubstitutionNeeded(TypeReference type)
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)
private static boolean	isSameWildcard(TypeReference t, TypeReference s)
static boolean	isSubType(TypeReference type, TypeReference baseType)
static boolean	isSubType(TypeReference type, TypeReference baseType, boolean capture)
static boolean	isSubTypeNoCapture(TypeReference type, TypeReference baseType)
private static boolean	isSubTypeUnchecked(TypeReference t, TypeReference s)
private static boolean	isSubtypeUncheckedInternal(TypeReference t, TypeReference s)
private static TypeReference	rewriteSupers(TypeReference t)
private static MethodReference	specializeIfNecessary(MethodReference originalMethod, MethodReference asMember, 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 Object

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

Field Details

CONTAINS_TYPE_CACHE

private static final ThreadLocal<HashSet<Pair<TypeReference, TypeReference>>> CONTAINS_TYPE_CACHE

ADAPT_CACHE

private static final ThreadLocal<HashSet<Pair<TypeReference, TypeReference>>> ADAPT_CACHE

UPPER_BOUND_VISITOR

private static final TypeMapper<Void> UPPER_BOUND_VISITOR

LOWER_BOUND_VISITOR

private static final TypeMapper<Void> LOWER_BOUND_VISITOR

IS_SUBTYPE_VISITOR

private static final TypeRelation IS_SUBTYPE_VISITOR

CONTAINS_TYPE_VISITOR

private static final TypeRelation CONTAINS_TYPE_VISITOR

AS_SUPER_VISITOR

private static final TypeMapper<TypeReference> AS_SUPER_VISITOR

SUPER_VISITOR

private static final TypeMapper<Void> SUPER_VISITOR

SAME_TYPE_VISITOR_LOOSE

private static final MetadataHelper.SameTypeVisitor SAME_TYPE_VISITOR_LOOSE

SAME_TYPE_VISITOR_STRICT

private static final MetadataHelper.SameTypeVisitor SAME_TYPE_VISITOR_STRICT

INTERFACES_VISITOR

private static final DefaultTypeVisitor<Void, List<TypeReference>> INTERFACES_VISITOR

AS_SUBTYPE_VISITOR

private static final TypeMapper<TypeReference> AS_SUBTYPE_VISITOR

ERASE_VISITOR

private static final DefaultTypeVisitor<Boolean, TypeReference> ERASE_VISITOR

IS_DECLARED_TYPE

private static final DefaultTypeVisitor<Void,Boolean> IS_DECLARED_TYPE

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)

doNumericPromotion

private static TypeReference doNumericPromotion(TypeReference leftType,
 TypeReference rightType)

findCommonSuperTypeCore

private static TypeReference findCommonSuperTypeCore(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)

conversionType0

private static ConversionType conversionType0(TypeReference target,
 TypeReference source,
 boolean processCompoundTypes)

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)

isSubTypeUnchecked

private static boolean isSubTypeUnchecked(TypeReference t,
 TypeReference s)

isSubtypeUncheckedInternal

private static boolean isSubtypeUncheckedInternal(TypeReference t,
 TypeReference s)

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)

specializeIfNecessary

private static MethodReference specializeIfNecessary(MethodReference originalMethod,
 MethodReference asMember,
 TypeReference baseType)

ensureReturnType

private static MethodReference ensureReturnType(MethodReference originalMethod,
 MethodReference method,
 TypeReference returnType,
 TypeReference declaringType)

checkTypeArguments

@NotNull
static List<TypeReference> checkTypeArguments(@Nullable
 IGenericParameterProvider owner,
 @NotNull
 List<TypeReference> typeArguments)

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)

isGenericSubstitutionNeeded

private static boolean isGenericSubstitutionNeeded(TypeReference type)

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)

capture

private static TypeReference capture(TypeReference type)

adapt

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

adaptSelf

private static Map<TypeReference, TypeReference> adaptSelf(TypeReference t)

rewriteSupers

private static TypeReference rewriteSupers(TypeReference t)

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)

isCaptureOf

private static boolean isCaptureOf(TypeReference t,
 TypeReference s)

isSameWildcard

private static boolean isSameWildcard(TypeReference t,
 TypeReference s)

getTypeArguments

private static List<? extends TypeReference> getTypeArguments(TypeReference t)

containsType

private static boolean containsType(List<? extends TypeReference> t,
 List<? extends TypeReference> s)

containsTypeEquivalent

private static boolean containsTypeEquivalent(TypeReference t,
 TypeReference s)

containsTypeEquivalent

private static boolean containsTypeEquivalent(List<? extends TypeReference> t,
 List<? extends TypeReference> s)

containsTypeRecursive

private static boolean containsTypeRecursive(TypeReference t,
 TypeReference s)

arraySuperType

private static TypeReference arraySuperType(TypeReference t)

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)

eraseNotNeeded

private static boolean eraseNotNeeded(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)

classBound

private static TypeReference classBound(TypeReference t)

isOverride

public static boolean isOverride(MethodDefinition method,
 MethodReference ancestorMethod)

copyParameters

static List<ParameterDefinition> copyParameters(List<ParameterDefinition> parameters)