heros.fieldsens

Class PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>

java.lang.Object

heros.fieldsens.PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>

public class PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PerAccessPathMethodAnalyzer(Method method, Fact sourceFact, Context<Field,Fact,Stmt,Method> context, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
void	addIncomingEdge(CallEdge<Field,Fact,Stmt,Method> incEdge)
void	addInitialSeed(Stmt stmt)
PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>	createWithAccessPath(AccessPath<Field> accPath)
AccessPath<Field>	getAccessPath()
heros.fieldsens.CallEdgeResolver<Field,Fact,Stmt,Method>	getCallEdgeResolver()
Method	getMethod()
boolean	isZeroSource()
void	scheduleUnbalancedReturnEdgeTo(WrappedFactAtStatement<Field,Fact,Stmt,Method> fact)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PerAccessPathMethodAnalyzer

public PerAccessPathMethodAnalyzer(Method method,
                                   Fact sourceFact,
                                   Context<Field,Fact,Stmt,Method> context,
                                   Debugger<Field,Fact,Stmt,Method> debugger)

Method Detail

createWithAccessPath

public PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> createWithAccessPath(AccessPath<Field> accPath)

getAccessPath

public AccessPath<Field> getAccessPath()

addInitialSeed

public void addInitialSeed(Stmt stmt)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addIncomingEdge

public void addIncomingEdge(CallEdge<Field,Fact,Stmt,Method> incEdge)

scheduleUnbalancedReturnEdgeTo

public void scheduleUnbalancedReturnEdgeTo(WrappedFactAtStatement<Field,Fact,Stmt,Method> fact)

isZeroSource

public boolean isZeroSource()

getCallEdgeResolver

public heros.fieldsens.CallEdgeResolver<Field,Fact,Stmt,Method> getCallEdgeResolver()

getMethod

public Method getMethod()