1<?php
2
3declare(strict_types=1);
4
5namespace Antlr\Antlr4\Runtime;
6
7/**
8 * A source of characters for an ANTLR lexer.
9 */
10interface CharStream extends IntStream
11{
12    /**
13     * This method returns the text for a range of characters within this input
14     * stream. This method is guaranteed to not throw an exception if the
15     * specified `interval` lies entirely within a marked range. For more
16     * information about marked ranges, see {@see IntStream::mark()}.
17     *
18     * @return string The text of the specified interval.
19     */
20    public function getText(int $start, int $stop) : string;
21}
22