156 public void addDeprecationInfo(Content div) { |
156 public void addDeprecationInfo(Content div) { |
157 Tag[] deprs = packageDoc.tags("deprecated"); |
157 Tag[] deprs = packageDoc.tags("deprecated"); |
158 if (Util.isDeprecated(packageDoc)) { |
158 if (Util.isDeprecated(packageDoc)) { |
159 HtmlTree deprDiv = new HtmlTree(HtmlTag.DIV); |
159 HtmlTree deprDiv = new HtmlTree(HtmlTag.DIV); |
160 deprDiv.addStyle(HtmlStyle.deprecatedContent); |
160 deprDiv.addStyle(HtmlStyle.deprecatedContent); |
161 Content deprPhrase = HtmlTree.SPAN(HtmlStyle.strong, deprecatedPhrase); |
161 Content deprPhrase = HtmlTree.SPAN(HtmlStyle.deprecatedLabel, deprecatedPhrase); |
162 deprDiv.addContent(deprPhrase); |
162 deprDiv.addContent(deprPhrase); |
163 if (deprs.length > 0) { |
163 if (deprs.length > 0) { |
164 Tag[] commentTags = deprs[0].inlineTags(); |
164 Tag[] commentTags = deprs[0].inlineTags(); |
165 if (commentTags.length > 0) { |
165 if (commentTags.length > 0) { |
166 addInlineDeprecatedComment(packageDoc, deprs[0], deprDiv); |
166 addInlineDeprecatedComment(packageDoc, deprs[0], deprDiv); |