From ee863a40f909f719dcb07871540a0735648a6e70 Mon Sep 17 00:00:00 2001
From: yinnon_haviv <yinnon_haviv@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Sat, 21 Jun 2008 20:32:52 +0000
Subject: [PATCH] added docs

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/util/graph/GraphSlicer.java          | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/graph/GraphSlicer.java b/com.ibm.wala.core/src/com/ibm/wala/util/graph/GraphSlicer.java
index 36df63f14..97fa748ca 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/graph/GraphSlicer.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/graph/GraphSlicer.java
@@ -27,6 +27,14 @@ import com.ibm.wala.util.warnings.WalaException;
  */
 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 {
 
     if (g == null) {