diff options
author | buraq <buraq@epfl.ch> | 2005-05-06 00:16:38 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2005-05-06 00:16:38 +0000 |
commit | ea57a524befd666bc76879c7440aff94f32a04c5 (patch) | |
tree | 18d7b4c51f231cc84280c77fa3fa547904732758 | |
parent | 2e5c8d22e443c80490667a62c943aa51b0e34de4 (diff) | |
download | scala-ea57a524befd666bc76879c7440aff94f32a04c5.tar.gz scala-ea57a524befd666bc76879c7440aff94f32a04c5.tar.bz2 scala-ea57a524befd666bc76879c7440aff94f32a04c5.zip |
can ignore external parsed entities if non vali...
can ignore external parsed entities if non validating
-rw-r--r-- | sources/scala/xml/parsing/MarkupHandler.scala | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/sources/scala/xml/parsing/MarkupHandler.scala b/sources/scala/xml/parsing/MarkupHandler.scala index b1089a0a3b..0e84c3d529 100644 --- a/sources/scala/xml/parsing/MarkupHandler.scala +++ b/sources/scala/xml/parsing/MarkupHandler.scala @@ -54,8 +54,12 @@ abstract class MarkupHandler { def parameterEntityDecl(name: String, edef: EntityDef): Unit = decls = ParameterEntityDecl(name, edef) :: decls; - def parsedEntityDecl(name: String, edef: EntityDef): Unit = - decls = ParsedEntityDecl(name, edef) :: decls; + def parsedEntityDecl(name: String, edef: EntityDef): Unit = edef.match { + case _:ExtDef if isValidating => + ; // ignore (cf 4.4.1) + case _ => + decls = ParsedEntityDecl(name, edef) :: decls; + } def unparsedEntityDecl(name: String, extID: ExternalID, notat: String): Unit = {} |