protected void add(int c) {
		if ( n>=data.length ) {
			data = Arrays.copyOf(data, data.length * 2);
        }
        data[n++] = c;
    }
Override to provide different source of characters than
{@link #input input}.
runtime/Java/src/org/antlr/v4/runtime/UnbufferedCharStream.java