DvkTyperBase (Soot - a J*va Optimization Framework 4.2.1 API)

public abstract class DvkTyperBase
extends Object

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

Constructors
Constructor and Description
`DvkTyperBase()`

All Methods Static Methods Instance Methods Abstract Methods Concrete 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)`

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