com.strobel.assembler.metadata

Class MetadataHelper

java.lang.Object

com.strobel.assembler.metadata.MetadataHelper

public final class MetadataHelper
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MetadataHelper.AdaptFailure

Constructor Summary

Constructors

Constructor and Description
MetadataHelper()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.Map<TypeReference,TypeReference>	adapt(TypeReference source, TypeReference target)
static boolean	areGenericsSupported(TypeDefinition t)
static boolean	areSameTypes(java.util.List<? extends TypeReference> t, java.util.List<? extends TypeReference> s)
static boolean	areSameTypes(java.util.List<? extends TypeReference> t, java.util.List<? extends TypeReference> s, boolean strict)
static FieldReference	asMemberOf(FieldReference field, TypeReference baseType)
static MethodReference	asMemberOf(MethodReference method, 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 java.util.List<TypeReference>	eraseRecursive(java.util.List<TypeReference> types)
static TypeReference	eraseRecursive(TypeReference type)
static TypeReference	findCommonSuperType(TypeReference type1, TypeReference type2)
static java.util.List<MethodReference>	findMethods(TypeReference type)
static java.util.List<MethodReference>	findMethods(TypeReference type, com.strobel.core.Predicate<? super MethodReference> filter)
static java.util.List<MethodReference>	findMethods(TypeReference type, com.strobel.core.Predicate<? super MethodReference> filter, boolean includeBridgeMethods)
static java.util.List<MethodReference>	findMethods(TypeReference type, com.strobel.core.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(TypeReference target, TypeReference source)
static TypeReference	getDeclaredType(TypeReference type)
static TypeReference	getElementType(TypeReference t)
static java.util.Map<TypeReference,TypeReference>	getGenericSubTypeMappings(TypeReference type, TypeReference baseType)
static java.util.List<TypeReference>	getInterfaces(TypeReference type)
static TypeReference	getLowerBound(TypeReference t)
static ConversionType	getNumericConversionType(TypeReference target, TypeReference source)
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	isConvertible(TypeReference source, TypeReference target)
static boolean	isConvertible(TypeReference source, TypeReference target, boolean allowUnchecked)
static boolean	isEnclosedBy(TypeReference innerType, TypeReference outerType)
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, java.util.Map<TypeReference,TypeReference> substitutionsProvider)
static TypeReference	substituteGenericArguments(TypeReference inputType, MethodReference substitutionsProvider)
static TypeReference	substituteGenericArguments(TypeReference inputType, TypeReference substitutionsProvider)

Methods inherited from class java.lang.Object

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

Constructor Detail

MetadataHelper

public MetadataHelper()

Method Detail

areGenericsSupported

public static boolean areGenericsSupported(TypeDefinition t)

getArrayRank

public static int getArrayRank(TypeReference t)

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(TypeReference target,
                               TypeReference source)

getNumericConversionType

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)

isPrimitiveBoxType

public static boolean isPrimitiveBoxType(TypeReference type)

getBoxedTypeOrSelf

public static TypeReference getBoxedTypeOrSelf(TypeReference type)

getUnderlyingPrimitiveTypeOrSelf

public static TypeReference getUnderlyingPrimitiveTypeOrSelf(TypeReference type)

getDeclaredType

public static TypeReference getDeclaredType(TypeReference type)

getBaseType

public static TypeReference getBaseType(TypeReference type)

getInterfaces

public static java.util.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 java.util.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)

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,
                                       java.util.Map<TypeReference,TypeReference> substitutionsProvider)

findMethods

public static java.util.List<MethodReference> findMethods(TypeReference type)

findMethods

public static java.util.List<MethodReference> findMethods(TypeReference type,
                                          com.strobel.core.Predicate<? super MethodReference> filter)

findMethods

public static java.util.List<MethodReference> findMethods(TypeReference type,
                                          com.strobel.core.Predicate<? super MethodReference> filter,
                                          boolean includeBridgeMethods)

findMethods

public static java.util.List<MethodReference> findMethods(TypeReference type,
                                          com.strobel.core.Predicate<? super MethodReference> filter,
                                          boolean includeBridgeMethods,
                                          boolean includeOverriddenMethods)

isOverloadCheckingRequired

public static boolean isOverloadCheckingRequired(MethodReference method)

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 java.util.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(java.util.List<? extends TypeReference> t,
                   java.util.List<? extends TypeReference> s)

areSameTypes

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

isRawType

public static boolean isRawType(TypeReference t)

getUnboundGenericParameterCount

public static int getUnboundGenericParameterCount(TypeReference t)

eraseRecursive

public static java.util.List<TypeReference> eraseRecursive(java.util.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)