public interface CharStream extends IntStream
EOF, UNKNOWN_SOURCE_NAME
java.lang.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 streamjava.lang.NullPointerException
- if interval
is null
java.lang.IllegalArgumentException
- if interval.a < 0
, or if
interval.b < interval.a - 1
, or if interval.b
lies at or
past the end of the streamjava.lang.UnsupportedOperationException
- if the stream does not support
getting the text of the specified interval