org.benf.cfr.reader.bytecode.analysis.types

Class JavaGenericRefTypeInstance

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.types.JavaGenericRefTypeInstance

All Implemented Interfaces:

ComparableUnderEC, JavaGenericBaseInstance, JavaTypeInstance

public class JavaGenericRefTypeInstance
extends java.lang.Object
implements JavaGenericBaseInstance, ComparableUnderEC

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	JavaGenericRefTypeInstance.Annotated
static class	JavaGenericRefTypeInstance.WildcardConstraint

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<JavaTypeInstance>	genericTypes
private boolean	hasUnbound
private JavaRefTypeInstance	typeInstance
private static JavaGenericRefTypeInstance.WildcardConstraint	WILDCARD_CONSTRAINT

Constructor Summary

Constructors

Constructor and Description
JavaGenericRefTypeInstance(JavaTypeInstance typeInstance, java.util.List<JavaTypeInstance> genericTypes)

Method Summary

Modifier and Type	Method and Description
JavaGenericRefTypeInstance	asGenericRefInstance(JavaTypeInstance other)
void	collectInto(TypeUsageCollector typeUsageCollector)
boolean	correctCanCastTo(JavaTypeInstance other, GenericTypeBinder gtb)
JavaTypeInstance	deObfuscate(ObfuscationTypeMap obfuscationTypeMap)
JavaTypeInstance	directImplOf(JavaTypeInstance other)
void	dumpInto(Dumper d, TypeUsageInformation typeUsageInformation, TypeContext typeContext)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
JavaAnnotatedTypeInstance	getAnnotatedInstance()
JavaTypeInstance	getArrayStrippedType()
BindingSuperContainer	getBindingSupers()
JavaGenericRefTypeInstance	getBoundInstance(GenericTypeBinder genericTypeBinder)
JavaRefTypeInstance	getDeGenerifiedType()
java.util.List<JavaTypeInstance>	getGenericTypes()
InnerClassInfo	getInnerClassHereInfo()
int	getNumArrayDimensions()
java.lang.String	getRawName()
java.lang.String	getRawName(IllegalIdentifierDump iid)
RawJavaType	getRawTypeOfSimpleType()
StackType	getStackType()
JavaTypeInstance	getTypeInstance()
JavaTypeInstance	getWithoutL01Wildcard()
boolean	hasForeignUnbound(ConstantPool cp, int depth, boolean noWildcard, java.util.Map<java.lang.String,FormalTypeParameter> externals)
int	hashCode()
boolean	hasL01Wildcard()
boolean	hasUnbound()
boolean	implicitlyCastsTo(JavaTypeInstance other, GenericTypeBinder gtb)
boolean	impreciseCanCastTo(JavaTypeInstance other, GenericTypeBinder gtb)
boolean	isComplexType()
boolean	isObject()
boolean	isRaw()
boolean	isUsableType()
JavaTypeInstance	removeAnArrayIndirection()
java.lang.String	suggestVarName()
java.lang.String	toString()
boolean	tryFindBinding(JavaTypeInstance other, GenericTypeBinder target)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

WILDCARD_CONSTRAINT

private static final JavaGenericRefTypeInstance.WildcardConstraint WILDCARD_CONSTRAINT

typeInstance

private final JavaRefTypeInstance typeInstance

genericTypes

private final java.util.List<JavaTypeInstance> genericTypes

hasUnbound

private final boolean hasUnbound

Constructor Detail

JavaGenericRefTypeInstance

public JavaGenericRefTypeInstance(JavaTypeInstance typeInstance,
                                  java.util.List<JavaTypeInstance> genericTypes)

Method Detail

collectInto

public void collectInto(TypeUsageCollector typeUsageCollector)

Specified by:

collectInto in interface JavaTypeInstance

getAnnotatedInstance

public JavaAnnotatedTypeInstance getAnnotatedInstance()

Specified by:

getAnnotatedInstance in interface JavaTypeInstance

hasUnbound

public boolean hasUnbound()

Specified by:

hasUnbound in interface JavaGenericBaseInstance

hasForeignUnbound

public boolean hasForeignUnbound(ConstantPool cp,
                                 int depth,
                                 boolean noWildcard,
                                 java.util.Map<java.lang.String,FormalTypeParameter> externals)

Specified by:

hasForeignUnbound in interface JavaGenericBaseInstance

