1 files changed, 39 insertions, 0 deletions

diff --git a/src/xml/scala/xml/ProcInstr.scala b/src/xml/scala/xml/ProcInstr.scala
new file mode 100644
index 0000000000..189c1c6878
--- /dev/null
+++ b/src/xml/scala/xml/ProcInstr.scala
@@ -0,0 +1,39 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2003-2013, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+
+package scala
+package xml
+
+/** an XML node for processing instructions (PI)
+ *
+ * @author Burak Emir
+ * @param  target     target name of this PI
+ * @param  proctext   text contained in this node, may not contain "?>"
+ */
+case class ProcInstr(target: String, proctext: String) extends SpecialNode
+{
+  if (!Utility.isName(target))
+    throw new IllegalArgumentException(target+" must be an XML Name")
+  if (proctext contains "?>")
+    throw new IllegalArgumentException(proctext+" may not contain \"?>\"")
+  if (target.toLowerCase == "xml")
+    throw new IllegalArgumentException(target+" is reserved")
+
+  final override def doCollectNamespaces = false
+  final override def doTransform         = false
+
+  final def label   = "#PI"
+  override def text = ""
+
+  /** appends "<?" target (" "+text)?+"?>"
+   *  to this stringbuffer.
+   */
+  override def buildString(sb: StringBuilder) =
+    sb append "<?%s%s?>".format(target, (if (proctext == "") "" else " " + proctext))
+}