soot.dexpler.typing

Class DalvikTyper

java.lang.Object

soot.dexpler.typing.DalvikTyper

All Implemented Interfaces:

IDalvikTyper

public class DalvikTyper
extends java.lang.Object
implements IDalvikTyper

Field Summary

Fields inherited from interface soot.dexpler.IDalvikTyper

DEBUG, ENABLE_DVKTYPER

Method Summary

Methods

Modifier and Type	Method and Description
void	addConstraint(ValueBox l, ValueBox r)
void	assignType(Body b)
void	clear()
void	setType(ValueBox vb, Type t, boolean isUse)
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