Управление сайтом

Файловый менеджер

Имя файла	Driver.php
Содержимое	<?php /* * This file is part of the PHP_CodeCoverage package. * * (c) Sebastian Bergmann <sebastian@phpunit.de> * * 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(); }

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

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