[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

FlowSet documentation patch



Hi,

Here is a simple documentation-only patch for FlowSet.java.

Cheers,
Chris
Index: src/soot/toolkits/scalar/FlowSet.java
===================================================================
--- src/soot/toolkits/scalar/FlowSet.java	(revision 1507)
+++ src/soot/toolkits/scalar/FlowSet.java	(working copy)
@@ -47,7 +47,7 @@
   public Object clone();
 
   /** 
-   * returns an empty set, most often more efficient than:
+   * Returns an empty set, most often more efficient than:
    * <code>((FlowSet)clone()).clear()</code>
    */
   public Object emptySet();
@@ -88,13 +88,13 @@
   public void intersection(FlowSet other, FlowSet dest);
 
   /** 
-   * Returns the set difference (this join ~other) of this FlowSet and
+   * Returns the set difference (this meet ~other) of this FlowSet and
    * <code>other</code>, putting result into <code>this</code>.
    */
   public void difference(FlowSet other);
 
   /**
-   * Returns the set difference (this join ~other) of this FlowSet and 
+   * Returns the set difference (this meet ~other) of this FlowSet and 
    * <code>other</code>, putting result into <code>dest</code>.
    * <code>dest</code>, <code>other</code> and <code>this</code> could be the
    * same object.
@@ -119,7 +119,7 @@
   public void add(Object obj);
 
   /**
-   * puts <code>this</code> union <code>obj</code> into <code>dest</code>.
+   * Puts <code>this</code> union <code>obj</code> into <code>dest</code>.
    */
   public void add(Object obj, FlowSet dest);
 
@@ -139,7 +139,7 @@
   public boolean contains(Object obj);
 
   /**
-   * returns an iterator over the elements of the flowSet. Note that the
+   * Returns an iterator over the elements of the flowSet. Note that the
    * iterator might be backed, and hence be faster in the creation, than doing
    * <code>toList().iterator()</code>.
    */