public function removeCoverageDataForFile(string $filename) : void { unset($this->lineCoverage[$filename], $this->functionCoverage[$filename]); }