public interface CharStream extends IntStream
String getText(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–2018 ANTLR. All rights reserved.