src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/PropertyWriterImpl.java
changeset 53562 0d9dee001667
parent 51260 b7a307084247
child 53879 e7cb0348fa1c
equal deleted inserted replaced
53561:3f4b89a17892 53562:0d9dee001667
   181     /**
   181     /**
   182      * {@inheritDoc}
   182      * {@inheritDoc}
   183      */
   183      */
   184     @Override
   184     @Override
   185     public Content getPropertyDetails(Content propertyDetailsTree) {
   185     public Content getPropertyDetails(Content propertyDetailsTree) {
   186         if (configuration.allowTag(HtmlTag.SECTION)) {
   186         return HtmlTree.SECTION(getMemberTree(propertyDetailsTree));
   187             HtmlTree htmlTree = HtmlTree.SECTION(getMemberTree(propertyDetailsTree));
       
   188             return htmlTree;
       
   189         }
       
   190         return getMemberTree(propertyDetailsTree);
       
   191     }
   187     }
   192 
   188 
   193     /**
   189     /**
   194      * {@inheritDoc}
   190      * {@inheritDoc}
   195      */
   191      */
   221     /**
   217     /**
   222      * {@inheritDoc}
   218      * {@inheritDoc}
   223      */
   219      */
   224     @Override
   220     @Override
   225     protected Table createSummaryTable() {
   221     protected Table createSummaryTable() {
   226         String summary = resources.getText("doclet.Member_Table_Summary",
   222         return new Table(HtmlStyle.memberSummary)
   227             resources.getText("doclet.Property_Summary"),
       
   228             resources.getText("doclet.properties"));
       
   229 
       
   230         return new Table(configuration.htmlVersion, HtmlStyle.memberSummary)
       
   231                 .setSummary(summary)
       
   232                 .setCaption(contents.properties)
   223                 .setCaption(contents.properties)
   233                 .setHeader(getSummaryTableHeader(typeElement))
   224                 .setHeader(getSummaryTableHeader(typeElement))
   234                 .setColumnStyles(HtmlStyle.colFirst, HtmlStyle.colSecond, HtmlStyle.colLast)
   225                 .setColumnStyles(HtmlStyle.colFirst, HtmlStyle.colSecond, HtmlStyle.colLast)
   235                 .setRowScopeColumn(1);
   226                 .setRowScopeColumn(1);
   236     }
   227     }