README

设置

$ composer require --dev rskuipers/php-assumptions

简介

PHP Assumptions 是由 "从假设到断言" 博客文章启发的原型。它是一个静态代码分析工具，用于检查弱假设。

以下是一个假设的示例

if ($user !== null) {
    $user->logout();
}

在当前文件上运行 bin/phpa 会产生以下输出

----------------------------------------------
| file        | line | message               |
==============================================
| example.php | 3    | if ($user !== null) { |
----------------------------------------------

1 out of 1 boolean expressions are assumptions (100%)

以下是一个断言的示例

if ($user instanceof User) {
    $user->logout();
}

测试

该项目使用 PHPUnit 和 Prophecy 构建。为了运行这些测试，请确保您已经通过 composer 安装了开发依赖项。

运行 PHPUnit

$ ./vendor/bin/phpunit

rskuipers / php-assumptions

维护者

详细信息

README

设置

简介

测试