Exemple #1
0
 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);
 }