boomerang.stats

Class CSVBoomerangStatsWriter<W extends wpds.impl.Weight>

java.lang.Object

boomerang.stats.CSVBoomerangStatsWriter<W>

All Implemented Interfaces:

IBoomerangStats<W>

public class CSVBoomerangStatsWriter<W extends wpds.impl.Weight>
extends Object
implements IBoomerangStats<W>

Constructor Summary

Constructors

Constructor and Description
CSVBoomerangStatsWriter(String outputFileName)

Method Summary

Modifier and Type	Method and Description
protected void	addCallGeneratedState(sync.pds.solver.nodes.INode<Val> s)
protected void	addFieldGeneratedState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> s)
Set<Method>	getCallVisitedMethods()
Collection<? extends sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>	getForwardReachesNodes()
void	registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key)
void	registerSolver(Query key, AbstractBoomerangSolver<W> solver)
static <K> Map<K,Integer>	sortByValues(Map<K,Integer> map)
void	terminated(BackwardQuery query, BackwardBoomerangResults<W> res)
void	terminated(ForwardQuery query, ForwardBoomerangResults<W> res)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CSVBoomerangStatsWriter

public CSVBoomerangStatsWriter(String outputFileName)

Method Detail

sortByValues

public static <K> Map<K,Integer> sortByValues(Map<K,Integer> map)

registerSolver

public void registerSolver(Query key,
                           AbstractBoomerangSolver<W> solver)

Specified by:

registerSolver in interface IBoomerangStats<W extends wpds.impl.Weight>

addFieldGeneratedState

protected void addFieldGeneratedState(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> s)

addCallGeneratedState

protected void addCallGeneratedState(sync.pds.solver.nodes.INode<Val> s)

registerFieldWritePOI

public void registerFieldWritePOI(WeightedBoomerang.FieldWritePOI key)

Specified by:

registerFieldWritePOI in interface IBoomerangStats<W extends wpds.impl.Weight>

toString

public String toString()

Overrides:

toString in class Object

getCallVisitedMethods

public Set<Method> getCallVisitedMethods()

Specified by:

getCallVisitedMethods in interface IBoomerangStats<W extends wpds.impl.Weight>

getForwardReachesNodes

public Collection<? extends sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getForwardReachesNodes()

Specified by:

getForwardReachesNodes in interface IBoomerangStats<W extends wpds.impl.Weight>

terminated

public void terminated(ForwardQuery query,
                       ForwardBoomerangResults<W> res)

Specified by:

terminated in interface IBoomerangStats<W extends wpds.impl.Weight>

terminated

public void terminated(BackwardQuery query,
                       BackwardBoomerangResults<W> res)

Specified by:

terminated in interface IBoomerangStats<W extends wpds.impl.Weight>