Changeset 8236 for trunk/gli/src/org/greenstone/gatherer/cdm/Index.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/cdm/Index.java (modified) (6 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/Index.java

@@ -28 +28 @@
 
 import java.util.*;
+import org.greenstone.gatherer.DebugStream;
 import org.greenstone.gatherer.Gatherer;
 import org.greenstone.gatherer.cdm.CollectionConfiguration;
@@ -77 +78 @@
         Object source_object = sources.get(i);
         if(source_object instanceof ElementWrapper) {
-        ///Gatherer.println("Found ElementWrapper as source: " + ((ElementWrapper)source_object).getName());
+        ///DebugStream.println("Found ElementWrapper as source: " + ((ElementWrapper)source_object).getName());
         content_element.setAttribute(CollectionConfiguration.NAME_ATTRIBUTE, ((ElementWrapper)source_object).getName());
         }
         else {
-        ///Gatherer.println("Found String as source: " + source_object.toString());
+        ///DebugStream.println("Found String as source: " + source_object.toString());
         content_element.setAttribute(CollectionConfiguration.NAME_ATTRIBUTE, source_object.toString());
         }
@@ -254 +255 @@
     }
     else {
-        Gatherer.println("Error! Called setLevel() of index other than the default.");
+        DebugStream.println("Error! Called setLevel() of index other than the default.");
     }
     }
@@ -271 +272 @@
         Object source_object = sources.get(i);
         if(source_object instanceof ElementWrapper) {
-            //Gatherer.println("Found ElementWrapper as source: " + ((ElementWrapper)source_object).getName());
+            //DebugStream.println("Found ElementWrapper as source: " + ((ElementWrapper)source_object).getName());
             String name = ((ElementWrapper)source_object).getName();
             content_element.setAttribute(CollectionConfiguration.NAME_ATTRIBUTE, name);
@@ -277 +278 @@
         }
         else {
-            //Gatherer.println("Found String as source: " + source_object.toString());
+            //DebugStream.println("Found String as source: " + source_object.toString());
             content_element.setAttribute(CollectionConfiguration.NAME_ATTRIBUTE, source_object.toString());
         }
@@ -288 +289 @@
     }
     else {
-        Gatherer.println("Error! Called setSource() of index other than the default.");
+        DebugStream.println("Error! Called setSource() of index other than the default.");
     }
     }