@Override
	public int size() {
		return n;
	}
Return the current input symbol index 0..n where n indicates the
 last symbol has been read.  The index is the index of char to
 be returned from LA(1).
runtime/Java/src/org/antlr/v4/runtime/ANTLRInputStream.java