Uses of Class
boomerang.results.AbstractBoomerangResults.Context
-
Packages that use AbstractBoomerangResults.Context Package Description boomerang.results -
-
Uses of AbstractBoomerangResults.Context in boomerang.results
Methods in boomerang.results that return AbstractBoomerangResults.Context Modifier and Type Method Description protected AbstractBoomerangResults.ContextAbstractBoomerangResults. constructContextGraph(ForwardQuery forwardQuery, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> targetFact)AbstractBoomerangResults.ContextForwardBoomerangResults. getContext(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)Methods in boomerang.results that return types with arguments of type AbstractBoomerangResults.Context Modifier and Type Method Description Map<ForwardQuery,AbstractBoomerangResults.Context>BackwardBoomerangResults. getAllocationSites()Methods in boomerang.results with parameters of type AbstractBoomerangResults.Context Modifier and Type Method Description voidAbstractBoomerangResults. computeUnmatchedClosingContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver)voidAbstractBoomerangResults. computeUnmatchedOpeningContext(AbstractBoomerangResults.Context context, AbstractBoomerangSolver<W> forwardSolver, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node)
-