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