Generate

Rasuvaeff\PropertyTesting\Generate

Class — Package: property-testing-core — Source — Version: v1.3.0-1-g1caf510

The generator of one parameter, written on the parameter itself — read by Gen::forParameters() and Gen::forClass(), so by every adapter's signature-driven mode, before the docblock and the native type.

public function delayStaysWithinCap(
    #[Generate(new IntArbitrary(0, 10_000))] int $base,
    #[Generate([Generators::class, 'email'])] string $to,
): void

Either an arbitrary, built with new (an attribute argument is a constant expression, so Gen::* factories cannot appear in it), or a reference to a static factory that returns one: a method name of the declaring class, 'Class::method', [Class::class, 'method'], or an invokable object. The reference is how a generator that needs a closure — Gen::map(), Gen::email(), Gen::regex() — reaches a parameter on PHP 8.3 and 8.4.

The attribute is exact: it wins over the docblock and the native type, and a nullable parameter is not made nullable on top of it.

Constructor

__construct(
    \ArbitraryInterface|non-empty-string|array{0: class-string|object, 1: non-empty-string}|object $generator,
)

Parameter	Type	Default	Description
$generator	`\ArbitraryInterface	non-empty-string	array{0: class-string