Tomasz Kusy
|
b73f2c96d8
|
Resolve __DIR__ / __FILE__ when const/variable is used for include CS fix
|
2022-02-04 19:43:55 +01:00 |
|
Tomasz Kusy
|
bcbfbed072
|
Resolve __DIR__ / __FILE__ when const/variable is used for include
|
2022-02-04 19:39:39 +01:00 |
|
Vincent
|
3c3e692e7e
|
AtomicStaticCallAnalyzer: clear tmp var from context (fix #7556)
|
2022-02-02 13:51:54 +01:00 |
|
orklah
|
1c2ffc81c2
|
tweaks
|
2022-02-01 22:49:20 +01:00 |
|
orklah
|
68e67aeb10
|
Merge pull request #7546 from orklah/impure-callable
Handle first class callable on unknown functions
|
2022-01-31 22:02:35 +01:00 |
|
orklah
|
a598efb4ab
|
Handle first class callable on unknown functions
|
2022-01-31 21:36:01 +01:00 |
|
adrew
|
e284b91b82
|
Remove redundant flag from SimpleTypeInferer
|
2022-01-31 23:03:34 +03:00 |
|
adrew
|
121a801616
|
Fix object constant inference
|
2022-01-31 23:03:34 +03:00 |
|
orklah
|
48e09ab308
|
fix
|
2022-01-31 20:55:53 +01:00 |
|
orklah
|
fc281672ea
|
fix wrong detection of purity
|
2022-01-31 20:52:25 +01:00 |
|
Vincent Langlet
|
854a3412fe
|
Use function
|
2022-01-30 15:32:55 +01:00 |
|
Vincent Langlet
|
cd3213201d
|
Fix
|
2022-01-30 15:30:40 +01:00 |
|
orklah
|
f1c4b62f5c
|
Merge pull request #7414 from b2pweb/call-docblock-method-using-parent
Add support of docblock method using parent keyword
|
2022-01-24 13:02:57 +01:00 |
|
orklah
|
0619b404e5
|
Merge pull request #7390 from VincentLanglet/exceptionCode
Add Exception->getCode() return type provider
|
2022-01-24 12:56:57 +01:00 |
|
Vincent Langlet
|
9905baeceb
|
Add flagfrom_calculation
|
2022-01-24 09:31:10 +01:00 |
|
Vincent
|
280de4bc98
|
Fix undefined parent method call (ref #7414)
|
2022-01-24 09:17:29 +01:00 |
|
orklah
|
82d84b0b3a
|
fix internal properties on interfaces
|
2022-01-23 13:08:35 +01:00 |
|
orklah
|
73af019110
|
fix a weird case
|
2022-01-22 17:45:40 +01:00 |
|
orklah
|
997d5d5f5f
|
handle two more cases of firstClassCallable
|
2022-01-22 17:37:35 +01:00 |
|
Vincent Quatrevieux
|
c7bfc03a6b
|
Merge branch '4.x' into call-docblock-method-using-parent
|
2022-01-20 08:59:50 +01:00 |
|
Vincent
|
f7252417e4
|
Fix typing (ref #7430)
|
2022-01-19 13:49:41 +01:00 |
|
Vincent
|
7b25ca75f4
|
Resolve generics of inherited pseudo methods (fix #7419)
|
2022-01-19 11:45:19 +01:00 |
|
Vincent
|
09fc43a4d8
|
Add support of docblock method using parent keyword (fix #7411)
|
2022-01-17 19:26:42 +01:00 |
|
orklah
|
9a9243e5fe
|
Merge pull request #7385 from b2pweb/handle-template-on-pseudo-method
Add support of template for docblock methods
|
2022-01-15 11:26:03 +01:00 |
|
orklah
|
75947c97c6
|
Merge pull request #7391 from b2pweb/docblock-method-inheritance
Handle inherited docblock method
|
2022-01-15 11:24:06 +01:00 |
|
orklah
|
4a85fed181
|
use Reconciler::RECONCILIATION_*
|
2022-01-14 19:39:18 +01:00 |
|
Vincent
|
a52362465b
|
Handle inherited docblock method (fix #7198)
|
2022-01-14 10:30:09 +01:00 |
|
Vincent Langlet
|
9f84da4d6f
|
Try another strategy
|
2022-01-13 23:57:02 +01:00 |
|
Vincent
|
fe7665aaaf
|
Add support of template for docblock methods (fix #7320)
|
2022-01-13 11:04:37 +01:00 |
|
|
b9e3979c3f
|
Cs-fix
|
2022-01-10 10:22:51 +01:00 |
|
|
a35ccfb0cb
|
Revert misguided changes
|
2022-01-10 10:19:12 +01:00 |
|
|
b530f23acc
|
PHP 8.2: seal all properties by default, add configuration key for lower versions
|
2022-01-10 10:11:28 +01:00 |
|
orklah
|
c94e25fa7f
|
refactor the TooFewArguments check to start checking with named arguments
|
2022-01-09 00:37:16 +01:00 |
|
orklah
|
ce2c6cf438
|
set the is_list flag for the array inferred for hrtime
|
2022-01-08 22:48:05 +01:00 |
|
orklah
|
afc3a76bc0
|
Seal the array inferred for hrtime
|
2022-01-08 22:22:21 +01:00 |
|
orklah
|
9d225086e9
|
replace empty checks on Union with dedicated method
|
2022-01-07 21:27:45 +01:00 |
|
Fabien Villepinte
|
b9d8dd9d3f
|
Fix analysis when __invoke() exists
|
2022-01-06 21:22:18 +01:00 |
|
orklah
|
e7bc6f273a
|
don't crash when pushing a template to in_array
|
2022-01-05 22:33:20 +01:00 |
|
Bruce Weirdan
|
36d5a2a83c
|
Merge pull request #7019 from zoonru/no_ksort_list
|
2022-01-02 07:37:21 +02:00 |
|
Bruce Weirdan
|
697db76dc1
|
Merge pull request #7252 from AndrolGenhald/feature/allow-assertions-on-mutable-object-properties
|
2022-01-02 07:29:02 +02:00 |
|
Bruce Weirdan
|
376d2a389e
|
Merge pull request #7259 from klimick/infer-this-context-for-psalm-if-this-is
|
2022-01-02 05:31:24 +02:00 |
|
orklah
|
de95fbdbf2
|
revert #7054
|
2022-01-01 19:34:17 +01:00 |
|
orklah
|
2a6f12296e
|
Merge pull request #7260 from orklah/6691
forbid calling impure callable in immutable context
|
2022-01-01 12:08:07 +01:00 |
|
adrew
|
0f69483cc1
|
Fix method storage fetching
|
2022-01-01 13:33:00 +03:00 |
|
orklah
|
8049438408
|
forbid calling impure callable in immutable context
|
2022-01-01 11:13:45 +01:00 |
|
adrew
|
79ea094433
|
Template resolving for psalm-if-this-is
|
2022-01-01 13:03:17 +03:00 |
|
orklah
|
51ba96c09d
|
Merge pull request #7253 from orklah/5874
allow calling mutation_free function inside a mutation_free context
|
2021-12-31 00:24:29 +01:00 |
|
AndrolGenhald
|
dd631c0c85
|
Skip reference tests, allow assertions on magic properties (fixes #6770).
|
2021-12-30 16:23:59 -06:00 |
|
orklah
|
392402cf6d
|
allow calling mutation_free function inside a mutation_free context
|
2021-12-30 22:29:36 +01:00 |
|
AndrolGenhald
|
3ac497c811
|
Allow assertions on mutable object properties.
All of the functionality is already there, we just have to not prevent it.
|
2021-12-30 14:07:55 -06:00 |
|
adrew
|
2355f1bcdb
|
Remove unused use
|
2021-12-30 22:46:18 +03:00 |
|
adrew
|
4a903c71a1
|
Checking psalm-if-this-is before applying psalm-this-out
|
2021-12-30 21:48:25 +03:00 |
|
|
7c24d33bb2
|
cs-fix
|
2021-12-30 11:36:56 +01:00 |
|
|
915ddcc620
|
Add new RedundantFunctionCall issues
|
2021-12-30 11:36:32 +01:00 |
|
|
82e24d5c1d
|
Disallow ksorting lists
|
2021-12-30 11:30:33 +01:00 |
|
Bruce Weirdan
|
03b7e94748
|
Merge pull request #7232 from trowski/issue-7196
|
2021-12-30 10:03:17 +02:00 |
|
orklah
|
0b3e1299de
|
overwritten properties
|
2021-12-27 23:46:23 +01:00 |
|
orklah
|
5f6bb39888
|
if with common parts
|
2021-12-27 23:08:19 +01:00 |
|
orklah
|
2baf3b560a
|
unnecessary statements
|
2021-12-27 23:00:40 +01:00 |
|
orklah
|
926a56a97c
|
Merge pull request #7230 from orklah/cleanup6
code grooming
|
2021-12-27 22:54:39 +01:00 |
|
orklah
|
094ffb36f9
|
phpdoc issues
|
2021-12-27 22:30:10 +01:00 |
|
orklah
|
3828db52b9
|
Merge pull request #7229 from orklah/cleanup5
remove always true/false conditions
|
2021-12-27 22:08:06 +01:00 |
|
Aaron Piotrowski
|
e23a915bb1
|
Fix first-class callables when used with magic method, built-in, or undefined methods
Closes #7196.
|
2021-12-27 14:29:33 -06:00 |
|
orklah
|
9029e1d613
|
remove always true/false conditions
|
2021-12-27 19:59:11 +01:00 |
|
adrew
|
c0ca383020
|
Contextual inference for closure param types
|
2021-12-27 19:35:37 +03:00 |
|
adrew
|
63a1c71c83
|
Remove trailing comma
|
2021-12-27 00:45:25 +02:00 |
|
adrew
|
d6d0fc6704
|
Remove undefined variables
|
2021-12-27 00:45:25 +02:00 |
|
adrew
|
2e4d75d6bd
|
Fix closure param type inference in generic context
|
2021-12-27 00:45:22 +02:00 |
|
Philip Hofstetter
|
d45cb64827
|
allow marking enum cases as @deprecated
|
2021-12-22 06:16:42 +01:00 |
|
orklah
|
ca25b0f815
|
always unflag before leaving a analyzer
|
2021-12-21 18:30:29 +01:00 |
|
orklah
|
b1a1c65714
|
CS changes
|
2021-12-21 18:30:29 +01:00 |
|
orklah
|
1eca2c32ae
|
only emit PossiblyNullArrayAccess if there was no successful destructuring
|
2021-12-20 22:48:27 +01:00 |
|
orklah
|
cc618bc916
|
allow successful destructuring to also be null if the source was nullable
|
2021-12-20 22:48:27 +01:00 |
|
rarila
|
97e6511fab
|
Set number of lines before and after namespace.
|
2021-12-15 04:58:32 +01:00 |
|
ralila
|
19b2a64ce8
|
Conversion of Psalm\Internal\Analyzer\**\*Analyzer
|
2021-12-14 02:31:26 +01:00 |
|
ralila
|
c0adde8f45
|
Conversion of Psalm\CodeLocation\DocblockTypeLocation|Raw
|
2021-12-14 02:31:26 +01:00 |
|
rarila
|
1c298c4605
|
Conversion of Psalm\Type
|
2021-12-14 02:31:22 +01:00 |
|
ralila
|
e32af3c05a
|
Conversion of Psalm\Type\Atomic
|
2021-12-14 02:26:28 +01:00 |
|
adrew
|
a8d23538b7
|
Fix closure param type inference with named params
|
2021-12-12 13:17:15 +03:00 |
|
Bruce Weirdan
|
41ca7f7f7a
|
Merge pull request #7136 from klimick/forbid-positional-args-after-named
|
2021-12-12 02:22:51 +02:00 |
|
Bruce Weirdan
|
e08a4f2a2a
|
Drop unused use
|
2021-12-12 01:58:45 +02:00 |
|
orklah
|
f79f857ded
|
Merge pull request #7133 from AndrolGenhald/remove-unused-suppressed
Allow suppressing UnusedPsalmSuppress, remove unused suppressions.
|
2021-12-11 23:24:31 +01:00 |
|
orklah
|
6632ddf884
|
Merge pull request #7135 from klimick/fix-closure-param-type-inference
Fix type inference of closure params
|
2021-12-11 23:10:32 +01:00 |
|
orklah
|
50cc629a43
|
fix cs
|
2021-12-11 23:03:10 +01:00 |
|
orklah
|
a1268d94d5
|
fix some more expressions that can be replaced by getSingleAtomic
|
2021-12-11 22:37:44 +01:00 |
|
adrew
|
6cf2e31c4a
|
Forbid positional arg after named arg
|
2021-12-11 23:37:15 +03:00 |
|
adrew
|
989c3ada2e
|
Fix type inference of closure params
|
2021-12-11 22:51:18 +03:00 |
|
AndrolGenhald
|
23b781163a
|
Use getSingleAtomic() instead of array_values(getAtomicTypes())[0].
|
2021-12-11 13:44:34 -06:00 |
|
AndrolGenhald
|
bfe7f96b56
|
Allow suppressing UnusedPsalmSuppress, remove unused suppressions.
|
2021-12-11 13:23:00 -06:00 |
|
Matthew Brown
|
b558748db2
|
Detect unused properties that are written to inside arrays
|
2021-12-11 11:42:05 -05:00 |
|
orklah
|
76bb8bc655
|
Merge pull request #7113 from trowski/first-class-callables
Added support for first-class callables
|
2021-12-10 22:40:16 +01:00 |
|
Aaron Piotrowski
|
3c5e99ed1e
|
Revert reorder of getting method return type and checking args
Skipping checking args for first-class callables, but fixes handling of other methods.
|
2021-12-09 19:02:58 -06:00 |
|
orklah
|
ae765dfba8
|
Merge pull request #7054 from orklah/6933
fix missing case for displaying varId
|
2021-12-09 23:54:37 +01:00 |
|
Aaron Piotrowski
|
d5519fc53a
|
Use $stmt->args directly instead of creating new VariadicPlaceholder
|
2021-12-09 15:51:48 -06:00 |
|
Aaron Piotrowski
|
1f3a37ff02
|
Add support for first-class callables
|
2021-12-09 10:54:49 -06:00 |
|
orklah
|
eefdb95765
|
Merge pull request #7093 from orklah/7090
don't stop analyzing array, even if we already have a type and we can't create an object like
|
2021-12-08 22:37:57 +01:00 |
|
AndrolGenhald
|
ba881c80bf
|
Use maybeAdd instead of accepts.
|
2021-12-08 12:15:32 -06:00 |
|
AndrolGenhald
|
b29fc6ad3c
|
Allow operator overloading for Decimal extension (fixes #3938).
|
2021-12-08 10:59:37 -06:00 |
|
orklah
|
c17af4128e
|
don't stop analyzing array, even if we already have a type and we can't create an object like
|
2021-12-07 19:38:52 +01:00 |
|
Bruce Weirdan
|
2530b33dbd
|
Merge pull request #7076 from klimick/fix-generic-assertion
|
2021-12-07 08:08:48 +02:00 |
|