Package com.ibm.wala.dataflow.IFDS
Class TabulationSolver.Result
- java.lang.Object
-
- com.ibm.wala.dataflow.IFDS.TabulationSolver.Result
-
- All Implemented Interfaces:
TabulationResult<T,P,F>
- Enclosing class:
- TabulationSolver<T,P,F>
public class TabulationSolver.Result extends Object implements TabulationResult<T,P,F>
-
-
Constructor Summary
Constructors Constructor Description Result()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TabulationProblem<T,P,F>
getProblem()
IntSet
getResult(T node)
get the bitvector of facts that hold at the entry to a given nodeCollection<PathEdge<T>>
getSeeds()
IntSet
getSummaryTargets(T n1, int d1, T n2)
Collection<T>
getSupergraphNodesReached()
String
toString()
-
-
-
Method Detail
-
getResult
public IntSet getResult(T node)
get the bitvector of facts that hold at the entry to a given node- Specified by:
getResult
in interfaceTabulationResult<T,P,F>
- Parameters:
node
- a node in the supergraph- Returns:
- IntSet representing the bitvector
-
getProblem
public TabulationProblem<T,P,F> getProblem()
- Specified by:
getProblem
in interfaceTabulationResult<T,P,F>
- Returns:
- the governing IFDS problem
-
getSupergraphNodesReached
public Collection<T> getSupergraphNodesReached()
- Specified by:
getSupergraphNodesReached
in interfaceTabulationResult<T,P,F>
- Returns:
- the set of supergraph nodes for which any fact is reached
-
getSummaryTargets
public IntSet getSummaryTargets(T n1, int d1, T n2)
- Specified by:
getSummaryTargets
in interfaceTabulationResult<T,P,F>
- Parameters:
n1
-d1
-n2
-- Returns:
- set of d2 s.t. (n1,d1) -> (n2,d2) is recorded as a summary edge, or null if none found
-
getSeeds
public Collection<PathEdge<T>> getSeeds()
-
-