public class Misc {
public static final java.nio.charset.Charset utf8 = java.nio.charset.Charset.forName("UTF-8");
+ public static final java.nio.charset.Charset ascii = java.nio.charset.Charset.forName("US-ASCII");
private static Map<Integer, String> stext = new HashMap<Integer, String>();
static {
return(p);
}
+ static byte[] readall(InputStream in) throws IOException {
+ byte[] buf = new byte[4096];
+ int off = 0;
+ while(true) {
+ if(off == buf.length) {
+ byte[] n = new byte[buf.length * 2];
+ System.arraycopy(buf, 0, n, 0, buf.length);
+ buf = n;
+ }
+ int ret = in.read(buf, off, buf.length - off);
+ if(ret < 0) {
+ byte[] n = new byte[off];
+ System.arraycopy(buf, 0, n, 0, off);
+ return(n);
+ }
+ off += ret;
+ }
+ }
+
public static void cpstream(InputStream in, OutputStream out) throws IOException {
byte[] buf = new byte[4096];
while(true) {
}
return(buf.toString());
}
+
+ public static boolean boolval(String val) {
+ val = val.trim().toLowerCase();
+ if(val.equals("1") || val.equals("on") || val.equals("true") || val.equals("yes") || val.equals("\u22a4"))
+ return(true);
+ if(val.equals("0") || val.equals("off") || val.equals("false") || val.equals("no") || val.equals("\u22a5"))
+ return(false);
+ throw(new IllegalArgumentException("value not recognized as boolean: " + val));
+ }
+
+ public static void eatws(PushbackReader in) throws IOException {
+ int c;
+ do {
+ c = in.read();
+ if(c < 0)
+ return;
+ } while(Character.isWhitespace(c));
+ in.unread(c);
+ }
}