fixed/rearranged some tal stuff

[mir.git] / source / mir / util / xml / XMLReaderTool.java

diff --git a/source/mir/util/xml/XMLReaderTool.java b/source/mir/util/xml/XMLReaderTool.java
index 2e192ad..f9bbc52 100755 (executable)
--- a/source/mir/util/xml/XMLReaderTool.java
+++ b/source/mir/util/xml/XMLReaderTool.java
@@ -155,5 +155,11 @@ public class XMLReaderTool {
     return result;
   }
 
+  public static String normalizeXMLName(mir.util.xml.XMLName aName) {
+    String result = aName.getLocalName();
+    if (aName.getPrefix().length() > 0)
+      result = aName.getPrefix() + ":" + result;
 
+    return result;
+  }
 }