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

Modifier and Type	Method and Description
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

Method Detail

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)