public interface CharStream extends IntStream
EOF, UNKNOWN_SOURCE_NAME
Modifier and Type | Method and Description |
---|---|
String |
getText(Interval interval)
This method returns the text for a range of characters within this input
stream.
|
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 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–2021 ANTLR. All rights reserved.