anchor.diff:      );
     }
   
  +  /// Generate the entire HTML report.
  +  /// TODO(kaiyuanw): Could use local css and js files so that this works
  +  /// without network connections
     String toHTML() {
       StringBuffer html = new StringBuffer();
       html.writeln(
  
positive.code:     return html.toString();
    }
  
    String tdColor(String value) {
      int val = int.parse(value);
      if (val == -1) {
        return 'warning';
  
negative.code:       html.writeln('<th>${data[i][0]}</th>');
        for (int j = 1; j < colNum; j++) {
          String value = data[i][j];
          html.writeln('<td class=\"${tdColorClass(value)}\">$value</td>');
        }
        html.writeln('</tr>');
      }
  