diff options
Diffstat (limited to 'sources/scala/xml/parsing/ValidatingMarkupHandler.scala')
| -rw-r--r-- | sources/scala/xml/parsing/ValidatingMarkupHandler.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/xml/parsing/ValidatingMarkupHandler.scala b/sources/scala/xml/parsing/ValidatingMarkupHandler.scala index c81b2b8f3e..4ae195511c 100644 --- a/sources/scala/xml/parsing/ValidatingMarkupHandler.scala +++ b/sources/scala/xml/parsing/ValidatingMarkupHandler.scala @@ -37,7 +37,7 @@ abstract class ValidatingMarkupHandler extends MarkupHandler with Logged { val trans = dm.dfa.delta(qCurrent); log("advanceDFA(dm): "+dm); log("advanceDFA(trans): "+trans); - trans.get(ContentModel.ElemName(label)).match { + trans.get(ContentModel.ElemName(label)) match { case Some(qNew) => qCurrent = qNew case _ => reportValidationError(pos, "DTD says, wrong element, expected one of "+trans.keys.toString); } @@ -51,7 +51,7 @@ abstract class ValidatingMarkupHandler extends MarkupHandler with Logged { reportValidationError(pos, "this element should be "+rootLabel); } else { log(" checking node"); - declCurrent.contentModel.match { + declCurrent.contentModel match { case ANY => case EMPTY => |