14372126470

Committed 10 Apr 2025 04:10AM UTC coverage: 98.347%. Remained the same

Build # 14372126470

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #14 from donatj/donatj-patch-1

Test in PHP 8.4

Run Details

119 of 121 relevant lines covered (98.35%)

11.65 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

100.0

/src/DnfTypeInterface.php

<?php

namespace donatj\PhpDnfSolver;

interface DnfTypeInterface extends \Countable {

        /**
         * Return the canonical string representation of the DNF representation of this type
         */
        public function dnf() : string;

        /**
         * Tests if this type is satisfied by the given type
         *
         * For example, if this type is "A|(B&C)" and the given type matches just "A", this method returns true.
         * If the given type matches just "B", this method returns false.
         * If the given type matches "B&C", this method returns true.
         */
        public function isSatisfiedBy( SingularDnfTypeInterface|NestedDnfTypeInterface $value ) : bool;

        /**
         * Returns the number of types in this DNF type
         */
        public function count() : int;

}

1	<?php
2
3	namespace donatj\PhpDnfSolver;
4
5	interface DnfTypeInterface extends \Countable {
6
7	/**
8	* Return the canonical string representation of the DNF representation of this type
9	*/
10	public function dnf() : string;
11
12	/**
13	* Tests if this type is satisfied by the given type
14	*
15	* For example, if this type is "A\|(B&C)" and the given type matches just "A", this method returns true.
16	* If the given type matches just "B", this method returns false.
17	* If the given type matches "B&C", this method returns true.
18	*/
19	public function isSatisfiedBy( SingularDnfTypeInterface\|NestedDnfTypeInterface $value ) : bool;
20
21	/**
22	* Returns the number of types in this DNF type
23	*/
24	public function count() : int;
25
26	}

donatj / php-dnf-solver / 14372126470

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous