@@ -32,7 +32,6 @@ |
||
| 32 | 32 | * @param PhpParser\Node\Expr[] $pre_conditions |
| 33 | 33 | * @param PhpParser\Node\Expr[] $post_expressions |
| 34 | 34 | * @param Context loop_scope->loop_context |
| 35 | - * @param Context $loop_scope->loop_parent_context |
|
| 36 | 35 | * @param bool $is_do |
| 37 | 36 | * |
| 38 | 37 | * @return false|null |
@@ -31,7 +31,7 @@ |
||
| 31 | 31 | class SwitchCaseAnalyzer |
| 32 | 32 | { |
| 33 | 33 | /** |
| 34 | - * @param ?string $switch_var_id |
|
| 34 | + * @param string|null $switch_var_id |
|
| 35 | 35 | * @return null|false |
| 36 | 36 | */ |
| 37 | 37 | public static function analyze( |
@@ -2107,7 +2107,7 @@ |
||
| 2107 | 2107 | } |
| 2108 | 2108 | |
| 2109 | 2109 | /** |
| 2110 | - * @param PhpParser\Node\Expr\FuncCall|PhpParser\Node\Expr\MethodCall|PhpParser\Node\Expr\StaticCall $expr |
|
| 2110 | + * @param PhpParser\Node\Expr\FuncCall $expr |
|
| 2111 | 2111 | * @param string|null $this_class_name |
| 2112 | 2112 | * @param FileSource $source |
| 2113 | 2113 | * @param bool $negate |
@@ -59,7 +59,7 @@ |
||
| 59 | 59 | $if_clauses = array_values( |
| 60 | 60 | array_map( |
| 61 | 61 | /** |
| 62 | - * @return \Psalm\Internal\Clause |
|
| 62 | + * @return boolean |
|
| 63 | 63 | */ |
| 64 | 64 | function (\Psalm\Internal\Clause $c) use ($mixed_var_ids) { |
| 65 | 65 | $keys = array_keys($c->possibilities); |
@@ -39,6 +39,10 @@ |
||
| 39 | 39 | */ |
| 40 | 40 | class NonDivArithmeticOpAnalyzer |
| 41 | 41 | { |
| 42 | + /** |
|
| 43 | + * @param StatementsSource|null $statements_source |
|
| 44 | + * @param Context $context |
|
| 45 | + */ |
|
| 42 | 46 | public static function analyze( |
| 43 | 47 | ?StatementsSource $statements_source, |
| 44 | 48 | \Psalm\Internal\Provider\NodeDataProvider $nodes, |
@@ -47,8 +47,9 @@ discard block |
||
| 47 | 47 | { |
| 48 | 48 | /** |
| 49 | 49 | * @param ?string $self_fq_class_name |
| 50 | - * @param ?string $static_fq_class_name |
|
| 50 | + * @param string|null $static_fq_class_name |
|
| 51 | 51 | * @param array<string, array<string, array{Type\Union, 1?:int}>> $class_generic_params |
| 52 | + * @param FunctionLikeParameter|null $function_param |
|
| 52 | 53 | * @return false|null |
| 53 | 54 | */ |
| 54 | 55 | public static function checkArgumentMatches( |
@@ -414,6 +415,7 @@ discard block |
||
| 414 | 415 | |
| 415 | 416 | /** |
| 416 | 417 | * @param Type\Atomic\ObjectLike|Type\Atomic\TArray|Type\Atomic\TList $unpacked_atomic_array |
| 418 | + * @param null|Type\Union $signature_param_type |
|
| 417 | 419 | * @return null|false |
| 418 | 420 | */ |
| 419 | 421 | public static function verifyType( |
@@ -48,7 +48,7 @@ discard block |
||
| 48 | 48 | * @param Codebase $codebase |
| 49 | 49 | * @param Context $context |
| 50 | 50 | * @param Type\Atomic\TNamedObject|Type\Atomic\TTemplateParam $static_type |
| 51 | - * @param ?string $lhs_var_id |
|
| 51 | + * @param string|null $lhs_var_id |
|
| 52 | 52 | */ |
| 53 | 53 | public static function analyze( |
| 54 | 54 | StatementsAnalyzer $statements_analyzer, |
@@ -831,6 +831,9 @@ discard block |
||
| 831 | 831 | ); |
| 832 | 832 | } |
| 833 | 833 | |
| 834 | + /** |
|
| 835 | + * @param Type\Union|null $all_intersection_return_type |
|
| 836 | + */ |
|
| 834 | 837 | private static function updateResultReturnType( |
| 835 | 838 | AtomicMethodCallAnalysisResult $result, |
| 836 | 839 | ?Type\Union $return_type_candidate, |
@@ -224,6 +224,7 @@ |
||
| 224 | 224 | * @param Context $context |
| 225 | 225 | * @param CodeLocation $code_location |
| 226 | 226 | * @param StatementsAnalyzer $statements_analyzer |
| 227 | + * @param TemplateResult|null $class_template_result |
|
| 227 | 228 | */ |
| 228 | 229 | protected static function checkMethodArgs( |
| 229 | 230 | ?\Psalm\Internal\MethodIdentifier $method_id, |
@@ -18,6 +18,7 @@ |
||
| 18 | 18 | * @param string|null $this_class_name |
| 19 | 19 | * @param FileSource|null $source |
| 20 | 20 | * @param int|null &$nesting |
| 21 | + * @param integer $nesting |
|
| 21 | 22 | * |
| 22 | 23 | * @return string|null |
| 23 | 24 | */ |