1.1 --- a/src/share/classes/com/sun/tools/doclint/Checker.java Sat Jun 01 22:09:18 2013 +0100
1.2 +++ b/src/share/classes/com/sun/tools/doclint/Checker.java Mon Jun 03 16:22:27 2013 -0700
1.3 @@ -531,6 +531,17 @@
1.4 }
1.5 }
1.6 break;
1.7 +
1.8 + case VALUE:
1.9 + if (currTag == HtmlTag.LI) {
1.10 + String v = getAttrValue(tree);
1.11 + if (v == null || v.isEmpty()) {
1.12 + env.messages.error(HTML, tree, "dc.attr.lacks.value");
1.13 + } else if (!validNumber.matcher(v).matches()) {
1.14 + env.messages.error(HTML, tree, "dc.attr.not.number");
1.15 + }
1.16 + }
1.17 + break;
1.18 }
1.19 }
1.20 }
1.21 @@ -543,6 +554,8 @@
1.22 // http://www.w3.org/TR/html401/types.html#type-name
1.23 private static final Pattern validName = Pattern.compile("[A-Za-z][A-Za-z0-9-_:.]*");
1.24
1.25 + private static final Pattern validNumber = Pattern.compile("-?[0-9]+");
1.26 +
1.27 // pattern to remove leading {@docRoot}/?
1.28 private static final Pattern docRoot = Pattern.compile("(?i)(\\{@docRoot *\\}/?)?(.*)");
1.29
