Fix @coversNothing

ChangeLog.markdown

@@ -7,6 +7,7 @@ PHP_CodeCoverage 1.2.7
 ----------------------
 
 * The `html5shiv.js` is now bundled.
+* Fixed sebastianbergmann/phpunit#702: `@coversNothing` didn't work as documented.
 
 PHP_CodeCoverage 1.2.6
 ----------------------

PHP/CodeCoverage.php

@@ -445,6 +445,10 @@ protected function applyCoversAnnotationFilter(&$data, $id)
             $linesToBeCovered = $this->getLinesToBeCovered(
               $testClassName, $id->getName()
             );
+            if($linesToBeCovered === false) {
+                $data = array();
+                return;
+            }
 
             if ($this->mapTestClassNameToCoveredClassName &&
                 empty($linesToBeCovered)) {
@@ -611,7 +615,7 @@ protected function getLinesToBeCovered($className, $methodName)
         }
 
         if (strpos($docComment, '@coversNothing') !== FALSE) {
-            return $result;
+            return false;
         }
 
         $classShortcut = preg_match_all(

Tests/PHP/CodeCoverageTest.php

@@ -309,10 +309,14 @@ public function testGetLinesToBeCovered($test, $lines)
             );
         }
 
-        else if ($test === 'CoverageNoneTest' || $test === 'CoverageNothingTest') {
+        else if ($test === 'CoverageNoneTest') {
             $expected = array();
         }
 
+        else if ($test === 'CoverageNothingTest') {
+            $expected = false;
+        }
+
         else if ($test === 'CoverageFunctionTest') {
             $expected = array(
               TEST_FILES_PATH . 'CoveredFunction.php' => $lines
@@ -492,7 +496,7 @@ public function getLinesToBeCoveredProvider()
           ),
           array(
             'CoverageNothingTest',
-            array()
+            false
           )
         );
     }