boomerang.stats

Class SimpleBoomerangStats<W extends wpds.impl.Weight>

java.lang.Object

boomerang.stats.SimpleBoomerangStats<W>

All Implemented Interfaces:

IBoomerangStats<W>

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

Created by johannesspath on 06.12.17.

Constructor Summary

Constructors

Constructor and Description
SimpleBoomerangStats()

Method Summary

Modifier and Type	Method and 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)
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

SimpleBoomerangStats

public SimpleBoomerangStats()

Method Detail

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

getForwardReachesNodes

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

Specified by:

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

getCallVisitedMethods

public Set<Method> getCallVisitedMethods()

Specified by:

getCallVisitedMethods 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>