1 files changed, 27 insertions, 0 deletions
diff --git a/java/src/com/android/inputmethod/latin/makedict/BinaryDictIOUtils.java b/java/src/com/android/inputmethod/latin/makedict/BinaryDictIOUtils.java
index ee0e9cd7e..fa5451bad 100644
--- a/java/src/com/android/inputmethod/latin/makedict/BinaryDictIOUtils.java
+++ b/java/src/com/android/inputmethod/latin/makedict/BinaryDictIOUtils.java
@@ -25,8 +25,12 @@ import com.android.inputmethod.latin.makedict.FormatSpec.FormatOptions;
 import com.android.inputmethod.latin.makedict.FusionDictionary.CharGroup;
 import com.android.inputmethod.latin.makedict.FusionDictionary.WeightedString;
 
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileNotFoundException;
 import java.io.IOException;
 import java.io.OutputStream;
+import java.nio.channels.FileChannel;
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Iterator;
@@ -977,4 +981,27 @@ public final class BinaryDictIOUtils {
         }
         return null;
     }
+
+    /**
+     * Convenience method to read the header of a binary file.
+     *
+     * This is quite resource intensive - don't call when performance is critical.
+     *
+     * @param file The file to read.
+     */
+    private static final int HEADER_READING_BUFFER_SIZE = 16384;
+    public static FileHeader getDictionaryFileHeader(final File file)
+        throws FileNotFoundException, IOException, UnsupportedFormatException {
+        final byte[] buffer = new byte[HEADER_READING_BUFFER_SIZE];
+        final FileInputStream inStream = new FileInputStream(file);
+        try {
+            inStream.read(buffer);
+            final BinaryDictInputOutput.ByteBufferWrapper wrapper =
+                    new BinaryDictInputOutput.ByteBufferWrapper(inStream.getChannel().map(
+                            FileChannel.MapMode.READ_ONLY, 0, file.length()));
+            return BinaryDictInputOutput.readHeader(wrapper);
+        } finally {
+            inStream.close();
+        }
+    }
 }