Changeset 932 for trunk/autoquest-jfcmonitor

Timestamp:

10/18/12 11:28:20 (12 years ago)

Author:

fglaser

Message:

• added <ancestors> tag around class inheritance information in component
• colapsed <source>...</source> to <param="source" value="...">

Location:

trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor

Files:

• JFCComponent.java (modified) (1 diff)
• JFCListener.java (modified) (1 diff)

trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCComponent.java

@@ -471 +471 @@
         StringBuilder builder = new StringBuilder();
         Class<? extends Object> classobject = component.getClass();
+        builder.append(" <ancestors>");
         while(classobject.getSuperclass() != null){
                 classobject = classobject.getSuperclass();
-                builder.append(" <ancestor name=\"");
+                builder.append("  <ancestor name=\"");
                 builder.append(classobject.getName());
                 builder.append("\" />" + StringTools.ENDLINE);
         }
+        builder.append(" </ancestors>" + StringTools.ENDLINE);
         return builder.toString();
     }

trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java

@@ -118 +118 @@
      */
     private void addSourceInfo(StringBuilder builder, AWTEvent event) {
-        builder.append(" <source");
+        builder.append(" <param name=\"source\"");
         if (event.getSource() instanceof Component) {
             Component source = (Component) event.getSource();
-            builder.append(" hash=\"" + Integer.toHexString(source.hashCode()) + "\"");
+            builder.append(" value=\"" + Integer.toHexString(source.hashCode()) + "\"");
         }  
-        builder.append(">" + StringTools.ENDLINE);
-        builder.append("  <param name=\"toString\" value=\"" +
-            StringTools.xmlEntityReplacement(event.getSource().toString()) + "\" />" +
-            StringTools.ENDLINE);
-        builder.append(" </source>" + StringTools.ENDLINE);
+        builder.append(" />" + StringTools.ENDLINE);
     }