isObject

public boolean isObject()

Specified by:

isObject in interface JavaTypeInstance

hasL01Wildcard

public boolean hasL01Wildcard()

Specified by:

hasL01Wildcard in interface JavaGenericBaseInstance

getWithoutL01Wildcard

public JavaTypeInstance getWithoutL01Wildcard()

Specified by:

getWithoutL01Wildcard in interface JavaGenericBaseInstance

getBoundInstance

public JavaGenericRefTypeInstance getBoundInstance(GenericTypeBinder genericTypeBinder)

Specified by:

getBoundInstance in interface JavaGenericBaseInstance

tryFindBinding

public boolean tryFindBinding(JavaTypeInstance other,
                              GenericTypeBinder target)

Specified by:

tryFindBinding in interface JavaGenericBaseInstance

getStackType

public StackType getStackType()

Specified by:

getStackType in interface JavaTypeInstance

dumpInto

public void dumpInto(Dumper d,
                     TypeUsageInformation typeUsageInformation,
                     TypeContext typeContext)

Specified by:

dumpInto in interface JavaTypeInstance

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getArrayStrippedType

public JavaTypeInstance getArrayStrippedType()

Specified by:

getArrayStrippedType in interface JavaTypeInstance

getGenericTypes

public java.util.List<JavaTypeInstance> getGenericTypes()

Specified by:

getGenericTypes in interface JavaGenericBaseInstance

getDeGenerifiedType

public JavaRefTypeInstance getDeGenerifiedType()

Specified by:

getDeGenerifiedType in interface JavaTypeInstance

getNumArrayDimensions

public int getNumArrayDimensions()

Specified by:

getNumArrayDimensions in interface JavaTypeInstance

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getRawName

public java.lang.String getRawName()

Specified by:

getRawName in interface JavaTypeInstance

getRawName

public java.lang.String getRawName(IllegalIdentifierDump iid)

Specified by:

getRawName in interface JavaTypeInstance

getInnerClassHereInfo

public InnerClassInfo getInnerClassHereInfo()

Specified by:

getInnerClassHereInfo in interface JavaTypeInstance

getTypeInstance

public JavaTypeInstance getTypeInstance()

getBindingSupers

public BindingSuperContainer getBindingSupers()

Specified by:

getBindingSupers in interface JavaTypeInstance

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equivalentUnder

public boolean equivalentUnder(java.lang.Object o,
                               EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface ComparableUnderEC

isComplexType

public boolean isComplexType()

Specified by:

isComplexType in interface JavaTypeInstance

isUsableType

public boolean isUsableType()

Specified by:

isUsableType in interface JavaTypeInstance

removeAnArrayIndirection

public JavaTypeInstance removeAnArrayIndirection()

Specified by:

removeAnArrayIndirection in interface JavaTypeInstance

getRawTypeOfSimpleType

public RawJavaType getRawTypeOfSimpleType()

Specified by:

getRawTypeOfSimpleType in interface JavaTypeInstance

implicitlyCastsTo

public boolean implicitlyCastsTo(JavaTypeInstance other,
                                 GenericTypeBinder gtb)

Specified by:

implicitlyCastsTo in interface JavaTypeInstance

impreciseCanCastTo

public boolean impreciseCanCastTo(JavaTypeInstance other,
                                  GenericTypeBinder gtb)

Specified by:

impreciseCanCastTo in interface JavaTypeInstance

correctCanCastTo

public boolean correctCanCastTo(JavaTypeInstance other,
                                GenericTypeBinder gtb)

Specified by:

correctCanCastTo in interface JavaTypeInstance

suggestVarName

public java.lang.String suggestVarName()

Specified by:

suggestVarName in interface JavaTypeInstance

asGenericRefInstance

public JavaGenericRefTypeInstance asGenericRefInstance(JavaTypeInstance other)

Specified by:

asGenericRefInstance in interface JavaTypeInstance

directImplOf

public JavaTypeInstance directImplOf(JavaTypeInstance other)

Specified by:

directImplOf in interface JavaTypeInstance

deObfuscate

public JavaTypeInstance deObfuscate(ObfuscationTypeMap obfuscationTypeMap)

Specified by:

deObfuscate in interface JavaTypeInstance

isRaw

public boolean isRaw()

Specified by:

isRaw in interface JavaTypeInstance