protected static function get_coverage_info(string $fulldir): ?phpunit_coverage_info {
        $coverageconfig = "{$fulldir}/tests/coverage.php";
        if (file_exists($coverageconfig)) {
            $coverageinfo = require($coverageconfig);
            if (!$coverageinfo instanceof phpunit_coverage_info) {
                throw new \coding_exception("{$coverageconfig} does not return a phpunit_coverage_info");
            }

            return $coverageinfo;
        }

        return null;
    }
protected static function get_coverage_info(string $fulldir): ?phpunit_coverage_info {
        $coverageconfig = "{$fulldir}/tests/coverage.php";
        if (file_exists($coverageconfig)) {
            $coverageinfo = require($coverageconfig);
            if (!$coverageinfo instanceof phpunit_coverage_info) {
                throw new \coding_exception("{$coverageconfig} does not return a phpunit_coverage_info");
            }

            return $coverageinfo;
        }

        return null;
    }
protected static function get_coverage_info ( string $ fulldir ) : ? phpunit_coverage_info { $ coverageconfig = "{$fulldir}/tests/coverage.php" ; if ( file_exists ( $ coverageconfig ) ) { $ coverageinfo = require ( $ coverageconfig ) ; if ( ! $ coverageinfo instanceof phpunit_coverage_info ) { throw new \ coding_exception ( "{$coverageconfig} does not return a phpunit_coverage_info" ) ; } return $ coverageinfo ; } return null ; }
Get the phpunit_coverage_info for the specified plugin or subsystem directory.

@param   string  $fulldir The directory to find the coverage info file in.
@return  phpunit_coverage_info
Get the phpunit_coverage_info for the specified plugin or subsystem directory .