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