remorhaz /
php-int-rangesets
| 1 | <?php |
||
| 2 | |||
| 3 | declare(strict_types=1); |
||
| 4 | |||
| 5 | namespace Remorhaz\IntRangeSets; |
||
| 6 | |||
| 7 | use Iterator; |
||
| 8 | |||
| 9 | use function array_map; |
||
| 10 | use function array_search; |
||
| 11 | use function count; |
||
| 12 | use function usort; |
||
| 13 | |||
| 14 | /** |
||
| 15 | * Immutable set of integer ranges. |
||
| 16 | * |
||
| 17 | * @psalm-immutable |
||
| 18 | */ |
||
| 19 | final class RangeSet implements RangeSetInterface |
||
| 20 | { |
||
| 21 | |||
| 22 | /** |
||
| 23 | * @var RangeInterface[] |
||
| 24 | * @psalm-var list<RangeInterface> |
||
| 25 | */ |
||
| 26 | private $ranges; |
||
| 27 | |||
| 28 | /** |
||
| 29 | * Creates set of ranges that contain all values from given ranges. |
||
| 30 | * |
||
| 31 | * @param RangeInterface ...$ranges |
||
| 32 | * @return RangeSetInterface |
||
| 33 | * @psalm-pure |
||
| 34 | */ |
||
| 35 | 4 | public static function create(RangeInterface ...$ranges): RangeSetInterface |
|
| 36 | { |
||
| 37 | 4 | $rangeSet = new self(); |
|
| 38 | |||
| 39 | 4 | return $rangeSet->withRanges(...$ranges); |
|
| 40 | } |
||
| 41 | |||
| 42 | /** |
||
| 43 | * Provided ranges must be sorted, must not overlap and must not follow each other without gaps. |
||
| 44 | * Warning: no checks are made! Use {@see RangeSet::createUnion()} to create set from arbitrary list of ranges. |
||
| 45 | * |
||
| 46 | * @param RangeInterface ...$ranges |
||
| 47 | * @return RangeSetInterface |
||
| 48 | * @psalm-pure |
||
| 49 | */ |
||
| 50 | 62 | public static function createUnsafe(RangeInterface ...$ranges): RangeSetInterface |
|
| 51 | { |
||
| 52 | 62 | return new self(...$ranges); |
|
| 53 | } |
||
| 54 | |||
| 55 | /** |
||
| 56 | * @param int[] ...$rangeDataList |
||
| 57 | * @return RangeInterface[] |
||
| 58 | * @psalm-pure |
||
| 59 | */ |
||
| 60 | 60 | public static function importRanges(array ...$rangeDataList): array |
|
| 61 | { |
||
| 62 | /** @var RangeInterface[] $ranges */ |
||
| 63 | 60 | $ranges = array_map([self::class, 'importRange'], $rangeDataList); |
|
| 64 | |||
| 65 | 60 | return $ranges; |
|
| 66 | } |
||
| 67 | |||
| 68 | /** |
||
| 69 | * @param int[] $args |
||
| 70 | * @return RangeInterface |
||
| 71 | * @psalm-pure |
||
| 72 | */ |
||
| 73 | 57 | private static function importRange(array $args): RangeInterface |
|
| 74 | { |
||
| 75 | 57 | return new Range(/** @scrutinizer ignore-type */ ...$args); |
|
|
0 ignored issues
–
show
Bug
introduced
by
Loading history...
|
|||
| 76 | } |
||
| 77 | |||
| 78 | 62 | private function __construct(RangeInterface ...$ranges) |
|
| 79 | { |
||
| 80 | 62 | $this->ranges = $ranges; |
|
| 81 | 62 | } |
|
| 82 | |||
| 83 | /** |
||
| 84 | * {@inheritDoc} |
||
| 85 | * |
||
| 86 | * @param RangeSetInterface $rangeSet |
||
| 87 | * @return RangeSetInterface |
||
| 88 | */ |
||
| 89 | 3 | public function createUnion(RangeSetInterface $rangeSet): RangeSetInterface |
|
| 90 | { |
||
| 91 | 3 | return $this->mergeRanges(...$rangeSet->getRanges()); |
|
| 92 | } |
||
| 93 | |||
| 94 | /** |
||
| 95 | * {@inheritDoc} |
||
| 96 | * |
||
| 97 | * @param RangeInterface ...$ranges |
||
| 98 | * @return RangeSetInterface |
||
| 99 | */ |
||
| 100 | 24 | public function withRanges(RangeInterface ...$ranges): RangeSetInterface |
|
| 101 | { |
||
| 102 | 24 | return $this->mergeRanges(...$this->getSortedRanges(...$ranges)); |
|
| 103 | } |
||
| 104 | |||
| 105 | /** |
||
| 106 | * @param RangeInterface ...$ranges |
||
| 107 | * @return RangeInterface[] |
||
| 108 | * @psalm-return array<int, RangeInterface> |
||
| 109 | */ |
||
| 110 | 24 | private function getSortedRanges(RangeInterface ...$ranges): array |
|
| 111 | { |
||
| 112 | /** @psalm-suppress ImpureFunctionCall See https://github.com/vimeo/psalm/issues/4224 */ |
||
| 113 | 24 | usort($ranges, [$this, 'compareRanges']); |
|
| 114 | |||
| 115 | 24 | return $ranges; |
|
| 116 | } |
||
| 117 | |||
| 118 | /** |
||
| 119 | * @param RangeInterface $firstRange |
||
| 120 | * @param RangeInterface $secondRange |
||
| 121 | * @return int |
||
| 122 | */ |
||
| 123 | 3 | private function compareRanges(RangeInterface $firstRange, RangeInterface $secondRange): int |
|
| 124 | { |
||
| 125 | 3 | return $firstRange->getStart() <=> $secondRange->getStart(); |
|
| 126 | } |
||
| 127 | |||
| 128 | /** |
||
| 129 | * @param RangeInterface ...$ranges |
||
| 130 | * @return RangeSetInterface |
||
| 131 | */ |
||
| 132 | 27 | private function mergeRanges(RangeInterface ...$ranges): RangeSetInterface |
|
| 133 | { |
||
| 134 | 27 | $resultRanges = []; |
|
| 135 | /** @var RangeInterface|null $rangeBuffer */ |
||
| 136 | 27 | $rangeBuffer = null; |
|
| 137 | 27 | foreach ($this->createRangePicker($this->ranges, $ranges) as $pickedRange) { |
|
| 138 | 24 | if (isset($rangeBuffer)) { |
|
| 139 | 22 | if ($rangeBuffer->containsValue($pickedRange->getFinish())) { |
|
| 140 | 6 | continue; |
|
| 141 | } |
||
| 142 | 16 | if ($rangeBuffer->containsValue($pickedRange->getStart()) || $pickedRange->follows($rangeBuffer)) { |
|
| 143 | 13 | $rangeBuffer = $pickedRange->withStart($rangeBuffer->getStart()); |
|
| 144 | 13 | continue; |
|
| 145 | } |
||
| 146 | 4 | $resultRanges[] = $rangeBuffer; |
|
| 147 | } |
||
| 148 | 24 | $rangeBuffer = $pickedRange; |
|
| 149 | } |
||
| 150 | 27 | if (isset($rangeBuffer)) { |
|
| 151 | 24 | $resultRanges[] = $rangeBuffer; |
|
| 152 | } |
||
| 153 | |||
| 154 | 27 | return self::createUnsafe(...$resultRanges); |
|
| 155 | } |
||
| 156 | |||
| 157 | /** |
||
| 158 | * @param RangeSetInterface $rangeSet |
||
| 159 | * @return RangeSetInterface |
||
| 160 | */ |
||
| 161 | 11 | public function createSymmetricDifference(RangeSetInterface $rangeSet): RangeSetInterface |
|
| 162 | { |
||
| 163 | 11 | $resultRanges = []; |
|
| 164 | /** @var RangeInterface|null $rangeBuffer */ |
||
| 165 | 11 | $rangeBuffer = null; |
|
| 166 | 11 | foreach ($this->createRangePicker($this->ranges, $rangeSet->getRanges()) as $pickedRange) { |
|
| 167 | 11 | if (isset($rangeBuffer)) { |
|
| 168 | 9 | if ($rangeBuffer->intersects($pickedRange)) { |
|
| 169 | 6 | $pickedRangeStart = $pickedRange->getStart(); |
|
| 170 | 6 | if ($rangeBuffer->getStart() < $pickedRangeStart) { |
|
| 171 | 6 | $resultRanges[] = $rangeBuffer->withFinish($pickedRangeStart - 1); |
|
| 172 | 6 | $rangeBuffer = $rangeBuffer->withStart($pickedRangeStart); |
|
| 173 | } |
||
| 174 | |||
| 175 | 6 | $pickedRangeFinish = $pickedRange->getFinish(); |
|
| 176 | 6 | $rangeBufferFinish = $rangeBuffer->getFinish(); |
|
| 177 | 6 | if ($rangeBufferFinish < $pickedRangeFinish) { |
|
| 178 | 2 | $rangeBuffer = $pickedRange->withStart($rangeBufferFinish + 1); |
|
| 179 | 4 | } elseif ($pickedRangeFinish < $rangeBufferFinish) { |
|
| 180 | 3 | $rangeBuffer = $rangeBuffer->withStart($pickedRangeFinish + 1); |
|
| 181 | } else { |
||
| 182 | 1 | $rangeBuffer = null; |
|
| 183 | } |
||
| 184 | 6 | continue; |
|
| 185 | } |
||
| 186 | 3 | if ($pickedRange->follows($rangeBuffer)) { |
|
| 187 | 1 | $rangeBuffer = $rangeBuffer->withFinish($pickedRange->getFinish()); |
|
| 188 | 1 | continue; |
|
| 189 | } |
||
| 190 | 2 | $resultRanges[] = $rangeBuffer; |
|
| 191 | } |
||
| 192 | 11 | $rangeBuffer = $pickedRange; |
|
| 193 | } |
||
| 194 | 11 | if (isset($rangeBuffer)) { |
|
| 195 | 10 | $resultRanges[] = $rangeBuffer; |
|
| 196 | } |
||
| 197 | |||
| 198 | 11 | return self::createUnsafe(...$resultRanges); |
|
| 199 | } |
||
| 200 | |||
| 201 | /** |
||
| 202 | * {@inheritDoc} |
||
| 203 | * |
||
| 204 | * @param RangeSetInterface $rangeSet |
||
| 205 | * @return RangeSetInterface |
||
| 206 | */ |
||
| 207 | 18 | public function createIntersection(RangeSetInterface $rangeSet): RangeSetInterface |
|
| 208 | { |
||
| 209 | 18 | $resultRanges = []; |
|
| 210 | /** @var RangeInterface|null $rangeBuffer */ |
||
| 211 | 18 | $rangeBuffer = null; |
|
| 212 | 18 | foreach ($this->createRangePicker($this->ranges, $rangeSet->getRanges()) as $pickedRange) { |
|
| 213 | 18 | if (isset($rangeBuffer)) { |
|
| 214 | 16 | if (!$rangeBuffer->intersects($pickedRange)) { |
|
| 215 | 5 | $rangeBuffer = $pickedRange; |
|
| 216 | 5 | continue; |
|
| 217 | } |
||
| 218 | 12 | $pickedRangeStart = $pickedRange->getStart(); |
|
| 219 | 12 | if ($rangeBuffer->getStart() < $pickedRangeStart) { |
|
| 220 | 9 | $rangeBuffer = $rangeBuffer->withStart($pickedRangeStart); |
|
| 221 | } |
||
| 222 | 12 | $pickedRangeFinish = $pickedRange->getFinish(); |
|
| 223 | 12 | if ($rangeBuffer->getFinish() > $pickedRangeFinish) { |
|
| 224 | 5 | $resultRanges[] = $rangeBuffer->withFinish($pickedRangeFinish); |
|
| 225 | 5 | $rangeBuffer = $rangeBuffer->withStart($pickedRangeFinish + 1); |
|
| 226 | 5 | continue; |
|
| 227 | } |
||
| 228 | 8 | $resultRanges[] = $rangeBuffer; |
|
| 229 | } |
||
| 230 | 18 | $rangeBuffer = $pickedRange; |
|
| 231 | } |
||
| 232 | |||
| 233 | 18 | return self::createUnsafe(...$resultRanges); |
|
| 234 | } |
||
| 235 | |||
| 236 | /** |
||
| 237 | * @param RangeSetInterface $rangeSet |
||
| 238 | * @return bool |
||
| 239 | */ |
||
| 240 | 5 | public function equals(RangeSetInterface $rangeSet): bool |
|
| 241 | { |
||
| 242 | 5 | $ranges = $rangeSet->getRanges(); |
|
| 243 | 5 | if (count($this->ranges) != count($ranges)) { |
|
| 244 | 1 | return false; |
|
| 245 | } |
||
| 246 | |||
| 247 | 4 | foreach ($this->ranges as $index => $range) { |
|
| 248 | 3 | if (!$ranges[$index]->equals($range)) { |
|
| 249 | 1 | return false; |
|
| 250 | } |
||
| 251 | } |
||
| 252 | |||
| 253 | 3 | return true; |
|
| 254 | } |
||
| 255 | |||
| 256 | /** |
||
| 257 | * @param RangeInterface[] ...$rangeLists |
||
| 258 | * @return RangeInterface[]|Iterator |
||
| 259 | * @psalm-return Iterator<int, RangeInterface> |
||
| 260 | */ |
||
| 261 | 56 | private function createRangePicker(array ...$rangeLists): Iterator |
|
| 262 | { |
||
| 263 | 56 | $rangeListKeys = array_keys($rangeLists); |
|
| 264 | 56 | $indexes = array_fill_keys($rangeListKeys, 0); |
|
| 265 | |||
| 266 | 56 | while (true) { |
|
| 267 | /** @psalm-suppress ImpureFunctionCall See https://github.com/vimeo/psalm/issues/4224 */ |
||
| 268 | 56 | $selectedRanges = array_map([$this, 'selectRanges'], $rangeLists, $indexes); |
|
| 269 | /** @psalm-suppress ImpureFunctionCall See https://github.com/vimeo/psalm/issues/4224 */ |
||
| 270 | 56 | $nextRange = array_reduce($selectedRanges, [$this, 'findRangeWithMinimalStart']); |
|
| 271 | 56 | if (!isset($nextRange)) { |
|
| 272 | 56 | break; |
|
| 273 | } |
||
| 274 | |||
| 275 | 53 | $nextRangeKey = array_search($nextRange, $selectedRanges); |
|
| 276 | 53 | if (false === $nextRangeKey) { |
|
| 277 | // @codeCoverageIgnoreStart |
||
| 278 | throw new Exception\RangeNotPickedException(); |
||
| 279 | // @codeCoverageIgnoreEnd |
||
| 280 | } |
||
| 281 | 53 | $indexes[$nextRangeKey]++; |
|
| 282 | |||
| 283 | 53 | yield $nextRange; |
|
| 284 | } |
||
| 285 | 56 | } |
|
| 286 | |||
| 287 | /** |
||
| 288 | * @param RangeInterface[] $ranges |
||
| 289 | * @param int $index |
||
| 290 | * @return RangeInterface|null |
||
| 291 | */ |
||
| 292 | 56 | private function selectRanges(array $ranges, int $index): ?RangeInterface |
|
| 293 | { |
||
| 294 | 56 | return $ranges[$index] ?? null; |
|
| 295 | } |
||
| 296 | |||
| 297 | /** |
||
| 298 | * @param RangeInterface|null $previousRange |
||
| 299 | * @param RangeInterface|null $range |
||
| 300 | * @return RangeInterface|null |
||
| 301 | */ |
||
| 302 | 56 | private function findRangeWithMinimalStart(?RangeInterface $previousRange, ?RangeInterface $range): ?RangeInterface |
|
| 303 | { |
||
| 304 | 56 | if (isset($previousRange)) { |
|
| 305 | 48 | if (!isset($range)) { |
|
| 306 | 27 | return $previousRange; |
|
| 307 | } |
||
| 308 | |||
| 309 | 45 | return $previousRange->getStart() < $range->getStart() |
|
| 310 | 22 | ? $previousRange |
|
| 311 | 45 | : $range; |
|
| 312 | } |
||
| 313 | |||
| 314 | 56 | return $range; |
|
| 315 | } |
||
| 316 | |||
| 317 | /** |
||
| 318 | * {@inheritDoc} |
||
| 319 | * |
||
| 320 | * @return RangeInterface[] |
||
| 321 | */ |
||
| 322 | 59 | public function getRanges(): array |
|
| 323 | { |
||
| 324 | 59 | return $this->ranges; |
|
| 325 | } |
||
| 326 | |||
| 327 | /** |
||
| 328 | * {@inheritDoc} |
||
| 329 | * |
||
| 330 | * @return bool |
||
| 331 | */ |
||
| 332 | 2 | public function isEmpty(): bool |
|
| 333 | { |
||
| 334 | 2 | return empty($this->ranges); |
|
| 335 | } |
||
| 336 | } |
||
| 337 |