public class SootResolver extends Object
Constructor and Description |
---|
SootResolver(Singletons.Global g) |
Modifier and Type | Method and Description |
---|---|
soot.JastAddJ.Program |
getProgram() |
SootClass |
makeClassRef(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(String className,
int desiredLevel)
Resolves the given class.
|
static SootResolver |
v() |
public SootResolver(Singletons.Global g)
public static SootResolver v()
public SootClass makeClassRef(String className)
public SootClass resolveClass(String className, int desiredLevel)
public void reResolveHierarchy(SootClass sc)
public void reResolve(SootClass cl, int newResolvingLevel)
public void reResolve(SootClass cl)
public soot.JastAddJ.Program getProgram()