30 import java.util.List; |
30 import java.util.List; |
31 import java.util.ListIterator; |
31 import java.util.ListIterator; |
32 import java.util.Set; |
32 import java.util.Set; |
33 import java.util.TreeSet; |
33 import java.util.TreeSet; |
34 |
34 |
|
35 import jdk.javadoc.internal.doclets.formats.html.markup.BodyContents; |
|
36 import jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder; |
35 import jdk.javadoc.internal.doclets.formats.html.markup.Entity; |
37 import jdk.javadoc.internal.doclets.formats.html.markup.Entity; |
36 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle; |
38 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle; |
37 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag; |
39 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag; |
38 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
40 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree; |
39 import jdk.javadoc.internal.doclets.formats.html.markup.StringContent; |
41 import jdk.javadoc.internal.doclets.formats.html.markup.StringContent; |
120 */ |
122 */ |
121 protected void generateIndexFile(Character unicode) throws DocFileIOException { |
123 protected void generateIndexFile(Character unicode) throws DocFileIOException { |
122 String title = resources.getText("doclet.Window_Split_Index", |
124 String title = resources.getText("doclet.Window_Split_Index", |
123 unicode.toString()); |
125 unicode.toString()); |
124 HtmlTree body = getBody(getWindowTitle(title)); |
126 HtmlTree body = getBody(getWindowTitle(title)); |
125 HtmlTree header = HtmlTree.HEADER(); |
127 Content headerContent = new ContentBuilder(); |
126 addTop(header); |
128 addTop(headerContent); |
127 navBar.setUserHeader(getUserHeaderFooter(true)); |
129 navBar.setUserHeader(getUserHeaderFooter(true)); |
128 header.add(navBar.getContent(true)); |
130 headerContent.add(navBar.getContent(true)); |
129 body.add(header); |
131 Content main = new ContentBuilder(); |
130 HtmlTree main = HtmlTree.MAIN(); |
|
131 main.add(HtmlTree.DIV(HtmlStyle.header, |
132 main.add(HtmlTree.DIV(HtmlStyle.header, |
132 HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, |
133 HtmlTree.HEADING(Headings.PAGE_TITLE_HEADING, |
133 contents.getContent("doclet.Index")))); |
134 contents.getContent("doclet.Index")))); |
134 HtmlTree divTree = new HtmlTree(HtmlTag.DIV); |
135 HtmlTree divTree = new HtmlTree(HtmlTag.DIV); |
135 divTree.setStyle(HtmlStyle.contentContainer); |
136 divTree.setStyle(HtmlStyle.contentContainer); |
142 addContents(unicode, indexbuilder.getMemberList(unicode), |
143 addContents(unicode, indexbuilder.getMemberList(unicode), |
143 configuration.tagSearchIndexMap.get(unicode), divTree); |
144 configuration.tagSearchIndexMap.get(unicode), divTree); |
144 } |
145 } |
145 addLinksForIndexes(divTree); |
146 addLinksForIndexes(divTree); |
146 main.add(divTree); |
147 main.add(divTree); |
147 body.add(main); |
|
148 HtmlTree footer = HtmlTree.FOOTER(); |
148 HtmlTree footer = HtmlTree.FOOTER(); |
149 navBar.setUserFooter(getUserHeaderFooter(false)); |
149 navBar.setUserFooter(getUserHeaderFooter(false)); |
150 footer.add(navBar.getContent(false)); |
150 footer.add(navBar.getContent(false)); |
151 addBottom(footer); |
151 addBottom(footer); |
152 body.add(footer); |
152 body.add(new BodyContents() |
|
153 .setHeader(headerContent) |
|
154 .addMainContent(main) |
|
155 .setFooter(footer) |
|
156 .toContent()); |
153 String description = "index: " + unicode; |
157 String description = "index: " + unicode; |
154 printHtmlDocument(null, description, body); |
158 printHtmlDocument(null, description, body); |
155 } |
159 } |
156 |
160 |
157 /** |
161 /** |