From 7ac3f76ba1ecc8da7671528185a74fed43ca75e2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 3 Nov 2007 08:54:53 +0000
Subject: [PATCH] lots of new files

---
 .../src/ClassLibrary/BufferedInputStream.java | 13 +++
 .../ClassLibrary/BufferedOutputStream.java    |  3 +
 Robust/src/ClassLibrary/BufferedWriter.java   | 12 +++
 Robust/src/ClassLibrary/Character.java        | 17 ++++
 Robust/src/ClassLibrary/Date.java             |  5 ++
 Robust/src/ClassLibrary/Dictionary.java       |  3 +
 Robust/src/ClassLibrary/Enumeration.java      |  3 +
 Robust/src/ClassLibrary/FileInputStream.java  |  2 +-
 Robust/src/ClassLibrary/InputStream.java      |  6 ++
 Robust/src/ClassLibrary/Socket.java           |  7 ++
 .../src/ClassLibrary/SocketInputStream.java   | 14 ++++
 Robust/src/ClassLibrary/String.java           | 54 ++++++++++++
 Robust/src/ClassLibrary/StringBuffer.java     | 10 ++-
 Robust/src/ClassLibrary/Vector.java           | 83 +++++++++++++++++++
 Robust/src/ClassLibrary/Writer.java           |  9 ++
 15 files changed, 238 insertions(+), 3 deletions(-)
 create mode 100644 Robust/src/ClassLibrary/BufferedInputStream.java
 create mode 100644 Robust/src/ClassLibrary/BufferedOutputStream.java
 create mode 100644 Robust/src/ClassLibrary/BufferedWriter.java
 create mode 100644 Robust/src/ClassLibrary/Character.java
 create mode 100644 Robust/src/ClassLibrary/Date.java
 create mode 100644 Robust/src/ClassLibrary/Dictionary.java
 create mode 100644 Robust/src/ClassLibrary/Enumeration.java
 create mode 100644 Robust/src/ClassLibrary/InputStream.java
 create mode 100644 Robust/src/ClassLibrary/SocketInputStream.java
 create mode 100644 Robust/src/ClassLibrary/Vector.java
 create mode 100644 Robust/src/ClassLibrary/Writer.java

