Package 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 Description static classAbstractBoomerangResults.Context
-
Field Summary
Fields Modifier and Type Field Description protected org.slf4j.LoggerLOGGERprotected DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>>queryToSolvers
-
Constructor Summary
Constructors Constructor Description AbstractBoomerangResults(DefaultValueMap<ForwardQuery,ForwardBoomerangSolver<W>> solverMap)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W>asEdgeValWeightTable(ForwardQuery query)com.google.common.collect.Table<Statement,Val,W>asStatementValWeightTable(ForwardQuery query)voidcomputeUnmatchedClosingContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver)voidcomputeUnmatchedOpeningContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)protected AbstractBoomerangResults.ContextconstructContextGraph(ForwardQuery forwardQuery, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact)
-
-
-
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)
-
asEdgeValWeightTable
public com.google.common.collect.Table<ControlFlowGraph.Edge,Val,W> asEdgeValWeightTable(ForwardQuery query)
-
asStatementValWeightTable
public com.google.common.collect.Table<Statement,Val,W> asStatementValWeightTable(ForwardQuery query)
-
-