alps-asd / app-state-diagram

src/Profile.php

<?php

declare(strict_types=1);

namespace Koriym\AppStateDiagram;

use Koriym\AppStateDiagram\Exception\DescriptorIsNotArrayException;
use Koriym\AppStateDiagram\Exception\DescriptorNotFoundException;
use Koriym\AppStateDiagram\Exception\InvalidDescriptorException;
use Seld\JsonLint\ParsingException;
use stdClass;

use function assert;
use function is_array;
use function is_string;
use function json_encode;
use function ksort;
use function property_exists;
use function substr;

final class Profile extends AbstractProfile
{
    /** @var string */
    public $schema;

    /** @var string */
    public $title;

    /** @var string */
    public $doc;

    /** @var string  */
    public $alpsFile;

    /**
     * Descriptor instances (not reference)
     *
     * @var array<string, stdClass>
     */
    private $instances = [];

    /** @var array<string, list<string>> */

The doc comment array<string, list<string>> at position 4 could not be parsed: Expected '>' at position 4, but found 'list'.

    public $tags = [];

    /** @var LinkRelations */
    public $linkRelations;

    /** @var LabelNameInterface */
    private $labelName;

    /**
     * @throws ParsingException
     *
     * @SuppressWarnings(PHPMD.BooleanArgumentFlag)
     */
    public function __construct(string $alpsFile, LabelNameInterface $labelName, bool $doFinalize = true)
    {
        $hyperReference = new HyperReference($labelName);
        $this->alpsFile = $alpsFile;
        [$profile, $descriptors] = (new SplitProfile())($alpsFile);
        /** @psalm-suppress all */
        [$this->schema, $this->title, $this->doc] = [$profile->{'$schema'} ?? '', $profile->alps->title ?? '', $profile->alps->doc->value ??  ''];
        /** @psalm-suppress all */
        $this->linkRelations = new LinkRelations($profile->alps->link ?? null);
        $instances = new Instances();
        $this->storeDescriptors($descriptors, $instances, $hyperReference);
        $this->instances = $instances->get();
        $this->labelName = $labelName;
        if ($doFinalize) {
            $this->finalize($hyperReference);
        }
    }

    /**
     * Return instances of raw descriptor
     *
     * @return array{0: array<string, stdClass>, 1: HyperReference}
     */
    public function export(string $id, string $alpsFile): array
    {
        if (! isset($this->instances[$id])) {
            throw new DescriptorNotFoundException($id);
        }

        $instance = $this->instances[$id];
        $instances = new Instances();
        $hyperReference = new HyperReference($this->labelName);
        assert(is_string($instance->id));
        if (property_exists($instance, 'rt')) {
            assert(is_string($instance->rt));
            $this->rt($instance->rt, $alpsFile, $hyperReference);
        }

        if (! property_exists($instance, 'descriptor')) {
            return [[$instance->id => $instance], $hyperReference];
        }

        /** @var list<stdClass> $stdClasses */
        $stdClasses = $instance->descriptor;
        $this->storeDescriptors($stdClasses, $instances, $hyperReference);

$stdClasses of type Koriym\AppStateDiagram\list is incompatible with the type array expected by parameter $rawDescriptors of Koriym\AppStateDiagram\Profile::storeDescriptors().

        /** @var array<string, stdClass> $crawledInstances */
        $crawledInstances = [$instance->id => $instance];

        return [$instances->get() + $crawledInstances, $hyperReference];
    }

    private function rt(string $rt, string $alpsFile, HyperReference $hyperReference): void
    {
        $rtKey = substr($rt, 1);
        if (isset($this->instances[$rtKey])) {
            $hyperReference->add($alpsFile, $rt);
        }
    }

    private function finalize(HyperReference $hyperReference): void
    {
        $instances = $hyperReference->getInstances($this->instances);
        ksort($instances);
        $this->descriptors = (new CreateDescriptor())($instances);
        $this->links = (new CreateLinks($this->labelName))($this->descriptors, $instances);
        $this->scanTags();
    }

    /**
     * Set the raw descriptor on selection (instance or reference)
     *
     * @param list<stdClass> $rawDescriptors
     */
    private function storeDescriptors(array $rawDescriptors, Instances $instances, HyperReference $hyperReference): void
    {
        foreach ($rawDescriptors as $rawDescriptor) {
            if (property_exists($rawDescriptor, 'rt') && is_string($rawDescriptor->rt)) {
                $hyperReference->add($this->alpsFile, $rawDescriptor->rt);
            }

            if (property_exists($rawDescriptor, 'id')) {
                $this->storeRawDescriptor($rawDescriptor, $instances, $hyperReference);
                continue;
            }

            if (property_exists($rawDescriptor, 'href') && is_string($rawDescriptor->href)) {
                $hyperReference->add($this->alpsFile, $rawDescriptor->href);
                continue;
            }

            throw new InvalidDescriptorException((string) json_encode($rawDescriptor));
        }
    }

    private function storeRawDescriptor(stdClass $rawDescriptor, Instances $instances, HyperReference $hyperReference): void
    {
        assert(is_string($rawDescriptor->id));
        $instances->add($rawDescriptor);
        if (property_exists($rawDescriptor, 'descriptor')) {
            /** @psalm-suppress MixedAssignment */
            $descriptors = $rawDescriptor->descriptor;
            if (! is_array($descriptors)) {
                throw new DescriptorIsNotArrayException($rawDescriptor->id);
            }

            /** @var list<stdClass> $descriptors */

            $this->storeDescriptors($descriptors, $instances, $hyperReference);

$descriptors of type Koriym\AppStateDiagram\list is incompatible with the type array expected by parameter $rawDescriptors of Koriym\AppStateDiagram\Profile::storeDescriptors().

        }
    }

    private function scanTags(): void
    {
        foreach ($this->descriptors as $descriptor) {
            foreach ($descriptor->tags as $tag) {
                $this->tags[$tag][] = $descriptor->id;
            }
        }

        ksort($this->tags);
    }
}