From a36b88f6b4c3d79aeafc133ca1344f072b6d528e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 7 Nov 2007 09:55:12 +0000
Subject: [PATCH] random class library stuff

---
 Robust/src/ClassLibrary/Socket.java | 10 ++++++++--
 Robust/src/ClassLibrary/String.java | 11 +++++++++++
 2 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/Robust/src/ClassLibrary/Socket.java b/Robust/src/ClassLibrary/Socket.java
index c8b796e3..89a77928 100644
--- a/Robust/src/ClassLibrary/Socket.java
+++ b/Robust/src/ClassLibrary/Socket.java
@@ -4,6 +4,7 @@ public class Socket {
     /* File Descriptor */
     int fd;
     private SocketInputStream sin;
+    private SocketOutputStream sout;
     
     public Socket() {
 	sin=new SocketInputStream(this);
@@ -14,7 +15,7 @@ public class Socket {
 	return sin;
     }
 
-    public OutputSream getOutputStream() {
+    public OutputStream getOutputStream() {
 	return sout;
     }
 
@@ -29,6 +30,11 @@ public class Socket {
 	nativeConnect(fd, address.getAddress(), port);
     }
 
+    public void connect(InetAddress address, int port) {
+	fd=nativeBind(address.getAddress(), port);
+	nativeConnect(fd, address.getAddress(), port);
+    }
+
     public static native int nativeBind(byte[] address, int port);
 
     public native int nativeConnect(int fd, byte[] address, int port);
@@ -44,7 +50,7 @@ public class Socket {
 	nativeWrite(b, 0, b.length);
     }
 
-    public void write(byte[] b, int offset, int leng) {
+    public void write(byte[] b, int offset, int len) {
 	nativeWrite(b, offset, len);
     }
 
diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 17452586..99481c09 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -25,6 +25,17 @@ public class String {
 	this.offset=0;
     }
 
+    public String(byte str[], int offset, int length) {
+	if (length>(str.length-offset))
+	    length=str.length-offset;
+	char charstr[]=new char[length];
+	for(int i=0;i<length;i++)
+	    charstr[i]=(char)str[i+offset];
+	this.value=charstr;
+	this.count=str.length;
+	this.offset=0;
+    }
+
     public String(String str) {
 	this.value=str.value;
 	this.count=str.count;
-- 
2.34.1