boomerang.results

Class AbstractBoomerangResults<W extends wpds.impl.Weight>

java.lang.Object

boomerang.results.AbstractBoomerangResults<W>

Direct Known Subclasses:

BackwardBoomerangResults, ForwardBoomerangResults

public class AbstractBoomerangResults<W extends wpds.impl.Weight>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractBoomerangResults.Context

Field Summary

Fields

Modifier and Type	Field and Description
protected org.slf4j.Logger	LOGGER
protected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>	queryToSolvers

Constructor Summary

Constructors

Constructor and Description
AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>	asStatementValWeightTable(ForwardQuery query)
void	computeUnmatchedClosingContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver)
void	computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)
protected AbstractBoomerangResults.Context	constructContextGraph(ForwardQuery forwardQuery, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact)

Methods inherited from class java.lang.Object

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

Field Detail

queryToSolvers

protected final DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W extends wpds.impl.Weight>> queryToSolvers

LOGGER

protected final org.slf4j.Logger LOGGER

Constructor Detail

AbstractBoomerangResults

public AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)

Method Detail

constructContextGraph

protected AbstractBoomerangResults.Context constructContextGraph(ForwardQuery forwardQuery,
                                                                 sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact)

computeUnmatchedClosingContext

public void computeUnmatchedClosingContext(AbstractBoomerangResults.Context context,
                                           AbstractBoomerangSolver<W> forwardSolver)

computeUnmatchedOpeningContext

public void computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context,
                                           AbstractBoomerangSolver<W> forwardSolver,
                                           sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)

asStatementValWeightTable

public com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W> asStatementValWeightTable(ForwardQuery query)