heros.fieldsens

Interface MethodAnalyzer<Field,Fact,Stmt,Method>

All Known Implementing Classes:

MethodAnalyzerImpl, SourceStmtAnnotatedMethodAnalyzer

public interface 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)

Method Detail

addIncomingEdge

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

addInitialSeed

void addInitialSeed(Stmt startPoint,
                    Fact val)

addUnbalancedReturnFlow

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