Matthew Brown
|
6b8e019a07
|
Bleed global variables declared in functions into main context
|
2018-05-30 22:09:46 -04:00 |
|
Matt Brown
|
549e90eca4
|
Treat required files the same as the files that require them, reporting-wise
|
2018-05-30 16:19:18 -04:00 |
|
Matthew Brown
|
d98261507f
|
Fix #769 - add @psalm-assert and @psalm-assert-if-true annotation support
|
2018-05-28 20:07:42 +01:00 |
|
Matt Brown
|
aebbd473d9
|
Fix issues reconciling class-string params to actual types
|
2018-05-21 12:40:39 -04:00 |
|
Matthew Brown
|
cdcba6152d
|
Add ability to infer return type for method calls
|
2018-05-20 12:47:26 -04:00 |
|
Matthew Brown
|
5bd9ba6207
|
Make TClassString inherit from TLiteralString
|
2018-05-20 00:27:53 -04:00 |
|
Matthew Brown
|
759516d01f
|
Fall back to $method_id if no defining method id found
|
2018-05-12 13:19:19 -04:00 |
|
Matthew Brown
|
4fe5ac87b6
|
Fix #712 - rewrite switch statement fallthroughs to understand logic better
|
2018-05-12 12:55:24 -04:00 |
|
Matthew Brown
|
56a1f744a0
|
Fix #734 - allow DOMDocument::appendChild to mirror its first arg
|
2018-05-12 00:28:21 -04:00 |
|
Matthew Brown
|
a33d52d935
|
Add support for referencedProperty error restrictions
|
2018-05-11 00:07:41 -04:00 |
|
Matthew Brown
|
318220a1bf
|
Fix #728 - remove statement return type when re-analysing
|
2018-05-09 09:30:23 -04:00 |
|
Matthew Brown
|
2c0dd36035
|
Fix get type return types
|
2018-05-08 22:01:05 -04:00 |
|
Matthew Brown
|
e50ef8bf03
|
Support __invoke return types
|
2018-05-08 19:49:25 -04:00 |
|
Matt Brown
|
6e259bed03
|
Always evaluate closures, even when passed as mixed call args
|
2018-05-08 18:11:10 -04:00 |
|
Matt Brown
|
bc17d23788
|
Fix mixed empty checks
|
2018-05-08 16:34:08 -04:00 |
|
Matthew Brown
|
61aeea6375
|
Fix whole bunches of things
|
2018-05-07 01:26:06 -04:00 |
|
Matthew Brown
|
21261172a8
|
Fix #713 - support offsets of known array types
|
2018-05-05 17:30:18 -04:00 |
|
Matthew Brown
|
1a4ddc7cdd
|
Support value types (#707)
* Add first idea
* Add initial count experiments
* Remove false positives
* Fix getId to support changes in conditionals
* Add better tests
* Strip types when not exists
* Fix array offsets
* More fixes
* Add class constant value types
* Clone constants everywhere
* Don’t complain unnecessarily
* Be more lenient with possibly invalid __sets
* Fix mixed issues
* Fix bug concerning orred string equality
* Remove unnecessary casts
|
2018-05-03 13:56:30 -04:00 |
|
Matthew Brown
|
99da371ac4
|
Move memoisation after callmap branch
|
2018-04-28 13:49:27 -04:00 |
|
Matthew Brown
|
da6209276f
|
Allow ability to memoize empty method calls based on config
|
2018-04-28 13:05:43 -04:00 |
|
Matthew Brown
|
2fabdf3353
|
Fix #314 - add a way to indicate @method list is comprehensive
|
2018-04-22 00:40:30 -04:00 |
|
Matthew Brown
|
1c7568e612
|
Fix #642 - allow @method to override existing methods
behind usePhpDocMethodsWithoutMagicCall="true"
|
2018-04-21 23:08:08 -04:00 |
|
Matthew Brown
|
8b50cdf315
|
Fix #632 - add support for @method annotations when method can’t be found
|
2018-04-21 22:44:54 -04:00 |
|
Matthew Brown
|
d02b148820
|
Fix #633 - support @method for magic __call methods
|
2018-04-21 22:13:10 -04:00 |
|
Matt Brown
|
8d7c365e5f
|
Fix #679 - improve template param type checks
|
2018-04-20 10:52:23 -04:00 |
|
Matt Brown
|
6afaf5aae9
|
Make Psalm compatible with PHP Parser 4
|
2018-04-17 13:06:02 -04:00 |
|
Matt Brown
|
6502eba658
|
Don’t invalidate object vars after callmap functions
|
2018-04-13 11:24:59 -04:00 |
|
Matthew Brown
|
5f47374606
|
Fix indentation
|
2018-04-09 21:50:38 -04:00 |
|
Matt Brown
|
7640b00635
|
Only check functionlike arguments match if we know params
|
2018-04-09 18:49:11 -04:00 |
|
Matthew Brown
|
3fe9a0606e
|
Fix #654 - warn about MixedArgument when inferredType property does not exist
And handle str_replace more leniently when args unknown
|
2018-04-07 15:16:46 -04:00 |
|
Matt Brown
|
c932ed7764
|
Fix #651 - allow Psalm to understand assertions on properties of array objects
|
2018-04-06 16:23:10 -04:00 |
|
Matthew Brown
|
4552e69ef2
|
Allow classes to be instantiated by their name only
Ref #641
|
2018-04-03 22:20:00 -04:00 |
|
Matthew Brown
|
ef37f0cfe8
|
Fix #626 - check __invoke methods
|
2018-03-31 18:57:13 -04:00 |
|
Matthew Brown
|
44cccb5b3d
|
Fix build
|
2018-03-27 01:05:11 -04:00 |
|
Matthew Brown
|
fb802540d6
|
Fix variadic format cc @TysonAndre and allow callable param types
Ref #580
|
2018-03-27 00:12:41 -04:00 |
|
Matthew Brown
|
58115599a1
|
Add support for callable(...) syntax
Ref #580
|
2018-03-26 22:13:10 -04:00 |
|
Matthew Brown
|
ccbe9980f5
|
Fix issue with nested trait methods
|
2018-03-21 17:39:01 -04:00 |
|
Matthew Brown
|
49c4dd8a5d
|
Fix trait method aliasing
|
2018-03-21 16:55:31 -04:00 |
|
Matthew Brown
|
452fd2e7c9
|
Make UndefinedClass an explicit class-related issue
|
2018-03-21 10:17:57 -04:00 |
|
Matthew Brown
|
5384f193d1
|
Allow class and method issues to be suppressed by their identifiers
Ref #603
|
2018-03-20 22:36:03 -04:00 |
|
Matthew Brown
|
28522c4f94
|
Fix #588 - allow anonymous classes to call $this functions
|
2018-03-18 01:07:14 -04:00 |
|
Matthew Brown
|
eb3750d8f3
|
Remove unnecessary @var annotations
|
2018-03-17 00:19:55 -04:00 |
|
Matt Brown
|
6d767de043
|
Ignore nullable class strings where appropriate
|
2018-03-06 14:11:32 -05:00 |
|
Matt Brown
|
b664c85642
|
Add new issue conditional on config flag
|
2018-03-06 12:19:50 -05:00 |
|
Matt Brown
|
357ad1aa82
|
Add config flags to allow stricter class invocation checks
|
2018-03-06 11:20:59 -05:00 |
|
Matt Brown
|
850998ed1a
|
Add class-string type for enforcing use of ::class constants
|
2018-03-05 16:06:06 -05:00 |
|
Matthew Brown
|
806b032b13
|
Downgrade UndefinedMethod to PossiblyUndefinedMethod issue when one type has __call defined
|
2018-03-04 13:23:40 -05:00 |
|
Matthew Brown
|
d94abc42e8
|
Fix array location
|
2018-03-02 08:38:16 -05:00 |
|
Matthew Brown
|
ee6a9b98fb
|
Allow arrays to be called (ugh)
|
2018-03-02 00:49:53 -05:00 |
|
Matthew Brown
|
47cb74ddd1
|
Fix issue where namespaced function could be treated as root
|
2018-02-25 11:13:00 -05:00 |
|