README

Basic usage

Examples of the type of check will be as follows.

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;
}

Type of coverage

Examples of the type of coverage will be as follows.

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 of Client

• version - return type checker version
• init - generate configuration file
• start - starts a hack server
• stop - stops a hack server
• restart - restarts a hack server
• check - return result of type check
• coverage - return result of coverage

Run the test

You can run the test with the following command.

composer install
composer test