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
static enum	InferredJavaType.Source

Field Summary

Fields

Modifier and Type	Field	Description
static final InferredJavaType	IGNORE

Constructor Summary

Constructors

Constructor	Description
InferredJavaType()
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)
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)
JavaTypeInstance	getJavaTypeInstance()
int	getLocalId()
RawJavaType	getRawType()
InferredJavaType.Source	getSource()
int	getTaggedBytecodeLocation()
int	hashCode()
boolean	isClash()
static InferredJavaType	mkClash(JavaTypeInstance... types)
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

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)

Method Details

combineOrClash

public static InferredJavaType combineOrClash(InferredJavaType t1,
 InferredJavaType t2)

mkClash

public static InferredJavaType mkClash(JavaTypeInstance... types)

getSource

public InferredJavaType.Source getSource()

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)

forceDelegate

public void forceDelegate(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)

deGenerify

public void deGenerify(JavaTypeInstance other)

applyKnownBaseType

public void applyKnownBaseType()

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