Searched refs:Interval (Results 1 – 10 of 10) sorted by relevance
| /template/strap/vendor/antlr/antlr4-php-runtime/src/ |
| H A D | Interval.php | 12 final class Interval implements Equatable class 30 return $invalid ?? $invalid = new Interval(-1, -2); 57 public function startsBeforeDisjoint(Interval $other) : bool 65 public function startsBeforeNonDisjoint(Interval $other) : bool 73 public function startsAfter(Interval $other) : bool 81 public function startsAfterDisjoint(Interval $other) : bool 89 public function startsAfterNonDisjoint(Interval $other) : bool 98 public function disjoint(Interval $other) : bool 106 public function adjacent(Interval $other) : bool 114 public function union(Interval $other) : self [all …]
|
| H A D | IntervalSet.php | 122 $beforeCurrent = new Interval($resultInterval->start, $rightInterval->start - 1); 126 $afterCurrent = new Interval($rightInterval->stop + 1, $resultInterval->stop); 187 $this->addInterval(new Interval($value, $value)); 192 $this->addInterval(new Interval($left, $right)); 195 protected function addInterval(Interval $addition) : void 208 /** @var Interval $resilt */ 261 $this->addInterval(new Interval($i->start, $i->stop)); 322 $this->intervals[$k] = new Interval($i->start + 1, $i->stop); 329 $this->intervals[$k] = new Interval($i->start, $i->stop - 1); 336 $x = new Interval($i->start, $v);
|
| H A D | TokenStream.php | 56 * @param Interval $interval The interval of tokens within this stream 62 public function getTextByInterval(Interval $interval) : string;
|
| H A D | ParserRuleContext.php | 255 public function getSourceInterval() : Interval 258 return Interval::invalid(); 261 return new Interval($this->start->getTokenIndex(), $this->stop->getTokenIndex());
|
| H A D | RuleContext.php | 112 public function getSourceInterval() : Interval 114 return Interval::invalid();
|
| H A D | BufferedTokenStream.php | 453 public function getTextByInterval(Interval $interval) : string 484 return $this->getTextByInterval(new Interval(0, \count($this->tokens) - 1)); 492 return $this->getTextByInterval(new Interval($startIndex, $stopIndex));
|
| /template/strap/vendor/antlr/antlr4-php-runtime/src/Tree/ |
| H A D | TerminalNodeImpl.php | 7 use Antlr\Antlr4\Runtime\Interval; alias 52 public function getSourceInterval() : Interval 55 return new Interval(-1, -2); 60 return new Interval($tokenIndex, $tokenIndex);
|
| H A D | SyntaxTree.php | 7 use Antlr\Antlr4\Runtime\Interval; alias 32 public function getSourceInterval() : Interval;
|
| /template/strap/vendor/antlr/antlr4-php-runtime/src/Error/Listeners/ |
| H A D | DiagnosticErrorListener.php | 9 use Antlr\Antlr4\Runtime\Interval; alias 67 …$tokenStream === null ? '' : $tokenStream->getTextByInterval(new Interval($startIndex, $stopIndex)) 86 …$tokenStream === null ? '' : $tokenStream->getTextByInterval(new Interval($startIndex, $stopIndex)) 105 …$tokenStream === null ? '' : $tokenStream->getTextByInterval(new Interval($startIndex, $stopIndex))
|
| /template/strap/vendor/antlr/antlr4-php-runtime/src/Atn/ |
| H A D | ParserATNSimulator.php | 24 use Antlr\Antlr4\Runtime\Interval; alias 2422 $interval = new Interval($startIndex, $stopIndex); 2453 $interval = new Interval($startIndex, $stopIndex); 2489 $interval = new Interval($startIndex, $stopIndex);
|