diff options
author | 2013-09-25 08:10:03 -0700 | |
---|---|---|
committer | 2013-09-25 08:10:03 -0700 | |
commit | b2956ef5cfb752c8f758f682b216dbff021415b8 (patch) | |
tree | 650a028fc72f59e2d0d4cded5d73aeb053a0043e /java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java | |
parent | 5512b300efabe65c7102ca2b10a265dfd9ade049 (diff) | |
parent | 399422f4b9f06c6692f18318c84f17c61ae83f9a (diff) | |
download | latinime-b2956ef5cfb752c8f758f682b216dbff021415b8.tar.gz latinime-b2956ef5cfb752c8f758f682b216dbff021415b8.tar.xz latinime-b2956ef5cfb752c8f758f682b216dbff021415b8.zip |
am 399422f4: Merge "Make Ver4DictEncoder write an address table of terminal nodes."
* commit '399422f4b9f06c6692f18318c84f17c61ae83f9a':
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; } } |