langtools/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java
changeset 14265 4e8e488eeae0
parent 14263 473b1eaede64
child 14266 69453558960d
equal deleted inserted replaced
14264:1aca6b2e90a0 14265:4e8e488eeae0
   359      * @param includeScript true if printing windowtitle script
   359      * @param includeScript true if printing windowtitle script
   360      *                      false for files that appear in the left-hand frames
   360      *                      false for files that appear in the left-hand frames
   361      * @param body the body htmltree to be included in the document
   361      * @param body the body htmltree to be included in the document
   362      */
   362      */
   363     public void printHtmlDocument(String[] metakeywords, boolean includeScript,
   363     public void printHtmlDocument(String[] metakeywords, boolean includeScript,
   364             Content body) {
   364             Content body) throws IOException {
   365         Content htmlDocType = DocType.Transitional();
   365         Content htmlDocType = DocType.Transitional();
   366         Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
   366         Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
   367         Content head = new HtmlTree(HtmlTag.HEAD);
   367         Content head = new HtmlTree(HtmlTag.HEAD);
   368         if (!configuration.notimestamp) {
   368         if (!configuration.notimestamp) {
   369             Content headComment = new Comment(getGeneratedByString());
   369             Content headComment = new Comment(getGeneratedByString());
   389         head.addContent(getStyleSheetProperties());
   389         head.addContent(getStyleSheetProperties());
   390         Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(),
   390         Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(),
   391                 head, body);
   391                 head, body);
   392         Content htmlDocument = new HtmlDocument(htmlDocType,
   392         Content htmlDocument = new HtmlDocument(htmlDocType,
   393                 htmlComment, htmlTree);
   393                 htmlComment, htmlTree);
   394         print(htmlDocument.toString());
   394         htmlDocument.write(this, true);
   395     }
   395     }
   396 
   396 
   397     /**
   397     /**
   398      * Get the window title.
   398      * Get the window title.
   399      *
   399      *