private void executionDataTable(final HTMLElement body) throws IOException {
final HTMLElement table = body.table(Styles.COVERAGETABLE);
{
final HTMLElement tr = table.thead().tr();
tr.td().text("Class");
tr.td().text("Id");
}
final HTMLElement tbody = table.tbody();
final ILanguageNames names = context.getLanguageNames();
for (final ExecutionData e : executionData) {
final HTMLElement tr = tbody.tr();
final String link = index.getLinkToClass(e.getId());
final String qualifiedName = names.getQualifiedClassName(e.getName());
if (link == null) {
tr.td().span(Styles.EL_CLASS).text(qualifiedName);
} else {
tr.td().a(link, Styles.EL_CLASS).text(qualifiedName);
}
final String id = String.format("%016x", Long.valueOf(e.getId()));
tr.td().code().text(id);
}
}
private static ExecutionData defensiveCopy(ExecutionData data) {
boolean[] src = data.getProbes();
boolean[] dest = new boolean[src.length];
System.arraycopy(src, 0, dest, 0, src.length);
return new ExecutionData(data.getId(), data.getName(), dest);
}