Method readString

test/extra/QueryDump.java:35–47

(InputStream in)

  }

  private static String readString(InputStream in) throws IOException {
    int count = readInt(in);
    byte[] b = new byte[count];
    int offset = 0;
    int c;
    while ((c = in.read(b, offset, b.length - offset)) != -1
           && offset < b.length)
    {
      offset += c;
    }
    if (offset != b.length) throw new EOFException();
    return new String(b);
  }

  private static Record record(Map<Integer, Record> map, int key) {
    Record r = map.get(key);