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_NAMEstatic 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 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.