diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-12-19 13:21:09 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-12-19 13:21:09 +0000 |
| commit | 422a46993cdb74ccf3650e0b171f65c6c12bdedf (patch) | |
| tree | fcd3449613e8c47a8196212004fc60fa3153cb9d /src/library | |
| parent | 7d3efa0e191d805d171961b26baab773669b2b69 (diff) | |
| download | scala-422a46993cdb74ccf3650e0b171f65c6c12bdedf.tar.gz scala-422a46993cdb74ccf3650e0b171f65c6c12bdedf.tar.bz2 scala-422a46993cdb74ccf3650e0b171f65c6c12bdedf.zip | |
-target 1.5 now the default.
Diffstat (limited to 'src/library')
| -rw-r--r-- | src/library/scala/xml/include/sax/XIncludeFilter.scala | 4 | ||||
| -rw-r--r-- | src/library/scala/xml/include/sax/XIncluder.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/xml/include/sax/XIncludeFilter.scala b/src/library/scala/xml/include/sax/XIncludeFilter.scala index 7a0bcfe1fc..19dc5ecead 100644 --- a/src/library/scala/xml/include/sax/XIncludeFilter.scala +++ b/src/library/scala/xml/include/sax/XIncludeFilter.scala @@ -96,8 +96,8 @@ class XIncludeFilter extends XMLFilterImpl { final val XINCLUDE_NAMESPACE = "http://www.w3.org/2001/XInclude"; - private val bases = new Stack(); - private val locators = new Stack(); + private val bases = new Stack[URL](); + private val locators = new Stack[Locator](); /* private EntityResolver resolver; diff --git a/src/library/scala/xml/include/sax/XIncluder.scala b/src/library/scala/xml/include/sax/XIncluder.scala index 79c1807fb9..bac9c9d82e 100644 --- a/src/library/scala/xml/include/sax/XIncluder.scala +++ b/src/library/scala/xml/include/sax/XIncluder.scala @@ -146,7 +146,7 @@ with ContentHandler with LexicalHandler { // LexicalHandler methods private var inDTD: Boolean = false - private val entities: Stack = new Stack() + private val entities = new Stack[String]() def startDTD(name: String, publicID: String, systemID: String) { inDTD = true |