respect-validation/tests/feature/Validators/PropertyTest.php
Henrique Moody 7c681fec66
Fix SPDX headers in all files
I ran the `bin/console spdx --fix` with different strategies for
different files. For most of the core classes, since they've been
drastically rebuilt, I've run it with the `git-blame` strategy, for for
the `src/Validators`, in which the API changed completely but the logic
remains the same, I use the `git-log` strategy.
2026-02-03 15:23:23 +01:00

120 lines
6 KiB
PHP

<?php
/*
* SPDX-License-Identifier: MIT
* SPDX-FileCopyrightText: (c) Respect Project Contributors
* SPDX-FileContributor: Alexandre Gomes Gaigalas <alganet@gmail.com>
* SPDX-FileContributor: Henrique Moody <henriquemoody@gmail.com>
*/
declare(strict_types=1);
test('Missing property', catchAll(
fn() => v::property('foo', v::intType())->assert(new stdClass()),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` must be present')
->and($fullMessage)->toBe('- `.foo` must be present')
->and($messages)->toBe(['foo' => '`.foo` must be present']),
));
test('Default', catchAll(
fn() => v::property('foo', v::intType())->assert((object) ['foo' => 'string']),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` must be an integer')
->and($fullMessage)->toBe('- `.foo` must be an integer')
->and($messages)->toBe(['foo' => '`.foo` must be an integer']),
));
test('Inverted', catchAll(
fn() => v::not(v::property('foo', v::intType()))->assert((object) ['foo' => 12]),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` must not be an integer')
->and($fullMessage)->toBe('- `.foo` must not be an integer')
->and($messages)->toBe(['foo' => '`.foo` must not be an integer']),
));
test('Double-inverted with missing property', catchAll(
fn() => v::not(v::not(v::property('foo', v::intType())))->assert(new stdClass()),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` must be present')
->and($fullMessage)->toBe('- `.foo` must be present')
->and($messages)->toBe(['foo' => '`.foo` must be present']),
));
test('With wrapped name, missing property', catchAll(
fn() => v::property('foo', v::named('Wrapped', v::intType()))->assert(new stdClass()),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('Wrapped must be present')
->and($fullMessage)->toBe('- Wrapped must be present')
->and($messages)->toBe(['foo' => 'Wrapped must be present']),
));
test('With wrapped name, default', catchAll(
fn() => v::named('Wrapper', v::property('foo', v::named('Wrapped', v::intType())))->assert((object) ['foo' => 'string']),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('Wrapped must be an integer')
->and($fullMessage)->toBe('- Wrapped must be an integer')
->and($messages)->toBe(['foo' => 'Wrapped must be an integer']),
));
test('With wrapped name, inverted', catchAll(
fn() => v::named('Not', v::not(
v::named('Wrapper', v::property('foo', v::named('Wrapped', v::intType()))),
))
->assert((object) ['foo' => 12]),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('Wrapped must not be an integer')
->and($fullMessage)->toBe('- Wrapped must not be an integer')
->and($messages)->toBe(['foo' => 'Wrapped must not be an integer']),
));
test('With wrapper name, default', catchAll(
fn() => v::named('Wrapper', v::property('foo', v::intType()))->assert((object) ['foo' => 'string']),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` (<- Wrapper) must be an integer')
->and($fullMessage)->toBe('- `.foo` (<- Wrapper) must be an integer')
->and($messages)->toBe(['foo' => '`.foo` (<- Wrapper) must be an integer']),
));
test('With wrapper name, missing property', catchAll(
fn() => v::named('Wrapper', v::property('foo', v::intType()))->assert(new stdClass()),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` (<- Wrapper) must be present')
->and($fullMessage)->toBe('- `.foo` (<- Wrapper) must be present')
->and($messages)->toBe(['foo' => '`.foo` (<- Wrapper) must be present']),
));
test('With wrapper name, inverted', catchAll(
fn() => v::named('Not', v::not(v::named('Wrapper', v::property('foo', v::intType()))))
->assert((object) ['foo' => 12]),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` (<- Wrapper) must not be an integer')
->and($fullMessage)->toBe('- `.foo` (<- Wrapper) must not be an integer')
->and($messages)->toBe(['foo' => '`.foo` (<- Wrapper) must not be an integer']),
));
test('With "Not" name, inverted', catchAll(
fn() => v::named('Not', v::not(v::property('foo', v::intType())))->assert((object) ['foo' => 12]),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('`.foo` (<- Not) must not be an integer')
->and($fullMessage)->toBe('- `.foo` (<- Not) must not be an integer')
->and($messages)->toBe(['foo' => '`.foo` (<- Not) must not be an integer']),
));
test('With template, default', catchAll(
fn() => v::property('foo', v::intType())
->assert((object) ['foo' => 'string'], 'Particularly precautions perplexing property'),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('Particularly precautions perplexing property')
->and($fullMessage)->toBe('- Particularly precautions perplexing property')
->and($messages)->toBe(['foo' => 'Particularly precautions perplexing property']),
));
test('With template, inverted', catchAll(
fn() => v::not(v::property('foo', v::intType()))
->assert((object) ['foo' => 12], 'Not a prompt prospect of a particularly primitive property'),
fn(string $message, string $fullMessage, array $messages) => expect()
->and($message)->toBe('Not a prompt prospect of a particularly primitive property')
->and($fullMessage)->toBe('- Not a prompt prospect of a particularly primitive property')
->and($messages)->toBe(['foo' => 'Not a prompt prospect of a particularly primitive property']),
));