soot.jimple.toolkits.typing
Class TypeResolver
java.lang.Object
|
+--soot.jimple.toolkits.typing.TypeResolver
- public class TypeResolver
- extends java.lang.Object
This class resolves the type of local variables.
Method Summary |
soot.jimple.toolkits.typing.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(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. |
soot.jimple.toolkits.typing.TypeVariable |
typeVariable(soot.jimple.toolkits.typing.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 |
hierarchy
public soot.jimple.toolkits.typing.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)