1139 |
printNavBarTop(output, "overview"); |
printNavBarTop(output, "overview"); |
1140 |
|
|
1141 |
String overviewHeader; |
String overviewHeader; |
1142 |
if (null == optionDocTitle.getValue()) { |
if (null != optionDocTitle.getValue()) { |
1143 |
overviewHeader = "Overview"; |
overviewHeader = optionDocTitle.getValue(); |
1144 |
|
} |
1145 |
|
else if (null != optionTitle.getValue()) { |
1146 |
|
overviewHeader = optionTitle.getValue(); |
1147 |
} |
} |
1148 |
else { |
else { |
1149 |
overviewHeader = optionDocTitle.getValue(); |
overviewHeader = "Overview"; |
1150 |
} |
} |
1151 |
|
|
1152 |
output.div(CssClass.OVERVIEW_TITLE, overviewHeader); |
output.div(CssClass.OVERVIEW_TITLE, overviewHeader); |
1153 |
|
|
1154 |
/* |
/* |
1972 |
protected void run() |
protected void run() |
1973 |
throws DocletConfigurationException, IOException |
throws DocletConfigurationException, IOException |
1974 |
{ |
{ |
1975 |
printNotice("HtmlDoclet running."); |
if (optionNoSerialWarn.getValue()) { |
1976 |
|
printWarning("option -noserialwarn is currently ignored."); |
1977 |
|
} |
1978 |
|
|
1979 |
|
if (null != optionTitle.getValue()) { |
1980 |
|
printWarning("option -title is deprecated."); |
1981 |
|
} |
1982 |
|
|
1983 |
{ |
{ |
1984 |
Iterator it = externalDocSets.iterator(); |
Iterator it = externalDocSets.iterator(); |
1985 |
while (it.hasNext()) { |
while (it.hasNext()) { |
2205 |
private DocletOptionFlag optionNoComment = |
private DocletOptionFlag optionNoComment = |
2206 |
new DocletOptionFlag("-nocomment"); |
new DocletOptionFlag("-nocomment"); |
2207 |
|
|
2208 |
|
private DocletOptionFlag optionNoSerialWarn = |
2209 |
|
new DocletOptionFlag("-noserialwarn"); |
2210 |
|
|
2211 |
private DocletOptionFlag optionSplitIndex = |
private DocletOptionFlag optionSplitIndex = |
2212 |
new DocletOptionFlag("-splitindex"); |
new DocletOptionFlag("-splitindex"); |
2213 |
|
|
2226 |
private DocletOptionString optionDocTitle = |
private DocletOptionString optionDocTitle = |
2227 |
new DocletOptionString("-doctitle"); |
new DocletOptionString("-doctitle"); |
2228 |
|
|
2229 |
|
private DocletOptionString optionTitle = |
2230 |
|
new DocletOptionString("-title"); |
2231 |
|
|
2232 |
private DocletOptionFile optionHelpFile = |
private DocletOptionFile optionHelpFile = |
2233 |
new DocletOptionFile("-helpfile"); |
new DocletOptionFile("-helpfile"); |
2234 |
|
|