diff options
| author | paltherr <paltherr@epfl.ch> | 2005-05-20 08:39:31 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2005-05-20 08:39:31 +0000 |
| commit | 28a0f4147f4968bf7451636268d227b773d80d41 (patch) | |
| tree | d7a004a66ad20a2a5466bbbe8d2b06c854706665 | |
| parent | b232d5005ce9ab8f4bfc71b41cb7c79337bd8ef5 (diff) | |
| download | scala-28a0f4147f4968bf7451636268d227b773d80d41.tar.gz scala-28a0f4147f4968bf7451636268d227b773d80d41.tar.bz2 scala-28a0f4147f4968bf7451636268d227b773d80d41.zip | |
- Changed ".match" into "match"
| -rw-r--r-- | sources/scala/xml/dtd/DTD.scala | 2 | ||||
| -rw-r--r-- | sources/scala/xml/parsing/MarkupHandler.scala | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sources/scala/xml/dtd/DTD.scala b/sources/scala/xml/dtd/DTD.scala index 73a372cd3f..2b13209c39 100644 --- a/sources/scala/xml/dtd/DTD.scala +++ b/sources/scala/xml/dtd/DTD.scala @@ -47,7 +47,7 @@ abstract class DTD { } def replacementText( entityName: String ): Source = { - ent.get(entityName).match { + ent.get(entityName) match { case Some(ParsedEntityDecl(_, IntDef(value))) => Source.fromString(value); case Some(_) => diff --git a/sources/scala/xml/parsing/MarkupHandler.scala b/sources/scala/xml/parsing/MarkupHandler.scala index 46995f357a..21c8223274 100644 --- a/sources/scala/xml/parsing/MarkupHandler.scala +++ b/sources/scala/xml/parsing/MarkupHandler.scala @@ -51,14 +51,14 @@ abstract class MarkupHandler { def attListDecl(name: String, attList: List[AttrDecl]): Unit = {} - def parameterEntityDecl(name: String, edef: EntityDef): Unit = edef.match { + def parameterEntityDecl(name: String, edef: EntityDef): Unit = edef match { case _:ExtDef if !isValidating => ; // ignore (cf REC-xml 4.4.1) case _ => decls = ParameterEntityDecl(name, edef) :: decls; } - def parsedEntityDecl(name: String, edef: EntityDef): Unit = edef.match { + def parsedEntityDecl(name: String, edef: EntityDef): Unit = edef match { case _:ExtDef if !isValidating => ; // ignore (cf REC-xml 4.8 and 4.4.1) case _ => |