From b6b178cfc095dd52edd3892d038b7e25b55e45ea Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 23 Oct 2006 19:51:51 +0000
Subject: [PATCH] Extra string class functionality & bug fix

---
 Robust/src/ClassLibrary/String.java | 21 +++++++++++++++++++++
 Robust/src/IR/TypeDescriptor.java   |  2 +-
 2 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index af399d99..5b2075b8 100644
--- 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 f1793389..a6f65422 100644
--- 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())
-- 
2.34.1