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