/** Returns the hash of anything passed to {@link #hash(ParseTreeNode)}. */ byte[] getHashBytes() { flushBuffer(); return md.digest(); }
/** Flushes the buffer if there is not enough space. */ private void requireSpaceInBuffer(int space) { if (posInBuffer + space >= buffer.length) { flushBuffer(); } }