diff options
Diffstat (limited to 'sources/scala/xml/dtd/Decl.scala')
-rw-r--r-- | sources/scala/xml/dtd/Decl.scala | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/sources/scala/xml/dtd/Decl.scala b/sources/scala/xml/dtd/Decl.scala index 48e5aae819..a409c8805c 100644 --- a/sources/scala/xml/dtd/Decl.scala +++ b/sources/scala/xml/dtd/Decl.scala @@ -11,7 +11,16 @@ case class ElemDecl( name:String , attribs:Map[String,AttrDecl] ) extends MarkupDecl { - //final val parsedContentModel = RegExp.parse( contentModel ); + final val parsedContentModel:RegExp = { + try { + RegExp.parse( contentModel ); + } catch { + case _:Error => + Console.println( "error parsing declaration of " + name ); + Console.println( "content model was:\n" + contentModel ); + null + } + } def containsText = contentModel.indexOf("#PCDATA") != -1 ; }; |