29 import com.sun.source.doctree.EndElementTree; |
29 import com.sun.source.doctree.EndElementTree; |
30 import com.sun.source.doctree.StartElementTree; |
30 import com.sun.source.doctree.StartElementTree; |
31 import com.sun.source.doctree.TextTree; |
31 import com.sun.source.doctree.TextTree; |
32 import com.sun.source.util.DocTreeFactory; |
32 import com.sun.source.util.DocTreeFactory; |
33 import com.sun.tools.doclint.HtmlTag; |
33 import com.sun.tools.doclint.HtmlTag; |
|
34 import jdk.javadoc.internal.doclets.formats.html.markup.BodyContents; |
|
35 import jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder; |
|
36 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle; |
34 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
37 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
35 import jdk.javadoc.internal.doclets.formats.html.markup.Navigation; |
38 import jdk.javadoc.internal.doclets.formats.html.markup.Navigation; |
36 import jdk.javadoc.internal.doclets.toolkit.Content; |
39 import jdk.javadoc.internal.doclets.toolkit.Content; |
37 import jdk.javadoc.internal.doclets.toolkit.DocFileElement; |
40 import jdk.javadoc.internal.doclets.toolkit.DocFileElement; |
38 import jdk.javadoc.internal.doclets.toolkit.DocFilesHandler; |
41 import jdk.javadoc.internal.doclets.toolkit.DocFilesHandler; |
178 List<? extends DocTree> localTags = getLocalHeaderTags(utils.getPreamble(dfElement)); |
181 List<? extends DocTree> localTags = getLocalHeaderTags(utils.getPreamble(dfElement)); |
179 Content localTagsContent = docletWriter.commentTagsToContent(null, dfElement, localTags, false); |
182 Content localTagsContent = docletWriter.commentTagsToContent(null, dfElement, localTags, false); |
180 |
183 |
181 String title = getWindowTitle(docletWriter, dfElement).trim(); |
184 String title = getWindowTitle(docletWriter, dfElement).trim(); |
182 HtmlTree htmlContent = docletWriter.getBody(title); |
185 HtmlTree htmlContent = docletWriter.getBody(title); |
183 docletWriter.addTop(htmlContent); |
|
184 PackageElement pkg = dfElement.getPackageElement(); |
186 PackageElement pkg = dfElement.getPackageElement(); |
185 this.navBar = new Navigation(element, configuration, docletWriter.fixedNavDiv, |
187 this.navBar = new Navigation(element, configuration, PageMode.DOCFILE, docletWriter.path); |
186 PageMode.DOCFILE, docletWriter.path); |
188 Content headerContent = new ContentBuilder(); |
|
189 docletWriter.addTop(headerContent); |
187 Content mdleLinkContent = docletWriter.getModuleLink(utils.elementUtils.getModuleOf(pkg), |
190 Content mdleLinkContent = docletWriter.getModuleLink(utils.elementUtils.getModuleOf(pkg), |
188 docletWriter.contents.moduleLabel); |
191 docletWriter.contents.moduleLabel); |
189 navBar.setNavLinkModule(mdleLinkContent); |
192 navBar.setNavLinkModule(mdleLinkContent); |
190 Content pkgLinkContent = docletWriter.getPackageLink(pkg, docletWriter.contents.packageLabel); |
193 Content pkgLinkContent = docletWriter.getPackageLink(pkg, docletWriter.contents.packageLabel); |
191 navBar.setNavLinkPackage(pkgLinkContent); |
194 navBar.setNavLinkPackage(pkgLinkContent); |
192 navBar.setUserHeader(docletWriter.getUserHeaderFooter(true)); |
195 navBar.setUserHeader(docletWriter.getUserHeaderFooter(true)); |
193 Content header = HtmlTree.HEADER(); |
196 headerContent.add(navBar.getContent(true)); |
194 header.add(navBar.getContent(true)); |
|
195 htmlContent.add(header); |
|
196 |
197 |
197 List<? extends DocTree> fullBody = utils.getFullBody(dfElement); |
198 List<? extends DocTree> fullBody = utils.getFullBody(dfElement); |
198 Content bodyContent = docletWriter.commentTagsToContent(null, dfElement, fullBody, false); |
199 Content pageContent = docletWriter.commentTagsToContent(null, dfElement, fullBody, false); |
199 docletWriter.addTagsInfo(dfElement, bodyContent); |
200 docletWriter.addTagsInfo(dfElement, pageContent); |
200 Content main = HtmlTree.MAIN(); |
|
201 main.add(bodyContent); |
|
202 htmlContent.add(main); |
|
203 |
201 |
204 navBar.setUserFooter(docletWriter.getUserHeaderFooter(false)); |
202 navBar.setUserFooter(docletWriter.getUserHeaderFooter(false)); |
205 Content footer = HtmlTree.FOOTER(); |
203 Content footer = HtmlTree.FOOTER(); |
206 footer.add(navBar.getContent(false)); |
204 footer.add(navBar.getContent(false)); |
207 docletWriter.addBottom(footer); |
205 docletWriter.addBottom(footer); |
208 htmlContent.add(footer); |
206 htmlContent.add(new BodyContents() |
|
207 .setHeader(headerContent) |
|
208 .addMainContent(HtmlTree.DIV(HtmlStyle.contentContainer, pageContent)) |
|
209 .setFooter(footer) |
|
210 .toContent()); |
209 docletWriter.printHtmlDocument(Collections.emptyList(), null, localTagsContent, Collections.emptyList(), htmlContent); |
211 docletWriter.printHtmlDocument(Collections.emptyList(), null, localTagsContent, Collections.emptyList(), htmlContent); |
210 } |
212 } |
211 |
213 |
212 |
214 |
213 private List<? extends DocTree> getLocalHeaderTags(List<? extends DocTree> dtrees) { |
215 private List<? extends DocTree> getLocalHeaderTags(List<? extends DocTree> dtrees) { |