Comments

diff --git a/Robust/src/IR/Flat/FlatMethod.java b/Robust/src/IR/Flat/FlatMethod.java
index 1cb6a6af79792efb3eaa9e0357efb17476b5d232..04f1cf76f0440fdecfcb6749b0eed2bff99ff95e 100644 (file)
--- a/Robust/src/IR/Flat/FlatMethod.java
+++ b/Robust/src/IR/Flat/FlatMethod.java
@@ -69,6 +69,9 @@ public class FlatMethod extends FlatNode {
        return visited;
     }
     
+    /** This method returns a string that is a human readable
+     * representation of this method. */
+
     public String printMethod() {
        String st=method+" {\n";
        HashSet tovisit=new HashSet();