From: bdemsky <bdemsky>
Date: Sat, 3 Nov 2007 18:52:16 +0000 (+0000)
Subject: more IO stuff
X-Git-Tag: preEdgeChange~396
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=84c2ae2f0267fc36157deb47082e415b1a4c6fb4;p=IRC.git

more IO stuff
---

diff --git a/Robust/src/ClassLibrary/BufferedOutputStream.java b/Robust/src/ClassLibrary/BufferedOutputStream.java
index c5e8cc01..f6adbd09 100644
--- a/Robust/src/ClassLibrary/BufferedOutputStream.java
+++ b/Robust/src/ClassLibrary/BufferedOutputStream.java
@@ -1,3 +1,6 @@
-public class BufferedOutputStream {
+public class BufferedOutputStream extends OutputStream {
+    OutputStream o;
+
+    
 
 }
diff --git a/Robust/src/ClassLibrary/BufferedWriter.java b/Robust/src/ClassLibrary/BufferedWriter.java
index cdc17c53..f9b0049a 100644
--- a/Robust/src/ClassLibrary/BufferedWriter.java
+++ b/Robust/src/ClassLibrary/BufferedWriter.java
@@ -9,4 +9,8 @@ public class BufferedWriter extends Writer {
 	out.write("\n");
     }
 
+    public void flush() {
+	out.flush();
+    }
+
 }
diff --git a/Robust/src/ClassLibrary/InputStream.java b/Robust/src/ClassLibrary/InputStream.java
index 00248779..136729f9 100644
--- a/Robust/src/ClassLibrary/InputStream.java
+++ b/Robust/src/ClassLibrary/InputStream.java
@@ -3,4 +3,7 @@ public class InputStream {
     }
     public int read(byte[] b) {
     }
+
+    public void close() {
+    }
 }
diff --git a/Robust/src/ClassLibrary/OutputStream.java b/Robust/src/ClassLibrary/OutputStream.java
new file mode 100644
index 00000000..d1318bb0
--- /dev/null
+++ b/Robust/src/ClassLibrary/OutputStream.java
@@ -0,0 +1,10 @@
+public class OutputStream {
+    public OutputStream() {
+    }
+
+    public void write(int ch) {
+    }
+
+    public void write(byte[] b) {
+    }
+}
diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 00cf7a0f..4048cc02 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -111,6 +111,18 @@ public class String {
 	return new String(buffer);
     }
 
+    public String toUpperCase() {
+	char[] buffer=new char[count];
+	for(int i=0;i<count;i++) {
+	    char x=charAt(i);
+	    if (x>='a'&&x<='z') {
+		x=(char) ((x-'a')+'A');
+	    }
+	    buffer[i]=x;
+	}
+	return new String(buffer);
+    }
+
     public int indexOf(int ch) {
 	return this.indexOf(ch, 0);
     }
diff --git a/Robust/src/ClassLibrary/Writer.java b/Robust/src/ClassLibrary/Writer.java
index 2c3000f9..c245a141 100644
--- a/Robust/src/ClassLibrary/Writer.java
+++ b/Robust/src/ClassLibrary/Writer.java
@@ -6,4 +6,7 @@ public class Writer {
     public void write(String s, int off, int len) {
 	write(s.substring(off, off+len));
     }
+
+    public void flush() {
+    }
 }
diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 3b252b96..cb377a93 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -92,6 +92,7 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"StringBuffer.java");
       readSourceFile(state, ClassLibraryPrefix+"FileInputStream.java");
       readSourceFile(state, ClassLibraryPrefix+"InputStream.java");
+      readSourceFile(state, ClassLibraryPrefix+"OutputStream.java");
       readSourceFile(state, ClassLibraryPrefix+"FileOutputStream.java");
       readSourceFile(state, ClassLibraryPrefix+"File.java");
       readSourceFile(state, ClassLibraryPrefix+"InetAddress.java");