<form method="POST">
    <h3>Editing: RequirementCollectionIterator.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php declare(strict_types = 1);
/*
 * This file is part of PharIo\Manifest.
 *
 * Copyright (c) Arne Blankerts &lt;arne@blankerts.de&gt;, Sebastian Heuer &lt;sebastian@phpeople.de&gt;, Sebastian Bergmann &lt;sebastian@phpunit.de&gt; and contributors
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 *
 */
namespace PharIo\Manifest;

use Iterator;
use function count;

/** @template-implements Iterator&lt;int,Requirement&gt; */
class RequirementCollectionIterator implements Iterator {
    /** @var Requirement[] */
    private $requirements;

    /** @var int */
    private $position = 0;

    public function __construct(RequirementCollection $requirements) {
        $this-&gt;requirements = $requirements-&gt;getRequirements();
    }

    public function rewind(): void {
        $this-&gt;position = 0;
    }

    public function valid(): bool {
        return $this-&gt;position &lt; count($this-&gt;requirements);
    }

    public function key(): int {
        return $this-&gt;position;
    }

    public function current(): Requirement {
        return $this-&gt;requirements[$this-&gt;position];
    }

    public function next(): void {
        $this-&gt;position++;
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>