Changeset 1001 for trunk/autoquest-jfcmonitor/src/main/java/de/ugoe
- Timestamp:
- 11/21/12 10:09:02 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java
r932 r1001 80 80 "\" />" + StringTools.ENDLINE); 81 81 addSourceInfo(builder, event); 82 addTimestampInfo(builder); 82 83 builder.append("</event>" + StringTools.ENDLINE); 83 84 } … … 92 93 "\" />" + StringTools.ENDLINE); 93 94 addSourceInfo(builder, event); 95 addTimestampInfo(builder); 94 96 builder.append("</event>" + StringTools.ENDLINE); 95 97 } … … 99 101 builder.append("<event id=\"" + event.getID() + "\">" + StringTools.ENDLINE); 100 102 addSourceInfo(builder, event); 103 addTimestampInfo(builder); 101 104 builder.append("</event>" + StringTools.ENDLINE); 102 105 } … … 125 128 builder.append(" />" + StringTools.ENDLINE); 126 129 } 130 131 /** 132 * <p> 133 * Appends timestamp information of the event to a {@link StringBuilder}. 134 * </p> 135 * 136 * @param builder 137 * {@link StringBuilder} where the information is appended 138 */ 139 private void addTimestampInfo(StringBuilder builder){ 140 long timestamp = System.currentTimeMillis(); 141 builder.append(" <param name=\"timestamp\""); 142 builder.append(" value=\"" + Long.toString(timestamp) + "\"/>"); 143 builder.append(StringTools.ENDLINE); 144 } 127 145 128 146 /**
Note: See TracChangeset
for help on using the changeset viewer.