*/ public static function getAssertions( PhpParser\Node\Expr $conditional, $this_class_name, StatementsSource $source ) { $if_types = []; $project_checker = $source->getFileChecker()->project_checker; if ($conditional instanceof PhpParser\Node\Expr\Instanceof_) { $instanceof_type = self::getInstanceOfTypes($conditional, $this_class_name, $source); if ($instanceof_type) { $var_name = ExpressionChecker::getArrayVarId( $conditional->expr, $this_class_name, $source ); if ($var_name) { $if_types[$var_name] = $instanceof_type; } } return $if_types; } if ($var_name = ExpressionChecker::getArrayVarId( $conditional, $this_class_name, $source )) { $if_types[$var_name] = '!falsy'; return $if_types; } if ($conditional instanceof PhpParser\Node\Expr\Assign) { $var_name = ExpressionChecker::getArrayVarId( $conditional->var, $this_class_name, $source ); if ($var_name) { $if_types[$var_name] = '!falsy'; } return $if_types; } if ($conditional instanceof PhpParser\Node\Expr\BooleanNot) { $if_types_to_negate = self::getAssertions( $conditional->expr, $this_class_name, $source ); return TypeChecker::negateTypes($if_types_to_negate); } if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical || $conditional instanceof PhpParser\Node\Expr\BinaryOp\Equal ) { $null_position = self::hasNullVariable($conditional); $false_position = self::hasFalseVariable($conditional); $true_position = self::hasTrueVariable($conditional); $gettype_position = self::hasGetTypeCheck($conditional); $getclass_position = self::hasGetClassCheck($conditional); $typed_value_position = self::hasTypedValueComparison($conditional); $var_name = null; $var_type = null; if ($null_position !== null) { if ($null_position === self::ASSIGNMENT_TO_RIGHT) { $base_conditional = $conditional->left; } elseif ($null_position === self::ASSIGNMENT_TO_LEFT) { $base_conditional = $conditional->right; } else { throw new \UnexpectedValueException('$null_position value'); } $var_name = ExpressionChecker::getArrayVarId( $base_conditional, $this_class_name, $source ); $var_type = isset($base_conditional->inferredType) ? $base_conditional->inferredType : null; if ($var_name) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { $if_types[$var_name] = 'null'; } else { $if_types[$var_name] = 'falsy'; } } elseif ($var_type && $conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { $null_type = Type::getNull(); if (!TypeChecker::isContainedBy( $project_checker, $var_type, $null_type ) && !TypeChecker::isContainedBy( $project_checker, $null_type, $var_type )) { if (IssueBuffer::accepts( new TypeDoesNotContainNull( $var_type . ' does not contain ' . $null_type, new CodeLocation($source, $conditional) ), $source->getSuppressedIssues() )) { // fall through } } } return $if_types; } if ($true_position) { if ($true_position === self::ASSIGNMENT_TO_RIGHT) { $base_conditional = $conditional->left; } elseif ($true_position === self::ASSIGNMENT_TO_LEFT) { $base_conditional = $conditional->right; } else { throw new \UnexpectedValueException('Unrecognised position'); } if ($base_conditional instanceof PhpParser\Node\Expr\FuncCall) { return self::processFunctionCall( $base_conditional, $this_class_name, $source, false ); } $var_name = ExpressionChecker::getArrayVarId( $base_conditional, $this_class_name, $source ); $var_type = isset($base_conditional->inferredType) ? $base_conditional->inferredType : null; if ($var_name) { $if_types[$var_name] = '!falsy'; } else { return self::getAssertions($base_conditional, $this_class_name, $source); } return $if_types; } if ($false_position) { if ($false_position === self::ASSIGNMENT_TO_RIGHT) { $base_conditional = $conditional->left; } elseif ($false_position === self::ASSIGNMENT_TO_LEFT) { $base_conditional = $conditional->right; } else { throw new \UnexpectedValueException('$false_position value'); } if ($base_conditional instanceof PhpParser\Node\Expr\FuncCall) { return self::processFunctionCall( $base_conditional, $this_class_name, $source, true ); } $var_name = ExpressionChecker::getArrayVarId( $base_conditional, $this_class_name, $source ); $var_type = isset($base_conditional->inferredType) ? $base_conditional->inferredType : null; if ($var_name) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { $if_types[$var_name] = 'false'; } else { $if_types[$var_name] = 'falsy'; } } elseif ($var_type) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { $false_type = Type::getFalse(); if (!TypeChecker::isContainedBy( $project_checker, $var_type, $false_type ) && !TypeChecker::isContainedBy( $project_checker, $false_type, $var_type )) { if (IssueBuffer::accepts( new TypeDoesNotContainType( $var_type . ' does not contain ' . $false_type, new CodeLocation($source, $conditional) ), $source->getSuppressedIssues() )) { // fall through } } } $notif_types = self::getAssertions($base_conditional, $this_class_name, $source); if (count($notif_types) === 1) { $if_types = TypeChecker::negateTypes($notif_types); } } return $if_types; } if ($gettype_position) { $var_type = null; if ($gettype_position === self::ASSIGNMENT_TO_RIGHT) { $string_expr = $conditional->left; $gettype_expr = $conditional->right; } elseif ($gettype_position === self::ASSIGNMENT_TO_LEFT) { $string_expr = $conditional->right; $gettype_expr = $conditional->left; } else { throw new \UnexpectedValueException('$gettype_position value'); } /** @var PhpParser\Node\Expr\FuncCall $gettype_expr */ $var_name = ExpressionChecker::getArrayVarId( $gettype_expr->args[0]->value, $this_class_name, $source ); /** @var PhpParser\Node\Scalar\String_ $string_expr */ $var_type = $string_expr->value; $file_checker = $source->getFileChecker(); if (!isset(ClassLikeChecker::$GETTYPE_TYPES[$var_type])) { if (IssueBuffer::accepts( new UnevaluatedCode( 'gettype cannot return this value', new CodeLocation($file_checker, $string_expr) ) )) { // fall through } } else { if ($var_name && $var_type) { $if_types[$var_name] = $var_type; } } return $if_types; } if ($getclass_position) { $var_type = null; if ($getclass_position === self::ASSIGNMENT_TO_RIGHT) { $whichclass_expr = $conditional->left; $getclass_expr = $conditional->right; } elseif ($getclass_position === self::ASSIGNMENT_TO_LEFT) { $whichclass_expr = $conditional->right; $getclass_expr = $conditional->left; } else { throw new \UnexpectedValueException('$getclass_position value'); } /** @var PhpParser\Node\Expr\FuncCall $getclass_expr */ $var_name = ExpressionChecker::getArrayVarId( $getclass_expr->args[0]->value, $this_class_name, $source ); if ($whichclass_expr instanceof PhpParser\Node\Scalar\String_) { $var_type = $whichclass_expr->value; } elseif ($whichclass_expr instanceof PhpParser\Node\Expr\ClassConstFetch && $whichclass_expr->class instanceof PhpParser\Node\Name ) { $var_type = ClassLikeChecker::getFQCLNFromNameObject( $whichclass_expr->class, $source->getAliases() ); } else { throw new \UnexpectedValueException('Shouldn’t get here'); } $file_checker = $source->getFileChecker(); if (ClassLikeChecker::checkFullyQualifiedClassLikeName( $source, $var_type, new CodeLocation($file_checker, $whichclass_expr), $source->getSuppressedIssues(), false ) === false ) { // fall through } else { if ($var_name && $var_type) { $if_types[$var_name] = $var_type; } } return $if_types; } if ($typed_value_position) { $var_type = null; $other_type = null; if ($typed_value_position === self::ASSIGNMENT_TO_RIGHT) { /** @var PhpParser\Node\Expr $conditional->right */ $var_name = ExpressionChecker::getArrayVarId( $conditional->left, $this_class_name, $source ); $other_type = isset($conditional->left->inferredType) ? $conditional->left->inferredType : null; $var_type = isset($conditional->right->inferredType) ? $conditional->right->inferredType : null; } elseif ($typed_value_position === self::ASSIGNMENT_TO_LEFT) { /** @var PhpParser\Node\Expr $conditional->left */ $var_name = ExpressionChecker::getArrayVarId( $conditional->right, $this_class_name, $source ); $var_type = isset($conditional->left->inferredType) ? $conditional->left->inferredType : null; $other_type = isset($conditional->right->inferredType) ? $conditional->right->inferredType : null; } else { throw new \UnexpectedValueException('$typed_value_position value'); } if ($var_type) { if ($var_name) { $if_types[$var_name] = '^' . $var_type; } elseif ($other_type && $conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { if (!TypeChecker::isContainedBy( $project_checker, $var_type, $other_type, true ) && !TypeChecker::isContainedBy( $project_checker, $other_type, $var_type, true )) { if (IssueBuffer::accepts( new TypeDoesNotContainType( $var_type . ' does not contain ' . $other_type, new CodeLocation($source, $conditional) ), $source->getSuppressedIssues() )) { // fall through } } } } return $if_types; } $var_type = isset($conditional->left->inferredType) ? $conditional->left->inferredType : null; $other_type = isset($conditional->right->inferredType) ? $conditional->right->inferredType : null; if ($var_type && $other_type && $conditional instanceof PhpParser\Node\Expr\BinaryOp\Identical) { if (!TypeChecker::canBeIdenticalTo($project_checker, $var_type, $other_type)) { if (IssueBuffer::accepts( new TypeDoesNotContainType( $var_type . ' does not contain ' . $other_type, new CodeLocation($source, $conditional) ), $source->getSuppressedIssues() )) { // fall through } } } return []; } if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\NotIdentical || $conditional instanceof PhpParser\Node\Expr\BinaryOp\NotEqual ) { $null_position = self::hasNullVariable($conditional); $false_position = self::hasFalseVariable($conditional); $true_position = self::hasTrueVariable($conditional); $gettype_position = self::hasGetTypeCheck($conditional); $getclass_position = self::hasGetClassCheck($conditional); if ($null_position !== null) { if ($null_position === self::ASSIGNMENT_TO_RIGHT) { $base_conditional = $conditional->left; } elseif ($null_position === self::ASSIGNMENT_TO_LEFT) { $base_conditional = $conditional->right; } else { throw new \UnexpectedValueException('Bad null variable position'); } $var_name = ExpressionChecker::getArrayVarId( $base_conditional, $this_class_name, $source ); if ($var_name) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\NotIdentical) { $if_types[$var_name] = '!null'; } else { $if_types[$var_name] = '!falsy'; } } return $if_types; } if ($false_position) { if ($false_position === self::ASSIGNMENT_TO_RIGHT) { $base_conditional = $conditional->left; } elseif ($false_position === self::ASSIGNMENT_TO_LEFT) { $base_conditional = $conditional->right; } else { throw new \UnexpectedValueException('Bad false variable position'); } $var_name = ExpressionChecker::getArrayVarId( $base_conditional, $this_class_name, $source ); if ($var_name) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\NotIdentical) { $if_types[$var_name] = '!false'; } else { $if_types[$var_name] = '!falsy'; } } return $if_types; } if ($true_position) { if ($true_position === self::ASSIGNMENT_TO_RIGHT) { if ($conditional->left instanceof PhpParser\Node\Expr\FuncCall) { return self::processFunctionCall( $conditional->left, $this_class_name, $source, true ); } } elseif ($true_position === self::ASSIGNMENT_TO_LEFT) { if ($conditional->right instanceof PhpParser\Node\Expr\FuncCall) { return self::processFunctionCall( $conditional->right, $this_class_name, $source, true ); } } else { throw new \UnexpectedValueException('Bad null variable position'); } return []; } if ($gettype_position) { $var_type = null; if ($gettype_position === self::ASSIGNMENT_TO_RIGHT) { $whichclass_expr = $conditional->left; $gettype_expr = $conditional->right; } elseif ($gettype_position === self::ASSIGNMENT_TO_LEFT) { $whichclass_expr = $conditional->right; $gettype_expr = $conditional->left; } else { throw new \UnexpectedValueException('$gettype_position value'); } /** @var PhpParser\Node\Expr\FuncCall $gettype_expr */ $var_name = ExpressionChecker::getArrayVarId( $gettype_expr->args[0]->value, $this_class_name, $source ); if ($whichclass_expr instanceof PhpParser\Node\Scalar\String_) { $var_type = $whichclass_expr->value; } elseif ($whichclass_expr instanceof PhpParser\Node\Expr\ClassConstFetch && $whichclass_expr->class instanceof PhpParser\Node\Name ) { $var_type = ClassLikeChecker::getFQCLNFromNameObject( $whichclass_expr->class, $source->getAliases() ); } else { throw new \UnexpectedValueException('Shouldn’t get here'); } $file_checker = $source->getFileChecker(); if (!isset(ClassLikeChecker::$GETTYPE_TYPES[$var_type])) { if (IssueBuffer::accepts( new UnevaluatedCode( 'gettype cannot return this value', new CodeLocation($file_checker, $whichclass_expr) ) )) { // fall through } } else { if ($var_name && $var_type) { $if_types[$var_name] = '!' . $var_type; } } return $if_types; } if ($getclass_position) { $var_type = null; if ($getclass_position === self::ASSIGNMENT_TO_RIGHT) { $whichclass_expr = $conditional->left; $getclass_expr = $conditional->right; } elseif ($getclass_position === self::ASSIGNMENT_TO_LEFT) { $whichclass_expr = $conditional->right; $getclass_expr = $conditional->left; } else { throw new \UnexpectedValueException('$getclass_position value'); } /** @var PhpParser\Node\Expr\FuncCall $getclass_expr */ $var_name = ExpressionChecker::getArrayVarId( $getclass_expr->args[0]->value, $this_class_name, $source ); if ($whichclass_expr instanceof PhpParser\Node\Scalar\String_) { $var_type = $whichclass_expr->value; } elseif ($whichclass_expr instanceof PhpParser\Node\Expr\ClassConstFetch && $whichclass_expr->class instanceof PhpParser\Node\Name ) { $var_type = ClassLikeChecker::getFQCLNFromNameObject( $whichclass_expr->class, $source->getAliases() ); } else { throw new \UnexpectedValueException('Shouldn’t get here'); } $file_checker = $source->getFileChecker(); if (ClassLikeChecker::checkFullyQualifiedClassLikeName( $source, $var_type, new CodeLocation($file_checker, $whichclass_expr), $source->getSuppressedIssues(), false ) === false ) { // fall through } else { if ($var_name && $var_type) { $if_types[$var_name] = '!' . $var_type; } } return $if_types; } return []; } if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Greater) { $typed_value_position = self::hasTypedValueComparison($conditional); if ($typed_value_position) { $var_type = null; $other_type = null; if ($typed_value_position === self::ASSIGNMENT_TO_RIGHT) { /** @var PhpParser\Node\Expr $conditional->right */ $var_name = ExpressionChecker::getArrayVarId( $conditional->left, $this_class_name, $source ); $other_type = isset($conditional->left->inferredType) ? $conditional->left->inferredType : null; $var_type = isset($conditional->right->inferredType) ? $conditional->right->inferredType : null; } elseif ($typed_value_position === self::ASSIGNMENT_TO_LEFT) { $var_name = null; } else { throw new \UnexpectedValueException('$typed_value_position value'); } if ($var_name) { $if_types[$var_name] = '^isset'; } return $if_types; } return []; } if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Smaller) { $typed_value_position = self::hasTypedValueComparison($conditional); if ($typed_value_position) { $var_type = null; $other_type = null; if ($typed_value_position === self::ASSIGNMENT_TO_RIGHT) { $var_name = null; } elseif ($typed_value_position === self::ASSIGNMENT_TO_LEFT) { /** @var PhpParser\Node\Expr $conditional->left */ $var_name = ExpressionChecker::getArrayVarId( $conditional->right, $this_class_name, $source ); $var_type = isset($conditional->left->inferredType) ? $conditional->left->inferredType : null; $other_type = isset($conditional->right->inferredType) ? $conditional->right->inferredType : null; } else { throw new \UnexpectedValueException('$typed_value_position value'); } if ($var_name) { $if_types[$var_name] = '^isset'; } return $if_types; } return []; } if ($conditional instanceof PhpParser\Node\Expr\FuncCall) { return self::processFunctionCall($conditional, $this_class_name, $source, false); } if ($conditional instanceof PhpParser\Node\Expr\Empty_) { $var_name = ExpressionChecker::getArrayVarId( $conditional->expr, $this_class_name, $source ); if ($var_name) { $if_types[$var_name] = 'empty'; } else { // look for any variables we *can* use for an isset assertion $array_root = $conditional->expr; while ($array_root instanceof PhpParser\Node\Expr\ArrayDimFetch && !$var_name) { $array_root = $array_root->var; $var_name = ExpressionChecker::getArrayVarId( $array_root, $this_class_name, $source ); } if ($var_name) { $if_types[$var_name] = '^empty'; } } return $if_types; } if ($conditional instanceof PhpParser\Node\Expr\Isset_) { foreach ($conditional->vars as $isset_var) { $var_name = ExpressionChecker::getArrayVarId( $isset_var, $this_class_name, $source ); if ($var_name) { $if_types[$var_name] = 'isset'; } else { // look for any variables we *can* use for an isset assertion $array_root = $isset_var; while ($array_root instanceof PhpParser\Node\Expr\ArrayDimFetch && !$var_name) { $array_root = $array_root->var; $var_name = ExpressionChecker::getArrayVarId( $array_root, $this_class_name, $source ); } if ($var_name) { $if_types[$var_name] = '^isset'; } } } return $if_types; } if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Coalesce) { $var_name = ExpressionChecker::getArrayVarId( $conditional->left, $this_class_name, $source ); if ($var_name) { $if_types[$var_name] = 'isset'; } else { // look for any variables we *can* use for an isset assertion $array_root = $conditional->left; while ($array_root instanceof PhpParser\Node\Expr\ArrayDimFetch && !$var_name) { $array_root = $array_root->var; $var_name = ExpressionChecker::getArrayVarId( $array_root, $this_class_name, $source ); } if ($var_name) { $if_types[$var_name] = '^isset'; } } return $if_types; } return []; } /** * @param PhpParser\Node\Expr\FuncCall $expr * @param string|null $this_class_name * @param StatementsSource $source * @param bool $negate * * @return array */ protected static function processFunctionCall( PhpParser\Node\Expr\FuncCall $expr, $this_class_name, StatementsSource $source, $negate = false ) { $prefix = $negate ? '!' : ''; $first_var_name = isset($expr->args[0]->value) ? ExpressionChecker::getArrayVarId( $expr->args[0]->value, $this_class_name, $source ) : null; $if_types = []; if (self::hasNullCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'null'; } } elseif (self::hasIsACheck($expr)) { if ($first_var_name) { /** @var PhpParser\Node\Scalar\String_ */ $is_a_type = $expr->args[1]->value; $if_types[$first_var_name] = $prefix . $is_a_type->value; } } elseif (self::hasArrayCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'array'; } } elseif (self::hasBoolCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'bool'; } } elseif (self::hasStringCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'string'; } } elseif (self::hasObjectCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'object'; } } elseif (self::hasNumericCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'numeric'; } } elseif (self::hasIntCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'int'; } } elseif (self::hasFloatCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'float'; } } elseif (self::hasResourceCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'resource'; } } elseif (self::hasScalarCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'scalar'; } } elseif (self::hasCallableCheck($expr)) { if ($first_var_name) { $if_types[$first_var_name] = $prefix . 'callable'; } } return $if_types; } /** * @param PhpParser\Node\Expr\Instanceof_ $stmt * @param string|null $this_class_name * @param StatementsSource $source * * @return string|null */ protected static function getInstanceOfTypes( PhpParser\Node\Expr\Instanceof_ $stmt, $this_class_name, StatementsSource $source ) { if ($stmt->class instanceof PhpParser\Node\Name) { if (!in_array(strtolower($stmt->class->parts[0]), ['self', 'static', 'parent'], true)) { $instanceof_class = ClassLikeChecker::getFQCLNFromNameObject( $stmt->class, $source->getAliases() ); return $instanceof_class; } elseif ($this_class_name && (in_array(strtolower($stmt->class->parts[0]), ['self', 'static'], true)) ) { return $this_class_name; } } return null; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return int|null */ protected static function hasNullVariable(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional->right instanceof PhpParser\Node\Expr\ConstFetch && $conditional->right->name instanceof PhpParser\Node\Name && strtolower($conditional->right->name->parts[0]) === 'null') { return self::ASSIGNMENT_TO_RIGHT; } if ($conditional->left instanceof PhpParser\Node\Expr\ConstFetch && $conditional->left->name instanceof PhpParser\Node\Name && strtolower($conditional->left->name->parts[0]) === 'null') { return self::ASSIGNMENT_TO_LEFT; } return null; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return int|null */ protected static function hasFalseVariable(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional->right instanceof PhpParser\Node\Expr\ConstFetch && $conditional->right->name instanceof PhpParser\Node\Name && strtolower($conditional->right->name->parts[0]) === 'false') { return self::ASSIGNMENT_TO_RIGHT; } if ($conditional->left instanceof PhpParser\Node\Expr\ConstFetch && $conditional->left->name instanceof PhpParser\Node\Name && strtolower($conditional->left->name->parts[0]) === 'false') { return self::ASSIGNMENT_TO_LEFT; } return null; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return int|null */ protected static function hasTrueVariable(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional->right instanceof PhpParser\Node\Expr\ConstFetch && $conditional->right->name instanceof PhpParser\Node\Name && strtolower($conditional->right->name->parts[0]) === 'true') { return self::ASSIGNMENT_TO_RIGHT; } if ($conditional->left instanceof PhpParser\Node\Expr\ConstFetch && $conditional->left->name instanceof PhpParser\Node\Name && strtolower($conditional->left->name->parts[0]) === 'true') { return self::ASSIGNMENT_TO_LEFT; } return null; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return false|int */ protected static function hasGetTypeCheck(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional->right instanceof PhpParser\Node\Expr\FuncCall && $conditional->right->name instanceof PhpParser\Node\Name && strtolower($conditional->right->name->parts[0]) === 'gettype' && $conditional->left instanceof PhpParser\Node\Scalar\String_) { return self::ASSIGNMENT_TO_RIGHT; } if ($conditional->left instanceof PhpParser\Node\Expr\FuncCall && $conditional->left->name instanceof PhpParser\Node\Name && strtolower($conditional->left->name->parts[0]) === 'gettype' && $conditional->right instanceof PhpParser\Node\Scalar\String_) { return self::ASSIGNMENT_TO_LEFT; } return false; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return false|int */ protected static function hasGetClassCheck(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional->right instanceof PhpParser\Node\Expr\FuncCall && $conditional->right->name instanceof PhpParser\Node\Name && strtolower($conditional->right->name->parts[0]) === 'get_class' && ( $conditional->left instanceof PhpParser\Node\Scalar\String_ || ($conditional->left instanceof PhpParser\Node\Expr\ClassConstFetch && $conditional->left->class instanceof PhpParser\Node\Name && is_string($conditional->left->name) && strtolower($conditional->left->name) === 'class') ) ) { return self::ASSIGNMENT_TO_RIGHT; } if ($conditional->left instanceof PhpParser\Node\Expr\FuncCall && $conditional->left->name instanceof PhpParser\Node\Name && strtolower($conditional->left->name->parts[0]) === 'get_class' && ( $conditional->right instanceof PhpParser\Node\Scalar\String_ || ($conditional->right instanceof PhpParser\Node\Expr\ClassConstFetch && $conditional->right->class instanceof PhpParser\Node\Name && is_string($conditional->right->name) && strtolower($conditional->right->name) === 'class') ) ) { return self::ASSIGNMENT_TO_LEFT; } return false; } /** * @param PhpParser\Node\Expr\BinaryOp $conditional * * @return false|int */ protected static function hasTypedValueComparison(PhpParser\Node\Expr\BinaryOp $conditional) { if ($conditional instanceof PhpParser\Node\Expr\BinaryOp\Equal) { return false; } if (isset($conditional->right->inferredType) && count($conditional->right->inferredType->getTypes()) === 1 ) { return self::ASSIGNMENT_TO_RIGHT; } if (isset($conditional->left->inferredType) && count($conditional->left->inferredType->getTypes()) === 1 ) { return self::ASSIGNMENT_TO_LEFT; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasNullCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && strtolower($stmt->name->parts[0]) === 'is_null') { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasIsACheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && strtolower($stmt->name->parts[0]) === 'is_a' && $stmt->args[1]->value instanceof PhpParser\Node\Scalar\String_) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasArrayCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && strtolower($stmt->name->parts[0]) === 'is_array') { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasStringCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && strtolower($stmt->name->parts[0]) === 'is_string') { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasBoolCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && strtolower($stmt->name->parts[0]) === 'is_bool') { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasObjectCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && $stmt->name->parts === ['is_object']) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasNumericCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && $stmt->name->parts === ['is_numeric']) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasIntCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && ($stmt->name->parts === ['is_int'] || $stmt->name->parts === ['is_integer'] || $stmt->name->parts === ['is_long']) ) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasFloatCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && ($stmt->name->parts === ['is_float'] || $stmt->name->parts === ['is_real'] || $stmt->name->parts === ['is_double']) ) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasResourceCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && $stmt->name->parts === ['is_resource']) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasScalarCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && $stmt->name->parts === ['is_scalar']) { return true; } return false; } /** * @param PhpParser\Node\Expr\FuncCall $stmt * * @return bool */ protected static function hasCallableCheck(PhpParser\Node\Expr\FuncCall $stmt) { if ($stmt->name instanceof PhpParser\Node\Name && $stmt->name->parts === ['is_callable']) { return true; } return false; } }