Package soot.jimple.toolkits.typing

Class TypeResolver

java.lang.Object

soot.jimple.toolkits.typing.TypeResolver

public class TypeResolver
extends Object

This class resolves the type of local variables. NOTE: This class has been superseded by TypeResolver.

Method Summary

Modifier and Type	Method	Description
ClassHierarchy	hierarchy()
static void	resolve(JimpleBody stmtBody, Scene scene)
soot.jimple.toolkits.typing.TypeNode	typeNode(Type type)
soot.jimple.toolkits.typing.TypeVariable	typeVariable()	Get new type variable
soot.jimple.toolkits.typing.TypeVariable	typeVariable(soot.jimple.toolkits.typing.TypeNode typeNode)	Get type variable for the given type node.
soot.jimple.toolkits.typing.TypeVariable	typeVariable(SootClass sootClass)	Get type variable for the given soot class.
soot.jimple.toolkits.typing.TypeVariable	typeVariable(Type type)	Get type variable for the given type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

hierarchy

public ClassHierarchy hierarchy()

typeNode

public soot.jimple.toolkits.typing.TypeNode typeNode(Type type)

typeVariable

public soot.jimple.toolkits.typing.TypeVariable typeVariable(soot.jimple.toolkits.typing.TypeNode typeNode)

Get type variable for the given type node.

typeVariable

public soot.jimple.toolkits.typing.TypeVariable typeVariable(SootClass sootClass)

Get type variable for the given soot class.

typeVariable

public soot.jimple.toolkits.typing.TypeVariable typeVariable(Type type)

Get type variable for the given type.

typeVariable

public soot.jimple.toolkits.typing.TypeVariable typeVariable()

Get new type variable

resolve

public static void resolve(JimpleBody stmtBody,
                           Scene scene)