PHP PHPStan\Analyser TypeSpecifier::specifyTypesInCondition Examples

specifyTypesInCondition() public method

public specifyTypesInCondition ( SpecifiedTypes $types, Scope $scope, PhpParser\Node $expr, boolean $negated = false, integer $source = self::SOURCE_UNKNOWN ) : SpecifiedTypes
$types	SpecifiedTypes
$scope	Scope
$expr	PhpParser\Node
$negated	boolean
$source	integer
return	SpecifiedTypes

Example #1

File: NodeScopeResolver.php Project: phpstan/phpstan

 private function lookForTypeSpecificationsInEarlyTermination(Scope $scope, Node $node) : Scope
 {
     $types = $this->typeSpecifier->specifyTypesInCondition(new SpecifiedTypes(), $scope, $node);
     foreach ($types->getSureNotTypes() as $type) {
         $scope = $scope->specifyExpressionType($type[0], $type[1]);
     }
     return $scope;
 }