New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adds support for fixing missing throws doc block #7994
Changes from 3 commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,123 @@ | ||
<?php | ||
|
||
namespace Psalm\Tests\FileManipulation; | ||
|
||
class ThrowsBlockAdditionTest extends FileManipulationTestCase | ||
{ | ||
/** | ||
* @return array<string,array{string,string,string,string[],bool}> | ||
*/ | ||
public function providerValidCodeParse(): array | ||
{ | ||
return [ | ||
'addThrowsAnnotationToFunction' => [ | ||
'<?php | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
return $s; | ||
}', | ||
'<?php | ||
/** | ||
* @throws InvalidArgumentException | ||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
return $s; | ||
}', | ||
'7.4', | ||
['MissingThrowsDocblock'], | ||
true, | ||
], | ||
'addMultipleThrowsAnnotationToFunction' => [ | ||
'<?php | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
if("" === \trim($s)) { | ||
throw new \DomainException(); | ||
} | ||
return $s; | ||
}', | ||
'<?php | ||
/** | ||
* @throws InvalidArgumentException|DomainException | ||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
if("" === \trim($s)) { | ||
throw new \DomainException(); | ||
} | ||
return $s; | ||
}', | ||
'7.4', | ||
['MissingThrowsDocblock'], | ||
true, | ||
], | ||
'preservesExistingThrowsAnnotationToFunction' => [ | ||
'<?php | ||
/** | ||
* @throws InvalidArgumentException|DomainException | ||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \Exception(); | ||
} | ||
return $s; | ||
}', | ||
'<?php | ||
/** | ||
* @throws InvalidArgumentException|DomainException | ||
* @throws Exception | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. i preserve the existing throws annotation and add a new one based on inference There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. So the fix will always add a new throws annotation which can have |
||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \Exception(); | ||
} | ||
return $s; | ||
}', | ||
'7.4', | ||
['MissingThrowsDocblock'], | ||
true, | ||
], | ||
'doesNotAddDuplicateThrows' => [ | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This validates that the fix only adds exceptions which are not listed in the current throws doc block |
||
'<?php | ||
/** | ||
* @throws InvalidArgumentException | ||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
if("" === \trim($s)) { | ||
throw new \DomainException(); | ||
} | ||
return $s; | ||
}', | ||
'<?php | ||
/** | ||
* @throws InvalidArgumentException | ||
* @throws DomainException | ||
*/ | ||
function foo(string $s): string { | ||
if("" === $s) { | ||
throw new \InvalidArgumentException(); | ||
} | ||
if("" === \trim($s)) { | ||
throw new \DomainException(); | ||
} | ||
return $s; | ||
}', | ||
'7.4', | ||
['MissingThrowsDocblock'], | ||
true, | ||
], | ||
]; | ||
} | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
should i keep this assert or remove it, it makes sense for throws keyword to only contain classes which exist
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ideally this check would not be needed, but that means modifying the return type for the function
getUncaughtThrows
which would be a bigger changeThere was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please drop it. It's risky because classes could be stubbed or inserted through a Plugin so you can't guarantee they'll exists for Psalm to autoload