Package 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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddConstraint(ValueBox l, ValueBox r)voidassignType(Body b)protected voidcheckExpr(Value v, Type t)voidclear()protected voidsetInvokeType(InvokeExpr invokeExpr)voidsetType(ValueBox vb, Type t, boolean isUse)voidtypeUntypedConstrantInDiv(Body b)static DalvikTyperv()
-
-
-
Method Detail
-
v
public static DalvikTyper v()
-
clear
public void clear()
-
setType
public void setType(ValueBox vb, Type t, boolean isUse)
- Specified by:
setTypein interfaceIDalvikTyper
-
addConstraint
public void addConstraint(ValueBox l, ValueBox r)
- Specified by:
addConstraintin interfaceIDalvikTyper
-
assignType
public void assignType(Body b)
- Specified by:
assignTypein interfaceIDalvikTyper
-
setInvokeType
protected void setInvokeType(InvokeExpr invokeExpr)
-
typeUntypedConstrantInDiv
public void typeUntypedConstrantInDiv(Body b)
-
-