soot
Class SootResolver

java.lang.Object
  soot.SootResolver

public class SootResolver
extends Object

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

Field Summary

protected soot.JastAddJ.Program

program

Constructor Summary

SootResolver(Singletons.Global g)

Method Summary

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	reResolveHierarchy(SootClass sc)
SootClass	resolveClass(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

Field Detail

program

protected soot.JastAddJ.Program program

Constructor Detail

SootResolver

public SootResolver(Singletons.Global g)

Method Detail

v

public static SootResolver v()

makeClassRef

public SootClass makeClassRef(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(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)

getProgram

public soot.JastAddJ.Program getProgram()