Exception
public function coveragePhp() : string { if (!$this->hasCoveragePhp()) { throw new Exception(); } return $this->coveragePhp; }