From 187debf770c01b0630459c81a2677207bbee67a8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Apr 2008 21:49:37 +0000
Subject: [PATCH] add valueof method for booleans

---
 Robust/src/ClassLibrary/String.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 435f14d4..f1ec9d53 100644
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -225,6 +225,13 @@ public class String {
 	    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;
-- 
2.34.1