/[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.38 by julian, Sat Feb 5 16:09:13 2005 UTC revision 1.39 by julian, Sun Feb 6 21:51:40 2005 UTC
# Line 659  public class HtmlDoclet Line 659  public class HtmlDoclet
659        keywords.add(packageDoc.name() + " packages");        keywords.add(packageDoc.name() + " packages");
660    
661        output.beginPage(getPageTitle(packageDoc.name()), getOutputCharset(),        output.beginPage(getPageTitle(packageDoc.name()), getOutputCharset(),
662                         keywords);                         keywords, getStylesheets());
663        output.beginBody(CssClass.BODY_CONTENT_PACKAGE);        output.beginBody(CssClass.BODY_CONTENT_PACKAGE);
664        printNavBarTopPackage(output, "package", prevPackageDoc, nextPackageDoc);        printNavBarTopPackage(output, "package", prevPackageDoc, nextPackageDoc);
665    
# Line 879  public class HtmlDoclet Line 879  public class HtmlDoclet
879                                                "tree" + filenameExtension),                                                "tree" + filenameExtension),
880                                       pathToRoot,                                       pathToRoot,
881                                       getOutputDocEncoding());                                       getOutputDocEncoding());
882        output.beginPage(getPageTitle(packageDoc.name() + " Hierarchy"), getOutputCharset());        output.beginPage(getPageTitle(packageDoc.name() + " Hierarchy"),
883                           getOutputCharset(),
884                           getStylesheets());
885        output.beginBody(CssClass.BODY_CONTENT_PACKAGE_TREE);        output.beginBody(CssClass.BODY_CONTENT_PACKAGE_TREE);
886        printNavBarTop(output, "package-tree");        printNavBarTop(output, "package-tree");
887    
# Line 902  public class HtmlDoclet Line 904  public class HtmlDoclet
904                                                "tree" + filenameExtension),                                                "tree" + filenameExtension),
905                                       ".",                                       ".",
906                                       getOutputDocEncoding());                                       getOutputDocEncoding());
907        output.beginPage(getPageTitle("Hierarchy"), getOutputCharset());        output.beginPage(getPageTitle("Hierarchy"),
908                           getOutputCharset(),
909                           getStylesheets());
910        output.beginBody(CssClass.BODY_CONTENT_FULL_TREE);        output.beginBody(CssClass.BODY_CONTENT_FULL_TREE);
911        printNavBarTop(output, "full-tree");        printNavBarTop(output, "full-tree");
912    
# Line 1020  public class HtmlDoclet Line 1024  public class HtmlDoclet
1024                                       HtmlPage.DOCTYPE_FRAMESET);                                       HtmlPage.DOCTYPE_FRAMESET);
1025                
1026        String title = getWindowTitle();        String title = getWindowTitle();
1027        output.beginPage(title, getOutputCharset());        output.beginPage(title, getOutputCharset(), getStylesheets());
1028        output.beginElement("frameset", "cols", "20%,80%");        output.beginElement("frameset", "cols", "20%,80%");
1029    
1030        String contentURL;        String contentURL;
# Line 1056  public class HtmlDoclet Line 1060  public class HtmlDoclet
1060                                                "all-packages" + filenameExtension),                                                "all-packages" + filenameExtension),
1061                                       ".",                                       ".",
1062                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1063        output.beginPage(getPageTitle("Package Menu"), getOutputCharset());        output.beginPage(getPageTitle("Package Menu"), getOutputCharset(), getStylesheets());
1064        output.beginBody(CssClass.BODY_MENU_PACKAGES, false);        output.beginBody(CssClass.BODY_MENU_PACKAGES, false);
1065    
1066        output.beginSpan(CssClass.PACKAGE_MENU_ENTRY);        output.beginSpan(CssClass.PACKAGE_MENU_ENTRY);
# Line 1176  public class HtmlDoclet Line 1180  public class HtmlDoclet
1180                                                "all-classes" + filenameExtension),                                                "all-classes" + filenameExtension),
1181                                       ".",                                       ".",
1182                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1183        output.beginPage(getPageTitle("Class Menu"), getOutputCharset());        output.beginPage(getPageTitle("Class Menu"), getOutputCharset(), getStylesheets());
1184        output.beginBody(CssClass.BODY_MENU_CLASSES, false);        output.beginBody(CssClass.BODY_MENU_CLASSES, false);
1185    
1186        output.div(CssClass.CLASS_MENU_TITLE, "All Classes");        output.div(CssClass.CLASS_MENU_TITLE, "All Classes");
# Line 1196  public class HtmlDoclet Line 1200  public class HtmlDoclet
1200                                       pathToRoot,                                       pathToRoot,
1201                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1202    
1203        output.beginPage(getPageTitle(packageDoc.name() + " Class Menu"), getOutputCharset());        output.beginPage(getPageTitle(packageDoc.name() + " Class Menu"),
1204                           getOutputCharset(), getStylesheets());
1205        output.beginBody(CssClass.BODY_MENU_CLASSES, false);        output.beginBody(CssClass.BODY_MENU_CLASSES, false);
1206    
1207        output.beginDiv(CssClass.CLASS_MENU_TITLE);        output.beginDiv(CssClass.CLASS_MENU_TITLE);
# Line 1248  public class HtmlDoclet Line 1253  public class HtmlDoclet
1253                                                pageName + filenameExtension),                                                pageName + filenameExtension),
1254                                       ".",                                       ".",
1255                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1256        output.beginPage(getPageTitle("Alphabetical Index"), getOutputCharset());        output.beginPage(getPageTitle("Alphabetical Index"),
1257                           getOutputCharset(),
1258                           getStylesheets());
1259        output.beginBody(CssClass.BODY_CONTENT_INDEX);        output.beginBody(CssClass.BODY_CONTENT_INDEX);
1260        if (null == letter) {        if (null == letter) {
1261           printNavBarTop(output, "index");           printNavBarTop(output, "index");
# Line 1377  public class HtmlDoclet Line 1384  public class HtmlDoclet
1384                                                "serialized-form" + filenameExtension),                                                "serialized-form" + filenameExtension),
1385                                       ".",                                       ".",
1386                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1387        output.beginPage(getPageTitle("Serialized Form"), getOutputCharset());        output.beginPage(getPageTitle("Serialized Form"),
1388                           getOutputCharset(),
1389                           getStylesheets());
1390        output.beginBody(CssClass.BODY_CONTENT_DEPRECATED);        output.beginBody(CssClass.BODY_CONTENT_DEPRECATED);
1391        printNavBarTop(output, "serialized");        printNavBarTop(output, "serialized");
1392    
# Line 1456  public class HtmlDoclet Line 1465  public class HtmlDoclet
1465                                                "deprecated" + filenameExtension),                                                "deprecated" + filenameExtension),
1466                                       ".",                                       ".",
1467                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1468        output.beginPage(getPageTitle("Deprecated API"), getOutputCharset());        output.beginPage(getPageTitle("Deprecated API"),
1469                           getOutputCharset(),
1470                           getStylesheets());
1471        output.beginBody(CssClass.BODY_CONTENT_DEPRECATED);        output.beginBody(CssClass.BODY_CONTENT_DEPRECATED);
1472        printNavBarTop(output, "deprecated");        printNavBarTop(output, "deprecated");
1473    
# Line 1606  public class HtmlDoclet Line 1617  public class HtmlDoclet
1617                                                "about" + filenameExtension),                                                "about" + filenameExtension),
1618                                       ".",                                       ".",
1619                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1620        output.beginPage(getPageTitle("About"), getOutputCharset());        output.beginPage(getPageTitle("About"),
1621                           getOutputCharset(),
1622                           getStylesheets());
1623        output.beginBody(CssClass.BODY_CONTENT_ABOUT);        output.beginBody(CssClass.BODY_CONTENT_ABOUT);
1624    
1625        printNavBarTop(output, "about");        printNavBarTop(output, "about");
# Line 1638  public class HtmlDoclet Line 1651  public class HtmlDoclet
1651                                                classDoc.name() + "-source" + filenameExtension),                                                classDoc.name() + "-source" + filenameExtension),
1652                                       getPathToRoot(packageDir, getTargetDirectory()),                                       getPathToRoot(packageDir, getTargetDirectory()),
1653                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1654        output.beginPage(getPageTitle("Source for " + classDoc.qualifiedTypeName()), getOutputCharset());        output.beginPage(getPageTitle("Source for " + classDoc.qualifiedTypeName()),
1655                           getOutputCharset(),
1656                           getStylesheets());
1657    
1658        output.beginBody(CssClass.BODY_CONTENT_SOURCE);        output.beginBody(CssClass.BODY_CONTENT_SOURCE);
1659    
# Line 1664  public class HtmlDoclet Line 1679  public class HtmlDoclet
1679                                                "help" + filenameExtension),                                                "help" + filenameExtension),
1680                                       ".",                                       ".",
1681                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1682        output.beginPage(getPageTitle("Help"), getOutputCharset());        output.beginPage(getPageTitle("Help"),
1683                           getOutputCharset(),
1684                           getStylesheets());
1685        output.beginBody(CssClass.BODY_CONTENT_HELP);        output.beginBody(CssClass.BODY_CONTENT_HELP);
1686    
1687        printNavBarTop(output, "help");        printNavBarTop(output, "help");
# Line 1693  public class HtmlDoclet Line 1710  public class HtmlDoclet
1710                                                "index-noframes" + filenameExtension),                                                "index-noframes" + filenameExtension),
1711                                       ".",                                       ".",
1712                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1713        output.beginPage(getWindowTitle(), getOutputCharset());        output.beginPage(getWindowTitle(),
1714                           getOutputCharset(),
1715                           getStylesheets());
1716        output.beginBody(CssClass.BODY_CONTENT_OVERVIEW);        output.beginBody(CssClass.BODY_CONTENT_OVERVIEW);
1717    
1718        printNavBarTop(output, "overview");        printNavBarTop(output, "overview");
# Line 1792  public class HtmlDoclet Line 1811  public class HtmlDoclet
1811                                                classDoc.name() + "-uses" + filenameExtension),                                                classDoc.name() + "-uses" + filenameExtension),
1812                                       pathToRoot,                                       pathToRoot,
1813                                       getOutputDocEncoding());                                       getOutputDocEncoding());
1814        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset());        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset(), getStylesheets());
1815        output.beginBody(CssClass.BODY_CONTENT_USES);        output.beginBody(CssClass.BODY_CONTENT_USES);
1816        printNavBarTop(output, "uses", classDoc, null, null);        printNavBarTop(output, "uses", classDoc, null, null);
1817    
# Line 2001  public class HtmlDoclet Line 2020  public class HtmlDoclet
2020        }        }
2021    
2022        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset(),        output.beginPage(getPageTitle(classDoc.name()), getOutputCharset(),
2023                         keywords);                         keywords, getStylesheets());
2024        output.beginBody(CssClass.BODY_CONTENT_CLASS);        output.beginBody(CssClass.BODY_CONTENT_CLASS);
2025        printNavBarTop(output, "class", classDoc, prevClassDoc, nextClassDoc);        printNavBarTop(output, "class", classDoc, prevClassDoc, nextClassDoc);
2026                
# Line 2993  public class HtmlDoclet Line 3012  public class HtmlDoclet
3012    
3013        // Copy stylesheets        // Copy stylesheets
3014    
3015        File stylesheetTargetFile = new File(resourcesDir,        if (null != optionAddStylesheet.getValue()) {
3016                                             "gjdochtml.css");           File addStylesheetTargetFile = new File(resourcesDir,
3017                                                     "user.css");
3018    
3019             IOToolkit.copyFile(optionAddStylesheet.getValue(),
3020                                addStylesheetTargetFile);
3021          }
3022    
3023        if (null != optionStylesheetFile.getValue()) {        if (null != optionStylesheetFile.getValue()) {
3024             File stylesheetTargetFile = new File(resourcesDir,
3025                                                  "user.css");
3026    
3027           IOToolkit.copyFile(optionStylesheetFile.getValue(),           IOToolkit.copyFile(optionStylesheetFile.getValue(),
3028                              stylesheetTargetFile);                              stylesheetTargetFile);
3029        }        }
3030          /*
3031        else {        else {
3032           InputStream cssIn = getClass().getResourceAsStream("/htmldoclet/gjdochtml-vanilla.css");           InputStream cssIn = getClass().getResourceAsStream("/htmldoclet/gjdochtml-vanilla.css");
3033           FileOutputStream cssOut = new FileOutputStream(stylesheetTargetFile);           FileOutputStream cssOut = new FileOutputStream(stylesheetTargetFile);
# Line 3007  public class HtmlDoclet Line 3035  public class HtmlDoclet
3035           cssIn.close();           cssIn.close();
3036           cssOut.close();           cssOut.close();
3037        }        }
3038          */
3039    
3040        if (!optionNoDeprecatedList.getValue()) {        if (!optionNoDeprecatedList.getValue()) {
3041           printDeprecationPage();           printDeprecationPage();
# Line 3266  public class HtmlDoclet Line 3295  public class HtmlDoclet
3295     private DocletOptionString optionCharset =     private DocletOptionString optionCharset =
3296       new DocletOptionString("-charset");       new DocletOptionString("-charset");
3297    
3298       private DocletOptionFile optionAddStylesheet =
3299         new DocletOptionFile("-addstylesheet");
3300    
3301     private DocletOption[] options =     private DocletOption[] options =
3302        {        {
3303           optionNoNavBar,           optionNoNavBar,
# Line 3289  public class HtmlDoclet Line 3321  public class HtmlDoclet
3321           optionDocEncoding,           optionDocEncoding,
3322           optionEncoding,           optionEncoding,
3323           optionCharset,           optionCharset,
3324             optionAddStylesheet,
3325        };        };
3326    
3327     static {     static {
# Line 3554  public class HtmlDoclet Line 3587  public class HtmlDoclet
3587        }        }
3588        return docletVersion;        return docletVersion;
3589     }     }
3590    
3591       private Map getStylesheets()
3592       {
3593          Map sheets = new HashMap();
3594          if (null != optionStylesheetFile.getValue()) {
3595             sheets.put("User-specified", new String[] {
3596                "resources/user.css"
3597             });
3598          }
3599          else {
3600             List cleanSheets = new LinkedList();
3601             cleanSheets.add("resources/gjdochtml-clean-layout.css");
3602             cleanSheets.add("resources/gjdochtml-clean-color1.css");
3603             if (null != optionAddStylesheet.getValue()) {
3604                cleanSheets.add("resources/user.css");
3605             }
3606             sheets.put("GNU Clean", cleanSheets.toArray(new String[0]));
3607          }
3608          return sheets;
3609       }
3610  }  }

Legend:
Removed from v.1.38  
changed lines
  Added in v.1.39

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