public class CopyAccessPathChain<W extends wpds.impl.Weight> extends Object
| Constructor and Description |
|---|
CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver,
BackwardBoomerangSolver<W> backwardSolver,
ControlFlowGraph.Edge fieldWriteStatement,
wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition) |
| Modifier and Type | Method and Description |
|---|---|
void |
addReachable(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> node) |
boolean |
equals(Object obj) |
void |
exec() |
int |
hashCode() |
public CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver, BackwardBoomerangSolver<W> backwardSolver, ControlFlowGraph.Edge fieldWriteStatement, wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition)
public void exec()
public void addReachable(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> node)
Copyright © 2024. All rights reserved.