Class InferredJavaType

java.lang.Object

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

public class InferredJavaType
extends Object

Multiple expressions / lvalues will have pointers to a single instance of this - at type changing boundaries, we will explicitly create a new one.

Thus if we have

a = 94 b = a c = b charfunction((no cast)c)

we know that c is appropriate to be passed directly to a char function (i.e. a char). So we can update the type which is held by c=b=a=94.

however, if we have

a = 94 b = a c = (i2c)b charfunction((no cast)c), c will have a forced char type, we won't need to update it.

Note that this works only for narrowing functions, as a char will be passed by the JVM to an int function without extension.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static enum	InferredJavaType.ClashState
private static interface	InferredJavaType.IJTInternal
private static class	InferredJavaType.IJTInternal_Clash
private static class	InferredJavaType.IJTInternal_Impl
static enum	InferredJavaType.Source

Field Summary

Fields

Modifier and Type	Field	Description
private static int	global_id
static final InferredJavaType	IGNORE
private InferredJavaType.IJTInternal	value

Constructor Summary

Constructors

Modifier	Constructor	Description
	InferredJavaType()
private	InferredJavaType(InferredJavaType.IJTInternal_Clash clash)
	InferredJavaType(JavaTypeInstance type, InferredJavaType.Source source)
	InferredJavaType(JavaTypeInstance type, InferredJavaType.Source source, boolean locked)

Method Summary

Modifier and Type	Method	Description
void	applyKnownBaseType()
CastAction	chain(InferredJavaType other)
private CastAction	chainFrom(InferredJavaType other)
private CastAction	chainIntegralTypes(InferredJavaType other)
private boolean	checkBaseCompatibility(JavaTypeInstance otherType)
private static boolean	checkBaseCompatibility(JavaTypeInstance thisType, JavaTypeInstance otherType)
private static boolean	checkGenericCompatibility(JavaGenericRefTypeInstance thisType, JavaGenericRefTypeInstance otherType)
InferredJavaType	collapseTypeClash()
static InferredJavaType	combineOrClash(InferredJavaType t1, InferredJavaType t2)
static void	compareAsWithoutCasting(InferredJavaType a, InferredJavaType b, boolean aLit, boolean bLit)
void	confirmVarIfPossible()
void	deGenerify(JavaTypeInstance other)
boolean	equals(Object o)
void	forceDelegate(InferredJavaType other)
void	forceType(JavaTypeInstance type, boolean ignoreLockIfResolveClash)
private static Map<JavaTypeInstance, JavaGenericRefTypeInstance>	getBoundSuperClasses(JavaTypeInstance clashType)
JavaTypeInstance	getJavaTypeInstance()
int	getLocalId()
private static List<JavaTypeInstance>	getMostDerivedType(Set<JavaTypeInstance> types)
RawJavaType	getRawType()
InferredJavaType.Source	getSource()
int	getTaggedBytecodeLocation()
int	hashCode()
private void	improveGenericType(JavaGenericRefTypeInstance otherGeneric)
boolean	isClash()
private static boolean	isPrimitiveArray(InferredJavaType.IJTInternal i)
private void	mergeGenericInfo(JavaGenericRefTypeInstance otherTypeInstance)
private static InferredJavaType	mkClash(List<JavaTypeInstance> types)
static InferredJavaType	mkClash(JavaTypeInstance... types)
private static void	mkDelegate(InferredJavaType.IJTInternal a, InferredJavaType.IJTInternal b)
void	noteUseAs(JavaTypeInstance type)
void	setTaggedBytecodeLocation(int location)
void	shallowSetCanBeVar()
String	toString()
void	useAsWithCast(RawJavaType otherRaw)
void	useAsWithoutCasting(JavaTypeInstance otherTypeInstance)
static void	useInArithOp(InferredJavaType lhs, InferredJavaType rhs, ArithOp op)
void	useInArithOp(InferredJavaType other, RawJavaType otherRaw, boolean forbidBool)

