Searched refs:writeHTMLTitle (Results 1 – 4 of 4) sorted by relevance
41 h_.writeHTMLTitle("API Differences between " + oldAPIName + " and " + newAPIName); in emitTopLevelFile()43 h_.writeHTMLTitle(h_.windowTitle); in emitTopLevelFile()85 h_.writeHTMLTitle("Android API Version Differences"); in emitTopLeftFile()131 h_.writeHTMLTitle("JDiff Help"); in emitHelp()
80 writeHTMLTitle("Android API Differences Report"); in generate()82 writeHTMLTitle(windowTitle); in generate()275 writeHTMLTitle(pkgName); in reportChangedPackage()448 writeHTMLTitle(pkgName + "." + className); in reportChangedClass()716 public void writeHTMLTitle(String title) { in writeHTMLTitle() method in HTMLReportGenerator
42 h_.writeHTMLTitle("API Change Statistics"); in emitStatistics()
91 h_.writeHTMLTitle(title); in emitBottomLeftFile()