ObjectiveIterator.php

Go to the documentation of this file.

<?php

/* Copyright (c) 2019 Richard Klees <richard.klees@concepts-and-training.de> Extended GPL, see docs/LICENSE */

namespace ILIAS\Setup;

use ILIAS\Setup\Environment;
use ILIAS\Setup\Objective;
use ILIAS\Setup\UnachievableException;

class ObjectiveIterator implements \Iterator
{
    protected $environment;

    protected $objective;

    protected $stack;

    protected $current;

    protected $returned;

    protected $failed;

    protected $reverse_dependencies;


    public function __construct(Environment $environment, Objective $objective)
    {
        $this->environment = $environment;
        $this->objective = $objective;
        $this->rewind();
    }

    public function setEnvironment(Environment $environment) : void
    {
        $this->environment = $environment;
    }

    public function markAsFailed(Objective $objective)
    {
        if (!isset($this->returned[$objective->getHash()])) {
            throw new \LogicException(
                "You may only mark objectives as failed that have been returned by this iterator."
            );
        }

        $this->failed[$objective->getHash()] = true;
    }

    public function rewind()
    {
        $this->stack = [$this->objective];
        $this->current = null;
        $this->returned = [];
        $this->failed = [];
        $this->reverse_dependencies = [];
        $this->next();
    }

    public function current()
    {
        if ($this->current === null) {
            throw new \LogicException(
                "Iterator is finished or wasn't initialized correctly internally."
            );
        }
        return $this->current;
    }

    public function key()
    {
        return $this->current()->getHash();
    }

    public function next()
    {
        if (count($this->stack) === 0) {
            $this->current = null;
            return;
        }

        $cur = array_pop($this->stack);
        $hash = $cur->getHash();

        if (isset($this->returned[$hash]) || isset($this->filed[$hash])) {
            $this->next();
            return;
        }

        $preconditions = array_filter(
            $cur->getPreconditions($this->environment),
            function ($p) {
                $h = $p->getHash();
                return !isset($this->returned[$h]) || isset($this->failed[$h]);
            }
        );

        $failed_preconditions = array_filter(
            $preconditions,
            function ($p) {
                return isset($this->failed[$p->getHash()]);
            }
        );

        // We only have preconditions left that we know to have failed.
        if (count($preconditions) !== 0
        && count($preconditions) === count($failed_preconditions)) {
            throw new UnachievableException(
                "Objective only has failed preconditions."
            );
        }

        // No preconditions open, we can proceed with the objective.
        if (count($preconditions) === 0) {
            $this->returned[$hash] = true;
            $this->current = $cur;
            return;
        }

        $this->stack[] = $cur;
        $this->detectDependencyCycles($hash, $hash);
        foreach (array_reverse($preconditions) as $p) {
            $this->stack[] = $p;
            $this->setReverseDependency($p->getHash(), $hash);
        }
        $this->next();
    }

    public function valid()
    {
        return $this->current !== null;
    }

    protected function detectDependencyCycles(string $cur, string $next)
    {
        if (!isset($this->reverse_dependencies[$next])) {
            return;
        }
        if (in_array($cur, $this->reverse_dependencies[$next])) {
            throw new UnachievableException(
                "The objectives contain a dependency cycle and won't all be achievable."
            );
        }
        foreach ($this->reverse_dependencies[$next] as $d) {
            $this->detectDependencyCycles($cur, $d);
        }
    }

    protected function setReverseDependency(string $other, string $cur)
    {
        if (!isset($this->reverse_dependencies[$other])) {
            $this->reverse_dependencies[$other] = [];
        }
        $this->reverse_dependencies[$other][] = $cur;
    }
}