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 java.lang.Object
implements TabulationResult<T,P,F>

Constructor Summary

Constructors

Constructor and Description
Result()

Method Summary

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
java.util.Collection<PathEdge<T>>	getSeeds()
com.ibm.wala.util.intset.IntSet	getSummaryTargets(T n1, int d1, T n2)
java.util.Collection<T>	getSupergraphNodesReached()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Result

public 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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

getProblem

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

Specified by:

getProblem in interface TabulationResult<T,P,F>

Returns:

the governing IFDS problem

getSupergraphNodesReached

public java.util.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>

Returns:

set of d2 s.t. (n1,d1) -> (n2,d2) is recorded as a summary edge, or null if none found

getSeeds

public java.util.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.