Searched refs:docTitle (Results 1 – 4 of 4) sorted by relevance
373 HTMLReportGenerator.docTitle = options[i][1]; in validOptions()
98 if (docTitle == null) { in generate()102 writeText(" <h1>" + docTitle + "</h1>"); in generate()1968 public static String docTitle = null; field in HTMLReportGenerator
110 .docTitle {