/[classpath]/gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/doclets/htmldoclet/HtmlDoclet.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.53 by julian, Mon May 23 20:25:01 2005 UTC revision 1.54 by julian, Mon May 23 21:54:09 2005 UTC
# Line 657  public class HtmlDoclet Line 657  public class HtmlDoclet
657                                   PackageDoc nextPackageDoc)                                   PackageDoc nextPackageDoc)
658        throws IOException        throws IOException
659     {     {
660        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir, "package-summary" + filenameExtension),
661                                                "package-summary" + filenameExtension),                                      pathToRoot);
                                      pathToRoot,  
                                      getOutputDocEncoding());  
662    
663        Set keywords = new LinkedHashSet();        Set keywords = new LinkedHashSet();
664        keywords.add(packageDoc.name() + " packages");        keywords.add(packageDoc.name() + " packages");
# Line 886  public class HtmlDoclet Line 884  public class HtmlDoclet
884     private void printPackageTreePage(File packageDir, String pathToRoot, PackageDoc packageDoc)     private void printPackageTreePage(File packageDir, String pathToRoot, PackageDoc packageDoc)
885        throws IOException        throws IOException
886     {     {
887        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir,
888                                                "tree" + filenameExtension),                                               "tree" + filenameExtension),
889                                       pathToRoot,                                      pathToRoot);
                                      getOutputDocEncoding());  
890        output.beginPage(getPageTitle(packageDoc.name() + " Hierarchy"),        output.beginPage(getPageTitle(packageDoc.name() + " Hierarchy"),
891                         getOutputCharset(),                         getOutputCharset(),
892                         getStylesheets());                         getStylesheets());
# Line 911  public class HtmlDoclet Line 908  public class HtmlDoclet
908     private void printFullTreePage()     private void printFullTreePage()
909        throws IOException        throws IOException
910     {     {
911        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
912                                                "tree" + filenameExtension),                                               "tree" + filenameExtension),
913                                       ".",                                      ".");
                                      getOutputDocEncoding());  
914        output.beginPage(getPageTitle("Hierarchy"),        output.beginPage(getPageTitle("Hierarchy"),
915                         getOutputCharset(),                         getOutputCharset(),
916                         getStylesheets());                         getStylesheets());
# Line 1028  public class HtmlDoclet Line 1024  public class HtmlDoclet
1024     private void printFrameSetPage()     private void printFrameSetPage()
1025        throws IOException        throws IOException
1026     {     {
1027        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1028                                                "index" + filenameExtension),                                               "index" + filenameExtension),
1029                                       ".",                                      ".",
1030                                       getOutputDocEncoding(),                                      HtmlPage.DOCTYPE_FRAMESET);
                                      HtmlPage.DOCTYPE_FRAMESET);  
1031                
1032        String title = getWindowTitle();        String title = getWindowTitle();
1033        output.beginPage(title, getOutputCharset(), getStylesheets());        output.beginPage(title, getOutputCharset(), getStylesheets());
# Line 1067  public class HtmlDoclet Line 1062  public class HtmlDoclet
1062     private void printPackagesMenuPage()     private void printPackagesMenuPage()
1063        throws IOException        throws IOException
1064     {     {
1065        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1066                                                "all-packages" + filenameExtension),                                               "all-packages" + filenameExtension),
1067                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1068        output.beginPage(getPageTitle("Package Menu"), getOutputCharset(), getStylesheets());        output.beginPage(getPageTitle("Package Menu"), getOutputCharset(), getStylesheets());
1069        output.beginBody(CssClass.BODY_MENU_PACKAGES, false);        output.beginBody(CssClass.BODY_MENU_PACKAGES, false);
1070    
# Line 1187  public class HtmlDoclet Line 1181  public class HtmlDoclet
1181     private void printAllClassesMenuPage()     private void printAllClassesMenuPage()
1182        throws IOException        throws IOException
1183     {     {
1184        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1185                                                "all-classes" + filenameExtension),                                               "all-classes" + filenameExtension),
1186                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1187        output.beginPage(getPageTitle("Class Menu"), getOutputCharset(), getStylesheets());        output.beginPage(getPageTitle("Class Menu"), getOutputCharset(), getStylesheets());
1188        output.beginBody(CssClass.BODY_MENU_CLASSES, false);        output.beginBody(CssClass.BODY_MENU_CLASSES, false);
1189    
# Line 1206  public class HtmlDoclet Line 1199  public class HtmlDoclet
1199     private void printPackageClassesMenuPage(File packageDir, String pathToRoot, PackageDoc packageDoc)     private void printPackageClassesMenuPage(File packageDir, String pathToRoot, PackageDoc packageDoc)
1200        throws IOException        throws IOException
1201     {     {
1202        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir,
1203                                                "classes" + filenameExtension),                                               "classes" + filenameExtension),
1204                                       pathToRoot,                                      pathToRoot);
                                      getOutputDocEncoding());  
