Package soot

Class SootModuleResolver

java.lang.Object

soot.SootResolver

soot.SootModuleResolver

public class SootModuleResolver
extends SootResolver

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

Author:

Andreas Dann

Nested Class Summary

Nested classes/interfaces inherited from class soot.SootResolver

SootResolver.SootClassNotFoundException

Field Summary

Fields inherited from class soot.SootResolver

classToTypesHierarchy, classToTypesSignature

Constructor Summary

Constructors

Constructor	Description
SootModuleResolver(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
SootClass	makeClassRef(String className)	Returns a (possibly not yet resolved) SootClass to be used in references to a class.
SootClass	makeClassRef(String className, com.google.common.base.Optional<String> moduleName)
SootClass	resolveClass(String className, int desiredLevel)	Resolves the given class.
SootClass	resolveClass(String className, int desiredLevel, com.google.common.base.Optional<String> moduleName)	Resolves the given class.
static SootModuleResolver	v()

Methods inherited from class soot.SootResolver

addToResolveWorklist, addToResolveWorklist, bringToBodies, bringToBodiesUnchecked, bringToHierarchy, bringToHierarchyUnchecked, bringToSignatures, bringToSignaturesUnchecked, getProgram, initializeProgram, processResolveWorklist, reResolve, reResolve, reResolveHierarchy, resolveEverything

Methods inherited from class java.lang.Object

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

Constructor Detail

SootModuleResolver

public SootModuleResolver(Singletons.Global g)

Method Detail

v

public static SootModuleResolver v()

makeClassRef

public SootClass makeClassRef(String className,
                              com.google.common.base.Optional<String> moduleName)

makeClassRef

public SootClass makeClassRef(String className)

Description copied from class: SootResolver

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.

Overrides:

makeClassRef in class SootResolver

resolveClass

public SootClass resolveClass(String className,
                              int desiredLevel,
                              com.google.common.base.Optional<String> moduleName)

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.

resolveClass

public SootClass resolveClass(String className,
                              int desiredLevel)

Description copied from class: SootResolver

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.

Overrides:

resolveClass in class SootResolver