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 null
IllegalArgumentException
- 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.