514 } |
514 } |
515 |
515 |
516 /** |
516 /** |
517 * {@inheritDoc} |
517 * {@inheritDoc} |
518 */ |
518 */ |
|
519 public void addFunctionalInterfaceInfo (Content classInfoTree) { |
|
520 if (classDoc.isFunctionalInterface()) { |
|
521 Content dt = HtmlTree.DT(getResource("doclet.Functional_Interface")); |
|
522 Content dl = HtmlTree.DL(dt); |
|
523 Content dd = new HtmlTree(HtmlTag.DD); |
|
524 dd.addContent(getResource("doclet.Functional_Interface_Message")); |
|
525 dl.addContent(dd); |
|
526 classInfoTree.addContent(dl); |
|
527 } |
|
528 } |
|
529 |
|
530 /** |
|
531 * {@inheritDoc} |
|
532 */ |
519 public void addClassDeprecationInfo(Content classInfoTree) { |
533 public void addClassDeprecationInfo(Content classInfoTree) { |
520 Content hr = new HtmlTree(HtmlTag.HR); |
534 Content hr = new HtmlTree(HtmlTag.HR); |
521 classInfoTree.addContent(hr); |
535 classInfoTree.addContent(hr); |
522 Tag[] deprs = classDoc.tags("deprecated"); |
536 Tag[] deprs = classDoc.tags("deprecated"); |
523 if (Util.isDeprecated(classDoc)) { |
537 if (Util.isDeprecated(classDoc)) { |