Changeset 5944 for trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/doctypes/RecogniserManager.java

Timestamp:

2003-11-24T14:26:35+13:00 (20 years ago)

Author:

cs025

Message:

Index document type, metadata extensions

File:

• trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/doctypes/RecogniserManager.java (modified) (1 diff)

trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/doctypes/RecogniserManager.java

@@ -8 +8 @@
 public class RecogniserManager implements FileCrawlObserver
 {
-    RecogniserInterface list[];
-    int                 used;
-    int                 size;
+  RecogniserInterface list[];
+  int                 used;
+  int                 size;
 
-    public RecogniserManager()
-    {   this.list = new RecogniserInterface[10];
-        this.used = 0;
-        this.size = 10;
-    }
+  public RecogniserManager()
+  { this.list = new RecogniserInterface[10];
+    this.used = 0;
+    this.size = 10;
+  }
 
-    public void addRecogniser(RecogniserInterface recogniser)
-    {   this.ensureCapacity(this.used + 1);
+  public void addRecogniser(RecogniserInterface recogniser)
+  { this.ensureCapacity(this.used + 1);
 
-        this.list[this.used] = recogniser;
-        this.used ++;
-    }
+    this.list[this.used] = recogniser;
+    this.used ++;
+  }
 
-    public void processFile(URL url)
-    {   boolean result;
+  public void processFile(URL url)
+  { boolean result;
 
-        for (int r = 0; r < this.used; r ++)
-        {   if (list[r].parseDocument(url)) {
-                break;
-            }
-        }
-    }
+    for (int r = 0; r < this.used; r ++)
+    { if (list[r].parseDocument(url)) {
+        break;
+      }
+    }
+  }
  
-    public void processFile(File file)
-    {   try {
-            URL url = new URL("file://"+file.toString());
+  public void processFile(File file)
+  { try {
+      URL url = new URL("file://"+file.toString());
+      
+      this.processFile(url);
+    }
+    catch (java.net.MalformedURLException ex)
+    {
+      System.out.println(ex);
+    }
+  }
 
-            this.processFile(url);
-        }
-        catch (java.net.MalformedURLException ex)
-        {
-            System.out.println(ex);
-        }
-    }
-
-    private void ensureCapacity(int size)
-    {   while (size >= this.size)
-        {   RecogniserInterface newList [] = new RecogniserInterface[this.size*2];
-            this.size *= 2;
-            System.arraycopy(this.list, 0, newList, 0, this.size);
-            this.list = newList;
-        }
-    }
+  private void ensureCapacity(int size)
+  { while (size >= this.size)
+    { RecogniserInterface newList [] = new RecogniserInterface[this.size*2];
+      this.size *= 2;
+      System.arraycopy(this.list, 0, newList, 0, this.size);
+      this.list = newList;
+    }
+  }
 }