commit 40e91e45825d31ae0bc075466406a4330b8df9bf
author Ken Wakasa <kwakasa@google.com> Tue Sep 10 10:01:12 2013 +0000
committer Android (Google) Code Review <android-gerrit@google.com> Tue Sep 10 10:01:12 2013 +0000
tree c62ca746e29f567e643687a187483206662c133b
parent e531c2241eb8d5a1462c43ce0deffaf6c769cc23
parent 8a06b26cb47278039f8306b93aa32830fab54468

Merge "Check the version of format options before writing."

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();
         }