Searched refs:writeStartHTMLHeaderWithDate (Results 1 – 2 of 2) sorted by relevance
32 h_.writeStartHTMLHeaderWithDate(); in emitTopLevelFile()
741 public void writeStartHTMLHeaderWithDate() { in writeStartHTMLHeaderWithDate() method in HTMLReportGenerator