Changeset 934 for trunk

Timestamp:

10/18/12 16:32:30 (12 years ago)

Author:

fglaser

Message:

• changed <componentNameChange ... /> to <componentTitleChange/...> in Log files to improve naming consistency
• the source type (attribute titleSource) of the title change is now encoded as a number to make the parsing procedure easier

File:

• trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCTitleChangeListener.java (modified) (1 diff)

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

@@ -86 +86 @@
                                 int oldTitleSource = jfcComponent.getTitleSource();
                                 Object newTitle = evt.getNewValue();
-                                // We only print the name change message if the new title is as
+                                // We only print the title change message if the new title is as
                                 // least as informative as the initial title
                                 if ((!CHECK_HIERARCHY || oldTitleSource <= titleSource)) {
                                         StringBuilder builder = new StringBuilder();
-                                        builder.append("<componentNameChange hash=\"");
+                                        builder.append("<componentTitleChange hash=\"");
                                         builder.append(Integer.toHexString(component.hashCode()));
-                                        builder.append("\" newName=\"" + newTitle);
-                                        builder.append("\" source=\"" + propertyName);
+                                        builder.append("\" newTitle=\"" + newTitle);
+                                        builder.append("\" titleSource=\"" + titleSource);
                                         builder.append("\" />" + StringTools.ENDLINE);
                                         outputWriter.write(builder.toString());