more IO stuff

diff --git a/Robust/src/ClassLibrary/BufferedOutputStream.java b/Robust/src/ClassLibrary/BufferedOutputStream.java
index c5e8cc0185e3edfa41a7c8561398ef3485ce834c..f6adbd097dc8d45af90889ead3979f630b44695e 100644 (file)
--- 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 cdc17c537f0cce541d02dec50059d95c1333c3ef..f9b0049afc55733255d2c9b0263fc03ac49d5492 100644 (file)
--- 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 002487794d9d59e209fda720fdddc9138e56374b..136729f9a682802a8a421c35b909b02960dc41ea 100644 (file)
--- 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 (file)
index 0000000..d1318bb
--- /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 00cf7a0fae2e7535f85586c7da2db8a17b81ccb3..4048cc024f7a5242423a6de18ba04c0934dafc7c 100644 (file)
--- 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 2c3000f914ef715e4de727082facf3dd854c88d4..c245a141c429a8b71ba9225df8f67f4248740d50 100644 (file)
--- 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 3b252b96ee1f45e22105938b84110e0233b604c3..cb377a9308e6fdd63a7f7edc972ba35028e4a267 100644 (file)
--- 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");