soot.jimple.toolkits.typing.integer
Class TypeResolver
java.lang.Object
|
+--soot.jimple.toolkits.typing.integer.TypeResolver
- public class TypeResolver
- extends java.lang.Object
This class resolves the type of local variables.
Method Summary |
static void |
resolve(JimpleBody stmtBody)
|
soot.jimple.toolkits.typing.integer.TypeVariable |
typeVariable()
Get new type variable |
soot.jimple.toolkits.typing.integer.TypeVariable |
typeVariable(Type type)
Get type variable for the given type. |
soot.jimple.toolkits.typing.integer.TypeVariable |
typeVariable(soot.jimple.toolkits.typing.integer.TypeNode typeNode)
Get type variable for the given type node. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
typeVariable
public soot.jimple.toolkits.typing.integer.TypeVariable typeVariable(soot.jimple.toolkits.typing.integer.TypeNode typeNode)
- Get type variable for the given type node.
typeVariable
public soot.jimple.toolkits.typing.integer.TypeVariable typeVariable(Type type)
- Get type variable for the given type.
typeVariable
public soot.jimple.toolkits.typing.integer.TypeVariable typeVariable()
- Get new type variable
resolve
public static void resolve(JimpleBody stmtBody)