heros.fieldsens

Class SourceStmtAnnotatedMethodAnalyzer<Field,Fact,Stmt,Method>

java.lang.Object

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

All Implemented Interfaces:

MethodAnalyzer<Field,Fact,Stmt,Method>

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt>

Constructor Summary

Constructors

Constructor and Description
SourceStmtAnnotatedMethodAnalyzer(Method method, Context<Field,Fact,Stmt,Method> context, SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt> synchronizer, 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 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

Constructor Detail

SourceStmtAnnotatedMethodAnalyzer

public SourceStmtAnnotatedMethodAnalyzer(Method method,
                                         Context<Field,Fact,Stmt,Method> context,
                                         SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt> synchronizer,
                                         Debugger<Field,Fact,Stmt,Method> debugger)

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>