heros.fieldsens

Class Debugger.NullDebugger<Field,Fact,Stmt,Method>

java.lang.Object

heros.fieldsens.Debugger.NullDebugger<Field,Fact,Stmt,Method>

All Implemented Interfaces:

Debugger<Field,Fact,Stmt,Method>

Enclosing interface:

Debugger<Field,Fact,Stmt,Method>

public static class Debugger.NullDebugger<Field,Fact,Stmt,Method>
extends java.lang.Object
implements Debugger<Field,Fact,Stmt,Method>

Nested Class Summary

Nested classes/interfaces inherited from interface heros.fieldsens.Debugger

Debugger.NullDebugger<Field,Fact,Stmt,Method>

Constructor Summary

Constructors

Constructor and Description
NullDebugger()

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

NullDebugger

public NullDebugger()

Method Detail

setICFG

public void setICFG(InterproceduralCFG<Stmt,Method> icfg)

Specified by:

setICFG in interface Debugger<Field,Fact,Stmt,Method>

initialSeed

public void initialSeed(Stmt stmt)

Specified by:

initialSeed in interface Debugger<Field,Fact,Stmt,Method>

edgeTo

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

Specified by:

edgeTo in interface Debugger<Field,Fact,Stmt,Method>

newResolver

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

Specified by:

newResolver in interface Debugger<Field,Fact,Stmt,Method>

newJob

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

Specified by:

newJob in interface Debugger<Field,Fact,Stmt,Method>

jobStarted

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

Specified by:

jobStarted in interface Debugger<Field,Fact,Stmt,Method>

jobFinished

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

Specified by:

jobFinished in interface Debugger<Field,Fact,Stmt,Method>

askedToResolve

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

Specified by:

askedToResolve in interface Debugger<Field,Fact,Stmt,Method>