@Override
    public int size() {
        throw new UnsupportedOperationException("Unbuffered stream cannot know its size");
    }
Seek to absolute character index, which might not be in the current
 sliding window.  Move {@code p} to {@code index-bufferStartIndex}.
runtime/Java/src/org/antlr/v4/runtime/UnbufferedCharStream.java