Initial work on Prophecy support

build.xml

@@ -339,6 +339,19 @@
     <exclude name="**/Autoload.*" />
    </fileset>
   </copy>
+
+  <copy todir="${basedir}/build/phar/phpdocumentor-reflection-docblock">
+   <fileset dir="${basedir}/vendor/phpdocumentor/reflection-docblock/src">
+    <include name="**/*.php" />
+   </fileset>
+  </copy>
+
+  <copy file="${basedir}/vendor/phpspec/prophecy/LICENSE" tofile="${basedir}/build/phar/phpspec-prophecy/LICENSE"/>
+  <copy todir="${basedir}/build/phar/phpspec-prophecy">
+   <fileset dir="${basedir}/vendor/phpspec/prophecy/src">
+    <include name="**/*.php" />
+   </fileset>
+  </copy>
  </target>
 
  <target name="phar-build">

composer.json

@@ -28,6 +28,7 @@
         "phpunit/php-code-coverage": "3.0.*@dev",
         "phpunit/php-timer": "~1.0.2",
         "phpunit/phpunit-mock-objects": "2.4.*@dev",
+        "phpspec/prophecy": "~1.2",
         "symfony/yaml": "~2.0",
         "sebastian/comparator": "1.1.*@dev",
         "sebastian/diff": "~1.1",

src/Framework/TestCase.php

@@ -48,6 +48,8 @@
 use SebastianBergmann\GlobalState\Blacklist;
 use SebastianBergmann\Exporter\Context;
 use SebastianBergmann\Exporter\Exporter;
+use Prophecy\Exception\Prediction\PredictionException;
+use Prophecy\Prophet;
 
 /**
  * A TestCase defines the fixture to run multiple tests.
@@ -293,6 +295,11 @@ abstract class PHPUnit_Framework_TestCase extends PHPUnit_Framework_Assert imple
      */
     private $snapshot;
 
+    /**
+     * @var Prophecy\Prophet
+     */
+    private $prophet;
+
     /**
      * Constructs a test case with the given name.
      *
@@ -966,6 +973,21 @@ protected function verifyMockObjects()
 
             $mockObject->__phpunit_verify();
         }
+
+        if ($this->prophet !== null) {
+            foreach ($this->prophet->getProphecies() as $objectProphecy) {
+                foreach ($objectProphecy->getMethodProphecies() as $methodProphecies) {
+                    foreach ($methodProphecies as $methodProphecy) {
+                        if ($methodProphecy->getPrediction() !== null) {
+                            $this->numAssertions++;
+                        }
+                    }
+                }
+            }
+
+            $this->prophet->checkPredictions();
+            $this->prophet = null;
+        }
     }
 
     /**
@@ -1439,6 +1461,17 @@ protected function getObjectForTrait($traitName, array $arguments = array(), $tr
         );
     }
 
+    /**
+     * @param string|null $classOrInterface
+     * @return \Prophecy\Prophecy\ObjectProphecy
+     * @throws \LogicException
+     * @since  Method available since Release 4.5.0
+     */
+    protected function prophesize($classOrInterface = null)
+    {
+        return $this->getProphet()->prophesize($classOrInterface);
+    }
+
     /**
      * Adds a value to the assertion counter.
      *
@@ -2001,4 +2034,17 @@ private function restoreGlobalState()
 
         $this->snapshot = null;
     }
+
+    /**
+     * @return Prophecy\Prophet
+     * @since Method available since Release 4.5.0
+     */
+    private function getProphet()
+    {
+        if ($this->prophet === null) {
+            $this->prophet = new Prophet;
+        }
+
+        return $this->prophet;
+    }
 }