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);
}
}
