diff options
| author | buraq <buraq@epfl.ch> | 2005-06-20 17:40:16 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2005-06-20 17:40:16 +0000 |
| commit | 1cb144f5e8599a907d046bcb8a407fd581a77c3e (patch) | |
| tree | 2146390c00ff3211a16e355541351cf00a27ceed | |
| parent | bc84a838e59aa244dd982fa1bb6e2b79da85f569 (diff) | |
| download | scala-1cb144f5e8599a907d046bcb8a407fd581a77c3e.tar.gz scala-1cb144f5e8599a907d046bcb8a407fd581a77c3e.tar.bz2 scala-1cb144f5e8599a907d046bcb8a407fd581a77c3e.zip | |
cleanup, minor
| -rw-r--r-- | sources/scala/xml/dtd/ElementValidator.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/xml/dtd/ElementValidator.scala b/sources/scala/xml/dtd/ElementValidator.scala index 483b132a86..e625595182 100644 --- a/sources/scala/xml/dtd/ElementValidator.scala +++ b/sources/scala/xml/dtd/ElementValidator.scala @@ -34,7 +34,7 @@ class ElementValidator() extends Function1[Node,Boolean] { . filter { x => x match { case y:SpecialNode => y match { - case a:Atom[String] if a.data match { case t => t.trim().length == 0 } => + case a:Atom[String] if (a.data match { case t => t.trim().length == 0 }) => false; // always skip all-whitespace nodes case _ => @@ -140,7 +140,7 @@ class ElementValidator() extends Function1[Node,Boolean] { //Console.println("it empty from the start? "+(!it.hasNext)); while( it.hasNext ) { val e = it.next; - dfa.delta(q).get(e).match { + dfa.delta(q).get(e) match { case Some(p) => q = p; case _ => throw ValidationException("element "+e+" not allowed here") } |