public function addCoverage($lineNum, $count)
    {
        if (array_key_exists($lineNum, $this->coverage)) {
            $this->coverage[$lineNum] += $count;
        }
    }
public function addCoverage($lineNum, $count)
    {
        if (array_key_exists($lineNum, $this->coverage)) {
            $this->coverage[$lineNum] += $count;
        }
    }
public function addCoverage ( $ lineNum , $ count ) { if ( array_key_exists ( $ lineNum , $ this -> coverage ) ) { $ this -> coverage [ $ lineNum ] += $ count ; } }
Add coverage.

@param int $lineNum line number
@param int $count   number of covered
Add coverage .