README

基本用法

类型检查的示例如下。

use HHPack\TypeChecker\TypeCheckerClient;

$client = new TypeCheckerClient(getcwd());

await $client->restart();

$result = await $client->check();

if ($result->isPassed()) {
    echo "Passed!!", PHP_EOL;
} else {
    echo "Failed!!", PHP_EOL;
}

覆盖率类型

覆盖率类型的示例如下。

use HHPack\TypeChecker\TypeCheckerClient;
use HHPack\TypeChecker\Coverage\File;

$client = new TypeCheckerClient(getcwd());
await $client->restart();

$result = await $client->coverage();
$files = $result->filter(($item) ==> {
    return $item instanceof File;
});

foreach ($files as $file) {
    $formattedParsentage = sprintf('%6.2f%%', (float) $file->parsentage() * 100); 
    echo $formattedParsentage, ' ', $file->name(), PHP_EOL;
}

客户端API

version - 返回类型检查版本
init - 生成配置文件
start - 启动 Hack 服务器
stop - 停止 Hack 服务器
restart - 重新启动 Hack 服务器
check - 返回类型检查结果
coverage - 返回覆盖率结果

运行测试

您可以使用以下命令运行测试。

composer install
composer test

hhpack / typechecker-client

维护者

详情

README

基本用法

覆盖率类型

客户端API

运行测试