added docs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
7cd9b4cfcc
commit
ee863a40f9
|
@ -27,6 +27,14 @@ import com.ibm.wala.util.warnings.WalaException;
|
||||||
*/
|
*/
|
||||||
public class GraphSlicer {
|
public class GraphSlicer {
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Performs a backward slice.
|
||||||
|
* @param <T> type for nodes
|
||||||
|
* @param g the graph to slice
|
||||||
|
* @param f identifies targets for the backward slice
|
||||||
|
* @return the set of nodes in g, from which any of the targets (nodes that f accepts) is reachable.
|
||||||
|
* @throws WalaException
|
||||||
|
*/
|
||||||
public static <T> Set<T> slice(Graph<T> g, Filter<T> f) throws WalaException {
|
public static <T> Set<T> slice(Graph<T> g, Filter<T> f) throws WalaException {
|
||||||
|
|
||||||
if (g == null) {
|
if (g == null) {
|
||||||
|
|
Loading…
Reference in New Issue