Replaced some requirements with conflicts

Author: lookyman

composer.json

@@ -12,12 +12,6 @@
 	"require": {
 		"php": "~7.1",
 		"phpstan/phpstan": "^0.10",
-		"nette/application": "^2.3.0 || ^3.0.0",
-		"nette/component-model": "^2.3.0 || ^3.0.0",
-		"nette/di": "^2.3.0 || ^3.0.0",
-		"nette/forms": "^2.3.0 || ^3.0.0",
-		"nette/utils": "^2.3.0 || ^3.0.0",
-		"nette/http": "^2.3.0 || ^3.0.0",
 		"nikic/php-parser": "^4.0"
 	},
 	"require-dev": {
@@ -30,7 +24,21 @@
 		"phpstan/phpstan-strict-rules": "^0.10",
 		"phpunit/phpunit": "^7.0",
 		"satooshi/php-coveralls": "^1.0",
-		"slevomat/coding-standard": "^4.5.2"
+		"slevomat/coding-standard": "^4.5.2",
+		"nette/application": "^2.3.0 || ^3.0.0",
+		"nette/component-model": "^2.3.0 || ^3.0.0",
+		"nette/di": "^2.3.0 || ^3.0.0",
+		"nette/forms": "^2.3.0 || ^3.0.0",
+		"nette/utils": "^2.3.0 || ^3.0.0",
+		"nette/http": "^2.3.0 || ^3.0.0"
+	},
+	"conflict": {
+		"nette/application": "<2.3.0",
+		"nette/component-model": "<2.3.0",
+		"nette/di": "<2.3.0",
+		"nette/forms": "<2.3.0",
+		"nette/utils": "<2.3.0",
+		"nette/http": "<2.3.0"
 	},
 	"autoload": {
 		"psr-4": {

src/Reflection/Nette/HtmlClassReflectionExtension.php

@@ -2,7 +2,6 @@
 
 namespace PHPStan\Reflection\Nette;
 
-use Nette\Utils\Html;
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\MethodReflection;
 use PHPStan\Reflection\MethodsClassReflectionExtension;
@@ -14,7 +13,7 @@ class HtmlClassReflectionExtension implements MethodsClassReflectionExtension, P
 
 	public function hasMethod(ClassReflection $classReflection, string $methodName): bool
 	{
-		return $classReflection->getName() === Html::class || $classReflection->isSubclassOf(Html::class);
+		return $classReflection->getName() === 'Nette\Utils\Html' || $classReflection->isSubclassOf('Nette\Utils\Html');
 	}
 
 	public function getMethod(ClassReflection $classReflection, string $methodName): MethodReflection
@@ -24,7 +23,7 @@ public function getMethod(ClassReflection $classReflection, string $methodName):
 
 	public function hasProperty(ClassReflection $classReflection, string $propertyName): bool
 	{
-		return $classReflection->getName() === Html::class || $classReflection->isSubclassOf(Html::class);
+		return $classReflection->getName() === 'Nette\Utils\Html' || $classReflection->isSubclassOf('Nette\Utils\Html');
 	}
 
 	public function getProperty(ClassReflection $classReflection, string $propertyName): PropertyReflection

src/Reflection/Nette/HtmlMethodReflection.php

@@ -2,7 +2,6 @@
 
 namespace PHPStan\Reflection\Nette;
 
-use Nette\Utils\Html;
 use PHPStan\Reflection\ClassMemberReflection;
 use PHPStan\Reflection\ClassReflection;
 use PHPStan\Reflection\FunctionVariant;
@@ -49,7 +48,7 @@ public function getVariants(): array
 			new FunctionVariant(
 				[],
 				true,
-				substr($this->name, 0, 3) === 'get' ? new MixedType() : new ObjectType(Html::class)
+				substr($this->name, 0, 3) === 'get' ? new MixedType() : new ObjectType('Nette\Utils\Html')
 			),
 		];
 	}

src/Reflection/Nette/NetteObjectClassReflectionExtension.php

@@ -49,7 +49,7 @@ public function getProperty(ClassReflection $classReflection, string $propertyNa
 	public function hasMethod(ClassReflection $classReflection, string $methodName): bool
 	{
 		$traitNames = $this->getTraitNames($classReflection->getNativeReflection());
-		if (!in_array(\Nette\SmartObject::class, $traitNames, true) && !$this->inheritsFromNetteObject($classReflection->getNativeReflection())) {
+		if (!in_array('Nette\SmartObject', $traitNames, true) && !$this->inheritsFromNetteObject($classReflection->getNativeReflection())) {
 			return false;
 		}
 

src/Rule/Nette/DoNotExtendNetteObjectRule.php

@@ -53,7 +53,7 @@ public function processNode(Node $node, Scope $scope): array
 					"Class %s extends %s - it's better to use %s trait.",
 					$className,
 					'Nette\Object',
-					\Nette\SmartObject::class
+					'Nette\SmartObject'
 				),
 			];
 		}

src/Type/Nette/ComponentLookupDynamicReturnTypeExtension.php

