| Methods |
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
|
#
|
public
|
getReferencedClasses(): array
|
#
|
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.
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
|
#
|
public
|
equals(Type $type): bool
|
#
|
public
|
describe(VerbosityLevel $level): string
|
#
|
public
|
isResolvable(): bool
|
#
|
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.
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
|
#
|
public
|
traverseSimultaneously(Type $right, callable $cb): Type
Traverses inner types while keeping the same context in another type.
Traverses inner types while keeping the same context in another type.
Implements
|
#
|
public
|
toPhpDocNode(): TypeNode
|
#
|