1205    
1206        output.beginPage(getPageTitle(packageDoc.name() + " Class Menu"),        output.beginPage(getPageTitle(packageDoc.name() + " Class Menu"),
1207                         getOutputCharset(), getStylesheets());                         getOutputCharset(), getStylesheets());
# Line 1260  public class HtmlDoclet Line 1252  public class HtmlDoclet
1252        if (null != letter) {        if (null != letter) {
1253           pageName += "-" + index;           pageName += "-" + index;
1254        }        }
1255        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1256                                                pageName + filenameExtension),                                               pageName + filenameExtension),
1257                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1258        output.beginPage(getPageTitle("Alphabetical Index"),        output.beginPage(getPageTitle("Alphabetical Index"),
1259                         getOutputCharset(),                         getOutputCharset(),
1260                         getStylesheets());                         getStylesheets());
# Line 1391  public class HtmlDoclet Line 1382  public class HtmlDoclet
1382     private void printSerializationPage()     private void printSerializationPage()
1383        throws IOException        throws IOException
1384     {     {
1385        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1386                                                "serialized-form" + filenameExtension),                                               "serialized-form" + filenameExtension),
1387                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1388        output.beginPage(getPageTitle("Serialized Form"),        output.beginPage(getPageTitle("Serialized Form"),
1389                         getOutputCharset(),                         getOutputCharset(),
1390                         getStylesheets());                         getStylesheets());
# Line 1472  public class HtmlDoclet Line 1462  public class HtmlDoclet
1462     private void printDeprecationPage()     private void printDeprecationPage()
1463        throws IOException        throws IOException
1464     {     {
1465        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1466                                                "deprecated" + filenameExtension),                                               "deprecated" + filenameExtension),
1467                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1468        output.beginPage(getPageTitle("Deprecated API"),        output.beginPage(getPageTitle("Deprecated API"),
1469                         getOutputCharset(),                         getOutputCharset(),
1470                         getStylesheets());                         getStylesheets());
# Line 1624  public class HtmlDoclet Line 1613  public class HtmlDoclet
1613     private void printAboutPage()     private void printAboutPage()
1614        throws IOException        throws IOException
1615     {     {
1616        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1617                                                "about" + filenameExtension),                                               "about" + filenameExtension),
1618                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1619        output.beginPage(getPageTitle("About"),        output.beginPage(getPageTitle("About"),
1620                         getOutputCharset(),                         getOutputCharset(),
1621                         getStylesheets());                         getStylesheets());
# Line 1658  public class HtmlDoclet Line 1646  public class HtmlDoclet
1646     private void printSourcePage(File packageDir, ClassDoc classDoc, String sourceXhtml)     private void printSourcePage(File packageDir, ClassDoc classDoc, String sourceXhtml)
1647        throws IOException        throws IOException
1648     {     {
1649        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir,
1650                                                classDoc.name() + "-source" + filenameExtension),                                               classDoc.name() + "-source" + filenameExtension),
1651                                       getPathToRoot(packageDir, getTargetDirectory()),                                      getPathToRoot(packageDir, getTargetDirectory()));
                                      getOutputDocEncoding());  
