soot
Class JastAddInitialResolver

java.lang.Object
  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