projects
/
mir.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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;
}
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;
+ }
}
}