diff options
Diffstat (limited to 'sources/scala/xml/PrefixedAttribute.scala')
-rw-r--r-- | sources/scala/xml/PrefixedAttribute.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sources/scala/xml/PrefixedAttribute.scala b/sources/scala/xml/PrefixedAttribute.scala index 9ceecc45ff..38fb907a24 100644 --- a/sources/scala/xml/PrefixedAttribute.scala +++ b/sources/scala/xml/PrefixedAttribute.scala @@ -17,6 +17,12 @@ class PrefixedAttribute(val pre: String, val value: String, val next: MetaData) extends MetaData { + // verify that value is a proper attribute value (references, no <) + Utility.checkAttributeValue(value) match { + case null => ; + case msg => throw new MalformedAttributeException(msg); + } + /** Returns a copy of this unprefixed attribute with the given * next field. */ |