X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Futil%2FStringUtil.java;h=a5a5d9af7ee5af38bc05fed8a858aa980278e2d6;hp=5e39447c08737ad0b5e6fdd6f6886a1577d6eed1;hb=fec264a3cce7bb2f0016343c86c3cc63d7321eac;hpb=927dc9b785de472f2237c5adbc4d2ad12f16cc2d

diff --git a/src/edu/berkeley/sbp/util/StringUtil.java b/src/edu/berkeley/sbp/util/StringUtil.java
index 5e39447..a5a5d9a 100644
--- a/src/edu/berkeley/sbp/util/StringUtil.java
+++ b/src/edu/berkeley/sbp/util/StringUtil.java
@@ -1,8 +1,14 @@
+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
+
 package edu.berkeley.sbp.util;
 
 /** miscellaneous string utilities */
 public class StringUtil {
 
+    public static String pad(int i,String s) {
+        return s.length() >= i ? s : pad(i-1,s)+" ";
+    }
+
     public static String join(String[] s, String sep) {
         StringBuffer ret = new StringBuffer();
         for(int i=0; i<s.length; i++) {
@@ -21,6 +27,7 @@ public class StringUtil {
                 case '\'': sb.append("\\\'");  break;
                 case '\n':  sb.append("\\n");  break;
                 case '\r':  sb.append("\\r");  break;
+                case '\t':  sb.append("\\t");  break;
                 default: sb.append(c); break;
             }
         }
@@ -36,6 +43,7 @@ public class StringUtil {
                 switch(c) {
                     case 'r': c = '\r'; break;
                     case 'n': c = '\n'; break;
+                    case 't': c = '\t'; break;
                     default: break;
                 }
             }
@@ -49,8 +57,9 @@ public class StringUtil {
                 case '}':  sb.append("\\}");  break;
                 case ':':  sb.append("\\:");  break;
     */
-    public static String escapify(String s) { return escapify(s, "\\\n\r"); }
+    public static String escapify(String s) { return escapify(s, "\\\n\r\t"); }
     public static String escapify(String s, String illegal) {
+        if (s==null) return null;
         StringBuffer sb = new StringBuffer();
         for(int i=0; i<s.length(); i++) {
             char c = s.charAt(i);
@@ -58,10 +67,33 @@ public class StringUtil {
                 switch(c) {
                     case '\n':  sb.append("\\n"); continue;
                     case '\r':  sb.append("\\r"); continue;
+                    case '\t':  sb.append("\\t"); continue;
                     default:    sb.append('\\');  break;
                 }
-            sb.append(c);
+            else if (c < 32 || c >= 127) {
+                sb.append("\\x"+((int)c));
+            } else {
+                sb.append(c);
+            }
         }
         return sb.toString();
     }
+
+    public static String indent(String s, int indent) {
+        if (s.indexOf('\n')==-1) return s;
+        StringBuffer ret = new StringBuffer();
+        for(int i=0; i<s.length(); i++) {
+            char c = s.charAt(i);
+            ret.append(c);
+            if (c=='\n')
+                for(int j=0; j<indent; j++)
+                    ret.append(' ');
+        }
+        return ret.toString();
+    }
+
+    public static String uncapitalize(String s) {
+        if (s==null) return null;
+        return (""+s.charAt(0)).toUpperCase()+s.substring(1);
+    }
 }