Write options into the XML format.
Change-Id: I12357c29185111447c1ab9ee50d9d1c23d62cae7main
parent
f420df2823
commit
1ec1be46b8
|
@ -296,6 +296,11 @@ public class XmlDictInputOutput {
|
||||||
// TODO: use an XMLSerializer if this gets big
|
// TODO: use an XMLSerializer if this gets big
|
||||||
destination.write("<wordlist format=\"2\"");
|
destination.write("<wordlist format=\"2\"");
|
||||||
final HashMap<String, String> options = dict.mOptions.mAttributes;
|
final HashMap<String, String> options = dict.mOptions.mAttributes;
|
||||||
|
if (dict.mOptions.mGermanUmlautProcessing) {
|
||||||
|
destination.write(" " + OPTIONS_KEY + "=\"" + GERMAN_UMLAUT_PROCESSING_OPTION + "\"");
|
||||||
|
} else if (dict.mOptions.mFrenchLigatureProcessing) {
|
||||||
|
destination.write(" " + OPTIONS_KEY + "=\"" + FRENCH_LIGATURE_PROCESSING_OPTION + "\"");
|
||||||
|
}
|
||||||
for (final String key : dict.mOptions.mAttributes.keySet()) {
|
for (final String key : dict.mOptions.mAttributes.keySet()) {
|
||||||
final String value = dict.mOptions.mAttributes.get(key);
|
final String value = dict.mOptions.mAttributes.get(key);
|
||||||
destination.write(" " + key + "=\"" + value + "\"");
|
destination.write(" " + key + "=\"" + value + "\"");
|
||||||
|
|
Loading…
Reference in New Issue