1652        output.beginPage(getPageTitle("Source for " + classDoc.qualifiedTypeName()),        output.beginPage(getPageTitle("Source for " + classDoc.qualifiedTypeName()),
1653                         getOutputCharset(),                         getOutputCharset(),
1654                         getStylesheets());                         getStylesheets());
# Line 1686  public class HtmlDoclet Line 1673  public class HtmlDoclet
1673     private void printHelpPage()     private void printHelpPage()
1674        throws IOException        throws IOException
1675     {     {
1676        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1677                                                "help" + filenameExtension),                                               "help" + filenameExtension),
1678                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1679        output.beginPage(getPageTitle("Help"),        output.beginPage(getPageTitle("Help"),
1680                         getOutputCharset(),                         getOutputCharset(),
1681                         getStylesheets());                         getStylesheets());
# Line 1717  public class HtmlDoclet Line 1703  public class HtmlDoclet
1703     private void printOverviewPage()     private void printOverviewPage()
1704        throws IOException        throws IOException
1705     {     {
1706        HtmlPage output = new HtmlPage(new File(getTargetDirectory(),        HtmlPage output = newHtmlPage(new File(getTargetDirectory(),
1707                                                "index-noframes" + filenameExtension),                                               "index-noframes" + filenameExtension),
1708                                       ".",                                      ".");
                                      getOutputDocEncoding());  
1709        output.beginPage(getWindowTitle(),        output.beginPage(getWindowTitle(),
1710                         getOutputCharset(),                         getOutputCharset(),
1711                         getStylesheets());                         getStylesheets());
# Line 1814  public class HtmlDoclet Line 1799  public class HtmlDoclet
1799     private void printClassUsagePage(File packageDir, String pathToRoot, ClassDoc classDoc)     private void printClassUsagePage(File packageDir, String pathToRoot, ClassDoc classDoc)
1800        throws IOException        throws IOException
1801     {     {
1802        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir,
1803                                                classDoc.name() + "-uses" + filenameExtension),                                               classDoc.name() + "-uses" + filenameExtension),
1804                                       pathToRoot,                                      pathToRoot);
                                      getOutputDocEncoding());  
1805        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset(), getStylesheets());        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset(), getStylesheets());
1806        output.beginBody(CssClass.BODY_CONTENT_USES);        output.beginBody(CssClass.BODY_CONTENT_USES);
1807        printNavBarTop(output, "uses", classDoc, null, null);        printNavBarTop(output, "uses", classDoc, null, null);
# Line 2009  public class HtmlDoclet Line 1993  public class HtmlDoclet
1993                                 ClassDoc classDoc, ClassDoc prevClassDoc, ClassDoc nextClassDoc)                                 ClassDoc classDoc, ClassDoc prevClassDoc, ClassDoc nextClassDoc)
1994        throws IOException        throws IOException
1995     {     {
1996        HtmlPage output = new HtmlPage(new File(packageDir,        HtmlPage output = newHtmlPage(new File(packageDir,
1997                                                classDoc.name() + filenameExtension),                                               classDoc.name() + filenameExtension),
1998                                       pathToRoot,                                      pathToRoot);
                                      getOutputDocEncoding());  
1999        Set keywords = new LinkedHashSet();        Set keywords = new LinkedHashSet();
2000        {        {
2001           keywords.add(classDoc.qualifiedName() + " class");           keywords.add(classDoc.qualifiedName() + " class");
# Line 3379  public class HtmlDoclet Line 3362  public class HtmlDoclet
3362     private DocletOptionFlag optionValidHtml =     private DocletOptionFlag optionValidHtml =
3363       new DocletOptionFlag("-validhtml");       new DocletOptionFlag("-validhtml");
3364    
3365       private DocletOptionString optionBaseUrl =
3366         new DocletOptionString("-baseurl");
3367    
3368     private DocletOption[] options =     private DocletOption[] options =
3369        {        {
3370           optionNoNavBar,           optionNoNavBar,
# Line 3405  public class HtmlDoclet Line 3391  public class HtmlDoclet
3391           optionCharset,           optionCharset,
3392           optionAddStylesheet,           optionAddStylesheet,
3393           optionValidHtml,           optionValidHtml,
3394             optionBaseUrl,
3395        };        };
3396    
3397     static {     static {
# Line 3830  public class HtmlDoclet Line 3817  public class HtmlDoclet
3817     {     {
3818        return !optionValidHtml.getValue();        return !optionValidHtml.getValue();
3819     }     }
3820    
3821       private HtmlPage newHtmlPage(File file,
3822                                    String pathToRoot)
3823          throws IOException
3824       {
3825          return new HtmlPage(file,
3826                              pathToRoot,
3827                              getOutputDocEncoding(),
3828                              optionBaseUrl.getValue(),
3829                              getTargetDirectory());
3830       }
3831    
3832       private HtmlPage newHtmlPage(File file,
3833                                    String pathToRoot,
3834                                    String docType)
3835          throws IOException
3836       {
3837          return new HtmlPage(file,
3838                              pathToRoot,
3839                              getOutputDocEncoding(),
3840                              optionBaseUrl.getValue(),
3841                              getTargetDirectory(),
3842                              docType);
3843       }
3844  }  }

Legend:
Removed from v.1.53  
changed lines
  Added in v.1.54

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26