add Stream.append(String)
authoradam <adam@megacz.com>
Sat, 17 Mar 2007 08:50:47 +0000 (08:50 +0000)
committeradam <adam@megacz.com>
Sat, 17 Mar 2007 08:50:47 +0000 (08:50 +0000)
darcs-hash:20070317085047-5007d-b4255f750759086309e26720703afeae88b7edcf.gz

src/org/ibex/io/Stream.java

index 8bfa8bc..f18d2ba 100644 (file)
@@ -19,6 +19,7 @@ public class Stream {
     private         String newLine = "\r\n";
     private   Stream in_next = null;
 
     private         String newLine = "\r\n";
     private   Stream in_next = null;
 
+    public Stream append(String in_next) { return appendStream(new Stream(in_next)); }
     public Stream appendStream(Stream in_next) {
         if (this.in_next != null) return this.in_next.appendStream(in_next);
         this.in_next = in_next;
     public Stream appendStream(Stream in_next) {
         if (this.in_next != null) return this.in_next.appendStream(in_next);
         this.in_next = in_next;