Class PHPStan\Type\ConditionalType

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


					
	public

__construct(Type $subject, Type $target, Type $if, Type $else, bool $negated)

#


					
	public

getSubject(): Type

#


					
	public

getTarget(): Type

#


					
	public

getIf(): Type

#


					
	public

getElse(): Type

#


					
	public

isNegated(): bool

#


					
	public

isSuperTypeOf(Type $type): TrinaryLogic

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
					static

__set_state(mixed[] $properties): Type

Implements

PHPStan\Type\Type::__set_state()

#

Namespaces

Classes

Interfaces

Class PHPStan\Type\ConditionalType

Implements

Implements

Parameters

Implements

Implements

Implements

Implements

Implements

Implements