diff options
author | 2013-10-03 10:16:11 -0700 | |
---|---|---|
committer | 2013-10-03 10:16:11 -0700 | |
commit | 257f59fb024c120c789b8d3b097062a64f07a0f2 (patch) | |
tree | bf87be591f93da6b53510d89448568af44511560 /java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java | |
parent | 95c7dfd05abeb9a8802126208b94927561b54a9d (diff) | |
parent | b2956ef5cfb752c8f758f682b216dbff021415b8 (diff) | |
download | latinime-257f59fb024c120c789b8d3b097062a64f07a0f2.tar.gz latinime-257f59fb024c120c789b8d3b097062a64f07a0f2.tar.xz latinime-257f59fb024c120c789b8d3b097062a64f07a0f2.zip |
am b2956ef5: am 399422f4: Merge "Make Ver4DictEncoder write an address table of terminal nodes."
* commit 'b2956ef5cfb752c8f758f682b216dbff021415b8':
Make Ver4DictEncoder write an address table of terminal nodes.
Diffstat (limited to 'java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java')
-rw-r--r-- | java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java b/java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java index 4dba8e5cf..3b1d2427b 100644 --- a/java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java +++ b/java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java @@ -882,8 +882,9 @@ public class BinaryDictEncoderUtils { * @param destination the stream to write the file header to. * @param dict the dictionary to write. * @param formatOptions file format options. + * @return the size of the header. */ - /* package */ static void writeDictionaryHeader(final OutputStream destination, + /* package */ static int writeDictionaryHeader(final OutputStream destination, final FusionDictionary dict, final FormatOptions formatOptions) throws IOException, UnsupportedFormatException { final int version = formatOptions.mVersion; @@ -932,5 +933,6 @@ public class BinaryDictEncoderUtils { destination.write(bytes); headerBuffer.close(); + return size; } } |