343 Commits

Author	SHA1	Message	Date
Matthew Brown	f01b462d75	Add better output for class strings	2018-12-22 12:08:35 -05:00
Brown	5842ac1517	Fix internal error with property fetches on undefined classes	2018-12-20 14:26:55 -05:00
Brown	fb848d62e9	Add checks for if (count($a)) and if (count($a) [operator] [number])	2018-12-19 16:15:19 -05:00
Brown	8e5e3564bc	Fix erroneous redundant condition warning	2018-12-19 16:10:09 -05:00
Matthew Brown	ea89a6ba29	Revert "First pass" ... This reverts commit 9ed047234f.	2018-12-19 08:45:14 -05:00
Matthew Brown	20f7147af1	Revert "Maybe bad idea" ... This reverts commit 03c817be08.	2018-12-19 08:44:56 -05:00
Matthew Brown	03c817be08	Maybe bad idea	2018-12-19 01:59:26 -05:00
Matthew Brown	9ed047234f	First pass	2018-12-19 01:59:14 -05:00
Matthew Brown	e75d8d00bb	Improve result of "static" type-to-string	2018-12-18 01:14:19 -05:00
Matthew Brown	885a6a605e	Add better namespaced string representation for generic param class	2018-12-18 00:21:55 -05:00
Matthew Brown	ca6149ed17	Improve treatment of templated params within function analysis	2018-12-17 23:29:27 -05:00
Brown	ca1a615026	Don’t call reconciliation on empty vars	2018-12-17 15:23:56 -05:00
Brown	699d763cc1	Make isset($a[foo]) imply $a is not a string	2018-12-14 18:52:29 -05:00
Matthew Brown	a8851ff425	Improve handling of T::class when mixed is passed	2018-12-13 01:54:15 -05:00
Matthew Brown	8b5e8402a1	Add support for @param T:class $foo	2018-12-13 00:09:01 -05:00
Matthew Brown	9911ffc9cd	Fix type	2018-12-13 00:08:37 -05:00
Brown	970ea48b25	Fix checks around array empty checks	2018-12-11 13:50:26 -05:00
Matthew Brown	b052e211a0	Improve internal typing for sabre/event promises	2018-12-10 23:18:53 -05:00
Brown	d9945a0ced	Fix issue re-asserting non-empty-mixed	2018-12-10 18:33:26 -05:00
Brown	bd59153ddb	Fix issue with empty mixed analysis with union	2018-12-10 11:17:35 -05:00
Matthew Brown	f0969cb3bb	Fix getId calls on callable return types ... Ref #1119	2018-12-08 14:10:06 -05:00
Matthew Brown	fd0ab47b80	Fix #1118 - detect possible issues with unions of mixed	2018-12-08 13:18:55 -05:00
Matthew Brown	f54a50ec7d	Fix #1116 - provide slightly clearer message when comparing a class string to a string	2018-12-05 22:29:06 -05:00
Brown	4e183abdc6	Add better message when reconciling fails with bad result ... Ref #1114	2018-12-05 10:36:42 -05:00
Matthew Brown	830ee873dc	Throw exception before notice is emitted	2018-12-05 09:33:13 -05:00
Brown	f5e788ec1f	Increase limits of literal strings to 50 characters	2018-11-27 17:48:23 -05:00
Brown	2e7a75ba0a	Prevent Psalm-specific types leaking into PHPDoc	2018-11-27 12:20:06 -05:00
Matthew Brown	59b9b5d65b	Move more classes into Internal namespace	2018-11-18 12:41:47 -05:00
Matthew Brown	37dedee7b6	Fix memory leak issues and disable garbage collection	2018-11-18 11:39:14 -05:00
Brown	1ada15f6c6	Allow numeric-string to be identical to string	2018-11-16 13:31:53 -05:00
Brown	c8240cea77	Fix bug where int(0)|float was treated as float in some assertions	2018-11-16 12:26:55 -05:00
Brown	425b6321aa	Add better understanding of when floats and ints can be equal	2018-11-16 11:04:45 -05:00
Brown	08d9940259	Change ^ to = when annotating assertions	2018-11-16 10:13:52 -05:00
Brown	029b6e5ac4	Allow assertions to be made on template params	2018-11-15 18:50:08 -05:00
Brown	254a14f621	Allow assertion redundant conditions to be suppressed	2018-11-14 13:44:20 -05:00
Matthew Brown	4d79b61e93	Change _checker to _analyzer	2018-11-12 11:20:59 -05:00
Matthew Brown	4688b25fd9	Move internal classes to own namespace	2018-11-12 11:20:59 -05:00
Matthew Brown	a3dde47374	Fix issues with build	2018-11-10 20:56:52 -05:00
Matthew Brown	e36d7c7d5e	Fix $key overwriting	2018-11-10 20:40:34 -05:00
Matthew Brown	2ea58e2c0f	Better assertions about non-empty known numbers	2018-11-10 17:56:22 -05:00
Matthew Brown	9f2fe748e8	Improve handling of vars set in always-entered for/foreach/while loops	2018-11-10 16:10:59 -05:00
Brown	b7099aaf3f	Make sure array changes are noticed	2018-11-09 11:19:44 -05:00
Brown	15b412b10e	Add checks for non-empty arrays	2018-11-09 10:56:27 -05:00
Matthew Brown	6cf6d2cfda	Add null check	2018-11-06 09:18:39 -05:00
Matthew Brown	8354b6e055	Fix #1063 with removal of unnecessary code	2018-11-06 08:53:22 -05:00
Matthew Brown	98a5503260	Remove unused var	2018-11-04 19:26:17 -05:00
Brown	3fc67782a9	Fix #1055 - improve reconciliation of class-strings	2018-11-02 17:38:20 -04:00
Brown	07934b8333	Fix isString check for class strings	2018-11-02 17:03:49 -04:00
Brown	f7a37d05b9	Improve handling of generic params in intersection types ... Ref #1053	2018-11-02 13:09:04 -04:00
Brown	6732c5f5c2	Add scanning of generic classes	2018-10-30 13:01:01 -04:00