commit afd9b62f00cd4557b32dae5bed6ed40320f86857
author Keisuke Kuroyanagi <ksk@google.com> Thu Feb 20 18:11:17 2014 +0900
committer Keisuke Kuroyanagi <ksk@google.com> Thu Feb 20 18:11:17 2014 +0900
tree 13fdb307d4bea5a53b655592d321a97e308cf865
parent bb17354041ed4fff635e2f324bd55a3d79a5cfe5

Throw IOException when dict header cannot be read.

Bug: 13106638
Change-Id: Ib48ef0a191a436552c49b6e817dfa13fe1567ae8

java/src/com/android/inputmethod/latin/makedict/Ver4DictDecoder.java

diff --git a/java/src/com/android/inputmethod/latin/makedict/Ver4DictDecoder.java b/java/src/com/android/inputmethod/latin/makedict/Ver4DictDecoder.java
index 23aa05d..88fff38 100644
--- a/java/src/com/android/inputmethod/latin/makedict/Ver4DictDecoder.java
+++ b/java/src/com/android/inputmethod/latin/makedict/Ver4DictDecoder.java
@@ -53,6 +53,10 @@
 
     @Override
     public DictionaryHeader readHeader() throws IOException, UnsupportedFormatException {
+        final DictionaryHeader header = mBinaryDictionary.getHeader();
+        if (header == null) {
+            throw new IOException("Cannot read the dictionary header.");
+        }
         return mBinaryDictionary.getHeader();
     }