Driver.php
955 字节
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
<?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();
}