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

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 node
Collection<PathEdge<T>>	getSeeds()
IntSet	getSummaryTargets(T n1, int d1, T n2)
Collection<T>	getSupergraphNodesReached()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Result

public Result()

Method Details

getResult

public IntSet getResult(T node)

get the bitvector of facts that hold at the entry to a given node

Specified by:

getResult in interface TabulationResult<T,P,F>

Parameters:

node - a node in the supergraph

Returns:

IntSet representing the bitvector

toString

public String toString()

Overrides:

toString in class Object

getProblem

public TabulationProblem<T,P,F> getProblem()

Specified by:

getProblem in interface TabulationResult<T,P,F>

Returns:

the governing IFDS problem

getSupergraphNodesReached

public Collection<T> getSupergraphNodesReached()

Specified by:

getSupergraphNodesReached in interface TabulationResult<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 interface TabulationResult<T,P,F>

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()

Specified by:

getSeeds in interface TabulationResult<T,P,F>

Returns:

the set of all PathEdges that were used as seeds during the tabulation.