diff options
author | Burak Emir <emir@epfl.ch> | 2008-04-12 01:58:00 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2008-04-12 01:58:00 +0000 |
commit | 890a7c509552fe97f8df00833c3d57d556ca6337 (patch) | |
tree | 4e54d09beaa0be87dafe736e9c2bee2efbc29357 /test/files/jvm/xmlpull.scala | |
parent | 3f2bba7a055b5a1c9ba9aa217f82f0749f5640e5 (diff) | |
download | scala-890a7c509552fe97f8df00833c3d57d556ca6337.tar.gz scala-890a7c509552fe97f8df00833c3d57d556ca6337.tar.bz2 scala-890a7c509552fe97f8df00833c3d57d556ca6337.zip |
made xml.pull functional
Diffstat (limited to 'test/files/jvm/xmlpull.scala')
-rw-r--r-- | test/files/jvm/xmlpull.scala | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/files/jvm/xmlpull.scala b/test/files/jvm/xmlpull.scala new file mode 100644 index 0000000000..1f0e6a8497 --- /dev/null +++ b/test/files/jvm/xmlpull.scala @@ -0,0 +1,31 @@ +import scala.xml._ +import scala.xml.pull._ +import scala.io.Source + +object Test { + + val src = Source.fromString("<hello><world/>!</hello>") + + def main(args: Array[String]) { + var er = new XMLEventReader().initialize(src) + er.next match { + case EvElemStart(_, "hello", _, _) => //println("1") + } + er.next match { + case EvElemStart(_, "world", _, _) => //println("2") + } + er.next match { + case EvElemEnd(_, "world") => //println("3") + } + er.next match { + case EvText("!") => //println("4") + } + er.next match { + case EvElemEnd(_, "hello") => //println("5") + } + // you get the picture... + er.stop // allow thread to be garbage-collected + //println("6") + } +} + |