Exception
public function crap4j() : Crap4j { if (!$this->hasCrap4j()) { throw new Exception('Code Coverage report "Crap4J" has not been configured'); } return $this->crap4j; }