DvkTyperBase (Soot API)

public abstract class DvkTyperBase
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`static boolean`	`ENABLE_DVKTYPER`

Constructors
Constructor and Description
`DvkTyperBase()`

Methods
Modifier and Type	Method and Description
`static DvkTyperBase`	`getDvkTyper()`
`abstract void`	`setConstraint(ValueBox box1, ValueBox box2)`
`abstract void`	`setObjectType(ValueBox v)`
`abstract void`	`setType(ValueBox v, Type type)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public abstract void setType(ValueBox v,
           Type type)

public abstract void setObjectType(ValueBox v)

public abstract void setConstraint(ValueBox box1,
                 ValueBox box2)

public static DvkTyperBase getDvkTyper()

Class DvkTyperBase