commit 8a06b26cb47278039f8306b93aa32830fab54468
author Yuichiro Hanada <yhanada@google.com> Tue Sep 10 17:38:05 2013 +0900
committer Yuichiro Hanada <yhanada@google.com> Tue Sep 10 18:59:31 2013 +0900
tree a2a7bf28125024f3c44da91ddb41cfa7fd91c9de
parent 5bf96a8fc14a014c06849d70892506ebc8984666

Check the version of format options before writing.

Change-Id: I3951e4395a2da225e240e856c23339b679e6155e

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

diff --git a/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java b/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java
index 9385ba3..3f26ff3 100644
--- a/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java
+++ b/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java
@@ -68,6 +68,12 @@
     @Override
     public void writeDictionary(final FusionDictionary dict, final FormatOptions formatOptions)
             throws IOException, UnsupportedFormatException {
+        if (formatOptions.mVersion > 3) {
+            throw new UnsupportedFormatException(
+                    "The given format options has wrong version number : "
+                    + formatOptions.mVersion);
+        }
+
         if (mOutStream == null) {
             openStream();
         }