soot

Class SootResolver

java.lang.Object

soot.SootResolver

public class SootResolver
extends java.lang.Object

Loads symbols for SootClasses from either class files or jimple files.

Constructor Summary

Constructors

Constructor and Description
SootResolver(Singletons.Global g)

Method Summary

Methods

Modifier and Type	Method and Description
soot.JastAddJ.Program	getProgram()
SootClass	makeClassRef(java.lang.String className) Returns a (possibly not yet resolved) SootClass to be used in references to a class.
void	reResolve(SootClass cl)
void	reResolve(SootClass cl, int newResolvingLevel)
void	reResolveHierarchy(SootClass sc)
SootClass	resolveClass(java.lang.String className, int desiredLevel) Resolves the given class.
static SootResolver	v()

Methods inherited from class java.lang.Object

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

Constructor Detail

SootResolver

public SootResolver(Singletons.Global g)

Method Detail

v

public static SootResolver v()

makeClassRef

public SootClass makeClassRef(java.lang.String className)

Returns a (possibly not yet resolved) SootClass to be used in references to a class. If/when the class is resolved, it will be resolved into this SootClass.

resolveClass

public SootClass resolveClass(java.lang.String className,
                     int desiredLevel)

Resolves the given class. Depending on the resolver settings, may decide to resolve other classes as well. If the class has already been resolved, just returns the class that was already resolved.

reResolveHierarchy

public void reResolveHierarchy(SootClass sc)

reResolve

public void reResolve(SootClass cl,
             int newResolvingLevel)

reResolve

public void reResolve(SootClass cl)

getProgram

public soot.JastAddJ.Program getProgram()