Package boomerang.stats

Class AdvancedBoomerangStats<W extends wpds.impl.Weight>

java.lang.Object

boomerang.stats.AdvancedBoomerangStats<W>

All Implemented Interfaces:

IBoomerangStats<W>

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

Constructor Summary

Constructors

Constructor	Description
AdvancedBoomerangStats()

Method Summary

Modifier and Type	Method	Description
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> backwardBoomerangResults)
void	terminated(ForwardQuery query, ForwardBoomerangResults<W> forwardBoomerangResults)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AdvancedBoomerangStats

public AdvancedBoomerangStats()

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>

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> forwardBoomerangResults)

Specified by:

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

terminated

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

Specified by:

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