public class JastAddInitialResolver extends java.lang.Object implements IInitialResolver
IInitialResolver
for the JastAdd frontend.IInitialResolver.Dependencies
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<java.lang.String,CompilationUnit> |
classNameToCU |
Constructor and Description |
---|
JastAddInitialResolver(soot.Singletons.Global g) |
Modifier and Type | Method and Description |
---|---|
void |
formAst(java.lang.String fullPath,
java.util.List<java.lang.String> locations,
java.lang.String className) |
IInitialResolver.Dependencies |
resolveFromJavaFile(SootClass sootclass) |
static JastAddInitialResolver |
v() |
public static JastAddInitialResolver v()
public void formAst(java.lang.String fullPath, java.util.List<java.lang.String> locations, java.lang.String className)
formAst
in interface IInitialResolver
public IInitialResolver.Dependencies resolveFromJavaFile(SootClass sootclass)
resolveFromJavaFile
in interface IInitialResolver