mirror of
https://github.com/danog/psalm.git
synced 2024-12-16 03:17:02 +01:00
59 lines
1.7 KiB
PHP
59 lines
1.7 KiB
PHP
<?php
|
|
namespace Psalm\Internal\Analyzer\Statements\Expression;
|
|
|
|
use PhpParser;
|
|
use Psalm\Internal\Analyzer\Statements\ExpressionAnalyzer;
|
|
use Psalm\Internal\Analyzer\StatementsAnalyzer;
|
|
use Psalm\Context;
|
|
use Psalm\Type;
|
|
|
|
class IssetAnalyzer
|
|
{
|
|
/**
|
|
* @param StatementsAnalyzer $statements_analyzer
|
|
* @param PhpParser\Node\Expr\Isset_ $stmt
|
|
* @param Context $context
|
|
*
|
|
* @return void
|
|
*/
|
|
public static function analyze(
|
|
StatementsAnalyzer $statements_analyzer,
|
|
PhpParser\Node\Expr\Isset_ $stmt,
|
|
Context $context
|
|
) {
|
|
foreach ($stmt->vars as $isset_var) {
|
|
if ($isset_var instanceof PhpParser\Node\Expr\PropertyFetch
|
|
&& $isset_var->var instanceof PhpParser\Node\Expr\Variable
|
|
&& $isset_var->var->name === 'this'
|
|
&& $isset_var->name instanceof PhpParser\Node\Identifier
|
|
) {
|
|
$var_id = '$this->' . $isset_var->name->name;
|
|
|
|
if (!isset($context->vars_in_scope[$var_id])) {
|
|
$context->vars_in_scope[$var_id] = Type::getMixed();
|
|
$context->vars_possibly_in_scope[$var_id] = true;
|
|
}
|
|
}
|
|
|
|
self::analyzeIssetVar($statements_analyzer, $isset_var, $context);
|
|
}
|
|
|
|
$statements_analyzer->node_data->setType($stmt, Type::getBool());
|
|
}
|
|
|
|
public static function analyzeIssetVar(
|
|
StatementsAnalyzer $statements_analyzer,
|
|
PhpParser\Node\Expr $stmt,
|
|
Context $context
|
|
) : bool {
|
|
|
|
$context->inside_isset = true;
|
|
|
|
$result = ExpressionAnalyzer::analyze($statements_analyzer, $stmt, $context);
|
|
|
|
$context->inside_isset = false;
|
|
|
|
return $result;
|
|
}
|
|
}
|