Class GraphSlicer

java.lang.Object

com.ibm.wala.util.graph.GraphSlicer

public class GraphSlicer
extends Object

Utilities related to simple graph subset operations.

Constructor Summary

Constructors

Constructor	Description
GraphSlicer()

Method Summary

Modifier and Type	Method	Description
static <E> AbstractGraph<E>	project(Graph<E> G, Predicate<E> fmember)
static <T> Graph<T>	prune(Graph<T> g, Predicate<T> p)	Prune a graph to only the nodes accepted by the Predicate p
static <T> Set<T>	slice(Graph<T> g, Predicate<T> p)	Performs a backward slice.

Methods inherited from class java.lang.Object

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

Constructor Details

GraphSlicer

public GraphSlicer()

Method Details

slice

public static <T> Set<T> slice(Graph<T> g,
 Predicate<T> p)

Performs a backward slice.

Type Parameters:

T - type for nodes

Parameters:

g - the graph to slice

p - identifies targets for the backward slice

Returns:

the set of nodes in g, from which any of the targets (nodes that f accepts) is reachable.

prune

public static <T> Graph<T> prune(Graph<T> g,
 Predicate<T> p)

Prune a graph to only the nodes accepted by the Predicate p

project

public static <E> AbstractGraph<E> project(Graph<E> G,
 Predicate<E> fmember)