soot
Class SootResolver

java.lang.Object
  extended by 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()