heros.fieldsens

Class MethodAnalyzerImpl<Field,Fact,Stmt,Method>

java.lang.Object

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

All Implemented Interfaces:

MethodAnalyzer<Field,Fact,Stmt,Method>

public class MethodAnalyzerImpl<Field,Fact,Stmt,Method>
extends java.lang.Object
implements MethodAnalyzer<Field,Fact,Stmt,Method>

Method Summary

Modifier and Type	Method and Description
void	addIncomingEdge(CallEdge<Field,Fact,Stmt,Method> incEdge)
void	addInitialSeed(Stmt startPoint, Fact val)
void	addUnbalancedReturnFlow(WrappedFactAtStatement<Field,Fact,Stmt,Method> target, Stmt callSite)

Methods inherited from class java.lang.Object

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

Method Detail

addIncomingEdge

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

Specified by:

addIncomingEdge in interface MethodAnalyzer<Field,Fact,Stmt,Method>

addInitialSeed

public void addInitialSeed(Stmt startPoint,
                           Fact val)

Specified by:

addInitialSeed in interface MethodAnalyzer<Field,Fact,Stmt,Method>

addUnbalancedReturnFlow

public void addUnbalancedReturnFlow(WrappedFactAtStatement<Field,Fact,Stmt,Method> target,
                                    Stmt callSite)

Specified by:

addUnbalancedReturnFlow in interface MethodAnalyzer<Field,Fact,Stmt,Method>