This commit is contained in:
TiclemFR
2023-12-29 16:00:02 +01:00
parent 9d79d7c0c6
commit 884eb3011a
8361 changed files with 1160554 additions and 4 deletions

View File

@@ -0,0 +1,26 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
abstract class Known extends TestSize
{
/**
* @psalm-assert-if-true Known $this
*/
public function isKnown(): bool
{
return true;
}
abstract public function isGreaterThan(self $other): bool;
}

View File

@@ -0,0 +1,34 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
final class Large extends Known
{
/**
* @psalm-assert-if-true Large $this
*/
public function isLarge(): bool
{
return true;
}
public function isGreaterThan(TestSize $other): bool
{
return !$other->isLarge();
}
public function asString(): string
{
return 'large';
}
}

View File

@@ -0,0 +1,34 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
final class Medium extends Known
{
/**
* @psalm-assert-if-true Medium $this
*/
public function isMedium(): bool
{
return true;
}
public function isGreaterThan(TestSize $other): bool
{
return $other->isSmall();
}
public function asString(): string
{
return 'medium';
}
}

View File

@@ -0,0 +1,34 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
final class Small extends Known
{
/**
* @psalm-assert-if-true Small $this
*/
public function isSmall(): bool
{
return true;
}
public function isGreaterThan(TestSize $other): bool
{
return false;
}
public function asString(): string
{
return 'small';
}
}

View File

@@ -0,0 +1,78 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
abstract class TestSize
{
public static function unknown(): self
{
return new Unknown;
}
public static function small(): self
{
return new Small;
}
public static function medium(): self
{
return new Medium;
}
public static function large(): self
{
return new Large;
}
/**
* @psalm-assert-if-true Known $this
*/
public function isKnown(): bool
{
return false;
}
/**
* @psalm-assert-if-true Unknown $this
*/
public function isUnknown(): bool
{
return false;
}
/**
* @psalm-assert-if-true Small $this
*/
public function isSmall(): bool
{
return false;
}
/**
* @psalm-assert-if-true Medium $this
*/
public function isMedium(): bool
{
return false;
}
/**
* @psalm-assert-if-true Large $this
*/
public function isLarge(): bool
{
return false;
}
abstract public function asString(): string;
}

View File

@@ -0,0 +1,29 @@
<?php declare(strict_types=1);
/*
* This file is part of phpunit/php-code-coverage.
*
* (c) Sebastian Bergmann <sebastian@phpunit.de>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace SebastianBergmann\CodeCoverage\Test\TestSize;
/**
* @psalm-immutable
*/
final class Unknown extends TestSize
{
/**
* @psalm-assert-if-true Unknown $this
*/
public function isUnknown(): bool
{
return true;
}
public function asString(): string
{
return 'unknown';
}
}