Version 1

[yaffs-website] / vendor / phpunit / php-code-coverage / src / CodeCoverage / Driver.php

diff --git a/vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php b/vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php
new file mode 100644 (file)
index 0000000..8635ace
--- /dev/null
+++ b/vendor/phpunit/php-code-coverage/src/CodeCoverage/Driver.php
@@ -0,0 +1,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();
+}