commit | 8e394ffcf40307482f19b32b48eb9fc3a7630dfd | [log] [tgz] |
---|---|---|
author | Adrian Velicu <adrianv@google.com> | Sat Nov 08 10:35:37 2014 +0900 |
committer | Adrian Velicu <adrianv@google.com> | Sat Nov 08 10:35:37 2014 +0900 |
tree | 959fbeb2f82b66048ae600adc99b8aefca36d31b | |
parent | 6e61cd3b3ba8853513b9d0167e76d670ae31a7f1 [diff] |
Making 'dicttool header' output format version Change-Id: I4198f6b463711feb4ab78020934cca4d23870fbb
diff --git a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java index 51efdec..ba96c0a 100644 --- a/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java +++ b/tools/dicttool/src/com/android/inputmethod/latin/dicttool/Header.java
@@ -62,6 +62,7 @@ System.out.println("Dictionary : " + dictFile.getAbsolutePath()); System.out.println("Size : " + dictFile.length() + " bytes"); System.out.println("Format : Binary dictionary format"); + System.out.println("Format version : " + header.mFormatOptions.mVersion); System.out.println("Packaging : " + spec.describeChain()); System.out.println("Header attributes :"); System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing));