Class PHPStan\Type\ConditionalTypeForParameter

`final`
`implements`	`CompoundType, LateResolvableType`
`uses`	`LateResolvableTypeTrait, NonGeneralizableTypeTrait`


					
	public

__construct(string $parameterName, Type $target, Type $if, Type $else, bool $negated)

#


					
	public

getParameterName(): string

#


					
	public

getTarget(): Type

#


					
	public

getIf(): Type

#


					
	public

getElse(): Type

#


					
	public

isNegated(): bool

#


					
	public

changeParameterName(string $parameterName): self

#


					
	public

toConditional(Type $subject): Type

#


					
	public

isSuperTypeOf(Type $type): IsSuperTypeOfResult

Implements

PHPStan\Type\Type::isSuperTypeOf()

#


					
	public

getReferencedClasses(): array

Implements

PHPStan\Type\Type::getReferencedClasses()

#


					
	public

getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array

Returns the template types referenced by this Type, recursively

The return value is a list of TemplateTypeReferences, who contain the referenced template type as well as the variance position in which it was found.

For example, calling this on array<Foo<T>,Bar> (with T a template type) will return one TemplateTypeReference for the type T.

Parameters

$positionVariance

The variance position in which the receiver type was found.

Implements

PHPStan\Type\Type::getReferencedTemplateTypes()

#


					
	public

equals(Type $type): bool

Implements

PHPStan\Type\Type::equals()

#


					
	public

describe(VerbosityLevel $level): string

Implements

PHPStan\Type\Type::describe()

#


					
	public

isResolvable(): bool

Implements

PHPStan\Type\LateResolvableType::isResolvable()

#


					
	protected

getResult(): Type

#


					
	public

traverse(callable $cb): Type

Traverses inner types

Returns a new instance with all inner types mapped through $cb. Might return the same instance if inner types did not change.

Implements

PHPStan\Type\Type::traverse()

#


					
	public

traverseSimultaneously(Type $right, callable $cb): Type

Traverses inner types while keeping the same context in another type.

Implements

PHPStan\Type\Type::traverseSimultaneously()

#


					
	public

toPhpDocNode(): TypeNode

Implements

PHPStan\Type\Type::toPhpDocNode()

#

Namespaces

Classes

Interfaces

Class PHPStan\Type\ConditionalTypeForParameter

Implements

Implements

Parameters

Implements

Implements

Implements

Implements

Implements

Implements

Implements