src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AllClassesIndexWriter.java
changeset 54350 4f9772f4403d
parent 54060 53a95878619f
child 54596 86c1da00dd6a
equal deleted inserted replaced
54349:492af1f4b6d5 54350:4f9772f4403d
    61     protected HtmlTree mainTree = HtmlTree.MAIN();
    61     protected HtmlTree mainTree = HtmlTree.MAIN();
    62 
    62 
    63     private final Navigation navBar;
    63     private final Navigation navBar;
    64 
    64 
    65     /**
    65     /**
    66      * Construct AllClassesFrameWriter object. Also initializes the indexbuilder variable in this
    66      * Construct AllClassesIndexWriter object. Also initializes the indexbuilder variable in this
    67      * class.
    67      * class.
    68      *
    68      *
    69      * @param configuration The current configuration
    69      * @param configuration The current configuration
    70      * @param filename Path to the file which is getting generated.
    70      * @param filename Path to the file which is getting generated.
    71      * @param indexbuilder Unicode based Index from {@link IndexBuilder}
    71      * @param indexbuilder Unicode based Index from {@link IndexBuilder}
    99     /**
    99     /**
   100      * Print all the classes in the file.
   100      * Print all the classes in the file.
   101      */
   101      */
   102     protected void buildAllClassesFile() throws DocFileIOException {
   102     protected void buildAllClassesFile() throws DocFileIOException {
   103         String label = resources.getText("doclet.All_Classes");
   103         String label = resources.getText("doclet.All_Classes");
   104         HtmlTree bodyTree = getBody(true, getWindowTitle(label));
   104         HtmlTree bodyTree = getBody(getWindowTitle(label));
   105         HtmlTree header = HtmlTree.HEADER();
   105         HtmlTree header = HtmlTree.HEADER();
   106         addTop(header);
   106         addTop(header);
   107         navBar.setUserHeader(getUserHeaderFooter(true));
   107         navBar.setUserHeader(getUserHeaderFooter(true));
   108         header.add(navBar.getContent(true));
   108         header.add(navBar.getContent(true));
   109         bodyTree.add(header);
   109         bodyTree.add(header);