Identity::ensureHeldBy() - Code Metrics - Innmind/Immutable - Measure and Improve Code Quality continuously with Scrutinizer

Identity::ensureHeldBy() A
last analyzed 2022-07-02 13:48 UTC

↳ Parent: Identity

Complexity

Conditions	1
Paths	1

Size

Total Lines	21
Code Lines	13

Duplication

Lines	0
Ratio	0 %

Importance

Changes	1
Bugs	0	Features	1

Metric	Value
cc	1
eloc	13
c	1
b	0
f	1
nc	1
nop	1
dl	0
loc	21
rs	9.8333

<?php
declare(strict_types = 1);

namespace Properties\Innmind\Immutable\Monoid;

use Innmind\BlackBox\{
    Set,
    Property,
};
use PHPUnit\Framework\Assert;

/**
 * @template T
 */
final class Identity implements Property
{
    /** @var T */
filter:
    dependency_paths: ["lib/*"]
    private mixed $value;
    /** @var callable(T, T): bool */
    private $equals;

    /**
     * @param T $value
     * @param callable(T, T): bool $equals
     */
    public function __construct(mixed $value, callable $equals)
    {
        $this->value = $value;
        $this->equals = $equals;
    }

    /**
     * @template A
     *
     * @param Set<A> $values
     * @param callable(A, A): bool $equals
     *
     * @return Set<self<A>>
     */
    public static function any(Set $values, callable $equals): Set
    {
        return Set\Decorate::immutable(
            static fn($value) => new self($value, $equals),
            $values,
        );
    }

    public function name(): string
    {
        return 'Identity value has no effect on the combined value';
    }

    public function applicableTo(object $monoid): bool
    {
        return true;
    }

    public function ensureHeldBy(object $monoid): object
    {
        Assert::assertTrue(($this->equals)(
            $monoid->identity(),
            $monoid->identity(),
        ));
        Assert::assertTrue(($this->equals)(
            $this->value,
            $monoid->combine($monoid->identity(), $this->value),
        ));
        Assert::assertTrue(($this->equals)(
            $this->value,
            $monoid->combine($this->value, $monoid->identity()),
        ));
        // make sure the identiy is not altered after using a concrete value
        Assert::assertTrue(($this->equals)(
            $monoid->identity(),
            $monoid->identity(),
        ));

        return $monoid;
    }
}


1			<?php
2			declare(strict_types = 1);
3
4			namespace Properties\Innmind\Immutable\Monoid;
5
6			use Innmind\BlackBox\{
7			Set,
8			Property,
9			};
10			use PHPUnit\Framework\Assert;
11
12			/**
13			* @template T
14			*/
15			final class Identity implements Property
16			{
17			/** @var T */
			0 ignored issues – show Bug introduced 2022-03-26 14:35 UTC by Report Bug Copy Issue Report The type `Properties\Innmind\Immutable\Monoid\T` was not found. Maybe you did not declare it correctly or list all dependencies? The issue could also be caused by a filter entry in the build configuration. If the path has been excluded in your configuration, e.g. `excluded_paths: ["lib/"]`, you can move it to the dependency path list as follows: filter: dependency_paths: ["lib/"] For further information see https://scrutinizer-ci.com/docs/tools/php/php-scrutinizer/#list-dependency-paths Loading history...
18			private mixed $value;
19			/** @var callable(T, T): bool */
20			private $equals;
21
22			/**
23			* @param T $value
24			* @param callable(T, T): bool $equals
25			*/
26			public function __construct(mixed $value, callable $equals)
27			{
28			$this->value = $value;
29			$this->equals = $equals;
30			}
31
32			/**
33			* @template A
34			*
35			* @param Set<A> $values
36			* @param callable(A, A): bool $equals
37			*
38			* @return Set<self<A>>
39			*/
40			public static function any(Set $values, callable $equals): Set
41			{
42			return Set\Decorate::immutable(
43			static fn($value) => new self($value, $equals),
44			$values,
45			);
46			}
47
48			public function name(): string
49			{
50			return 'Identity value has no effect on the combined value';
51			}
52
53			public function applicableTo(object $monoid): bool
54			{
55			return true;
56			}
57
58			public function ensureHeldBy(object $monoid): object
59			{
60			Assert::assertTrue(($this->equals)(
61			$monoid->identity(),
62			$monoid->identity(),
63			));
64			Assert::assertTrue(($this->equals)(
65			$this->value,
66			$monoid->combine($monoid->identity(), $this->value),
67			));
68			Assert::assertTrue(($this->equals)(
69			$this->value,
70			$monoid->combine($this->value, $monoid->identity()),
71			));
72			// make sure the identiy is not altered after using a concrete value
73			Assert::assertTrue(($this->equals)(
74			$monoid->identity(),
75			$monoid->identity(),
76			));
77
78			return $monoid;
79			}
80			}
81

Innmind / Immutable

GitHub Access Token became invalid

Identity::ensureHeldBy() A last analyzed 2022-07-02 13:48 UTC

Complexity

Size

Duplication

Importance

Duplication Side-by-Side

Filter issues like

Identity::ensureHeldBy() A
last analyzed 2022-07-02 13:48 UTC