diff options
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() +} |