public int readSkippingWS() throws IOException { do last_char = read(); while (Character.isWhitespace(last_char)); return last_char; }
reader.read();
public int skipWS() throws IOException { while (Character.isWhitespace(last_char)) last_char = read(); return last_char; }
private static String parseId(final ATermReader reader) throws IOException { int c = reader.getLastChar(); final StringBuilder buf = new StringBuilder(32); do { buf.append((char) c); c = reader.read(); } while (Character.isLetterOrDigit(c) || c == '_' || c == '-' || c == '+' || c == '*' || c == '$'); return buf.toString(); }
private static ATerm parseAbbrev(final ATermReader reader) throws IOException { ATerm result; int abbrev; int c = reader.read(); abbrev = 0; while (isBase64(c)) { abbrev *= 64; if (c >= 'A' && c <= 'Z') abbrev += c - 'A'; else if (c >= 'a' && c <= 'z') abbrev += c - 'a' + 26; else if (c >= '0' && c <= '9') abbrev += c - '0' + 52; else if (c == '+') abbrev += 62; else if (c == '/') abbrev += 63; else throw new OpenError("not a base-64 digit: " + c); c = reader.read(); } result = reader.getTerm(abbrev); return result; }
while (Character.isDigit(reader.read())); if (reader.getLastChar() == 'l' || reader.getLastChar() == 'L') reader.read(); long val; try reader.read(); if (!Character.isDigit(reader.getLastChar())) throw new ParseError("digit expected"); do str.append((char) reader.getLastChar()); while (Character.isDigit(reader.read())); reader.read(); if (reader.getLastChar() == '-' || reader.getLastChar() == '+') reader.read(); do str.append((char) reader.getLastChar()); while (Character.isDigit(reader.read()));