Introduce new method

Author: VincentLanglet

src/Type/Accessory/HasMethodType.php

@@ -14,6 +14,7 @@
 use PHPStan\Type\AcceptsResult;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\ErrorType;
+use PHPStan\Type\Generic\GenericClassStringType;
 use PHPStan\Type\IntersectionType;
 use PHPStan\Type\IsSuperTypeOfResult;
 use PHPStan\Type\StringType;
@@ -57,6 +58,11 @@ public function getObjectClassReflections(): array
 		return [];
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new GenericClassStringType($this);
+	}
+
 	private function getCanonicalMethodName(): string
 	{
 		return strtolower($this->methodName);

src/Type/Accessory/HasPropertyType.php

@@ -10,6 +10,7 @@
 use PHPStan\Type\AcceptsResult;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\ErrorType;
+use PHPStan\Type\Generic\GenericClassStringType;
 use PHPStan\Type\IntersectionType;
 use PHPStan\Type\IsSuperTypeOfResult;
 use PHPStan\Type\Traits\NonGeneralizableTypeTrait;
@@ -51,6 +52,11 @@ public function getObjectClassReflections(): array
 		return [];
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new GenericClassStringType($this);
+	}
+
 	public function getConstantStrings(): array
 	{
 		return [];

src/Type/ClosureType.php

@@ -295,6 +295,11 @@ public function isObject(): TrinaryLogic
 		return $this->objectType->isObject();
 	}
 
+	public function getClassStringType(): Type
+	{
+		return $this->objectType->getClassStringType();
+	}
+
 	public function isEnum(): TrinaryLogic
 	{
 		return $this->objectType->isEnum();

src/Type/Enum/EnumCaseObjectType.php

@@ -18,6 +18,7 @@
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\Constant\ConstantStringType;
 use PHPStan\Type\GeneralizePrecision;
+use PHPStan\Type\Generic\GenericClassStringType;
 use PHPStan\Type\IsSuperTypeOfResult;
 use PHPStan\Type\NeverType;
 use PHPStan\Type\ObjectType;
@@ -217,6 +218,11 @@ public function getEnumCases(): array
 		return [$this];
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new GenericClassStringType(new ObjectType($this->getClassName()));
+	}
+
 	public function toPhpDocNode(): TypeNode
 	{
 		return new ConstTypeNode(

src/Type/Generic/TemplateMixedType.php

@@ -63,4 +63,8 @@ public function toStrictMixedType(): TemplateStrictMixedType
 		);
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new GenericClassStringType($this);
+	}
 }

src/Type/Generic/TemplateObjectWithoutClassType.php

@@ -36,4 +36,9 @@ public function __construct(
 		$this->default = $default;
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new GenericClassStringType($this);
+	}
+
 }

src/Type/IntersectionType.php

@@ -497,6 +497,11 @@ public function isObject(): TrinaryLogic
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isObject());
 	}
 
+	public function getClassStringType(): Type
+	{
+		return $this->intersectTypes(static fn (Type $type): Type => $type->getClassStringType());
+	}
+
 	public function isEnum(): TrinaryLogic
 	{
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isEnum());

src/Type/MixedType.php

@@ -386,6 +386,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new ClassStringType();
+	}
+
 	public function isEnum(): TrinaryLogic
 	{
 		if ($this->subtractedType !== null) {

src/Type/NeverType.php

@@ -113,6 +113,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new NeverType();
+	}
+
 	public function isEnum(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

src/Type/NonexistentParentClassType.php

@@ -52,6 +52,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function getClassStringType(): Type
+	{
+		return new ClassStringType();
+	}
+
 	public function isEnum(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();