Class PHPStan\Reflection\Assertions

`final`

Collection of @phpstan-assert annotations on a function or method. PHPStan supports type assertions via PHPDoc annotations:

@phpstan-assert Type $param — narrows the parameter type unconditionally
@phpstan-assert-if-true Type $param — narrows when the method returns true
@phpstan-assert-if-false Type $param — narrows when the method returns false This class collects all such assertions and provides methods to retrieve them by condition type. It also handles negation: an @phpstan-assert-if-true assertion is automatically negated and included in the getAssertsIfFalse() result. Returned by ExtendedMethodReflection::getAsserts() and FunctionReflection::getAsserts().

Located at src/Reflection/Assertions.php

Methods
`public`	`getAll(): AssertTag[]`	#
`public`	`getAsserts(): AssertTag[]` Unconditional assertions — narrow parameter types regardless of the method's return value. Unconditional assertions — narrow parameter types regardless of the method's return value.	#
`public`	`getAssertsIfTrue(): AssertTag[]` Includes @phpstan-assert-if-true tags and negated @phpstan-assert-if-false tags. Includes @phpstan-assert-if-true tags and negated @phpstan-assert-if-false tags.	#
`public`	`getAssertsIfFalse(): AssertTag[]` Includes @phpstan-assert-if-false tags and negated @phpstan-assert-if-true tags. Includes @phpstan-assert-if-false tags and negated @phpstan-assert-if-true tags.	#
`public`	`mapTypes(callable(Type): Type $callable): self`	#
`public`	`intersectWith(Assertions $other): self` Deprecated use union() or intersect() instead	#
`public`	`union(Assertions $other): self`	#
`public`	`intersect(Assertions $other): self`	#
`public static`	`createEmpty(): self`	#
`public static`	`createFromResolvedPhpDocBlock(ResolvedPhpDocBlock $phpDocBlock): self`	#