soot.dexpler.typing

Class DalvikTyper

java.lang.Object

soot.dexpler.typing.DalvikTyper

All Implemented Interfaces:

IDalvikTyper

public class DalvikTyper
extends Object
implements IDalvikTyper

Field Summary

Fields inherited from interface soot.dexpler.IDalvikTyper

DEBUG, ENABLE_DVKTYPER

Method Summary

Modifier and Type	Method and Description
void	addConstraint(ValueBox l, ValueBox r)
void	assignType(Body b)
protected void	checkExpr(Value v, Type t)
void	clear()
protected void	setInvokeType(InvokeExpr invokeExpr)
void	setType(ValueBox vb, Type t, boolean isUse)
void	typeUntypedConstrantInDiv(Body b)
static DalvikTyper	v()

Methods inherited from class java.lang.Object

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

Method Detail

v

public static DalvikTyper v()

clear

public void clear()

setType

public void setType(ValueBox vb,
                    Type t,
                    boolean isUse)

Specified by:

setType in interface IDalvikTyper

addConstraint

public void addConstraint(ValueBox l,
                          ValueBox r)

Specified by:

addConstraint in interface IDalvikTyper

assignType

public void assignType(Body b)

Specified by:

assignType in interface IDalvikTyper

checkExpr

protected void checkExpr(Value v,
                         Type t)

setInvokeType

protected void setInvokeType(InvokeExpr invokeExpr)

typeUntypedConstrantInDiv

public void typeUntypedConstrantInDiv(Body b)