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