| 2068 | } |
| 2069 | |
| 2070 | static public void formatStandard(Writer w, Object obj) throws IOException{ |
| 2071 | if(obj == null) |
| 2072 | w.write("null"); |
| 2073 | else if(obj instanceof String) { |
| 2074 | w.write('"'); |
| 2075 | w.write((String) obj); |
| 2076 | w.write('"'); |
| 2077 | } |
| 2078 | else if(obj instanceof Character) { |
| 2079 | w.write('\\'); |
| 2080 | char c = ((Character) obj).charValue(); |
| 2081 | switch(c) { |
| 2082 | case '\n': |
| 2083 | w.write("newline"); |
| 2084 | break; |
| 2085 | case '\t': |
| 2086 | w.write("tab"); |
| 2087 | break; |
| 2088 | case ' ': |
| 2089 | w.write("space"); |
| 2090 | break; |
| 2091 | case '\b': |
| 2092 | w.write("backspace"); |
| 2093 | break; |
| 2094 | case '\f': |
| 2095 | w.write("formfeed"); |
| 2096 | break; |
| 2097 | default: |
| 2098 | w.write(c); |
| 2099 | } |
| 2100 | } |
| 2101 | else |
| 2102 | w.write(obj.toString()); |
| 2103 | } |
| 2104 | |
| 2105 | static public Object format(Object o, String s, Object... args) throws IOException{ |
| 2106 | Writer w; |