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 and Description
TabulationSolver.Result()

Method Summary

Methods

Modifier and Type	Method and Description
TabulationProblem<T,P,F>	getProblem()
com.ibm.wala.util.intset.IntSet	getResult(T node) get the bitvector of facts that hold at the entry to a given node
Collection<PathEdge<T>>	getSeeds()
com.ibm.wala.util.intset.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 Detail

TabulationSolver.Result

public TabulationSolver.Result()

Method Detail

getResult

public com.ibm.wala.util.intset.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 com.ibm.wala.util.intset.IntSet getSummaryTargets(T n1,
                                                int d1,
                                                T n2)

Specified by:

getSummaryTargets in interface TabulationResult<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()

Specified by:

getSeeds in interface TabulationResult<T,P,F>

Returns:

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