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