Exemple #1
0
 private void sessionTable(final HTMLElement body) throws IOException {
   final HTMLElement table = body.table(Styles.COVERAGETABLE);
   {
     final HTMLElement tr = table.thead().tr();
     tr.td().text("Session");
     tr.td().text("Start Time");
     tr.td().text("Dump Time");
   }
   final HTMLElement tbody = table.tbody();
   for (final SessionInfo i : sessionInfos) {
     final HTMLElement tr = tbody.tr();
     tr.td().span(Styles.EL_SESSION).text(i.getId());
     tr.td().text(dateFormat.format(new Date(i.getStartTimeStamp())));
     tr.td().text(dateFormat.format(new Date(i.getDumpTimeStamp())));
   }
 }
 public void visitSessionInfo(SessionInfo info) {
   String sessionId = info.getId();
   executionDataStore = sessions.get(sessionId);
   if (executionDataStore == null) {
     executionDataStore = new ExecutionDataStore();
     sessions.put(sessionId, executionDataStore);
   }
 }