danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

Isset treated as !null

Browse Source
This commit is contained in:
Matthew Brown 2016-05-22 16:01:40 -04:00
parent c9b5554b69
commit 39f459ac27
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/CodeInspector/TypeChecker.php
View File

@ -217,6 +217,14 @@ class TypeChecker
$var_name = $this->_getVariable($conditional->expr->args[0]->value);
$if_types[$var_name] = '!array';
}
else if ($conditional->expr instanceof PhpParser\Node\Expr\Isset_) {
foreach ($conditional->expr->vars as $isset_var) {
$var_name = $this->_getVariable($isset_var);
if ($var_name) {
$if_types[$var_name] = '!null';
}
}
}
}
else if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical || $conditional instanceof PhpParser\Node\Expr\BinaryOp\Equal) {
$null_position = self::_hasNullVariable($conditional);
@ -280,6 +288,14 @@ class TypeChecker
$if_types[$var_name] = 'empty';
}
}
else if ($conditional instanceof PhpParser\Node\Expr\Isset_) {
foreach ($conditional->vars as $isset_var) {
$var_name = $this->_getVariable($isset_var);
if ($var_name) {
$if_types[$var_name] = '!null';
}
}
}
else if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\BooleanOr) {
$left_assertions = $this->getTypeAssertions($conditional->left, false);
$right_assertions = $this->getTypeAssertions($conditional->right, false);