X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FString.java;fp=Robust%2Fsrc%2FClassLibrary%2FString.java;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=f1ec9d53c2cc76fd5f17c3cab0a3ae6b8fcc0c30;hpb=b9df1caacff3dbe5959bc12e0e6ba46500fcd3e2;p=IRC.git

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
deleted file mode 100644
index f1ec9d53..00000000
--- a/Robust/src/ClassLibrary/String.java
+++ /dev/null
@@ -1,343 +0,0 @@
-public class String {
-    char value[];
-    int count;
-    int offset;
-    private int cachedHashcode;
-
-    private String() {
-    }
-
-    public String(char str[]) {
-	char charstr[]=new char[str.length];
-	for(int i=0;i<str.length;i++)
-	    charstr[i]=str[i];
-	this.value=charstr;
-	this.count=str.length;
-	this.offset=0;
-    }
-    
-    public String(byte str[]) {
-	char charstr[]=new char[str.length];
-	for(int i=0;i<str.length;i++)
-	    charstr[i]=(char)str[i];
-	this.value=charstr;
-	this.count=str.length;
-	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=length;
-	this.offset=0;
-    }
-
-    public String(String str) {
-	this.value=str.value;
-	this.count=str.count;
-	this.offset=str.offset;
-    }
-
-    public String(StringBuffer strbuf) {
-	value=new char[strbuf.length()];
-	count=strbuf.length();
-	offset=0;
-	for(int i=0;i<count;i++)
-	    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
-	    System.printString("Index error: "+beginIndex+" "+endIndex+" "+count+"\n"+this);
-	}
-	str.value=this.value;
-	str.count=endIndex-beginIndex;
-	str.offset=this.offset+beginIndex;
-	return str;
-    }
-
-    public String subString(int beginIndex) {
-	return this.subString(beginIndex, this.count);
-    }
-
-    public int lastindexOf(int ch) {
-	return this.lastindexOf(ch, count - 1);
-    }
-
-    public static String concat2(String s1, String s2) {
-	if (s1==null)
-	    return "null".concat(s2);
-	else
-	    return s1.concat(s2);
-    }
-
-    public String concat(String str) {
-	String newstr=new String();
-	newstr.count=this.count+str.count;
-	char charstr[]=new char[newstr.count];
-	newstr.value=charstr;
-	newstr.offset=0;
-	for(int i=0;i<count;i++) {
-	    charstr[i]=value[i+offset];
-	}
-	for(int i=0;i<str.count;i++) {
-	    charstr[i+count]=str.value[i+str.offset];
-	}
-	return newstr;
-    }
-
-    public int lastindexOf(int ch, int fromIndex) {
-	for(int i=fromIndex;i>0;i--)
-	    if (this.charAt(i)==ch)
-		return i;
-	return -1;
-    }
-
-    public String replace(char oldch, char newch) {
-	char[] buffer=new char[count];
-	for(int i=0;i<count;i++) {
-	    char x=charAt(i);
-	    if (x==oldch)
-		x=newch;
-	    buffer[i]=x;
-	}
-	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);
-    }
-
-    public int indexOf(int ch, int fromIndex) {
-	for(int i=fromIndex;i<count;i++)
-	    if (this.charAt(i)==ch)
-		return i;
-	return -1;
-    }
-
-    public int indexOf(String str) {
-	return this.indexOf(str, 0);
-    }
-
-    public int indexOf(String str, int fromIndex) {
-	if (fromIndex<0)
-	    fromIndex=0;
-	for(int i=fromIndex;i<=(count-str.count);i++)
-	    if (regionMatches(i, str, 0, str.count))
-		return i;
-	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(k, 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;
-	for(int i=0;i<len;i++)
-	    if (other.value[i+other.offset+ooffset]!=
-		this.value[i+this.offset+toffset])
-		return false;
-	return true;
-    }
-
-    public char[] toCharArray() {
-	char str[]=new char[count];
-	for(int i=0;i<count;i++)
-	    str[i]=value[i+offset];
-	return str;
-    }
-
-    public byte[] getBytes() {
-	byte str[]=new byte[count];
-	for(int i=0;i<count;i++)
-	    str[i]=(byte)value[i+offset];
-	return str;
-    }
-
-    public int length() {
-	return count;
-    }
-
-    public char charAt(int i) {
-	return value[i+offset];
-    }
-
-    public String toString() {
-	return this;
-    }
-
-    public static String valueOf(Object o) {
-	if (o==null)
-	    return "null";
-	else
-	    return o.toString();
-    }
-
-    public static String valueOf(boolean b) {
-	if (b)
-	    return new String("true");
-	else
-	    return new String("false");
-    }
-
-    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;
-	if (x<0)
-	    tmp=-x;
-	else
-	    tmp=x;
-	do {
-	    tmp=tmp/10;
-	    length=length+1;
-	} while(tmp!=0);
-	
-	char chararray[];
-	if (x<0)
-	    chararray=new char[length+1];
-	else
-	    chararray=new char[length];
-	int voffset;
-	if (x<0) {
-	    chararray[0]='-';
-	    voffset=1;
-	    x=-x;
-	} else
-	    voffset=0;
-       	
-	do {
-	    chararray[--length+voffset]=(char)(x%10+'0');
-	    x=x/10;
-	} while (length!=0);
-	return new String(chararray);
-    }
-
-    public static String valueOf(long x) {
-	int length=0;
-	long tmp;
-	if (x<0)
-	    tmp=-x;
-	else
-	    tmp=x;
-	do {
-	    tmp=tmp/10;
-	    length=length+1;
-	} while(tmp!=0);
-	
-	char chararray[];
-	if (x<0)
-	    chararray=new char[length+1];
-	else
-	    chararray=new char[length];
-	int voffset;
-	if (x<0) {
-	    chararray[0]='-';
-	    voffset=1;
-	    x=-x;
-	} else
-	    voffset=0;
-       	
-	do {
-	    chararray[--length+voffset]=(char)(x%10+'0');
-	    x=x/10;
-	} while (length!=0);
-	return new String(chararray);
-    }
-
-    public int hashCode() {
-	if (cachedHashcode!=0)
-	    return cachedHashcode;
-	int hashcode=0;
-	for(int i=0;i<count;i++)
-	    hashcode=hashcode*31+value[i+offset];
-	cachedHashcode=hashcode;
-	return hashcode;
-    }
-
-    public boolean equals(Object o) {
-	if (o.getType()!=getType())
-	    return false;
-	String s=(String)o;
-	if (s.count!=count)
-	    return false;
-	for(int i=0;i<count;i++) {
-	    if (s.value[i+s.offset]!=value[i+offset])
-		return false;
-	}
-	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=(char)((l-'a')+'A');
-	    if (r>='a'&&r<='z')
-		r=(char)((r-'a')+'A');
-	    if (l!=r)
-		return false;
-	}
-	return true;
-    }
-}