public static void ExportToXML(Dictionary<string,string> names, TextWriter wrt, String encoding, bool onlyASCII)
{
wrt.Write("<?xml version=\"1.0\" encoding=\"");
wrt.Write(XMLUtil.EscapeXML(encoding, onlyASCII));
wrt.Write("\"?>\n<Destination>\n");
foreach (String key in names.Keys) {
String value = names[key];
wrt.Write(" <Name Page=\"");
wrt.Write(XMLUtil.EscapeXML(value, onlyASCII));
wrt.Write("\">");
wrt.Write(XMLUtil.EscapeXML(EscapeBinaryString(key), onlyASCII));
wrt.Write("</Name>\n");
}
wrt.Write("</Destination>\n");
wrt.Flush();
}