1 files changed, 55 insertions, 0 deletions
diff --git a/src/library/scala/xml/TextBuffer.scala b/src/library/scala/xml/TextBuffer.scala
new file mode 100644
index 0000000000..448fd861d5
--- /dev/null
+++ b/src/library/scala/xml/TextBuffer.scala
@@ -0,0 +1,55 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2003-2004, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+** $Id$
+\*                                                                      */
+package scala.xml ;
+
+object TextBuffer {
+  def fromString(str: String): TextBuffer = {
+    new TextBuffer().append( str );
+  }
+}
+
+/** this classes is for creating text nodes without surplus whitespace.
+ *  all occurrences of one or more whitespace in strings appended with the
+ *  append method will be replaced by a single space character, and
+ *  leading and trailing space will be removed completely.
+ */
+class TextBuffer {
+
+  val sb = new StringBuffer();
+  var ws = true;
+
+  def appendSpace        = if( !ws ) { ws = true;  sb.append(' ');} else {};
+  def appendChar(c:char) =           { ws = false; sb.append( c );}
+
+  /** appends this string to the text buffer, trimming whitespaces as needed */
+  def append(  cs:Seq[Char] ):TextBuffer = {
+    for( val c <- cs ) {
+      if( Utility.isSpace( c ) )
+        appendSpace;
+      else
+        appendChar( c )
+    }
+    this
+  }
+
+  /** returns an empty sequence if text is only whitespace */
+  def toText:Seq[Text] = {
+    var len = sb.length(); /* invariant */
+    if( len == 0 ) return Nil;
+
+    if( Utility.isSpace( sb.charAt( len - 1 ) )) {
+      len = len - 1;
+      sb.setLength( len )
+    }
+    if( len == 0 ) return Nil;
+
+    List( Text( sb.toString() ) );
+  }
+
+}