diff options
author | michelou <michelou@epfl.ch> | 2009-01-06 15:46:05 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2009-01-06 15:46:05 +0000 |
commit | 70347b78966f5867137c89f4aad5d996dbc774df (patch) | |
tree | 4ba52bc952c9c2bb7cccad2f99cdda5fd7b9c34c /test/files | |
parent | ba0935e8ac66bcb61e73e572299ddcc03d7fcab6 (diff) | |
download | scala-70347b78966f5867137c89f4aad5d996dbc774df.tar.gz scala-70347b78966f5867137c89f4aad5d996dbc774df.tar.bz2 scala-70347b78966f5867137c89f4aad5d996dbc774df.zip |
fixed ticket #1620
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/run/t1620.check | 6 | ||||
-rw-r--r-- | test/files/run/t1620.scala | 16 |
2 files changed, 22 insertions, 0 deletions
diff --git a/test/files/run/t1620.check b/test/files/run/t1620.check new file mode 100644 index 0000000000..979efc8227 --- /dev/null +++ b/test/files/run/t1620.check @@ -0,0 +1,6 @@ +<?xml version='1.0' encoding='utf-8'?> +<!DOCTYPE foo PUBLIC "-//Foo Corp//DTD 1.0//EN" "foo.dtd"> +<foo></foo> +<?xml version='1.0' encoding='utf-8'?> +<!DOCTYPE foo PUBLIC "-//Foo Corp//DTD 1.0//EN"> +<foo></foo> diff --git a/test/files/run/t1620.scala b/test/files/run/t1620.scala new file mode 100644 index 0000000000..ff25955eb7 --- /dev/null +++ b/test/files/run/t1620.scala @@ -0,0 +1,16 @@ +import java.io.PrintWriter +import scala.xml.XML +import scala.xml.dtd.{DocType, PublicID} + +object Test extends Application { + val dt = DocType("foo", PublicID("-//Foo Corp//DTD 1.0//EN", "foo.dtd"), Seq()) + val pw = new PrintWriter(System.out) + XML.write(pw, <foo/>, "utf-8", true, dt) + pw.println() + pw.flush() + + val dt2 = DocType("foo", PublicID("-//Foo Corp//DTD 1.0//EN", null), Seq()) + XML.write(pw, <foo/>, "utf-8", true, dt2) + pw.println() + pw.flush() +} |