504 Commits

Author	SHA1	Message	Date
Matthew Brown	15e1003c37	Warn about impossible empty	2018-04-30 22:13:13 -04:00
Matthew Brown	99da371ac4	Move memoisation after callmap branch	2018-04-28 13:49:27 -04:00
Matthew Brown	496256c2a5	Make memoisation more universal	2018-04-28 13:49:21 -04:00
Matthew Brown	da6209276f	Allow ability to memoize empty method calls based on config	2018-04-28 13:05:43 -04:00
Matt Brown	a0984cdaf1	Fix #697 - make missing objectlike fields an InvalidArgument	2018-04-27 17:10:57 -04:00
Matthew Brown	35725267f9	Fix #691 - Allow comparisons to float for integer results	2018-04-24 23:02:20 -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	0882b9c0f9	Fix #687 - interpret unpacked arguments in array_push and array_unshift	2018-04-20 17:14:38 -04:00
Matt Brown	8d7c365e5f	Fix #679 - improve template param type checks	2018-04-20 10:52:23 -04:00
Matt Brown	1f3837d972	Fix #686 - allow undefined class inside class_exists call	2018-04-19 12:16:00 -04:00
Matt Brown	4ee0298558	Always panic when two types can never be the same	2018-04-18 12:01:13 -04:00
Matt Brown	5b7d190640	Emit RedundantCondition when asserting two variables can never be equal	2018-04-17 15:39:09 -04:00
Matt Brown	5a2f6ff0e0	Fix #624 - change some innaccurate issue names	2018-04-17 14:07:02 -04:00
Matt Brown	6afaf5aae9	Make Psalm compatible with PHP Parser 4	2018-04-17 13:06:02 -04:00
Matt Brown	df5d369443	Fix #677 - handle get_class checks more accurately	2018-04-17 10:28:49 -04:00
Matt Brown	b28cc19fd2	Fix bitwise operations on strings	2018-04-16 18:19:18 -04:00
Matt Brown	55153f9542	Fix #676 - bitwise operators didn’t have int return type	2018-04-16 16:36:06 -04:00
Matt Brown	3cc549384f	Type explode more accurately	2018-04-16 16:03:04 -04:00
Matt Brown	6502eba658	Don’t invalidate object vars after callmap functions	2018-04-13 11:24:59 -04:00
Radosław Kowalewski	0ea053bda1	Fix detecting relative paths on windows ... Fixes vimeo/psalm#655	2018-04-12 16:08:50 -04:00
Matthew Brown	f9b6027bbc	Fix relative path includes on windows	2018-04-11 20:56:11 -04:00
Matt Brown	6426dbbf0e	Propagate array key updates after assertions to base array	2018-04-11 14:19:42 -04:00
Matthew Brown	f15c26d7f4	Change how type impossibilities are treated to improve message types	2018-04-10 01:27:26 -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
Matt Brown	47255fb19b	Fix array key check after direct assignment	2018-04-09 18:02:45 -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
Matthew Brown	0f0f405b9f	Allow mixed property assignment when the user wants it ... Fixes #652	2018-04-07 12:13:30 -04:00
Matt Brown	60c6bb4021	Fix #650 - be more judicious about inserting mixed into places	2018-04-06 18:28:22 -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
Matt Brown	4927dfd337	Fix issue with InvalidArrayOffset from falsable	2018-04-05 13:57:01 -04:00
Matt Brown	24f307d568	Fix #645 - add isa- prefix for strings as well as class constants	2018-04-05 12:03:36 -04:00
Matthew Brown	03b3a764e3	Fix #641 - allow is_a to operate on strings as well	2018-04-03 23:14:23 -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	6a6d6465f5	Fix #619 - don’t use capitalised letters to discriminate classes	2018-03-30 19:04:21 -04:00
Matthew Brown	c8c216edb2	Fix #610 - add slightly hacky check for multiple callmap options	2018-03-30 18:51:59 -04:00
Matt Brown	fd9e783a37	Emit InvalidDocblock for bad static keyword in @var ... Ref #623	2018-03-27 11:34:48 -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	1f57876e48	Allow extract array to be passed by ref	2018-03-21 11:14:05 -04:00
Matthew Brown	452fd2e7c9	Make UndefinedClass an explicit class-related issue	2018-03-21 10:17:57 -04:00
Matthew Brown	49820b06dd	Prevent variadic args disrupting required closure param count	2018-03-21 09:04:07 -04:00
Matthew Brown	9404de699d	Allow list vars to have array keys	2018-03-21 08:48:30 -04:00