Class PHPStan\Type\NativeTypePosition

`final`

Where a native PHP type declaration is written, and for which PHP version.

Passed to Type::toNativePhpTypeNode(). Instead of exposing the position itself, it answers what the position allows, e.g. isCallableAllowed() is false for properties and class constants, and isNullAllowed() is false for a standalone type before PHP 8.2.

Compound types pass a derived position to their members: toUnionMember() for each member of A|B, toNullableInner() for A in ?A, toIntersectionMember() for each member of A&B. That is how e.g. an intersection type knows it can only be part of a union (DNF) since PHP 8.2.

$type->toNativePhpTypeNode(NativeTypePosition::returnType(new PhpVersion(80100)));

Located at src/Type/NativeTypePosition.php

Methods
`public static`	`parameter(PhpVersion $phpVersion): self`	#
`public static`	`returnType(PhpVersion $phpVersion): self`	#
`public static`	`property(PhpVersion $phpVersion): self`	#
`public static`	`classConstant(PhpVersion $phpVersion): self`	#
`public`	`toUnionMember(): self` A member of a union type, e.g. `A` in `A\|B`. A member of a union type, e.g. `A` in `A\|B`.	#
`public`	`toNullableInner(): self` The inner type of a nullable type, e.g. `A` in `?A`. The inner type of a nullable type, e.g. `A` in `?A`.	#
`public`	`toIntersectionMember(): self` A member of an intersection type, e.g. `A` in `A&B`. A member of an intersection type, e.g. `A` in `A&B`.	#
`public`	`isClassNameAllowed(): bool` Class names, also `self`, `parent`, and `Closure`. Class names, also `self`, `parent`, and `Closure`.	#
`public`	`isScalarAllowed(): bool` `int`, `float`, `string` and `bool`. `int`, `float`, `string` and `bool`.	#
`public`	`isArrayAllowed(): bool`	#
`public`	`isIterableAllowed(): bool`	#
`public`	`isCallableAllowed(): bool`	#
`public`	`isObjectAllowed(): bool`	#
`public`	`isStaticAllowed(): bool`	#
`public`	`isVoidAllowed(): bool`	#
`public`	`isNeverAllowed(): bool`	#
`public`	`isMixedAllowed(): bool`	#
`public`	`isNullAllowed(): bool`	#
`public`	`isFalseAllowed(): bool` `false` in a union with another non-null type since PHP 8.0, otherwise since PHP 8.2. `false` in a union with another non-null type since PHP 8.0, otherwise since PHP 8.2.	#
`public`	`isTrueAllowed(): bool`	#
`public`	`isNullableAllowed(): bool` `?A` `?A`	#
`public`	`isUnionAllowed(): bool` `A\|B` `A\|B`	#
`public`	`isIntersectionAllowed(): bool` `A&B`, also as a member of a union, `(A&B)\|C`, since PHP 8.2 `A&B`, also as a member of a union, `(A&B)\|C`, since PHP 8.2	#

Namespaces

Classes

Interfaces

Class PHPStan\Type\NativeTypePosition