323 * @param title Title of this HTML document |
323 * @param title Title of this HTML document |
324 * @param noTimeStamp If true, don't print time stamp in header |
324 * @param noTimeStamp If true, don't print time stamp in header |
325 * @param frameset the frameset to be added to the HTML document |
325 * @param frameset the frameset to be added to the HTML document |
326 */ |
326 */ |
327 public void printFramesetDocument(String title, boolean noTimeStamp, |
327 public void printFramesetDocument(String title, boolean noTimeStamp, |
328 Content frameset) { |
328 Content frameset) throws IOException { |
329 Content htmlDocType = DocType.Frameset(); |
329 Content htmlDocType = DocType.Frameset(); |
330 Content htmlComment = new Comment(configuration.getText("doclet.New_Page")); |
330 Content htmlComment = new Comment(configuration.getText("doclet.New_Page")); |
331 Content head = new HtmlTree(HtmlTag.HEAD); |
331 Content head = new HtmlTree(HtmlTag.HEAD); |
332 if (! noTimeStamp) { |
332 if (! noTimeStamp) { |
333 Content headComment = new Comment(getGeneratedByString()); |
333 Content headComment = new Comment(getGeneratedByString()); |
343 head.addContent(getFramesetJavaScript()); |
343 head.addContent(getFramesetJavaScript()); |
344 Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), |
344 Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), |
345 head, frameset); |
345 head, frameset); |
346 Content htmlDocument = new HtmlDocument(htmlDocType, |
346 Content htmlDocument = new HtmlDocument(htmlDocType, |
347 htmlComment, htmlTree); |
347 htmlComment, htmlTree); |
348 print(htmlDocument.toString()); |
348 htmlDocument.write(this, true); |
349 } |
349 } |
350 |
350 |
351 /** |
351 /** |
352 * Print the appropriate spaces to format the class tree in the class page. |
352 * Print the appropriate spaces to format the class tree in the class page. |
353 * |
353 * |