boomerang.controlflowgraph

Class ForwardSolverSuccessorListener

java.lang.Object

boomerang.controlflowgraph.SuccessorListener

boomerang.controlflowgraph.ForwardSolverSuccessorListener

public class ForwardSolverSuccessorListener
extends SuccessorListener

To replace the anonymous impl in ForwardSolver, so that we can access the Edge fiel of the outer method

Constructor Summary

Constructors

Constructor and Description
ForwardSolverSuccessorListener(ControlFlowGraph.Edge curr, ForwardQuery query, Val value, Method method, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, org.slf4j.Logger LOGGER, ForwardBoomerangSolver owner)

Method Summary

Modifier and Type	Method and Description
ControlFlowGraph.Edge	getEdge()
void	getSuccessor(Statement succ)

Methods inherited from class boomerang.controlflowgraph.SuccessorListener

getCurr

Methods inherited from class java.lang.Object

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

Constructor Detail

ForwardSolverSuccessorListener

public ForwardSolverSuccessorListener(ControlFlowGraph.Edge curr,
                                      ForwardQuery query,
                                      Val value,
                                      Method method,
                                      sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node,
                                      org.slf4j.Logger LOGGER,
                                      ForwardBoomerangSolver owner)

Method Detail

getEdge

public ControlFlowGraph.Edge getEdge()

getSuccessor

public void getSuccessor(Statement succ)

Specified by:

getSuccessor in class SuccessorListener