Package 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

Fields

Modifier and Type	Field	Description
protected Map<String,CompilationUnit>	classNameToCU

Constructor Summary

Constructors

Constructor	Description
JastAddInitialResolver(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
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,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