@@ -16,7 +16,7 @@ final class ComponentLookupDynamicReturnTypeExtension implements DynamicMethodRe
 
 	public function getClass(): string
 	{
-		return \Nette\ComponentModel\Component::class;
+		return 'Nette\ComponentModel\Component';
 	}
 
 	public function isMethodSupported(MethodReflection $methodReflection): bool

src/Type/Nette/ComponentModelDynamicReturnTypeExtension.php

@@ -16,7 +16,7 @@ class ComponentModelDynamicReturnTypeExtension implements DynamicMethodReturnTyp
 
 	public function getClass(): string
 	{
-		return \Nette\ComponentModel\Container::class;
+		return 'Nette\ComponentModel\Container';
 	}
 
 	public function isMethodSupported(

src/Type/Nette/FormContainerValuesDynamicReturnTypeExtension.php

@@ -19,7 +19,7 @@ final class FormContainerValuesDynamicReturnTypeExtension implements DynamicMeth
 
 	public function getClass(): string
 	{
-		return \Nette\Forms\Container::class;
+		return 'Nette\Forms\Container';
 	}
 
 	public function isMethodSupported(MethodReflection $methodReflection): bool
@@ -30,7 +30,7 @@ public function isMethodSupported(MethodReflection $methodReflection): bool
 	public function getTypeFromMethodCall(MethodReflection $methodReflection, MethodCall $methodCall, Scope $scope): Type
 	{
 		if (count($methodCall->args) === 0) {
-			return new ObjectType(\Nette\Utils\ArrayHash::class);
+			return new ObjectType('Nette\Utils\ArrayHash');
 		}
 
 		$arg = $methodCall->args[0]->value;
@@ -40,7 +40,7 @@ public function getTypeFromMethodCall(MethodReflection $methodReflection, Method
 		}
 
 		if (!$scopedType->getValue()) {
-			return new ObjectType(\Nette\Utils\ArrayHash::class);
+			return new ObjectType('Nette\Utils\ArrayHash');
 		}
 
 		return new ArrayType(new StringType(), new MixedType());

src/Type/Nette/FormsBaseControlDynamicReturnTypeExtension.php

@@ -13,14 +13,14 @@ class FormsBaseControlDynamicReturnTypeExtension implements \PHPStan\Type\Dynami
 
 	public function getClass(): string
 	{
-		return \Nette\Forms\Controls\BaseControl::class;
+		return 'Nette\Forms\Controls\BaseControl';
 	}
 
 	public function isMethodSupported(
 		MethodReflection $methodReflection
 	): bool
 	{
-		return $methodReflection->getDeclaringClass()->getName() === \Nette\Forms\Controls\BaseControl::class;
+		return $methodReflection->getDeclaringClass()->getName() === 'Nette\Forms\Controls\BaseControl';
 	}
 
 	public function getTypeFromMethodCall(
@@ -33,7 +33,7 @@ public function getTypeFromMethodCall(
 		$referencedClasses = $returnType->getReferencedClasses();
 		if (
 			count($referencedClasses) === 1
-			&& $referencedClasses[0] === \Nette\Forms\Controls\BaseControl::class
+			&& $referencedClasses[0] === 'Nette\Forms\Controls\BaseControl'
 		) {
 			return $scope->getType($methodCall->var);
 		}

src/Type/Nette/PresenterGetSessionReturnTypeExtension.php

@@ -2,8 +2,6 @@
 
 namespace PHPStan\Type\Nette;
 
-use Nette\Http\Session;
-use Nette\Http\SessionSection;
 use PhpParser\Node\Expr\MethodCall;
 use PHPStan\Analyser\Scope;
 use PHPStan\Reflection\MethodReflection;
@@ -17,7 +15,7 @@ final class PresenterGetSessionReturnTypeExtension implements DynamicMethodRetur
 
 	public function getClass(): string
 	{
-		return \Nette\Application\UI\Presenter::class;
+		return 'Nette\Application\UI\Presenter';
 	}
 
 	public function isMethodSupported(MethodReflection $methodReflection): bool
@@ -28,10 +26,10 @@ public function isMethodSupported(MethodReflection $methodReflection): bool
 	public function getTypeFromMethodCall(MethodReflection $methodReflection, MethodCall $methodCall, Scope $scope): Type
 	{
 		if (count($methodCall->args) === 0 || $scope->getType($methodCall->args[0]->value) instanceof NullType) {
-			return new ObjectType(Session::class);
+			return new ObjectType('Nette\Http\Session');
 		}
 
-		return new ObjectType(SessionSection::class);
+		return new ObjectType('Nette\Http\SessionSection');
 	}
 
 }

src/Type/Nette/ServiceLocatorDynamicReturnTypeExtension.php

@@ -17,7 +17,7 @@ class ServiceLocatorDynamicReturnTypeExtension implements \PHPStan\Type\DynamicM
 
 	public function getClass(): string
 	{
-		return \Nette\DI\Container::class;
+		return 'Nette\DI\Container';
 	}
 
 	public function isMethodSupported(MethodReflection $methodReflection): bool