src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java
changeset 54444 259b40b4d473
parent 54060 53a95878619f
child 54596 86c1da00dd6a
equal deleted inserted replaced
54443:dfba4e321ab3 54444:259b40b4d473
   720      * Generates a SECTION tag with role attribute.
   720      * Generates a SECTION tag with role attribute.
   721      *
   721      *
   722      * @return an HtmlTree object for the SECTION tag
   722      * @return an HtmlTree object for the SECTION tag
   723      */
   723      */
   724     public static HtmlTree SECTION() {
   724     public static HtmlTree SECTION() {
   725         HtmlTree htmltree = new HtmlTree(HtmlTag.SECTION);
   725         return new HtmlTree(HtmlTag.SECTION);
   726         htmltree.setRole(Role.REGION);
       
   727         return htmltree;
       
   728     }
   726     }
   729 
   727 
   730     /**
   728     /**
   731      * Generates a SECTION tag with role attribute and some content.
   729      * Generates a SECTION tag with role attribute and some content.
   732      *
   730      *
   733      * @param body content of the section tag
   731      * @param body content of the section tag
   734      * @return an HtmlTree object for the SECTION tag
   732      * @return an HtmlTree object for the SECTION tag
   735      */
   733      */
   736     public static HtmlTree SECTION(Content body) {
   734     public static HtmlTree SECTION(Content body) {
   737         HtmlTree htmltree = new HtmlTree(HtmlTag.SECTION, nullCheck(body));
   735         return new HtmlTree(HtmlTag.SECTION, nullCheck(body));
   738         htmltree.setRole(Role.REGION);
       
   739         return htmltree;
       
   740     }
   736     }
   741 
   737 
   742     /**
   738     /**
   743      * Generates a SMALL tag with some content.
   739      * Generates a SMALL tag with some content.
   744      *
   740      *