diff options
Diffstat (limited to 'test/files/jvm/xmlstuff.scala')
-rw-r--r-- | test/files/jvm/xmlstuff.scala | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/test/files/jvm/xmlstuff.scala b/test/files/jvm/xmlstuff.scala new file mode 100644 index 0000000000..28f753ce90 --- /dev/null +++ b/test/files/jvm/xmlstuff.scala @@ -0,0 +1,50 @@ +import java.io.StringReader; +import org.xml.sax.InputSource; +import scala.xml.nobinding.XML; +import scala.testing.UnitTest.assertEquals ; +import scala.xml.NodeList; + +object Test with Application { + val xmlFile1 = "<hello><world/></hello>"; + val isrc1 = new InputSource( new StringReader( xmlFile1 ) ); + val parsedxml1 = XML.load( isrc1 ); + + val xmlFile2 = "<bib><book><author>Peter Buneman</author><author>Dan Suciu</author><title>Data on ze web</title></book><book><author>John Mitchell</author><title>Foundations of Programming Languages</title></book></bib>"; + val isrc2 = new InputSource( new StringReader( xmlFile2 ) ); + val parsedxml2 = XML.load( isrc2 ); + + // xmlFile2/book -> book,book + + Console.println( parsedxml1/'world ); /* List('world()) */ + Console.println( parsedxml1/'_ ); /* List('world()) */ + + Console.println( "\nparsedxml2/'_"); /* List(book,book) */ + Console.println( parsedxml2/'_); /* List(book,book) */ + + Console.println( "\nparsedxml2/'author"); /* List() */ + Console.println( parsedxml2/'author); /* List() */ + + Console.println( "\nparsedxml2/'book:"); + Console.println( parsedxml2/'book); /* List(book,book) */ + + Console.println( "\nparsedxml2/'_/'_"); + Console.println( parsedxml2/'_/'_ ); + Console.println( "\nparsedxml2/'_/'author"); + Console.println( parsedxml2/'_/'author ); + Console.println( "\nparsedxml2/'_/'_/'author"); + Console.println( parsedxml2/'_/'_/'author ); + /* List('author(Text("Peter Buneman")), + 'author(Text("Dan Suciu")), + 'author(Text("John Mitchell")))); */ + + Console.println( "\nparsedxml2/#'author"); + Console.println( parsedxml2/#'author ); + + Console.println( "\nnew NodeList(List(parsedxml2))/#'_"); + Console.println( new NodeList( List( parsedxml2 ))/#'_ ); + + Console.println( "\nnew NodeList(List(parsedxml2))/#'title"); + Console.println( new NodeList( List( parsedxml2 ))/#'title ); + + +} |