Changeset 22970 for main/trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java

Timestamp:

2010-09-27T14:12:13+13:00 (14 years ago)

Author:

sjm84

Message:

Added the ability to change the database type between GDBM, JDBM and SQLite

File:

• main/trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java (modified) (6 diffs)

main/trunk/gli/src/org/greenstone/gatherer/cdm/ClassifierManager.java

@@ -57 +57 @@
 public class ClassifierManager
 extends DOMProxyListModel {
+
+    private DatabaseTypeManager database_type_manager = null;
+    private String database_type = null;
+
     /** The controls for editing the contents of this manager. */
     private Control controls = null;
@@ -71 +75 @@
         this.model = this;
         DebugStream.println ("ClassifierManager: " + getSize () + " classifiers parsed.");
+
+    database_type_manager = new DatabaseTypeManager();
+    database_type = database_type_manager.getDatabaseType();
         
         // Force the assigned classifiers to be loaded and cached now
@@ -269 +276 @@
     private class ClassifierControl
     extends JPanel
-    implements Control {
+    implements Control, DatabaseTypeManager.DatabaseTypeListener {
         /** A combobox containing all of the known classifiers, including those that may have already been assigned. */
         private JComboBox classifier_combobox = null;
@@ -281 +288 @@
         /** Button to remove the selected classifier. */
         private JButton remove = null;
+
+    private JPanel database_type_panel = (JPanel)database_type_manager.getControls();
         
         /** A list of assigned classifiers. */
@@ -404 +413 @@
             central_pane.setBorder (BorderFactory.createEmptyBorder (5,0,0,0));
             central_pane.setLayout (new BorderLayout ());
+            central_pane.add (database_type_panel, BorderLayout.NORTH);
             central_pane.add (classifier_list_pane, BorderLayout.CENTER);
             central_pane.add (temp, BorderLayout.SOUTH);
@@ -430 +440 @@
         }
         
+
+    public void databaseTypeChanged(String new_database_type)
+    {
+        if(database_type.equals(new_database_type)){
+        return;
+        }
+        database_type = new_database_type;
+    }
         
         private class AddListener