Changeset 1001 for trunk/autoquest-jfcmonitor/src

Timestamp:

11/21/12 10:09:02 (12 years ago)

Author:

fglaser

Message:

• added event timestamp handling for JFCMonitor and JFCSimplifiedLogParser
• jfc log files now contain event timestamp as param child of event element

File:

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

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

@@ -80 +80 @@
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
+                addTimestampInfo(builder);
                 builder.append("</event>" + StringTools.ENDLINE);
             }
@@ -92 +93 @@
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
+                addTimestampInfo(builder);
                 builder.append("</event>" + StringTools.ENDLINE);
             }
@@ -99 +101 @@
                 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
+                addTimestampInfo(builder);
                 builder.append("</event>" + StringTools.ENDLINE);
             }
@@ -125 +128 @@
         builder.append(" />" + StringTools.ENDLINE);
     }
+    
+    /**
+     * <p>
+     * Appends timestamp information of the event to a {@link StringBuilder}.
+     * </p>
+     * 
+     * @param builder
+     *                  {@link StringBuilder} where the information is appended
+     */
+    private void addTimestampInfo(StringBuilder builder){
+        long timestamp = System.currentTimeMillis();
+        builder.append(" <param name=\"timestamp\"");
+        builder.append(" value=\"" + Long.toString(timestamp) + "\"/>");
+        builder.append(StringTools.ENDLINE);
+    }
 
     /**