540 return super.visitAttribute(tree, ignore); |
551 return super.visitAttribute(tree, ignore); |
541 } |
552 } |
542 |
553 |
543 // http://www.w3.org/TR/html401/types.html#type-name |
554 // http://www.w3.org/TR/html401/types.html#type-name |
544 private static final Pattern validName = Pattern.compile("[A-Za-z][A-Za-z0-9-_:.]*"); |
555 private static final Pattern validName = Pattern.compile("[A-Za-z][A-Za-z0-9-_:.]*"); |
|
556 |
|
557 private static final Pattern validNumber = Pattern.compile("-?[0-9]+"); |
545 |
558 |
546 // pattern to remove leading {@docRoot}/? |
559 // pattern to remove leading {@docRoot}/? |
547 private static final Pattern docRoot = Pattern.compile("(?i)(\\{@docRoot *\\}/?)?(.*)"); |
560 private static final Pattern docRoot = Pattern.compile("(?i)(\\{@docRoot *\\}/?)?(.*)"); |
548 |
561 |
549 private String getAttrValue(AttributeTree tree) { |
562 private String getAttrValue(AttributeTree tree) { |