718 |
getOutputDocEncoding(), |
getOutputDocEncoding(), |
719 |
HtmlPage.DOCTYPE_FRAMESET); |
HtmlPage.DOCTYPE_FRAMESET); |
720 |
|
|
721 |
String title; |
String title = getWindowTitle(); |
|
if (null == optionWindowTitle.getValue()) { |
|
|
title = "Generated API Documentation"; |
|
|
} |
|
|
else { |
|
|
title = optionWindowTitle.getValue(); |
|
|
} |
|
722 |
output.beginPage(title, getOutputCharset()); |
output.beginPage(title, getOutputCharset()); |
723 |
output.beginElement("frameset", "cols", "20%,80%"); |
output.beginElement("frameset", "cols", "20%,80%"); |
724 |
output.beginElement("frameset", "rows", "25%,75%"); |
output.beginElement("frameset", "rows", "25%,75%"); |
745 |
".", |
".", |
746 |
getOutputDocEncoding()); |
getOutputDocEncoding()); |
747 |
output.beginPage("Package Menu", getOutputCharset()); |
output.beginPage("Package Menu", getOutputCharset()); |
748 |
output.beginBody(); |
output.beginBody(false); |
749 |
|
|
750 |
output.beginSpan(CssClass.PACKAGE_MENU_ENTRY); |
output.beginSpan(CssClass.PACKAGE_MENU_ENTRY); |
751 |
output.beginAnchor("all-classes" + filenameExtension, |
output.beginAnchor("all-classes" + filenameExtension, |
819 |
".", |
".", |
820 |
getOutputDocEncoding()); |
getOutputDocEncoding()); |
821 |
output.beginPage("Class Menu", getOutputCharset()); |
output.beginPage("Class Menu", getOutputCharset()); |
822 |
output.beginBody(); |
output.beginBody(false); |
823 |
|
|
824 |
output.div(CssClass.CLASS_MENU_TITLE, "All Classes"); |
output.div(CssClass.CLASS_MENU_TITLE, "All Classes"); |
825 |
|
|
839 |
getOutputDocEncoding()); |
getOutputDocEncoding()); |
840 |
|
|
841 |
output.beginPage(packageDoc.name() + " Class Menu", getOutputCharset()); |
output.beginPage(packageDoc.name() + " Class Menu", getOutputCharset()); |
842 |
output.beginBody(); |
output.beginBody(false); |
843 |
|
|
844 |
output.beginDiv(CssClass.CLASS_MENU_TITLE); |
output.beginDiv(CssClass.CLASS_MENU_TITLE); |
845 |
output.beginAnchor("package-summary" + filenameExtension, "", "content"); |
output.beginAnchor("package-summary" + filenameExtension, "", "content"); |
1190 |
"index-noframes" + filenameExtension), |
"index-noframes" + filenameExtension), |
1191 |
".", |
".", |
1192 |
getOutputDocEncoding()); |
getOutputDocEncoding()); |
1193 |
output.beginPage("Overview", getOutputCharset()); |
output.beginPage(getWindowTitle(), getOutputCharset()); |
1194 |
output.beginBody(); |
output.beginBody(); |
1195 |
|
|
1196 |
printNavBarTop(output, "overview"); |
printNavBarTop(output, "overview"); |
1203 |
overviewHeader = optionTitle.getValue(); |
overviewHeader = optionTitle.getValue(); |
1204 |
} |
} |
1205 |
else { |
else { |
1206 |
overviewHeader = "Overview"; |
overviewHeader = null; |
1207 |
} |
} |
1208 |
|
|
1209 |
output.div(CssClass.OVERVIEW_TITLE, overviewHeader); |
if (null != overviewHeader) { |
1210 |
|
output.div(CssClass.OVERVIEW_TITLE, overviewHeader); |
1211 |
|
} |
1212 |
|
|
1213 |
/* |
/* |
1214 |
output.beginDiv(CssClass.PACKAGE_DESCRIPTION_TOP); |
output.beginDiv(CssClass.PACKAGE_DESCRIPTION_TOP); |
2237 |
printHelpPage(); |
printHelpPage(); |
2238 |
} |
} |
2239 |
|
|
2240 |
File stylesheetTargetFile = new File(getTargetDirectory(), |
// Copy resources |
2241 |
|
|
2242 |
|
File resourcesDir = new File(getTargetDirectory(), |
2243 |
|
"resources"); |
2244 |
|
|
2245 |
|
if ((resourcesDir.exists() && !resourcesDir.isDirectory()) |
2246 |
|
|| (!resourcesDir.exists() && !resourcesDir.mkdirs())) { |
2247 |
|
throw new IOException("Cannot create directory " + resourcesDir); |
2248 |
|
} |
2249 |
|
|
2250 |
|
// Copy Javascript file |
2251 |
|
|
2252 |
|
File javascriptTargetFile = new File(resourcesDir, |
2253 |
|
"gjdoc.js"); |
2254 |
|
InputStream javascriptIn = getClass().getResourceAsStream("/htmldoclet/gjdoc.js"); |
2255 |
|
FileOutputStream javascriptOut = new FileOutputStream(javascriptTargetFile); |
2256 |
|
IOToolkit.copyStream(javascriptIn, javascriptOut); |
2257 |
|
javascriptIn.close(); |
2258 |
|
javascriptOut.close(); |
2259 |
|
|
2260 |
|
// Copy stylesheets |
2261 |
|
|
2262 |
|
File stylesheetTargetFile = new File(resourcesDir, |
2263 |
"gjdochtml.css"); |
"gjdochtml.css"); |
2264 |
|
|
2265 |
if (null != optionStylesheetFile.getValue()) { |
if (null != optionStylesheetFile.getValue()) { |
2752 |
return ""; |
return ""; |
2753 |
} |
} |
2754 |
} |
} |
2755 |
|
|
2756 |
|
private String getWindowTitle() |
2757 |
|
{ |
2758 |
|
if (null == optionWindowTitle.getValue()) { |
2759 |
|
return "Generated API Documentation"; |
2760 |
|
} |
2761 |
|
else { |
2762 |
|
return optionWindowTitle.getValue(); |
2763 |
|
} |
2764 |
|
} |
2765 |
} |
} |