xref: /plugin/combo/vendor/antlr/antlr4-php-runtime/src/Utils/Map.php (revision 37748cd8654635afbeca80942126742f0f4cc346)
1*37748cd8SNickeau<?php
2*37748cd8SNickeau
3*37748cd8SNickeaudeclare(strict_types=1);
4*37748cd8SNickeau
5*37748cd8SNickeaunamespace Antlr\Antlr4\Runtime\Utils;
6*37748cd8SNickeau
7*37748cd8SNickeauuse Antlr\Antlr4\Runtime\Comparison\DefaultEquivalence;
8*37748cd8SNickeauuse Antlr\Antlr4\Runtime\Comparison\Equatable;
9*37748cd8SNickeauuse Antlr\Antlr4\Runtime\Comparison\Equivalence;
10*37748cd8SNickeauuse Antlr\Antlr4\Runtime\Comparison\Hashable;
11*37748cd8SNickeau
12*37748cd8SNickeaufinal class Map implements Equatable, \Countable, \IteratorAggregate
13*37748cd8SNickeau{
14*37748cd8SNickeau    /** @var array<int, array<array<Hashable, mixed>>> */
15*37748cd8SNickeau    private $table = [];
16*37748cd8SNickeau
17*37748cd8SNickeau    /** @var int */
18*37748cd8SNickeau    private $size = 0;
19*37748cd8SNickeau
20*37748cd8SNickeau    /** @var Equivalence */
21*37748cd8SNickeau    private $equivalence;
22*37748cd8SNickeau
23*37748cd8SNickeau    public function __construct(?Equivalence $equivalence = null)
24*37748cd8SNickeau    {
25*37748cd8SNickeau        $this->equivalence = $equivalence ?? new DefaultEquivalence();
26*37748cd8SNickeau    }
27*37748cd8SNickeau
28*37748cd8SNickeau    public function count() : int
29*37748cd8SNickeau    {
30*37748cd8SNickeau        return $this->size;
31*37748cd8SNickeau    }
32*37748cd8SNickeau
33*37748cd8SNickeau    public function contains(Hashable $key) : bool
34*37748cd8SNickeau    {
35*37748cd8SNickeau        $hash = $this->equivalence->hash($key);
36*37748cd8SNickeau
37*37748cd8SNickeau        if (!isset($this->table[$hash])) {
38*37748cd8SNickeau            return false;
39*37748cd8SNickeau        }
40*37748cd8SNickeau
41*37748cd8SNickeau        foreach ($this->table[$hash] as [$entryKey]) {
42*37748cd8SNickeau            if ($this->equivalence->equivalent($key, $entryKey)) {
43*37748cd8SNickeau                return true;
44*37748cd8SNickeau            }
45*37748cd8SNickeau        }
46*37748cd8SNickeau
47*37748cd8SNickeau        return false;
48*37748cd8SNickeau    }
49*37748cd8SNickeau
50*37748cd8SNickeau    /**
51*37748cd8SNickeau     * @return mixed
52*37748cd8SNickeau     */
53*37748cd8SNickeau    public function get(Hashable $key)
54*37748cd8SNickeau    {
55*37748cd8SNickeau        $hash = $this->equivalence->hash($key);
56*37748cd8SNickeau
57*37748cd8SNickeau        if (!isset($this->table[$hash])) {
58*37748cd8SNickeau            return null;
59*37748cd8SNickeau        }
60*37748cd8SNickeau
61*37748cd8SNickeau        foreach ($this->table[$hash] as [$entryKey, $entryValue]) {
62*37748cd8SNickeau            if ($this->equivalence->equivalent($key, $entryKey)) {
63*37748cd8SNickeau                return $entryValue;
64*37748cd8SNickeau            }
65*37748cd8SNickeau        }
66*37748cd8SNickeau
67*37748cd8SNickeau        return null;
68*37748cd8SNickeau    }
69*37748cd8SNickeau
70*37748cd8SNickeau    /**
71*37748cd8SNickeau     * @param mixed $value
72*37748cd8SNickeau     */
73*37748cd8SNickeau    public function put(Hashable $key, $value) : void
74*37748cd8SNickeau    {
75*37748cd8SNickeau        $hash = $this->equivalence->hash($key);
76*37748cd8SNickeau
77*37748cd8SNickeau        if (!isset($this->table[$hash])) {
78*37748cd8SNickeau            $this->table[$hash] = [];
79*37748cd8SNickeau        }
80*37748cd8SNickeau
81*37748cd8SNickeau        foreach ($this->table[$hash] as $index => [$entryKey]) {
82*37748cd8SNickeau            if ($this->equivalence->equivalent($key, $entryKey)) {
83*37748cd8SNickeau                $this->table[$hash][$index] = [$key, $value];
84*37748cd8SNickeau
85*37748cd8SNickeau                return;
86*37748cd8SNickeau            }
87*37748cd8SNickeau        }
88*37748cd8SNickeau
89*37748cd8SNickeau        $this->table[$hash][] = [$key, $value];
90*37748cd8SNickeau
91*37748cd8SNickeau        $this->size++;
92*37748cd8SNickeau    }
93*37748cd8SNickeau
94*37748cd8SNickeau    public function remove(Hashable $key) : void
95*37748cd8SNickeau    {
96*37748cd8SNickeau        $hash = $this->equivalence->hash($key);
97*37748cd8SNickeau
98*37748cd8SNickeau        if (!isset($this->table[$hash])) {
99*37748cd8SNickeau            return;
100*37748cd8SNickeau        }
101*37748cd8SNickeau
102*37748cd8SNickeau        foreach ($this->table[$hash] as $index => [$entryKey]) {
103*37748cd8SNickeau            if (!$this->equivalence->equivalent($key, $entryKey)) {
104*37748cd8SNickeau                continue;
105*37748cd8SNickeau            }
106*37748cd8SNickeau
107*37748cd8SNickeau            unset($this->table[$hash][$index]);
108*37748cd8SNickeau
109*37748cd8SNickeau            if (\count($this->table[$hash]) === 0) {
110*37748cd8SNickeau                unset($this->table[$hash]);
111*37748cd8SNickeau            }
112*37748cd8SNickeau
113*37748cd8SNickeau            $this->size--;
114*37748cd8SNickeau
115*37748cd8SNickeau            return;
116*37748cd8SNickeau        }
117*37748cd8SNickeau    }
118*37748cd8SNickeau
119*37748cd8SNickeau    public function equals(object $other) : bool
120*37748cd8SNickeau    {
121*37748cd8SNickeau        if ($this === $other) {
122*37748cd8SNickeau            return true;
123*37748cd8SNickeau        }
124*37748cd8SNickeau
125*37748cd8SNickeau        if (!$other instanceof self
126*37748cd8SNickeau            || $this->size !== $other->size
127*37748cd8SNickeau            || !$this->equivalence->equals($other->equivalence)) {
128*37748cd8SNickeau            return false;
129*37748cd8SNickeau        }
130*37748cd8SNickeau
131*37748cd8SNickeau        foreach ($this->table as $hash => $bucket) {
132*37748cd8SNickeau            if (!isset($other->table[$hash]) || \count($bucket) !== \count($other->table[$hash])) {
133*37748cd8SNickeau                return false;
134*37748cd8SNickeau            }
135*37748cd8SNickeau
136*37748cd8SNickeau            $otherBucket = $other->table[$hash];
137*37748cd8SNickeau
138*37748cd8SNickeau            foreach ($bucket as $index => [$key, $value]) {
139*37748cd8SNickeau                [$otherKey, $otherValue] = $otherBucket[$index];
140*37748cd8SNickeau
141*37748cd8SNickeau                if (!$this->equivalence->equivalent($key, $otherKey)
142*37748cd8SNickeau                    || !self::isEqual($value, $otherValue)) {
143*37748cd8SNickeau                    return false;
144*37748cd8SNickeau                }
145*37748cd8SNickeau            }
146*37748cd8SNickeau        }
147*37748cd8SNickeau
148*37748cd8SNickeau        return true;
149*37748cd8SNickeau    }
150*37748cd8SNickeau
151*37748cd8SNickeau    /**
152*37748cd8SNickeau     * @return array<Hashable>
153*37748cd8SNickeau     */
154*37748cd8SNickeau    public function getKeys() : array
155*37748cd8SNickeau    {
156*37748cd8SNickeau        $values = [];
157*37748cd8SNickeau        foreach ($this->table as $bucket) {
158*37748cd8SNickeau            foreach ($bucket as [$key]) {
159*37748cd8SNickeau                $values[] = $key;
160*37748cd8SNickeau            }
161*37748cd8SNickeau        }
162*37748cd8SNickeau
163*37748cd8SNickeau        return $values;
164*37748cd8SNickeau    }
165*37748cd8SNickeau
166*37748cd8SNickeau    /**
167*37748cd8SNickeau     * @return array<mixed>
168*37748cd8SNickeau     */
169*37748cd8SNickeau    public function getValues() : array
170*37748cd8SNickeau    {
171*37748cd8SNickeau        $values = [];
172*37748cd8SNickeau        foreach ($this->table as $bucket) {
173*37748cd8SNickeau            foreach ($bucket as [, $value]) {
174*37748cd8SNickeau                $values[] = $value;
175*37748cd8SNickeau            }
176*37748cd8SNickeau        }
177*37748cd8SNickeau
178*37748cd8SNickeau        return $values;
179*37748cd8SNickeau    }
180*37748cd8SNickeau
181*37748cd8SNickeau    public function getIterator() : \Iterator
182*37748cd8SNickeau    {
183*37748cd8SNickeau        foreach ($this->table as $bucket) {
184*37748cd8SNickeau            foreach ($bucket as [$key, $value]) {
185*37748cd8SNickeau                yield $key => $value;
186*37748cd8SNickeau            }
187*37748cd8SNickeau        }
188*37748cd8SNickeau    }
189*37748cd8SNickeau
190*37748cd8SNickeau    private static function isEqual($left, $right) : bool
191*37748cd8SNickeau    {
192*37748cd8SNickeau        if ($left instanceof Equatable && $right instanceof Equatable) {
193*37748cd8SNickeau            return $left->equals($right);
194*37748cd8SNickeau        }
195*37748cd8SNickeau
196*37748cd8SNickeau        return $left === $right;
197*37748cd8SNickeau    }
198*37748cd8SNickeau}
199