diff options
| author | Ken Wakasa <kwakasa@google.com> | 2013-09-10 10:01:12 +0000 |
|---|---|---|
| committer | Android (Google) Code Review <android-gerrit@google.com> | 2013-09-10 10:01:12 +0000 |
| commit | 40e91e45825d31ae0bc075466406a4330b8df9bf (patch) | |
| tree | c62ca746e29f567e643687a187483206662c133b /java/src/com/android | |
| parent | e531c2241eb8d5a1462c43ce0deffaf6c769cc23 (diff) | |
| parent | 8a06b26cb47278039f8306b93aa32830fab54468 (diff) | |
Merge "Check the version of format options before writing."
Diffstat (limited to 'java/src/com/android')
| -rw-r--r-- | java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java b/java/src/com/android/inputmethod/latin/makedict/Ver3DictEncoder.java index 9385ba3a0..3f26ff378 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 @@ public class Ver3DictEncoder implements DictEncoder { @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(); } |
