1 files changed, 169 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/XMLWriter.java b/java/src/IceGridGUI/XMLWriter.java
new file mode 100644
index 00000000000..78b6d432a53
--- /dev/null
+++ b/java/src/IceGridGUI/XMLWriter.java
@@ -0,0 +1,169 @@
+// **********************************************************************
+//
+// Copyright (c) 2003-2011 ZeroC, Inc. All rights reserved.
+//
+// This copy of Ice is licensed to you under the terms described in the
+// ICE_LICENSE file included in this distribution.
+//
+// **********************************************************************
+
+package IceGridGUI;
+
+import java.io.*;
+
+//
+// Helper class to write XML files
+//
+public class XMLWriter
+{
+    public XMLWriter(File file) throws FileNotFoundException, IOException
+    {
+        try
+        {
+            _writer = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(file), "UTF-8"));
+        }
+        catch(UnsupportedEncodingException e)
+        {
+            assert false;
+        }
+        _writer.write("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>" + _newline);
+        _writer.write("<!-- This file was written by IceGrid Admin -->" + _newline);
+    }
+
+    public void writeElement(String name, java.util.List<String[]> attributes)
+        throws IOException
+    {
+        _writer.write(_indent);
+        _writer.write("<" + name);
+        writeAttributes(attributes);
+        _writer.write("/>" + _newline);
+    }
+
+    public void writeElement(String name) throws IOException
+    {
+        writeElement(name, (java.util.List<String[]>)null);
+    }
+
+    public void writeElement(String name, String content) throws IOException
+    {
+        _writer.write(_indent);
+        _writer.write("<" + name + ">" + escape(content) + "</" + name + ">" + _newline);
+    }
+
+    public void writeStartTag(String name, java.util.List<String[]> attributes)
+        throws IOException
+    {
+        _writer.write(_indent);
+        _writer.write("<" + name);
+        writeAttributes(attributes);
+        _writer.write(">");
+        _writer.write(_newline);
+        increaseIndent();
+    }
+
+    public void writeStartTag(String name)
+        throws IOException
+    {
+        writeStartTag(name, null);
+    }
+
+    public void writeEndTag(String name)
+        throws IOException
+    {
+        decreaseIndent();
+        _writer.write(_indent);
+        _writer.write("</" + name + ">" + _newline);
+    }
+
+    public void close()  throws IOException
+    {
+        _writer.close();
+    }
+
+    public void flush() throws IOException
+    {
+        _writer.flush();
+    }
+
+    private void writeAttributes(java.util.List<String[]> attributes)
+        throws IOException
+    {
+        if(attributes != null)
+        {
+            for(String[] p : attributes)
+            {
+                _writer.write(" " + p[0] + "=\"" + escape(p[1]) + "\"");
+            }
+        }
+    }
+
+    private void increaseIndent()
+    {
+        _indent += "   ";
+    }
+
+    private void decreaseIndent()
+    {
+        if(_indent.length() > 0)
+        {
+            _indent = _indent.substring(3);
+        }
+    }
+
+    private String
+    escape(String input)
+    {
+        String v = input;
+
+        //
+        // Find out whether there is a reserved character to avoid
+        // conversion if not necessary.
+        //
+        final String allReserved = "<>'\"&";
+        boolean hasReserved = false;
+        char[] arr = input.toCharArray();
+        for(char c : arr)
+        {
+            if(allReserved.indexOf(c) != -1)
+            {
+                hasReserved = true;
+                break;
+            }
+        }
+        if(hasReserved)
+        {
+            //
+            // First convert all & to &amp;
+            //
+            if(v.indexOf('&') != -1)
+            {
+                v = v.replaceAll("&", "&amp;");
+            }
+
+            //
+            // Next convert remaining reserved characters.
+            //
+            if(v.indexOf('>') != -1)
+            {
+                v = v.replaceAll(">", "&gt;");
+            }
+            if(v.indexOf('<') != -1)
+            {
+                v = v.replaceAll("<", "&lt;");
+            }
+            if(v.indexOf('\'') != -1)
+            {
+                v = v.replaceAll("'", "&apos;");
+            }
+            if(v.indexOf('"') != -1)
+            {
+                v = v.replaceAll("\"", "&quot;");
+            }
+        }
+        return v;
+    }
+
+    private Writer _writer;
+    private String _indent = "";
+    private static String _newline = System.getProperty("line.separator");
+}