xref: /plugin/combo/vendor/antlr/antlr4-php-runtime/src/Atn/Transitions/AtomTransition.php (revision 37748cd8654635afbeca80942126742f0f4cc346)
1*37748cd8SNickeau<?php
2*37748cd8SNickeau
3*37748cd8SNickeaudeclare(strict_types=1);
4*37748cd8SNickeau
5*37748cd8SNickeaunamespace Antlr\Antlr4\Runtime\Atn\Transitions;
6*37748cd8SNickeau
7*37748cd8SNickeauuse Antlr\Antlr4\Runtime\Atn\States\ATNState;
8*37748cd8SNickeauuse Antlr\Antlr4\Runtime\IntervalSet;
9*37748cd8SNickeau
10*37748cd8SNickeaufinal class AtomTransition extends Transition
11*37748cd8SNickeau{
12*37748cd8SNickeau    /** @var int */
13*37748cd8SNickeau    public $label;
14*37748cd8SNickeau
15*37748cd8SNickeau    public function __construct(ATNState $target, int $label)
16*37748cd8SNickeau    {
17*37748cd8SNickeau        parent::__construct($target);
18*37748cd8SNickeau
19*37748cd8SNickeau        $this->label = $label;
20*37748cd8SNickeau    }
21*37748cd8SNickeau
22*37748cd8SNickeau    public function label() : ?IntervalSet
23*37748cd8SNickeau    {
24*37748cd8SNickeau        return IntervalSet::fromInt($this->label);
25*37748cd8SNickeau    }
26*37748cd8SNickeau
27*37748cd8SNickeau    public function matches(int $symbol, int $minVocabSymbol, int $maxVocabSymbol) : bool
28*37748cd8SNickeau    {
29*37748cd8SNickeau        return $this->label === $symbol;
30*37748cd8SNickeau    }
31*37748cd8SNickeau
32*37748cd8SNickeau    public function getSerializationType() : int
33*37748cd8SNickeau    {
34*37748cd8SNickeau        return self::ATOM;
35*37748cd8SNickeau    }
36*37748cd8SNickeau
37*37748cd8SNickeau    public function equals(object $other) : bool
38*37748cd8SNickeau    {
39*37748cd8SNickeau        if ($this === $other) {
40*37748cd8SNickeau            return true;
41*37748cd8SNickeau        }
42*37748cd8SNickeau
43*37748cd8SNickeau        return $other instanceof self
44*37748cd8SNickeau            && $this->label === $other->label
45*37748cd8SNickeau            && $this->target->equals($other->target);
46*37748cd8SNickeau    }
47*37748cd8SNickeau
48*37748cd8SNickeau    public function __toString() : string
49*37748cd8SNickeau    {
50*37748cd8SNickeau        return (string) $this->label;
51*37748cd8SNickeau    }
52*37748cd8SNickeau}
53