/[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.19 by julian, Wed Dec 15 12:04:25 2004 UTC revision 1.20 by julian, Wed Dec 15 12:29:27 2004 UTC
# Line 718  public class HtmlDoclet Line 718  public class HtmlDoclet
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%");
# Line 751  public class HtmlDoclet Line 745  public class HtmlDoclet
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,
# Line 825  public class HtmlDoclet Line 819  public class HtmlDoclet
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    
# Line 845  public class HtmlDoclet Line 839  public class HtmlDoclet
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");
# Line 1196  public class HtmlDoclet Line 1190  public class HtmlDoclet
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");
# Line 1209  public class HtmlDoclet Line 1203  public class HtmlDoclet
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);
# Line 2241  public class HtmlDoclet Line 2237  public class HtmlDoclet
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()) {
# Line 2734  public class HtmlDoclet Line 2752  public class HtmlDoclet
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  }  }

Legend:
Removed from v.1.19  
changed lines
  Added in v.1.20

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