compiler

json.php

$sampler = new \Hoa\Compiler\Llk\Sampler\Coverage(
        \Hoa\Compiler\Llk\Llk::load(
            new \Hoa\File\Read($file->getPathName())
        ),
        new \Hoa\Regex\Visitor\Isotropic(
            new \Hoa\Math\Sampler\Random()
        )
    );

    $json = array();
    foreach ($sampler as $value) {
        $json[] = json_decode($value, true);
    }

    file_put_contents($jsonDir . $jsonFile, json_encode($json));