diff options
author | buraq <buraq@epfl.ch> | 2005-01-24 16:31:46 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2005-01-24 16:31:46 +0000 |
commit | da9f329d8423214b004e023cdccd3eca75c48f8a (patch) | |
tree | f36343c0f4c061141dd313858d2e59fd4f9148af /sources | |
parent | 5d450c49991f26face1f10bf413eace847bb9b2f (diff) | |
download | scala-da9f329d8423214b004e023cdccd3eca75c48f8a.tar.gz scala-da9f329d8423214b004e023cdccd3eca75c48f8a.tar.bz2 scala-da9f329d8423214b004e023cdccd3eca75c48f8a.zip |
parsing should create anyrefs, nothing else
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/xml/NodeTraverser.scala | 2 | ||||
-rw-r--r-- | sources/scala/xml/parsing/MarkupHandler.scala | 2 | ||||
-rw-r--r-- | sources/scala/xml/parsing/MarkupParser.scala | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sources/scala/xml/NodeTraverser.scala b/sources/scala/xml/NodeTraverser.scala index 2772d4786c..ff60ac865e 100644 --- a/sources/scala/xml/NodeTraverser.scala +++ b/sources/scala/xml/NodeTraverser.scala @@ -11,7 +11,7 @@ package scala.xml ; import scala.collection.mutable ; -class NodeTraverser[A](handle: parsing.MarkupHandler[A]) { +class NodeTraverser[A <: AnyRef](handle: parsing.MarkupHandler[A]) { def traverse(n: Node): Iterable[A] = n match { case Text(t) => handle.text(0,t); diff --git a/sources/scala/xml/parsing/MarkupHandler.scala b/sources/scala/xml/parsing/MarkupHandler.scala index 53af6eaaf2..7bea74e5fe 100644 --- a/sources/scala/xml/parsing/MarkupHandler.scala +++ b/sources/scala/xml/parsing/MarkupHandler.scala @@ -5,7 +5,7 @@ import scala.collection.mutable ; import scala.collection.Map ; /** class that handles markup - provides callback methods to MarkupParser */ -abstract class MarkupHandler[A] { +abstract class MarkupHandler[A <: AnyRef] { /** a stack of prefix namespace mappings */ protected val prefixStack = diff --git a/sources/scala/xml/parsing/MarkupParser.scala b/sources/scala/xml/parsing/MarkupParser.scala index ffc7f6b303..224bee2802 100644 --- a/sources/scala/xml/parsing/MarkupParser.scala +++ b/sources/scala/xml/parsing/MarkupParser.scala @@ -17,7 +17,7 @@ import scala.collection.immutable.ListMap; * and returns whatever the markup handler returns. Use ConstructingParser * if you just want to parse XML to construct instances of scala.xml.Node. */ -abstract class MarkupParser[MarkupType] { +abstract class MarkupParser[MarkupType <: AnyRef] { /** the handler of the markup */ val handle: MarkupHandler[MarkupType]; |