com.ibm.wala.util.graph
Class GraphSlicer

java.lang.Object
  com.ibm.wala.util.graph.GraphSlicer

public class GraphSlicer
extends java.lang.Object

Utilities related to simple graph subset operations.

Constructor Summary

GraphSlicer()

Method Summary

static <E> AbstractGraph<E>	project(Graph<E> G, Filter<E> fmember)
static <T> Graph<T>	prune(Graph<T> g, Filter<T> f) Deprecated.
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> java.util.Set<T>	slice(Graph<T> g, Filter<T> f) Deprecated.
static <T> java.util.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 Detail

GraphSlicer

public GraphSlicer()

Method Detail

slice

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

f - 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.

Throws:

WalaException

slice

@Deprecated
public static <T> java.util.Set<T> slice(Graph<T> g,
                                                    Filter<T> f)

Deprecated.

prune

@Deprecated
public static <T> Graph<T> prune(Graph<T> g,
                                            Filter<T> f)

Deprecated.

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,
                                           Filter<E> fmember)