diff vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php @ 0:4c8ae668cc8c

Initial import (non-working)

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php	Wed Nov 29 16:09:58 2017 +0000
@@ -0,0 +1,47 @@
+<?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();
+}