Add option to DatabaseBuilder for ignoring broken system catalog indexes. Fixes #46

git-svn-id: https://svn.code.sf.net/p/jackcess/code/jackcess/trunk@1395 f203690c-595d-4dc9-a70b-905162fa7fd2

1 files changed, 14 insertions, 2 deletions

diff --git a/src/main/java/com/healthmarketscience/jackcess/DatabaseBuilder.java b/src/main/java/com/healthmarketscience/jackcess/DatabaseBuilder.java
index 18ba994..9b622d9 100644
--- a/src/main/java/com/healthmarketscience/jackcess/DatabaseBuilder.java
+++ b/src/main/java/com/healthmarketscience/jackcess/DatabaseBuilder.java
@@ -77,7 +77,8 @@ public class DatabaseBuilder
   private Map<String,PropertyMap.Property> _summaryProps;
   /** database user-defined (if any) */
   private Map<String,PropertyMap.Property> _userProps;
-
+  /** flag indicating that the system catalog index is borked */
+  private boolean _ignoreBrokenSystemCatalogIndex;
 
   public DatabaseBuilder() {
     this((Path)null);
@@ -261,11 +262,22 @@ public class DatabaseBuilder
   }
 
   /**
+   * Sets flag which, if {@code true}, will make the database ignore the index
+   * on the system catalog when looking up tables.  This will make table
+   * retrieval slower, but can be used to workaround broken indexes.
+   */
+  public DatabaseBuilder setIgnoreBrokenSystemCatalogIndex(boolean ignore) {
+    _ignoreBrokenSystemCatalogIndex = ignore;
+    return this;
+  }
+
+  /**
    * Opens an existingnew Database using the configured information.
    */
   public Database open() throws IOException {
     return DatabaseImpl.open(_mdbFile, _readOnly, _channel, _autoSync, _charset,
-                             _timeZone, _codecProvider);
+                             _timeZone, _codecProvider,
+                             _ignoreBrokenSystemCatalogIndex);
   }
 
   /**