file-fetcher
|
Variables | |
$inputFile = __DIR__ . '/../build/logs/clover.xml' | |
$percentage = min(100, max(0, (int) $argv[1])) | |
if(!file_exists($inputFile)) if(! $percentage) | $xml = new SimpleXMLElement(file_get_contents($inputFile)) |
$metrics = $xml->xpath('//metrics') | |
$totalElements = 0 | |
$checkedElements = 0 | |
foreach($metrics as $metric) | $coverage = ($checkedElements / $totalElements) * 100 |
if ( $coverage< $percentage) | |
$checkedElements = 0 |
foreach ( $metrics as $metric) $coverage = ($checkedElements / $totalElements) * 100 |
$inputFile = __DIR__ . '/../build/logs/clover.xml' |
$metrics = $xml->xpath('//metrics') |
$percentage = min(100, max(0, (int) $argv[1])) |
$totalElements = 0 |
if (!file_exists( $inputFile)) if (! $percentage) $xml = new SimpleXMLElement(file_get_contents($inputFile)) |
if($coverage< $percentage) |