Methods inherited from class Object

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

Field Details

global_id

private static int global_id

value

private InferredJavaType.IJTInternal value

IGNORE

public static final InferredJavaType IGNORE

Constructor Details

InferredJavaType

public InferredJavaType()

InferredJavaType

public InferredJavaType(JavaTypeInstance type,
 InferredJavaType.Source source)

InferredJavaType

public InferredJavaType(JavaTypeInstance type,
 InferredJavaType.Source source,
 boolean locked)

InferredJavaType

private InferredJavaType(InferredJavaType.IJTInternal_Clash clash)

Method Details

getMostDerivedType

private static List<JavaTypeInstance> getMostDerivedType(Set<JavaTypeInstance> types)

mkClash

private static InferredJavaType mkClash(List<JavaTypeInstance> types)

combineOrClash

public static InferredJavaType combineOrClash(InferredJavaType t1,
 InferredJavaType t2)

mkClash

public static InferredJavaType mkClash(JavaTypeInstance... types)

getBoundSuperClasses

private static Map<JavaTypeInstance, JavaGenericRefTypeInstance> getBoundSuperClasses(JavaTypeInstance clashType)

getSource

public InferredJavaType.Source getSource()

mergeGenericInfo

private void mergeGenericInfo(JavaGenericRefTypeInstance otherTypeInstance)

noteUseAs

public void noteUseAs(JavaTypeInstance type)

forceType

public void forceType(JavaTypeInstance type,
 boolean ignoreLockIfResolveClash)

isClash

public boolean isClash()

collapseTypeClash

public InferredJavaType collapseTypeClash()

getLocalId

public int getLocalId()

getTaggedBytecodeLocation

public int getTaggedBytecodeLocation()

setTaggedBytecodeLocation

public void setTaggedBytecodeLocation(int location)

checkGenericCompatibility

private static boolean checkGenericCompatibility(JavaGenericRefTypeInstance thisType,
 JavaGenericRefTypeInstance otherType)

checkBaseCompatibility

private boolean checkBaseCompatibility(JavaTypeInstance otherType)

checkBaseCompatibility

private static boolean checkBaseCompatibility(JavaTypeInstance thisType,
 JavaTypeInstance otherType)

chainFrom

private CastAction chainFrom(InferredJavaType other)

mkDelegate

private static void mkDelegate(InferredJavaType.IJTInternal a,
 InferredJavaType.IJTInternal b)

forceDelegate

public void forceDelegate(InferredJavaType other)

chainIntegralTypes

private CastAction chainIntegralTypes(InferredJavaType other)

compareAsWithoutCasting

public static void compareAsWithoutCasting(InferredJavaType a,
 InferredJavaType b,
 boolean aLit,
 boolean bLit)

useAsWithCast

public void useAsWithCast(RawJavaType otherRaw)

useInArithOp

public void useInArithOp(InferredJavaType other,
 RawJavaType otherRaw,
 boolean forbidBool)

useInArithOp

public static void useInArithOp(InferredJavaType lhs,
 InferredJavaType rhs,
 ArithOp op)

useAsWithoutCasting

public void useAsWithoutCasting(JavaTypeInstance otherTypeInstance)

improveGenericType

private void improveGenericType(JavaGenericRefTypeInstance otherGeneric)

deGenerify

public void deGenerify(JavaTypeInstance other)

applyKnownBaseType

public void applyKnownBaseType()

isPrimitiveArray

private static boolean isPrimitiveArray(InferredJavaType.IJTInternal i)

chain

public CastAction chain(InferredJavaType other)

getRawType

public RawJavaType getRawType()

shallowSetCanBeVar

public void shallowSetCanBeVar()

confirmVarIfPossible

public void confirmVarIfPossible()

getJavaTypeInstance

public JavaTypeInstance getJavaTypeInstance()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object