94 |
else { |
else { |
95 |
|
|
96 |
StringBuffer result = new StringBuffer(); |
StringBuffer result = new StringBuffer(); |
97 |
result.append("<div class=\"classdoc-tag-section-header\">"); |
result.append("<dl class=\"tag list\">"); |
98 |
|
result.append("<dt class=\"tag section header\"><b>"); |
99 |
result.append(HEADER); |
result.append(HEADER); |
100 |
result.append("</div>"); |
result.append("</b></dt>"); |
|
result.append("<dl class=\"classdoc-list\">"); |
|
101 |
for (int i = 0; i < tags.length; i++) { |
for (int i = 0; i < tags.length; i++) { |
102 |
result.append("<dt>"); |
result.append("<dd>"); |
103 |
result.append(tags[i].text()); |
result.append(tags[i].text()); |
104 |
result.append("</dt>"); |
result.append("</dt>"); |
105 |
} |
} |