soot

Class JastAddInitialResolver

java.lang.Object

soot.JastAddInitialResolver

All Implemented Interfaces:

IInitialResolver

public class JastAddInitialResolver
extends java.lang.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 and Description
protected java.util.Map<java.lang.String,soot.JastAddJ.CompilationUnit>	classNameToCU

Constructor Summary

Constructors

Constructor and Description
JastAddInitialResolver(Singletons.Global g)

Method Summary

Methods

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

classNameToCU

protected java.util.Map<java.lang.String,soot.JastAddJ.CompilationUnit> classNameToCU

Constructor Detail

JastAddInitialResolver

public JastAddInitialResolver(Singletons.Global g)

Method Detail

v

public static JastAddInitialResolver v()

formAst

public void formAst(java.lang.String fullPath,
           java.util.List<java.lang.String> locations,
           java.lang.String className)

Specified by:

formAst in interface IInitialResolver

resolveFromJavaFile

public IInitialResolver.Dependencies resolveFromJavaFile(SootClass sootclass)

Specified by:

resolveFromJavaFile in interface IInitialResolver