| 
<?php
 /*
 * This file is part of Chevere.
 *
 * (c) Rodolfo Berrios <[email protected]>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
 
 declare(strict_types=1);
 
 namespace Chevere\VarDump;
 
 use Chevere\DataStructure\Traits\VectorTrait;
 use Chevere\VarDump\Interfaces\ObjectIdsInterface;
 
 final class ObjectIds implements ObjectIdsInterface
 {
 use VectorTrait;
 
 public function toArray(): array
 {
 return $this->vector->toArray();
 }
 
 public function push(int $id): void
 {
 if ($this->has($id)) {
 return;
 }
 $this->vector = $this->vector->withPush($id);
 }
 
 public function has(int $id): bool
 {
 return $this->vector->contains($id);
 }
 }
 
 |