Changeset 8236 for trunk/gli/src/org/greenstone/gatherer/file/FileSystemModel.java

Timestamp:

2004-10-08T09:46:12+13:00 (20 years ago)

Author:

mdewsnip

Message:

Replaced all Gatherer.print* with DebugStream.print*.

File:

• trunk/gli/src/org/greenstone/gatherer/file/FileSystemModel.java (modified) (6 diffs)

trunk/gli/src/org/greenstone/gatherer/file/FileSystemModel.java

@@ -6 +6 @@
 import javax.swing.event.*;
 import javax.swing.tree.*;
+import org.greenstone.gatherer.DebugStream;
 import org.greenstone.gatherer.Dictionary;
 import org.greenstone.gatherer.Gatherer;
@@ -59 +60 @@
     FileNode first_node = (FileNode)path.getPathComponent(0);
     if(current.equals(first_node)) {
-        Gatherer.println("First path component matches root node.");
+        DebugStream.println("First path component matches root node.");
         // For each path with this tree path
         for(int i = 1; current != null && i < path.getPathCount(); i++) {
@@ -68 +69 @@
             stale_node = (FileNode) stale_object;
         }
-        Gatherer.print("Searching for '" + stale_object + "': ");
+        DebugStream.print("Searching for '" + stale_object + "': ");
         // Locate the fresh node by searching current's children. Remember to ensure that current is mapped.
         //current.unmap();
@@ -76 +77 @@
         for(int j = 0; !found && j < current.getChildCount(); j++) {
             FileNode child_node = (FileNode) current.getChildAt(j);
-            Gatherer.print(child_node + " ");
+            DebugStream.print(child_node + " ");
             if((stale_node != null && stale_node.equals(child_node)) || stale_object.toString().equals(child_node.toString())) {
             found = true;
             current = child_node;
-            Gatherer.println("Found!");
+            DebugStream.println("Found!");
             }
             child_node = null;
@@ -87 +88 @@
         for(int j = 0; !found && j < current.size(); j++) {
             FileNode child_node = (FileNode) current.get(j);
-            Gatherer.print(child_node + " ");
+            DebugStream.print(child_node + " ");
             if((stale_node != null && stale_node.equals(child_node)) || stale_object.toString().equals(child_node.toString())) {
             found = true;
             current = child_node;
-            Gatherer.println("Found!");
+            DebugStream.println("Found!");
             }
             child_node = null;
@@ -98 +99 @@
         if(!found) {
             current = null;
-            Gatherer.println("Not Found!");
+            DebugStream.println("Not Found!");
         }
         else {
-            Gatherer.println("Returning node: " + new TreePath(current.getPath()));
+            DebugStream.println("Returning node: " + new TreePath(current.getPath()));
         }
         // Repeat as necessary