Driver.php in Zircon Profile 8.0

File

vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php

<?php

/*
 * This file is part of the PHP_CodeCoverage package.
 *
 * (c) Sebastian Bergmann <[e-mail]>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

/**
 * Interface for code coverage drivers.
 *
 * @since Class available since Release 1.0.0
 */
interface PHP_CodeCoverage_Driver {

  /**
   * @var int
   * @see http://xdebug.org/docs/code_coverage
   */
  const LINE_EXECUTED = 1;

  /**
   * @var int
   * @see http://xdebug.org/docs/code_coverage
   */
  const LINE_NOT_EXECUTED = -1;

  /**
   * @var int
   * @see http://xdebug.org/docs/code_coverage
   */
  const LINE_NOT_EXECUTABLE = -2;

  /**
   * Start collection of code coverage information.
   */
  public function start();

  /**
   * Stop collection of code coverage information.
   *
   * @return array
   */
  public function stop();

}

Interfaces

Name	Description
PHP_CodeCoverage_Driver	Interface for code coverage drivers.