diff --git a/Robust/src/ClassLibrary/BufferedInputStream.java b/Robust/src/ClassLibrary/BufferedInputStream.java
new file mode 100644
index 00000000..4eff370b
--- /dev/null
+++ b/Robust/src/ClassLibrary/BufferedInputStream.java
@@ -0,0 +1,13 @@
+public class BufferedInputStream extends InputStream {
+    InputStream in;
+    public BufferedInputStream(InputStream in) {
+	this.in=in;
+    }
+    public int read() {
+	return in.read();
+    }
+
+    public int read(byte[] b) {
+	return in.read(b);
+    }
+}
diff --git a/Robust/src/ClassLibrary/BufferedOutputStream.java b/Robust/src/ClassLibrary/BufferedOutputStream.java
new file mode 100644
index 00000000..c5e8cc01
--- /dev/null
+++ b/Robust/src/ClassLibrary/BufferedOutputStream.java
@@ -0,0 +1,3 @@
+public class BufferedOutputStream {
+
+}
diff --git a/Robust/src/ClassLibrary/BufferedWriter.java b/Robust/src/ClassLibrary/BufferedWriter.java
new file mode 100644
index 00000000..cdc17c53
--- /dev/null
+++ b/Robust/src/ClassLibrary/BufferedWriter.java
@@ -0,0 +1,12 @@
+public class BufferedWriter extends Writer {
+    Writer out;
+
+    public void write(String s) {
+	out.write(s);
+    }
+
+    public void newLine() {
+	out.write("\n");
+    }
+
+}
diff --git a/Robust/src/ClassLibrary/Character.java b/Robust/src/ClassLibrary/Character.java
new file mode 100644
index 00000000..2175a75f
--- /dev/null
+++ b/Robust/src/ClassLibrary/Character.java
@@ -0,0 +1,17 @@
+public class Character {
+
+    public static int digit(char ch, int radix) {
+	if (ch>='0'&&ch<='9')
+	    return ch-'0';
+	else if (ch>='a'&&ch<='z') {
+	    int val=(ch-'a')+10;
+	    if (val<radix)
+		return val;
+	} else if (ch>='A'&&ch<='Z') {
+	    int val=(ch-'A')+10;
+	    if (val<radix)
+		return val;
+	}
+	return -1;
+    }
+}
diff --git a/Robust/src/ClassLibrary/Date.java b/Robust/src/ClassLibrary/Date.java
new file mode 100644
index 00000000..6072dabd
--- /dev/null
+++ b/Robust/src/ClassLibrary/Date.java
@@ -0,0 +1,5 @@
+public class Date {
+    public Date() {}
+
+    
+}
diff --git a/Robust/src/ClassLibrary/Dictionary.java b/Robust/src/ClassLibrary/Dictionary.java
new file mode 100644
index 00000000..869dffcb
--- /dev/null
+++ b/Robust/src/ClassLibrary/Dictionary.java
@@ -0,0 +1,3 @@
+public class Dictionary {
+
+}
diff --git a/Robust/src/ClassLibrary/Enumeration.java b/Robust/src/ClassLibrary/Enumeration.java
new file mode 100644
index 00000000..861196ea
--- /dev/null
+++ b/Robust/src/ClassLibrary/Enumeration.java
@@ -0,0 +1,3 @@
+public class Enumeration {
+
+}
diff --git a/Robust/src/ClassLibrary/FileInputStream.java b/Robust/src/ClassLibrary/FileInputStream.java
index 3a62d054..11bb6e44 100644
--- a/Robust/src/ClassLibrary/FileInputStream.java
+++ b/Robust/src/ClassLibrary/FileInputStream.java
@@ -1,4 +1,4 @@
-public class FileInputStream {
+public class FileInputStream extends InputStream {
     private int fd;
 
     public FileInputStream(String pathname) {
diff --git a/Robust/src/ClassLibrary/InputStream.java b/Robust/src/ClassLibrary/InputStream.java
new file mode 100644
index 00000000..00248779
--- /dev/null
+++ b/Robust/src/ClassLibrary/InputStream.java
@@ -0,0 +1,6 @@
+public class InputStream {
+    public int read() {
+    }
+    public int read(byte[] b) {
+    }
+}
diff --git a/Robust/src/ClassLibrary/Socket.java b/Robust/src/ClassLibrary/Socket.java
index 72b76f64..aa9d1145 100644
--- a/Robust/src/ClassLibrary/Socket.java
+++ b/Robust/src/ClassLibrary/Socket.java
@@ -3,8 +3,15 @@ public class Socket {
     external flag IOPending;    
     /* File Descriptor */
     int fd;
+    private SocketInputStream sin;
     
     public Socket() {
+	sin=new SocketInputStream(this);
+
+    }
+
+    public InputStream getInputStream() {
+	return sin;
     }
 
     public Socket(String host, int port) {
diff --git a/Robust/src/ClassLibrary/SocketInputStream.java b/Robust/src/ClassLibrary/SocketInputStream.java
new file mode 100644
index 00000000..0539785a
--- /dev/null
+++ b/Robust/src/ClassLibrary/SocketInputStream.java
@@ -0,0 +1,14 @@
+public class SocketInputStream {
+    Socket s;
+    public SocketInputStream(Socket s) {
+	this.s=s;
+    }
+
+    public int read() {
+	byte[] x=new byte[1];
+	int len=s.read(x);
+	if (len==0)
+	    return -1;
+	else return x[1];
+    }
+}
diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 4d4dfc50..d6f23e5f 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -39,7 +39,20 @@ public class String {
 	    value[i]=strbuf.value[i];
     }
 
+    public boolean endsWith(String suffix) {
+	return regionMatches(count - suffix.count, suffix, 0, suffix.count);
+    }
+
+
+    public String substring(int beginIndex) {
+	return substring(beginIndex, this.count);
+    }
+
     public String subString(int beginIndex, int endIndex) {
+	return substring(beginIndex, endIndex);
+    }
+
+    public String substring(int beginIndex, int endIndex) {
 	String str=new String();
 	if (beginIndex>this.count||endIndex>this.count||beginIndex>endIndex) {
 	    // FIXME
@@ -115,10 +128,29 @@ public class String {
 	return -1;
     }
 
+    public int lastIndexOf(String str, int fromIndex) {
+	int k=count-str.count;
+	if (k>fromIndex)
+	    k=fromIndex;
+	for(;k>=0;k--) {
+	    if (regionMatches(fromIndex, str, 0, str.count))
+		return k;
+	}
+	return -1;
+    }
+
+    public int lastIndexOf(String str) {
+	return lastIndexOf(str, count-str.count);
+    }
+    
     public boolean startsWith(String str) {
 	return regionMatches(0, str, 0, str.count);
     }
 
+    public boolean startsWith(String str, int toffset) {
+	return regionMatches(toffset, str, 0, str.count);
+    }
+
     public boolean regionMatches(int toffset, String other, int ooffset, int len) {
 	if (toffset<0 || ooffset <0 || (toffset+len)>count || (ooffset+len)>other.count)
 	    return false;
@@ -162,6 +194,12 @@ public class String {
 	    return o.toString();
     }
 
+    public static String valueOf(char c) {
+	char ar[]=new char[1];
+	ar[0]=c;
+	return new String(ar);
+    }
+
     public static String valueOf(int x) {
 	int length=0;
 	int tmp;
@@ -216,4 +254,20 @@ public class String {
 	}
 	return true;
     }
+
+    public boolean equalsIgnoreCase(String s) {
+	if (s.count!=count)
+	    return false;
+	for(int i=0;i<count;i++) {
+	    char l=s.value[i+s.offset];
+	    char r=value[i+offset];
+	    if (l>='a'&&l<='z')
+		l+='A'-'a';
+	    if (r>='a'&&r<='z')
+		r+='A'-'a';
+	    if (l!=r)
+		return false;
+	}
+	return true;
+    }
 }
diff --git a/Robust/src/ClassLibrary/StringBuffer.java b/Robust/src/ClassLibrary/StringBuffer.java
index 84e771e8..f51c7248 100644
--- a/Robust/src/ClassLibrary/StringBuffer.java
+++ b/Robust/src/ClassLibrary/StringBuffer.java
@@ -27,7 +27,11 @@ public class StringBuffer {
 	return value[x];
     }
 
-    public void append(String s) {
+    public StringBuffer append(char c) {
+	return append(String.valueOf(c));
+    }
+
+    public StringBuffer append(String s) {
 	if ((s.count+count)>value.length) {
 	    // Need to allocate
 	    char newvalue[]=new char[s.count+count+16]; //16 is DEFAULTSIZE
@@ -43,9 +47,10 @@ public class StringBuffer {
 	    }
 	    count+=s.count;
 	}
+	return this;
     }
 
-    public void append(StringBuffer s) {
+    public StringBuffer append(StringBuffer s) {
 	if ((s.count+count)>value.length) {
 	    // Need to allocate
 	    char newvalue[]=new char[s.count+count+16]; //16 is DEFAULTSIZE
@@ -61,6 +66,7 @@ public class StringBuffer {
 	    }
 	    count+=s.count;
 	}
+	return this;
     }
 
     public String toString() {
diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
new file mode 100644
index 00000000..c145d144
--- /dev/null
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -0,0 +1,83 @@
+public class Vector {
+    Object[] array;
+    int size;
+    int capacityIncrement;
+
+    public Vector() {
+	capacityIncrement=0;
+	size=0;
+	array=new Object[10];
+    }
+
+    public void clear() {
+	size=0;
+	array=new Object[10];
+    }
+
+    public int indexOf(Object elem) {
+	return indexOf(elem, 0);
+    }
+
+    public int indexOf(Object elem, int index) {
+	for(int i=index;i<size;i++) {
+	    if (elem.equals(array[i]))
+		return i;
+	}
+	return -1;
+    }
+
+    public Object elementAt(int index) {
+	if (index<0 || index >=size) {
+	    System.printString("Illegal Vector.elementAt");
+	    return null;
+	}
+	return array[index];
+    }
+
+    public void setElementAt(Object obj, int index) {
+	if (index>=0 && index <size)
+	    array[index]=obj;
+	else
+	    System.printString("Illegal setElementAt");
+    }
+
+    private ensureCapacity(int minCapacity) {
+	if (minCapacity>array.length) {
+	    int newsize;
+	    if (capacityIncrement<=0)
+		newsize=array.length*2;
+	    else
+		newsize=array.length+capacityIncrement;
+	    if (newsize<minCapacity)
+		newsize=minCapacity;
+	    Object [] newarray=new Object[minCapacity];
+	    for(int i=0;i<size;i++)
+		newarray[i]=array[i];
+	    array=newarray;
+	}
+    }
+
+    public int size() {
+	return size;
+    }
+
+    public Enumeration elements() {
+	System.printString("Vector.elements not implemented");
+    }
+
+    public void addElement(Object obj) {
+	if (size==array.length) {
+	    ensureCapacity(size+1);
+	}
+	array[size++]=obj;
+    }
+
+    public void removeElementAt(int index) {
+	if (index<0||index>=size)
+	    System.printString("Illegal remove");
+	for(int i=index;i<(size-1);i++) {
+	    array[i]=array[i+1];
+	}
+	size--;
+    }
+}
diff --git a/Robust/src/ClassLibrary/Writer.java b/Robust/src/ClassLibrary/Writer.java
new file mode 100644
index 00000000..2c3000f9
--- /dev/null
+++ b/Robust/src/ClassLibrary/Writer.java
@@ -0,0 +1,9 @@
+public class Writer {
+
+    public void write(String s) {
+    }
+
+    public void write(String s, int off, int len) {
+	write(s.substring(off, off+len));
+    }
+}
-- 
2.34.1