@Override public ATerm readFromTextFile(final InputStream stream) throws IOException { final ATermReader reader = new ATermReader(new BufferedReader(new InputStreamReader(stream))); reader.readSkippingWS(); return readFromTextFile(reader); }
@Override public ATerm readFromSharedTextFile(final InputStream stream) throws IOException { final ATermReader reader = new ATermReader(new BufferedReader(new InputStreamReader(stream))); reader.readSkippingWS(); if (reader.getLastChar() != '!') throw new IOException("not a openllet.shared.hash text file!"); reader.readSkippingWS(); return readFromSharedTextFile(reader); }
private ATerm[] parseATermsArray(final ATermReader reader) throws IOException { final List<ATerm> list = new ArrayList<>(); ATerm term = parseFromReader(reader); list.add(term); while (reader.getLastChar() == ',') { reader.readSkippingWS(); term = parseFromReader(reader); list.add(term); } final ATerm[] array = new ATerm[list.size()]; final ListIterator<ATerm> iter = list.listIterator(); int index = 0; while (iter.hasNext()) array[index++] = iter.next(); return array; }
@Override public ATerm parse(final String trm) { try { final ATermReader reader = new ATermReader(new StringReader(trm), trm.length()); reader.readSkippingWS(); final ATerm result = parseFromReader(reader); return result; } catch (final IOException e) { throw new ParseError("premature end of string", e); } }
reader.readSkippingWS(); return readFromSharedTextFile(reader);
c = reader.readSkippingWS(); if (c == -1) throw new ParseError("premature EOF encountered."); c = reader.readSkippingWS(); result = _empty; if (reader.getLastChar() != ']') throw new ParseError("expected ']' but got '" + (char) reader.getLastChar() + "'"); c = reader.readSkippingWS(); c = reader.readSkippingWS(); final ATerm ph = parseFromReader(reader); c = reader.readSkippingWS(); c = reader.readSkippingWS(); if (reader.getLastChar() == '(') c = reader.readSkippingWS(); if (c == -1) throw new ParseError("premature EOF encountered."); c = reader.readSkippingWS(); c = reader.readSkippingWS(); if (c == -1) throw new ParseError("premature EOF encountered.");