Tue, 19 Mar 2013 19:16:59 -0700
8010317: DocLint incorrectly reports some <pre> tags as empty
Reviewed-by: darcy
1 TrimmingEmptyTag.java:13: warning: empty <b> tag
2 * <b></b>
3 ^
4 TrimmingEmptyTag.java:14: warning: empty <table> tag
5 * <table summary=description></table>
6 ^
7 TrimmingEmptyTag.java:15: warning: empty <caption> tag
8 * <table><caption></caption></table>
9 ^
10 TrimmingEmptyTag.java:16: warning: empty <code> tag
11 * <code></code>
12 ^
13 TrimmingEmptyTag.java:17: warning: empty <dl> tag
14 * <dl></dl>
15 ^
16 TrimmingEmptyTag.java:18: warning: empty <dt> tag
17 * <dl><dt></dt><dd></dd></dl>
18 ^
19 TrimmingEmptyTag.java:18: warning: empty <dd> tag
20 * <dl><dt></dt><dd></dd></dl>
21 ^
22 TrimmingEmptyTag.java:19: warning: empty <font> tag
23 * <font></font>
24 ^
25 TrimmingEmptyTag.java:20: warning: empty <i> tag
26 * <i></i>
27 ^
28 TrimmingEmptyTag.java:21: warning: empty <ol> tag
29 * <ol></ol>
30 ^
31 TrimmingEmptyTag.java:22: warning: empty <p> tag
32 * <p></p>
33 ^
34 TrimmingEmptyTag.java:23: warning: empty <pre> tag
35 * <pre></pre>
36 ^
37 TrimmingEmptyTag.java:24: warning: empty <span> tag
38 * <span></span>
39 ^
40 TrimmingEmptyTag.java:25: warning: empty <tt> tag
41 * <tt></tt>
42 ^
43 TrimmingEmptyTag.java:26: warning: empty <ul> tag
44 * <ul></ul>
45 ^
46 15 warnings