[WIP] Support for Prophecy

extension.neon

@@ -18,3 +18,11 @@ services:
 		class: PHPStan\Type\PHPUnit\MockBuilderDynamicReturnTypeExtension
 		tags:
 			- phpstan.broker.dynamicMethodReturnTypeExtension
+	-
+		class: PHPStan\Type\Prophecy\ProphetDynamicReturnTypeExtension
+		tags:
+			- phpstan.broker.dynamicMethodReturnTypeExtension
+	-
+		class: PHPStan\Type\Prophecy\ObjectProphecyDynamicReturnTypeExtension
+		tags:
+			- phpstan.broker.dynamicMethodReturnTypeExtension

src/Type/Prophecy/ObjectProphecyDynamicReturnTypeExtension.php

@@ -0,0 +1,38 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Prophecy;
+
+use PhpParser\Node\Expr\MethodCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Reflection\MethodReflection;
+use PHPStan\Type\ObjectType;
+use PHPStan\Type\Type;
+use Prophecy\Prophecy\ObjectProphecy;
+
+class ObjectProphecyDynamicReturnTypeExtension implements \PHPStan\Type\DynamicMethodReturnTypeExtension
+{
+
+	public function getClass(): string
+	{
+		return ObjectProphecy::class;
+	}
+
+	public function isMethodSupported(MethodReflection $methodReflection): bool
+	{
+		return true;
+	}
+
+	public function getTypeFromMethodCall(MethodReflection $methodReflection, MethodCall $methodCall, Scope $scope): Type
+	{
+		if ($methodReflection->getName() === 'reveal') {
+			$calledOnType = $scope->getType($methodCall->var);
+
+			if ($calledOnType instanceof ObjectProphecyType) {
+				return new ObjectType($calledOnType->getMockedClass());
+			}
+		}
+
+		return $methodReflection->getReturnType();
+	}
+
+}

src/Type/Prophecy/ObjectProphecyType.php

@@ -0,0 +1,31 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Prophecy;
+
+use Prophecy\Prophecy\ObjectProphecy;
+
+class ObjectProphecyType extends \PHPStan\Type\ObjectType
+{
+
+	/**
+	 * @var string
+	 */
+	private $mockedClass;
+
+	public function __construct(string $mockedClass)
+	{
+		parent::__construct(ObjectProphecy::class);
+		$this->mockedClass = $mockedClass;
+	}
+
+	public function getMockedClass(): string
+	{
+		return $this->mockedClass;
+	}
+
+	public function describe(): string
+	{
+		return sprintf('%s<%s>', parent::describe(), $this->mockedClass);
+	}
+
+}

src/Type/Prophecy/ProphetDynamicReturnTypeExtension.php

@@ -0,0 +1,51 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Prophecy;
+
+use PhpParser\Node\Expr\MethodCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Reflection\MethodReflection;
+use PHPStan\Type\Type;
+use PHPUnit\Framework\TestCase;
+
+class ProphetDynamicReturnTypeExtension implements \PHPStan\Type\DynamicMethodReturnTypeExtension
+{
+
+	public function getClass(): string
+	{
+		return TestCase::class;
+	}
+
+	public function isMethodSupported(MethodReflection $methodReflection): bool
+	{
+		return $methodReflection->getName() === 'prophesize';
+	}
+
+	public function getTypeFromMethodCall(MethodReflection $methodReflection, MethodCall $methodCall, Scope $scope): Type
+	{
+		if (count($methodCall->args) === 0) {
+			return $methodReflection->getReturnType();
+		}
+		$arg = $methodCall->args[0]->value;
+		if (!($arg instanceof \PhpParser\Node\Expr\ClassConstFetch)) {
+			return $methodReflection->getReturnType();
+		}
+
+		$class = $arg->class;
+		if (!($class instanceof \PhpParser\Node\Name)) {
+			return $methodReflection->getReturnType();
+		}
+
+		$class = (string) $class;
+		if ($class === 'static') {
+			return $methodReflection->getReturnType();
+		}
+
+		if ($class === 'self') {
+			$class = $scope->getClassReflection()->getName();
+		}
+
+		return new ObjectProphecyType($class);
+	}
+
+}