Changeset 795 for trunk

Timestamp:

09/07/12 11:22:34 (12 years ago)

Author:

pharms

Message:

• corrected dumping of values regarding entities

File:

• trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java (modified) (3 diffs)

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java

@@ -22 +22 @@
 import org.xml.sax.helpers.DefaultHandler;
 
+import de.ugoe.cs.util.StringTools;
 import de.ugoe.cs.util.console.Console;
 
@@ -611 +612 @@
             out.print(indent);
             out.print("<param name=\"");
-            out.print(param[0]);
+            out.print(StringTools.xmlEntityReplacement(param[0]));
             out.print("\" value=\"");
-            out.print(param[1]);
+            out.print(StringTools.xmlEntityReplacement(param[1]));
             out.println("\" />");
         }
@@ -655 +656 @@
         private void dump(PrintStream out) {
             out.print("<event id=\"");
-            out.print(id);
+            out.print(StringTools.xmlEntityReplacement(id));
             out.println("\">");