summaryrefslogtreecommitdiff
path: root/sources
diff options
context:
space:
mode:
authorburaq <buraq@epfl.ch>2005-01-24 16:31:46 +0000
committerburaq <buraq@epfl.ch>2005-01-24 16:31:46 +0000
commitda9f329d8423214b004e023cdccd3eca75c48f8a (patch)
treef36343c0f4c061141dd313858d2e59fd4f9148af /sources
parent5d450c49991f26face1f10bf413eace847bb9b2f (diff)
downloadscala-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.scala2
-rw-r--r--sources/scala/xml/parsing/MarkupHandler.scala2
-rw-r--r--sources/scala/xml/parsing/MarkupParser.scala2
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];