New version with improvements

Author: ondrejmirtes

composer.json

@@ -6,9 +6,15 @@
 	"prefer-stable": true,
 	"require": {
 		"php": "~7.0",
-		"phpstan/phpstan": "dev-dev#f85ba19e37",
+		"phpstan/phpstan": "dev-dev#8bb7f234a2",
 		"nette/utils": "^2.3.0"
 	},
+	"repositories": [
+		{
+			"type": "vcs",
+			"url": "[email protected]:ondrejmirtes/phpstan.git"
+		}
+	],
 	"autoload": {
 		"psr-4": {
   			"PHPStan\\": "src/"

src/Reflection/Nette/HtmlClassReflectionExtension.php

@@ -0,0 +1,36 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Reflection\Nette;
+
+use Nette\Utils\Html;
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Reflection\MethodReflection;
+use PHPStan\Reflection\MethodsClassReflectionExtension;
+use PHPStan\Reflection\PropertiesClassReflectionExtension;
+use PHPStan\Reflection\PropertyReflection;
+
+class HtmlClassReflectionExtension implements MethodsClassReflectionExtension, PropertiesClassReflectionExtension
+{
+
+	public function hasMethod(ClassReflection $classReflection, string $methodName): bool
+	{
+		return $classReflection->getName() === Html::class || $classReflection->isSubclassOf(Html::class);
+	}
+
+	public function getMethod(ClassReflection $classReflection, string $methodName): MethodReflection
+	{
+		return new HtmlMethodReflection($methodName, $classReflection);
+	}
+
+	public function hasProperty(ClassReflection $classReflection, string $propertyName): bool
+	{
+		return $classReflection->getName() === Html::class || $classReflection->isSubclassOf(Html::class);
+	}
+
+	public function getProperty(ClassReflection $classReflection, string $propertyName): PropertyReflection
+	{
+		return new HtmlPropertyReflection($classReflection);
+	}
+
+
+}

src/Reflection/Nette/HtmlMethodReflection.php

@@ -0,0 +1,66 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Reflection\Nette;
+
+use Nette\Utils\Html;
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Reflection\MethodReflection;
+use PHPStan\Type\ObjectType;
+use PHPStan\Type\Type;
+
+class HtmlMethodReflection implements MethodReflection
+{
+
+	/** @var string */
+	private $name;
+	
+	/** @var \PHPStan\Reflection\ClassReflection */
+	private $declaringClass;
+
+	public function __construct(string $name, ClassReflection $declaringClass)
+	{
+		$this->name = $name;
+		$this->declaringClass = $declaringClass;
+	}
+
+	public function getDeclaringClass(): ClassReflection
+	{
+		return $this->declaringClass;
+	}
+
+	public function isStatic(): bool
+	{
+		return false;
+	}
+
+	public function getParameters(): array
+	{
+		return [];
+	}
+
+	public function isVariadic(): bool
+	{
+		return true;
+	}
+
+	public function isPrivate(): bool
+	{
+		return false;
+	}
+
+	public function isPublic(): bool
+	{
+		return true;
+	}
+
+	public function getName(): string
+	{
+		return $this->name;
+	}
+
+	public function getReturnType(): Type
+	{
+		return new ObjectType(Html::class, false);
+	}
+
+}

src/Reflection/Nette/HtmlPropertyReflection.php

@@ -0,0 +1,46 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Reflection\Nette;
+
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Type\MixedType;
+use PHPStan\Type\Type;
+
+class HtmlPropertyReflection implements PropertyReflection
+{
+
+	/** @var \PHPStan\Reflection\ClassReflection */
+	private $declaringClass;
+
+	public function __construct(ClassReflection $declaringClass)
+	{
+		$this->declaringClass = $declaringClass;
+	}
+
+	public function getDeclaringClass(): ClassReflection
+	{
+		return $this->declaringClass;
+	}
+
+	public function isStatic(): bool
+	{
+		return false;
+	}
+
+	public function isPrivate(): bool
+	{
+		return false;
+	}
+
+	public function isPublic(): bool
+	{
+		return true;
+	}
+
+	public function getType(): Type
+	{
+		return new MixedType(true);
+	}
+
+}

src/Reflection/Nette/NetteCrateProperty.php

@@ -0,0 +1,46 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Reflection\Nette;
+
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Reflection\PropertyReflection;
+use PHPStan\Type\MixedType;
+use PHPStan\Type\Type;
+
+class NetteCrateProperty implements PropertyReflection
+{
+
+	/** @var \PHPStan\Reflection\ClassReflection */
+	private $declaringClass;
+
+	public function __construct(ClassReflection $declaringClass)
+	{
+		$this->declaringClass = $declaringClass;
+	}
+
+	public function getDeclaringClass(): ClassReflection
+	{
+		return $this->declaringClass;
+	}
+
+	public function isStatic(): bool
+	{
+		return false;
+	}
+
+	public function isPrivate(): bool
+	{
+		return false;
+	}
+
+	public function isPublic(): bool
+	{
+		return true;
+	}
+
+	public function getType(): Type
+	{
+		return new MixedType(true);
+	}
+
+}

src/Reflection/NetteObject/NetteObjectClassReflectionExtension.php renamed to src/Reflection/Nette/NetteObjectClassReflectionExtension.php

@@ -1,6 +1,6 @@
 <?php declare(strict_types=1);
 
-namespace PHPStan\Reflection\NetteObject;
+namespace PHPStan\Reflection\Nette;
 
 use Nette\Object;
 use PHPStan\Reflection\ClassReflection;

src/Reflection/NetteObject/NetteObjectEventListenerMethodReflection.php renamed to src/Reflection/Nette/NetteObjectEventListenerMethodReflection.php

@@ -1,6 +1,6 @@
 <?php declare(strict_types=1);
 
-namespace PHPStan\Reflection\NetteObject;
+namespace PHPStan\Reflection\Nette;
 
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\MethodReflection;

src/Reflection/NetteObject/NetteObjectPropertyReflection.php renamed to src/Reflection/Nette/NetteObjectPropertyReflection.php

@@ -1,6 +1,6 @@
 <?php declare(strict_types=1);
 
-namespace PHPStan\Reflection\NetteObject;
+namespace PHPStan\Reflection\Nette;
 
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\PropertyReflection;

src/Reflection/Nette/NettePropertyCratesClassReflectionExtension.php

@@ -0,0 +1,37 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Reflection\Nette;
+
+use PHPStan\Reflection\ClassReflection;
+use PHPStan\Reflection\PropertiesClassReflectionExtension;
+use PHPStan\Reflection\PropertyReflection;
+
+class NettePropertyCratesClassReflectionExtension implements PropertiesClassReflectionExtension
+{
+
+	public function hasProperty(ClassReflection $classReflection, string $propertyName): bool
+	{
+		$classes = [
+			'Nette\Application\UI\ITemplate',
+			'Nette\Http\SessionSection',
+		];
+
+		if (in_array($classReflection->getName(), $classes, true)) {
+			return true;
+		}
+
+		foreach ($classes as $class) {
+			if ($classReflection->getNativeReflection()->isSubclassOf($class)) {
+				return true;
+			}
+		}
+
+		return false;
+	}
+
+	public function getProperty(ClassReflection $classReflection, string $propertyName): PropertyReflection
+	{
+		return new NetteCrateProperty($classReflection);
+	}
+
+}

src/Reflection/Nette/SmartObjectPropertiesClassReflectionExtension.php

@@ -3,7 +3,6 @@
 namespace PHPStan\Reflection\Nette;
 
 use PHPStan\Reflection\ClassReflection;
-use PHPStan\Reflection\NetteObject\NetteObjectPropertyReflection;
 use PHPStan\Reflection\PropertiesClassReflectionExtension;
 use PHPStan\Reflection\PropertyReflection;