diff options
| -rw-r--r-- | tests/NextAfterTest.php | 118 |
1 files changed, 118 insertions, 0 deletions
diff --git a/tests/NextAfterTest.php b/tests/NextAfterTest.php new file mode 100644 index 0000000..8699203 --- /dev/null +++ b/tests/NextAfterTest.php @@ -0,0 +1,118 @@ +<?php + +declare(strict_types=1); + +namespace Nsfisis\NextAfter\Tests; + +use Nsfisis\NextAfter\NextAfter; +use PHPUnit\Framework\Attributes\CoversClass; +use PHPUnit\Framework\Attributes\DataProvider; +use PHPUnit\Framework\TestCase; +use const INF; +use const NAN; +use const PHP_FLOAT_MIN; + +#[CoversClass(NextAfter::class)] +final class NextAfterTest extends TestCase +{ + #[DataProvider('provideNextAfterCases')] + public function testNextAfter(float $expected, float $x, float $y): void + { + self::assertSameFloat($expected, NextAfter::nextAfter($x, $y)); + } + + #[DataProvider('provideNextUpCases')] + public function testNextUp(float $expected, float $x): void + { + self::assertSameFloat($expected, NextAfter::nextUp($x)); + } + + #[DataProvider('provideNextDownCases')] + public function testNextDown(float $expected, float $x): void + { + self::assertSameFloat($expected, NextAfter::nextDown($x)); + } + + /** + * @return iterable<array{float, float, float}> + */ + public static function provideNextAfterCases(): iterable + { + yield 'both NaN' => [NAN, NAN, NAN]; + yield 'x is NaN' => [NAN, NAN, 1.0]; + yield 'y is NaN' => [NAN, 1.0, NAN]; + yield 'same value' => [5.0, 5.0, 5.0]; + yield 'positive/negative zeros' => [-0.0, 0.0, -0.0]; + yield 'negative/positive zeros' => [0.0, -0.0, 0.0]; + yield 'same infinity' => [INF, INF, INF]; + yield 'same negative infinity' => [-INF, -INF, -INF]; + yield 'x < y (both negative)' => [-4.999999999999999, -5.0, -1.0]; + yield 'x < y (x is negative)' => [-0.9999999999999999, -1.0, 1.0]; + yield 'x < y (both positive)' => [1.0000000000000002, 1.0, 5.0]; + yield 'x > y (both positive)' => [4.999999999999999, 5.0, 1.0]; + yield 'x > y (x is positive)' => [0.9999999999999999, 1.0, -1.0]; + yield 'x > y (both negative)' => [-1.0000000000000002, -1.0, -5.0]; + yield 'infinity to zero' => [PHP_FLOAT_MAX, INF, 0.0]; + yield 'infinity to maximum finite value' => [PHP_FLOAT_MAX, INF, PHP_FLOAT_MAX]; + yield 'negative infinity to zero' => [-PHP_FLOAT_MAX, -INF, 0.0]; + yield 'negative infinity to negative maximum finite value' => [-PHP_FLOAT_MAX, -INF, -PHP_FLOAT_MAX]; + yield 'zero to infinity' => [PHP_FLOAT_MIN, 0.0, INF]; + yield 'zero to negative infinity' => [-PHP_FLOAT_MIN, 0.0, -INF]; + yield 'negative zero to infinity' => [PHP_FLOAT_MIN, -0.0, INF]; + yield 'negative zero to negative infinity' => [-PHP_FLOAT_MIN, -0.0, -INF]; + yield 'maximum finite value to inifinity' => [INF, PHP_FLOAT_MAX, INF]; + yield 'negative maximum finite value to negative inifinity' => [-INF, -PHP_FLOAT_MAX, -INF]; + } + + /** + * @return iterable<array{float, float}> + */ + public static function provideNextUpCases(): iterable + { + yield 'NaN' => [NAN, NAN]; + yield 'positive infinity' => [INF, INF]; + yield 'negative infinity' => [-PHP_FLOAT_MAX, -INF]; + yield 'positive zero' => [PHP_FLOAT_MIN, 0.0]; + yield 'negative zero' => [PHP_FLOAT_MIN, -0.0]; + yield 'positive value' => [1.0000000000000002, 1.0]; + yield 'negative value' => [-0.9999999999999999, -1.0]; + yield 'maximum finite value' => [INF, PHP_FLOAT_MAX]; + } + + /** + * @return iterable<array{float, float}> + */ + public static function provideNextDownCases(): iterable + { + yield 'NaN' => [NAN, NAN]; + yield 'negative infinity' => [-INF, -INF]; + yield 'positive infinity' => [PHP_FLOAT_MAX, INF]; + yield 'positive zero' => [-PHP_FLOAT_MIN, 0.0]; + yield 'negative zero' => [-PHP_FLOAT_MIN, -0.0]; + yield 'positive value' => [0.9999999999999999, 1.0]; + yield 'negative value' => [-1.0000000000000002, -1.0]; + yield 'negative maximum finite value' => [-INF, -PHP_FLOAT_MAX]; + } + + private function assertSameFloat(float $expected, float $actual): void + { + if (is_nan($expected)) { + self::assertNan($actual); + } elseif (is_infinite($expected)) { + self::assertInfinite($actual); + if ($expected > 0) { + self::assertGreaterThan(0, $actual); + } else { + self::assertLessThan(0, $actual); + } + } elseif ($expected === 0.0) { + self::assertSame(0.0, $actual); + + $expectedSign = print_r($expected, true)[0] === '-'; + $actualSign = print_r($actual, true)[0] === '-'; + self::assertSame($expectedSign, $actualSign); + } else { + self::assertSame($expected, $actual); + } + } +} |