PHP code example of phpstan / phpstan-beberlei-assert

1. Go to this page and download the library: Download phpstan/phpstan-beberlei-assert library. Choose the download type require.

2. Extract the ZIP file and open the index.php.

3. Add this code to the index.php.
    
        
<?php
require_once('vendor/autoload.php');

/* Start to develop here. Best regards https://php-download.com/ */

    

phpstan / phpstan-beberlei-assert example snippets


 declare(strict_types = 1);
use Assert\Assertion;

function demo(?int $a) {
	// ...

	Assertion::integer($a);
	// PHPStan is now aware that $a can no longer be `null` at this point

	return ($a === 10);
}

Assertion::nullOrString($value);
// $value is string|null

/** @var mixed[] $values */
Assertion::allInteger($values);
// $values is array<int>

Assert::that($value)->string();
Assert::that($value)->nullOr()->string(); // string|null
Assert::thatNullOr($value)->string();     // string|null
Assert::that($values)->all()->string();   // array<string>
Assert::thatAll($values)->string();       // array<string>