PHPCoverage Code

<?php
/*
 *  $Id: codeCoverageMain.php 49493 2006-04-08 00:16:04Z hkodungallur $
 *  
 *  Copyright(c) 2004-2006, SpikeSource Inc. All Rights Reserved.
 *  Licensed under the Open Software License version 2.1
 *  (See http://www.spikesource.com/license.html)
 */
?>
<?php
    /**
     * This file should be executed with following command
     * Linux:
     *   $ (export PHPCOVERAGE_HOME=/path/to/phpcoverage/src; php codeCoverageMain.php)
     * Windows: 
     *   > set PHPCOVERAGE_HOME=/path/to/phpcoverage/src
     *   > php codeCoverageMain.php
     *
     */

?>
<?php
    require_once "phpcoverage.inc.php";
    require_once PHPCOVERAGE_HOME . "/CoverageRecorder.php";
    require_once PHPCOVERAGE_HOME . "/reporter/HtmlCoverageReporter.php";

    $reporter = new HtmlCoverageReporter("Code Coverage Report", "", "report");

    $includePaths = array(".");
    $excludePaths = array("codeCoverageMain.php", "test_driver.php");
    $cov = new CoverageRecorder($includePaths, $excludePaths, $reporter);

    $cov->startInstrumentation();
    include "test_driver.php";
    $cov->stopInstrumentation();

    $cov->generateReport();
    $reporter->printTextSummary();
?>