Extra string class functionality & bug fix

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index af399d99b91c727aa03528432ff0761a7d3d0ee3..5b2075b8f0e7b9d0c150d909359798e9f503e5b1 100644 (file)
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -5,6 +5,27 @@ public class String {
        this.string=string;
     }
 
+    public String(byte str[]) {
+       char charstr[]=new char[str.length];
+       for(int i=0;i<str.length;i++)
+           charstr[i]=(char)charstr[i];
+       this.string=charstr;
+    }
+
+    char[] getCharArray() {
+       char str[]=new char[string.length];
+       for(int i=0;i<string.length;i++)
+           str[i]=string[i];
+       return str;
+    }
+
+    byte[] getByteArray() {
+       byte str[]=new byte[string.length];
+       for(int i=0;i<string.length;i++)
+           str[i]=(byte)string[i];
+       return str;
+    }
+
     public static String valueOf(Object o) {
        return o.toString();
     }

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index f1793389208b3c82674f8932091e655464579e0c..a6f65422c68416f1f59013943740e26ff034efed 100644 (file)
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -131,7 +131,7 @@ public class TypeDescriptor extends Descriptor {
        else if (isClass())
            return class_desc.getSafeDescriptor();
        else if (isByte())
-           return "C";
+           return "B";
        else if (isChar())
            return "C";
        else if (isShort())