soot
Class JastAddInitialResolver

java.lang.Object
  extended by soot.JastAddInitialResolver
All Implemented Interfaces:
IInitialResolver

public class JastAddInitialResolver
extends Object
implements IInitialResolver

An IInitialResolver for the JastAdd frontend.

Author:
Torbjorn Ekman, Eric Bodden

Nested Class Summary
 
Nested classes/interfaces inherited from interface soot.javaToJimple.IInitialResolver
IInitialResolver.Dependencies
 
Field Summary
protected  Map<String,soot.JastAddJ.CompilationUnit> classNameToCU
           
 
Constructor Summary
JastAddInitialResolver(Singletons.Global g)
           
 
Method Summary
 void formAst(String fullPath, List<String> locations, String className)
           
 IInitialResolver.Dependencies resolveFromJavaFile(SootClass sootclass)
           
static JastAddInitialResolver v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

classNameToCU

protected Map<String,soot.JastAddJ.CompilationUnit> classNameToCU
Constructor Detail

JastAddInitialResolver

public JastAddInitialResolver(Singletons.Global g)
Method Detail

v

public static JastAddInitialResolver v()

formAst

public void formAst(String fullPath,
                    List<String> locations,
                    String className)
Specified by:
formAst in interface IInitialResolver

resolveFromJavaFile

public IInitialResolver.Dependencies resolveFromJavaFile(SootClass sootclass)
Specified by:
resolveFromJavaFile in interface IInitialResolver