Remorhaz\UniLex\RegExp\FSM\StateMap

Complexity

Total Complexity

26

Size/Duplication

Total Lines	183
Duplicated Lines	0 %

Importance

Changes	1
Bugs	0	Features	0

16 Methods

Rating	Name	Duplication	Size	Complexity
A	getStartState()	0	7	2
A	replaceStartStateList()	0	4	1
A	stateExists()	0	3	1
A	getValidState()	0	7	2
A	importState()	0	9	3
A	createState()	0	9	2
A	isFinishState()	0	5	1
A	stateValueExists()	0	3	1
A	getValueState()	0	8	2
A	addStartState()	0	8	3
A	getStateValue()	0	3	1
A	getStartStateList()	0	3	1
A	isStartState()	0	5	1
A	getStateList()	0	3	1
A	addFinishState()	0	8	3
A	getFinishStateList()	0	3	1

<?php

declare(strict_types=1);

namespace Remorhaz\UniLex\RegExp\FSM;

use Remorhaz\UniLex\Exception;

use function array_key_first;
use function array_keys;
use function count;

class StateMap implements StateMapInterface
{
    private $lastStateId = 0;

    private $stateList = [];

    private $startStateList = [];

    private $finishStateList = [];

    /**
     * @param bool $value
     * @return int
     * @throws Exception
     */
    public function createState($value = true): int
    {
        if (is_null($value)) {

The condition is_null($value) is always false.

            throw new Exception("Null state value is not allowed");
        }
        $stateId = ++$this->lastStateId;
        $this->stateList[$stateId] = $value;

        return $stateId;
    }

    /**
     * @return int[]
     */
    public function getStateList(): array
    {
        return array_keys($this->stateList);
    }

    /**
     * @param int $stateId
     * @return mixed
     * @throws Exception
     */
    public function getStateValue(int $stateId)
    {
        return $this->stateList[$this->getValidState($stateId)];
    }

    /**
     * @param     $value
     * @param int ...$stateList
     * @throws Exception
     */
    public function importState($value, int ...$stateList): void
    {
        foreach ($stateList as $stateId) {
            if (isset($this->stateList[$stateId])) {
                throw new Exception("State {$stateId} already exists");
            }
            $this->stateList[$stateId] = $value;
        }
        $this->lastStateId = max(array_keys($this->stateList));
    }

    /**
     * @param int ...$stateList
     * @throws Exception
     */
    public function addStartState(int ...$stateList): void
    {
        foreach ($stateList as $stateId) {
            $validStateId = $this->getValidState($stateId);
            if (isset($this->startStateList[$validStateId])) {
                throw new Exception("Start state {$validStateId} is already set");
            }
            $this->startStateList[$validStateId] = $this->stateList[$validStateId];
        }
    }

    /**
     * @return int
     * @throws Exception
     */
    public function getStartState(): int
    {
        if (count($this->startStateList) == 1) {
            return array_key_first($this->startStateList);

The expression return array_key_first($this->startStateList) could return the type null|string which is incompatible with the type-hinted return integer. Consider adding an additional type-check to rule them out.

        }

        throw new Exception("Start state is undefined");
    }

    public function getStartStateList(): array
    {
        return array_keys($this->startStateList);
    }

    public function replaceStartStateList(int ...$stateIdList): void
    {
        $this->startStateList = [];
        $this->addStartState(...$stateIdList);
    }

    /**
     * @param int[] $stateList
     * @throws Exception
     */
    public function addFinishState(int ...$stateList): void
    {
        foreach ($stateList as $stateId) {
            $validStateId = $this->getValidState($stateId);
            if (isset($this->finishStateList[$validStateId])) {
                throw new Exception("Finish state {$validStateId} is already set");
            }
            $this->finishStateList[$validStateId] = $this->stateList[$validStateId];
        }
    }

    /**
     * @param int $stateId
     * @return bool
     * @throws Exception
     */
    public function isFinishState(int $stateId): bool
    {
        $validStateId = $this->getValidState($stateId);

        return isset($this->finishStateList[$validStateId]);
    }

    /**
     * @param int $stateId
     * @return bool
     * @throws Exception
     */
    public function isStartState(int $stateId): bool
    {
        $validStateId = $this->getValidState($stateId);

        return isset($this->startStateList[$validStateId]);
    }

    /**
     * @return int[]
     */
    public function getFinishStateList(): array
    {
        return array_keys($this->finishStateList);
    }

    public function stateExists(int $stateId): bool
    {
        return isset($this->stateList[$stateId]);
    }

    public function stateValueExists($value): bool
    {
        return false !== array_search($value, $this->stateList);
    }

    /**
     * @param $value
     * @return false|int|string
     * @throws Exception
     */
    public function getValueState($value)
    {
        $stateId = array_search($value, $this->stateList);
        if (false === $stateId) {
            throw new Exception("Value not found in state map");
        }

        return $stateId;
    }

    /**
     * @param int $stateId
     * @return int
     * @throws Exception
     */
    private function getValidState(int $stateId): int
    {
        if (!$this->stateExists($stateId)) {
            throw new Exception("State {$stateId} is undefined");
        }

        return $stateId;
    }
}