projects
/
sbp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
better display of tab characters
[sbp.git]
/
src
/
edu
/
berkeley
/
sbp
/
util
/
StringUtil.java
diff --git
a/src/edu/berkeley/sbp/util/StringUtil.java
b/src/edu/berkeley/sbp/util/StringUtil.java
index
71f4bc0
..
d3efb24
100644
(file)
--- a/
src/edu/berkeley/sbp/util/StringUtil.java
+++ b/
src/edu/berkeley/sbp/util/StringUtil.java
@@
-27,6
+27,7
@@
public class StringUtil {
case '\'': sb.append("\\\'"); break;
case '\n': sb.append("\\n"); break;
case '\r': sb.append("\\r"); break;
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;
}
}
default: sb.append(c); break;
}
}
@@
-42,6
+43,7
@@
public class StringUtil {
switch(c) {
case 'r': c = '\r'; break;
case 'n': c = '\n'; break;
switch(c) {
case 'r': c = '\r'; break;
case 'n': c = '\n'; break;
+ case 't': c = '\t'; break;
default: break;
}
}
default: break;
}
}
@@
-55,7
+57,7
@@
public class StringUtil {
case '}': sb.append("\\}"); break;
case ':': sb.append("\\:"); break;
*/
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();
public static String escapify(String s, String illegal) {
if (s==null) return null;
StringBuffer sb = new StringBuffer();
@@
-65,6
+67,7
@@
public class StringUtil {
switch(c) {
case '\n': sb.append("\\n"); continue;
case '\r': sb.append("\\r"); continue;
switch(c) {
case '\n': sb.append("\\n"); continue;
case '\r': sb.append("\\r"); continue;
+ case '\t': sb.append("\\t"); continue;
default: sb.append('\\'); break;
}
else if (c < 32 || c >= 127) {
default: sb.append('\\'); break;
}
else if (c < 32 || c >= 127) {