Changeset 933

Timestamp:

10/18/12 16:04:02 (12 years ago)

Author:

fglaser

Message:

*Changed log-file component element format from

<component parent="parenthash">

<param name="hash" value="componenthash">
...

</component>
to
<component hash="componenthash">

<param name="parent" value="parenthash">
...

</component>

File:

• trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCComponent.java (modified) (3 diffs)

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

@@ -289 +289 @@
         setTitle();
         StringBuilder builder = new StringBuilder();
-        builder.append("<component");
-        if (parent != null){
-                if (!JFCComponent.isKnown(parent.component))
-                        throw new AssertionError("Referenced parent is not known.");
-                builder.append(" parent=\"" + Integer.toHexString(parent.component.hashCode()) + "\"");
-        }
-        builder.append(">"+ StringTools.ENDLINE);
+        builder.append("<component hash=\"");
+        builder.append(Integer.toHexString(component.hashCode()) + "\" >" + StringTools.ENDLINE);
         builder.append(" <param name=\"title\" value=\"" + title + "\" />" + StringTools.ENDLINE);
         builder.append(" <param name=\"class\" value=\"" + componentClass + "\" />" +
@@ -301 +296 @@
         builder.append(" <param name=\"icon\" value=\"" + icon + "\" />" + StringTools.ENDLINE);
         builder.append(" <param name=\"index\" value=\"" + index + "\" />" + StringTools.ENDLINE);
-        builder.append(" <param name=\"hash\" value=\"" +
-            Integer.toHexString(component.hashCode()) + "\" />" + StringTools.ENDLINE);
+        if (parent != null){
+                if (!JFCComponent.isKnown(parent.component))
+                        throw new AssertionError("Referenced parent is not known.");
+                builder.append(" <param name=\"parent\" value=\"" + Integer.toHexString(parent.component.hashCode()));
+                builder.append("\" />" + StringTools.ENDLINE);
+        }
         builder.append(getInheritanceTree());
         builder.append("</component>" + StringTools.ENDLINE);
+        
         return builder.toString();
     }
@@ -471 +471 @@
         StringBuilder builder = new StringBuilder();
         Class<? extends Object> classobject = component.getClass();
-        builder.append(" <ancestors>");
+        builder.append(" <ancestors>" + StringTools.ENDLINE);
         while(classobject.getSuperclass() != null){
                 classobject = classobject.getSuperclass();