public interface CharStream extends IntStream
Modifier and Type | Field and Description |
---|---|
static int |
MAX_CHAR
The maximum allowed value for a character in a
CharStream . |
static int |
MIN_CHAR
The minimum allowed value for a character in a
CharStream . |
EOF, UNKNOWN_SOURCE_NAME
static final int MIN_CHAR
CharStream
.static final int MAX_CHAR
CharStream
.
This value is Character.MAX_VALUE - 1
, which reserves the value
Character.MAX_VALUE
for special use within an implementing class.
For some implementations, the data buffers required for supporting the
marked ranges of IntStream
are stored as char[]
instead
of int[]
, with Character.MAX_VALUE
being used instead of
-1
to mark the end of the stream internally.@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.