diff options
author | 2013-10-03 13:20:40 -0700 | |
---|---|---|
committer | 2013-10-03 13:20:40 -0700 | |
commit | 7988da3797819fcd26bb434877e713358c1d269a (patch) | |
tree | bf87be591f93da6b53510d89448568af44511560 /java/src/com/android/inputmethod/latin/makedict/BinaryDictEncoderUtils.java | |
parent | 652fcd56052496dd8e0d33d36b0827723c1a85bf (diff) | |
parent | 257f59fb024c120c789b8d3b097062a64f07a0f2 (diff) | |
download | latinime-7988da3797819fcd26bb434877e713358c1d269a.tar.gz latinime-7988da3797819fcd26bb434877e713358c1d269a.tar.xz latinime-7988da3797819fcd26bb434877e713358c1d269a.zip |
am 257f59fb: am b2956ef5: am 399422f4: Merge "Make Ver4DictEncoder write an address table of terminal nodes."
* commit '257f59fb024c120c789b8d3b097062a64f07a0f2':
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; } } |