StateMap::getStartStateList() - Code Metrics - Inspection of "Partial DFA minimization implemented" - remorhaz/php-unilex - Measure and Improve Code Quality continuously with Scrutinizer

Passed

Push — master ( 852e13...6d4e0e )

by Edward

created 2020-04-12 14:31 UTC

StateMap::getStartStateList() A

↳ Parent: StateMap

Complexity

Conditions	1
Paths	1

Size

Total Lines	3
Code Lines	1

Duplication

Lines	0
Ratio	0 %

Importance

Changes

Metric	Value
cc	1
eloc	1
nc	1
nop	0
dl	0
loc	3
rs	10
c	0
b	0
f	0

<?php

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)) {

            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);
        }

        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;
    }
}


1			<?php
2
3			namespace Remorhaz\UniLex\RegExp\FSM;
4
5			use Remorhaz\UniLex\Exception;
6
7			use function array_key_first;
8			use function array_keys;
9			use function count;
10
11			class StateMap implements StateMapInterface
12			{
13
14			private $lastStateId = 0;
15
16			private $stateList = [];
17
18			private $startStateList = [];
19
20			private $finishStateList = [];
21
22			/**
23			* @param bool $value
24			* @return int
25			* @throws Exception
26			*/
27			public function createState($value = true): int
28			{
29			if (is_null($value)) {
			0 ignored issues – show introduced 2020-02-17 16:36 UTC by Report Bug Copy Issue Report The condition `is_null($value)` is always `false`. Loading history...
30			throw new Exception("Null state value is not allowed");
31			}
32			$stateId = ++$this->lastStateId;
33			$this->stateList[$stateId] = $value;
34
35			return $stateId;
36			}
37
38			/**
39			* @return int[]
40			*/
41			public function getStateList(): array
42			{
43			return array_keys($this->stateList);
44			}
45
46			/**
47			* @param int $stateId
48			* @return mixed
49			* @throws Exception
50			*/
51			public function getStateValue(int $stateId)
52			{
53			return $this->stateList[$this->getValidState($stateId)];
54			}
55
56			/**
57			* @param $value
58			* @param int ...$stateList
59			* @throws Exception
60			*/
61			public function importState($value, int ...$stateList): void
62			{
63			foreach ($stateList as $stateId) {
64			if (isset($this->stateList[$stateId])) {
65			throw new Exception("State {$stateId} already exists");
66			}
67			$this->stateList[$stateId] = $value;
68			}
69			$this->lastStateId = max(array_keys($this->stateList));
70			}
71
72			/**
73			* @param int ...$stateList
74			* @throws Exception
75			*/
76			public function addStartState(int ...$stateList): void
77			{
78			foreach ($stateList as $stateId) {
79			$validStateId = $this->getValidState($stateId);
80			if (isset($this->startStateList[$validStateId])) {
81			throw new Exception("Start state {$validStateId} is already set");
82			}
83			$this->startStateList[$validStateId] = $this->stateList[$validStateId];
84			}
85			}
86
87			/**
88			* @return int
89			* @throws Exception
90			*/
91			public function getStartState(): int
92			{
93			if (count($this->startStateList) == 1) {
94			return array_key_first($this->startStateList);
95			}
96
97			throw new Exception("Start state is undefined");
98			}
99
100			public function getStartStateList(): array
101			{
102			return array_keys($this->startStateList);
103			}
104
105			public function replaceStartStateList(int ...$stateIdList): void
106			{
107			$this->startStateList = [];
108			$this->addStartState(...$stateIdList);
109			}
110
111			/**
112			* @param int[] $stateList
113			* @throws Exception
114			*/
115			public function addFinishState(int ...$stateList): void
116			{
117			foreach ($stateList as $stateId) {
118			$validStateId = $this->getValidState($stateId);
119			if (isset($this->finishStateList[$validStateId])) {
120			throw new Exception("Finish state {$validStateId} is already set");
121			}
122			$this->finishStateList[$validStateId] = $this->stateList[$validStateId];
123			}
124			}
125
126			/**
127			* @param int $stateId
128			* @return bool
129			* @throws Exception
130			*/
131			public function isFinishState(int $stateId): bool
132			{
133			$validStateId = $this->getValidState($stateId);
134
135			return isset($this->finishStateList[$validStateId]);
136			}
137
138			/**
139			* @param int $stateId
140			* @return bool
141			* @throws Exception
142			*/
143			public function isStartState(int $stateId): bool
144			{
145			$validStateId = $this->getValidState($stateId);
146
147			return isset($this->startStateList[$validStateId]);
148			}
149
150			/**
151			* @return int[]
152			*/
153			public function getFinishStateList(): array
154			{
155			return array_keys($this->finishStateList);
156			}
157
158			public function stateExists(int $stateId): bool
159			{
160			return isset($this->stateList[$stateId]);
161			}
162
163			public function stateValueExists($value): bool
164			{
165			return false !== array_search($value, $this->stateList);
166			}
167
168			/**
169			* @param $value
170			* @return false\|int\|string
171			* @throws Exception
172			*/
173			public function getValueState($value)
174			{
175			$stateId = array_search($value, $this->stateList);
176			if (false === $stateId) {
177			throw new Exception("Value not found in state map");
178			}
179
180			return $stateId;
181			}
182
183			/**
184			* @param int $stateId
185			* @return int
186			* @throws Exception
187			*/
188			private function getValidState(int $stateId): int
189			{
190			if (!$this->stateExists($stateId)) {
191			throw new Exception("State {$stateId} is undefined");
192			}
193
194			return $stateId;
195			}
196			}
197

remorhaz / php-unilex

Push — master ( 852e13...6d4e0e )

StateMap::getStartStateList() A

Complexity

Size

Duplication

Importance

Duplication Side-by-Side

Filter issues like