heros.fieldsens

Interface Debugger<Field,Fact,Stmt,Method>

All Known Implementing Classes:

Debugger.NullDebugger

public interface Debugger<Field,Fact,Stmt,Method>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Debugger.NullDebugger<Field,Fact,Stmt,Method>

Method Summary

Modifier and Type	Method and Description
void	askedToResolve(Resolver<Field,Fact,Stmt,Method> resolver, FlowFunction.Constraint<Field> constraint)
void	edgeTo(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)
void	initialSeed(Stmt stmt)
void	jobFinished(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)
void	jobStarted(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)
void	newJob(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)
void	newResolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer, Resolver<Field,Fact,Stmt,Method> resolver)
void	setICFG(InterproceduralCFG<Stmt,Method> icfg)

Method Detail

setICFG

void setICFG(InterproceduralCFG<Stmt,Method> icfg)

initialSeed

void initialSeed(Stmt stmt)

edgeTo

void edgeTo(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
            WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)

newResolver

void newResolver(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                 Resolver<Field,Fact,Stmt,Method> resolver)

newJob

void newJob(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
            WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)

jobStarted

void jobStarted(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)

jobFinished

void jobFinished(PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method> analyzer,
                 WrappedFactAtStatement<Field,Fact,Stmt,Method> factAtStmt)

askedToResolve

void askedToResolve(Resolver<Field,Fact,Stmt,Method> resolver,
                    FlowFunction.Constraint<Field> constraint)