From 51a0ef8c59ea590b6e5e80a82fc75bf244084270 Mon Sep 17 00:00:00 2001 From: Jean Chalard Date: Wed, 31 Oct 2012 15:35:20 +0900 Subject: Add a plumbing option to dicttool info. Also align the `porcelain' option to the diff command that was used mistakenly. Bug: 7388665 Change-Id: Ic0e1b98c62ce37b2e909384a0370af4458563703 --- .../inputmethod/latin/makedict/FusionDictionary.java | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'java/src') diff --git a/java/src/com/android/inputmethod/latin/makedict/FusionDictionary.java b/java/src/com/android/inputmethod/latin/makedict/FusionDictionary.java index c588824fe..b0b3777df 100644 --- a/java/src/com/android/inputmethod/latin/makedict/FusionDictionary.java +++ b/java/src/com/android/inputmethod/latin/makedict/FusionDictionary.java @@ -290,19 +290,23 @@ public final class FusionDictionary implements Iterable { } @Override public String toString() { // Convenience method - return toString(0); + return toString(0, false); } - public String toString(final int indentCount) { + public String toString(final int indentCount, final boolean plumbing) { final StringBuilder indent = new StringBuilder(); - for (int i = 0; i < indentCount; ++i) { - indent.append(" "); + if (plumbing) { + indent.append("H:"); + } else { + for (int i = 0; i < indentCount; ++i) { + indent.append(" "); + } } final StringBuilder s = new StringBuilder(); for (final String optionKey : mAttributes.keySet()) { s.append(indent); s.append(optionKey); s.append(" = "); - if ("date".equals(optionKey)) { + if ("date".equals(optionKey) && !plumbing) { // Date needs a number of milliseconds, but the dictionary contains seconds s.append(new Date( 1000 * Long.parseLong(mAttributes.get(optionKey))).toString()); -- cgit v1.2.3-83-g751a