$ composer require --dev rskuipers/php-assumptions
PHP Assumptions is the result of a proof of concept inspired by the "From assumptions to assertions" blog post. It's a static code analysis tool doing checks for weak assumptions.
This is an example of an assumption:
if ($user !== null) {
$user->logout();
}
Running bin/phpa on this file would yield the following output:
----------------------------------------------
| file | line | message |
==============================================
| example.php | 3 | if ($user !== null) { |
----------------------------------------------
1 out of 1 boolean expressions are assumptions (100%)
This is an example of an assertion:
if ($user instanceof User) {
$user->logout();
}
This project is built with PHPUnit and Prophecy. In order to run these tests make sure you have dev dependencies installed with composer.
Running PHPUnit:
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4