26 package jdk.javadoc.internal.doclets.formats.html; |
26 package jdk.javadoc.internal.doclets.formats.html; |
27 |
27 |
28 import java.util.Set; |
28 import java.util.Set; |
29 import java.util.TreeSet; |
29 import java.util.TreeSet; |
30 |
30 |
|
31 import jdk.javadoc.internal.doclets.formats.html.markup.BodyContents; |
|
32 import jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder; |
31 import jdk.javadoc.internal.doclets.formats.html.markup.Entity; |
33 import jdk.javadoc.internal.doclets.formats.html.markup.Entity; |
32 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle; |
34 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle; |
33 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag; |
35 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag; |
34 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
36 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
35 import jdk.javadoc.internal.doclets.formats.html.markup.StringContent; |
37 import jdk.javadoc.internal.doclets.formats.html.markup.StringContent; |
93 * @throws DocFileIOException if there is a problem generating the index |
95 * @throws DocFileIOException if there is a problem generating the index |
94 */ |
96 */ |
95 protected void generateIndexFile() throws DocFileIOException { |
97 protected void generateIndexFile() throws DocFileIOException { |
96 String title = resources.getText("doclet.Window_Single_Index"); |
98 String title = resources.getText("doclet.Window_Single_Index"); |
97 HtmlTree body = getBody(getWindowTitle(title)); |
99 HtmlTree body = getBody(getWindowTitle(title)); |
98 HtmlTree header = HtmlTree.HEADER(); |
100 Content headerContent = new ContentBuilder(); |
99 addTop(header); |
101 addTop(headerContent); |
100 navBar.setUserHeader(getUserHeaderFooter(true)); |
102 navBar.setUserHeader(getUserHeaderFooter(true)); |
101 header.add(navBar.getContent(true)); |
103 headerContent.add(navBar.getContent(true)); |
102 body.add(header); |
|
103 HtmlTree main = HtmlTree.MAIN(); |
|
104 main.add(HtmlTree.DIV(HtmlStyle.header, |
|
105 HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, |
|
106 contents.getContent("doclet.Index")))); |
|
107 HtmlTree divTree = new HtmlTree(HtmlTag.DIV); |
104 HtmlTree divTree = new HtmlTree(HtmlTag.DIV); |
108 divTree.setStyle(HtmlStyle.contentContainer); |
105 divTree.setStyle(HtmlStyle.contentContainer); |
109 elements = new TreeSet<>(indexbuilder.getIndexMap().keySet()); |
106 elements = new TreeSet<>(indexbuilder.getIndexMap().keySet()); |
110 elements.addAll(configuration.tagSearchIndexKeys); |
107 elements.addAll(configuration.tagSearchIndexKeys); |
111 addLinksForIndexes(divTree); |
108 addLinksForIndexes(divTree); |
118 addContents(unicode, indexbuilder.getMemberList(unicode), |
115 addContents(unicode, indexbuilder.getMemberList(unicode), |
119 configuration.tagSearchIndexMap.get(unicode), divTree); |
116 configuration.tagSearchIndexMap.get(unicode), divTree); |
120 } |
117 } |
121 } |
118 } |
122 addLinksForIndexes(divTree); |
119 addLinksForIndexes(divTree); |
123 main.add(divTree); |
|
124 body.add(main); |
|
125 HtmlTree footer = HtmlTree.FOOTER(); |
120 HtmlTree footer = HtmlTree.FOOTER(); |
126 navBar.setUserFooter(getUserHeaderFooter(false)); |
121 navBar.setUserFooter(getUserHeaderFooter(false)); |
127 footer.add(navBar.getContent(false)); |
122 footer.add(navBar.getContent(false)); |
128 addBottom(footer); |
123 addBottom(footer); |
129 body.add(footer); |
124 body.add(new BodyContents() |
|
125 .setHeader(headerContent) |
|
126 .addMainContent(HtmlTree.DIV(HtmlStyle.header, |
|
127 HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, |
|
128 contents.getContent("doclet.Index")))) |
|
129 .addMainContent(divTree) |
|
130 .setFooter(footer) |
|
131 .toContent()); |
130 createSearchIndexFiles(); |
132 createSearchIndexFiles(); |
131 printHtmlDocument(null, "index", body); |
133 printHtmlDocument(null, "index", body); |
132 } |
134 } |
133 |
135 |
134 /** |
136 /** |