Brown
0352babece
Fix buggy handling of class with __toString being passed to string|object
2018-10-04 15:29:01 -04:00
Brown
6707672528
Improve handling of traits further
2018-10-03 18:16:33 -04:00
Brown
f2cea0325f
Slightly improve trait handling
2018-10-03 17:11:08 -04:00
Brown
33254c43cc
Fix #1010 - track changes to traits and trait uses
2018-10-03 13:58:32 -04:00
Brown
d6952b5f46
Remove unused var
2018-10-02 17:22:30 -04:00
Brown
4ff851f536
Add test for re-analysis after no change
2018-10-02 15:49:27 -04:00
Brown
14fb95ae97
Fix invalidly inferred return type
2018-10-01 15:14:39 -04:00
Brown
f1bfde5dd7
Improve resolution of include paths
2018-10-01 13:50:55 -04:00
Brown
d0bd10d143
Improve provider architecture, upping test coverage
2018-09-30 11:34:51 -04:00
Brown
89c04ec1ae
Cache issue data and adjust issue offsets where applicable
2018-09-30 11:34:51 -04:00
Brown
67c90edadf
Don’t check methods we’ve already checked
2018-09-30 11:34:51 -04:00
Brown
ff893a3fb2
Fix #1005 - resolve /./ to /
2018-09-27 17:59:46 -04:00
Matt Brown
e323d15174
Fix #972 - allow type aliases to be used within functions
2018-09-24 13:08:23 -04:00
Matt Brown
db3ddaa42c
Allow InvalidCatch and InvalidThrow to be suppressed per-class
...
Ref #411
2018-09-21 11:35:51 -04:00
Matthew Brown
1ed61f42b9
Check outer scope for loop changes on break/continue ( #1002 )
...
* test
* Fix #1000 - check outer scope for loop changes on break/continue
2018-09-20 19:19:00 -04:00
Matthew Brown
350afe3e7f
Fix #998 - use lowercase comparison for method signature checks
2018-09-19 23:12:35 -04:00
Matt Brown
3187b5723d
Ignore method deprecation until it breaks
2018-09-18 18:21:12 -04:00
Matt Brown
4d4e84e6e9
Add specific ForbiddenEcho issue if a config flag is set
2018-09-18 17:08:32 -04:00
Matt Brown
414057e281
Fix #938 - allow forbiddenFunctions to be specified in the config
2018-09-18 16:42:51 -04:00
Matthew Brown
447bd147e1
Fix interface return type regression
2018-09-14 00:07:56 -04:00
Matthew Brown
4efb8c2cf1
Include method return descriptions
2018-09-13 23:55:03 -04:00
Matthew Brown
36bb8ae213
Fix #996 - improve handling of return type comments
2018-09-13 23:39:24 -04:00
Matthew Brown
334c463e08
Fix #977 - improve handling of orred expressions
2018-09-10 00:13:59 -04:00
Matthew Brown
1d3e66c798
Fix #982 - treat intersection types of traversables as first-order citizens
2018-09-09 20:10:50 -04:00
Matthew Brown
2c3244e93b
Fix #981 - allow interfaces to be equal
2018-09-09 12:20:49 -04:00
Matthew Brown
53e265e963
Fix #984 - allow magic methods to be invoked on $this->xxx
2018-09-09 11:45:52 -04:00
Matthew Brown
046025576e
Fix issue merging class constants and inherited interface ones
2018-09-09 11:18:20 -04:00
Matt Brown
6e5a9bf076
Fix #986 - use better return type for array_slice
2018-09-07 10:53:56 -04:00
Matthew Brown
84459286ac
Fix #973 - allow types to reference other new types in a given docblock
2018-09-04 22:27:55 -04:00
Matthew Brown
7c274431f0
Fix #975 - don’t check things at all when there’s a duplicate class
2018-09-04 21:22:05 -04:00
Matt Brown
b97972ebb3
Fix Psalm-found issues
2018-09-04 14:37:33 -04:00
Matt Brown
cbfebb7a69
Fix #971 - be more robust in face of duplicate classes
2018-09-04 14:34:14 -04:00
Matt Brown
5d6fb4efdf
Copy inferred type when suppressing errors
2018-09-04 13:57:05 -04:00
Matt Brown
e1bc9c65fc
Add ksort to list of no-op by ref functions (vis-a-vis their argument shape
2018-09-04 13:14:44 -04:00
Matthew Brown
84d7504036
Fix #834 - warn about __toString in array offset
2018-08-31 20:24:50 -04:00
Matthew Brown
d5b0d5a996
Fix #964 - warn about imposible offsets
2018-08-31 20:02:36 -04:00
Matt Brown
17ea48eda4
Add ability to pretend that a file has declare(strict_types=1)
2018-08-29 15:10:56 -04:00
Matt Brown
956a7c749b
Improve handling of array_search and strstr, and restrict ini_set types
2018-08-29 13:58:07 -04:00
Matt Brown
f844f86a6c
Improve type coercion checks in strict mode
2018-08-28 17:42:39 -04:00
Matt Brown
1037485a60
Convert InvalidScalarArgument to InvalidArgument when declare(strict_types=1) is set
2018-08-28 12:37:25 -04:00
Matt Brown
caf65ca8a9
Fix #957 - allow assertions on $_GET, $_POST, $_SERVER etc
2018-08-24 16:48:14 -04:00
Matt Brown
4ef2aafdd8
Fix #955 - always check third argument of array_splice
2018-08-24 16:12:07 -04:00
Matthew Brown
867ebd4441
Fix #953 - support spaces either side of |
2018-08-22 22:53:44 -04:00
Matt Brown
ebc65baa91
Fix issues with coerced class-string
2018-08-21 17:59:06 -04:00
Matt Brown
699a34fc9d
Fix #952 - improve checks for string array offsets
2018-08-21 11:40:29 -04:00
Matthew Brown
4ad3522448
Fix #918 - improve handling of associative array offsets
2018-08-21 00:28:39 -04:00
Matthew Brown
36e2b1dd67
Fix #925 - set correct flag when coercing class-like string to specific
2018-08-20 22:25:10 -04:00
Matthew Brown
8814dff3c1
Fix #947 - interpret type hints of unpacked args
2018-08-20 22:11:01 -04:00
Pieter De Schepper
14e336e69a
Fix for not suppressing MethodSignatureMismatch and InvalidReturnType ( #939 )
...
* Fix for not suppressing MethodSignatureMismatch
If you have an inherited class that overrides a method with a different return type, you can now suppress it with
@psalm-suppress MethodSignatureMismatch
* Fix for non-suppressable InvalidReturnType
2018-08-20 21:37:21 -04:00
Matt Brown
070e7903df
Allow suppression of TooManyArguments by function/method id
2018-08-16 16:49:33 -04:00
