diff options
author | 2012-09-05 12:37:56 +0900 | |
---|---|---|
committer | 2012-09-05 18:05:43 +0900 | |
commit | 83dfe0fd8c7e2bce2717930dbf8732f5414ee39d (patch) | |
tree | 91b0b3342466924318178fc60172e0f27ef2deb1 /java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java | |
parent | 8c220a0aa2c5139a3b12af20e68c420f6402294a (diff) | |
download | latinime-83dfe0fd8c7e2bce2717930dbf8732f5414ee39d.tar.gz latinime-83dfe0fd8c7e2bce2717930dbf8732f5414ee39d.tar.xz latinime-83dfe0fd8c7e2bce2717930dbf8732f5414ee39d.zip |
Add FormatOptions.
Change-Id: Ibad05a5f9143de1156b2c897593ec89b0a0b07e7
Diffstat (limited to 'java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java')
-rw-r--r-- | java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java b/java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java index 8a509be48..def978e4b 100644 --- a/java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java +++ b/java/src/com/android/inputmethod/latin/ExpandableBinaryDictionary.java @@ -89,6 +89,10 @@ abstract public class ExpandableBinaryDictionary extends Dictionary { /** Controls access to the local binary dictionary for this instance. */ private final DictionaryController mLocalDictionaryController = new DictionaryController(); + private static final int BINARY_DICT_VERSION = 1; + private static final BinaryDictInputOutput.FormatOptions FORMAT_OPTIONS = + new BinaryDictInputOutput.FormatOptions(BINARY_DICT_VERSION); + /** * Abstract method for loading the unigrams and bigrams of a given dictionary in a background * thread. @@ -310,7 +314,7 @@ abstract public class ExpandableBinaryDictionary extends Dictionary { FileOutputStream out = null; try { out = new FileOutputStream(tempFile); - BinaryDictInputOutput.writeDictionaryBinary(out, mFusionDictionary, 1); + BinaryDictInputOutput.writeDictionaryBinary(out, mFusionDictionary, FORMAT_OPTIONS); out.flush(); out.close(); tempFile.renameTo(file); |