| Package | Description |
|---|---|
| boomerang.results |
| Modifier and Type | Method and Description |
|---|---|
protected AbstractBoomerangResults.Context |
AbstractBoomerangResults.constructContextGraph(ForwardQuery forwardQuery,
sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact) |
AbstractBoomerangResults.Context |
ForwardBoomerangResults.getContext(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node) |
| Modifier and Type | Method and Description |
|---|---|
Map<ForwardQuery,AbstractBoomerangResults.Context> |
BackwardBoomerangResults.getAllocationSites() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractBoomerangResults.computeUnmatchedClosingContext(AbstractBoomerangResults.Context context,
AbstractBoomerangSolver<W> forwardSolver) |
void |
AbstractBoomerangResults.computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context,
AbstractBoomerangSolver<W> forwardSolver,
sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node) |
Copyright © 2024. All rights reserved.