public interface CharStream extends IntStream
@NotNull String getText(@NotNull Interval interval)
interval lies entirely within a marked range. For more
 information about marked ranges, see IntStream.mark().interval - an interval within the streamNullPointerException - if interval is nullIllegalArgumentException - if interval.a < 0, or if
 interval.b < interval.a - 1, or if interval.b lies at or
 past the end of the streamUnsupportedOperationException - if the stream does not support
 getting the text of the specified intervalCopyright © 1992-2013 ANTLR. All Rights Reserved.