99 Commits

Author	SHA1	Message	Date
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -05:00
Matthew Brown	f06ed8bf84	Fix #1273 - don’t change type with unpacked var	2019-02-03 16:36:10 -05:00
Matthew Brown	e97d4f85ee	Break large CallAnalyzer funtions apart	2019-02-03 16:21:37 -05:00
Matthew Brown	194bb31221	Fix #204 - allow missing param types to be added with Psalter	2019-02-02 14:16:49 -05:00
Matthew Brown	3a01afbe0a	Refine inferred type when possible	2019-02-02 12:10:52 -05:00
Matthew Brown	db89b3cc3f	Add initial support for fixing MissingParamType	2019-02-02 11:28:48 -05:00
Brown	9edbae2bdc	Fix possible fatal when builtin function is called in array_filter	2019-01-28 17:54:50 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Matthew Brown	ea137fc20c	Don’t complain about mixed after unpacking arg	2019-01-21 17:42:25 -05:00
Matthew Brown	e0067e53c5	Fix param chosen to be expected	2019-01-21 17:35:55 -05:00
Matthew Brown	1b0c426c52	Improve error message when type cannot be inferred, fixes #1110	2019-01-21 17:29:12 -05:00
Matthew Brown	ed68cb973d	Fix #1109 - add bad usort protection	2019-01-19 18:11:49 -05:00
Matthew Brown	ee2b06ac43	Add initial support for @param-out	2019-01-19 13:32:43 -05:00
Brown	8d61cb4816	Fix #1200 - no fatal error in array_map when not checking functions	2019-01-15 17:53:23 -05:00
Matthew Brown	9ef1ce1535	Make @template-extends more robust	2019-01-12 18:18:23 -05:00
Matthew Brown	a49b5af3e9	Refactor the method call analyzer a little	2019-01-12 09:13:54 -05:00
Brown	cdbc63c99a	Fix #1195 - check assignments in byref	2019-01-11 14:57:21 -05:00
Brown	bf327f4933	Prevent echo removing all types	2019-01-11 14:46:03 -05:00
Brown	4ec8d1a8dd	Fix #1198 - add support for template param extends checks	2019-01-11 10:55:44 -05:00
Brown	b8d822cd26	Prohibit leaking of template params across class boundaries	2019-01-10 12:13:49 -05:00
Matthew Brown	11bfaaa5f7	Prevent crash in constructor checks	2019-01-09 08:35:53 -05:00
Brown	14f456e160	Fix #1176 - always evaluate assignments in unknown function calls	2019-01-07 12:24:44 -05:00
Matthew Brown	b19dd25881	Fix #742 - infer template type from closure	2019-01-06 12:16:09 -05:00
Matthew Brown	f5378bdca8	Improve function call resolution	2019-01-05 14:50:11 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Brown	2b4b55fd33	Add support for @return no-return ... Fixes #1155	2019-01-02 17:05:39 -05:00
Matthew Brown	947e3bf0f1	Fix crashes when analysing aliased class instances	2018-12-21 11:32:44 -05:00
Brown	ca1a615026	Don’t call reconciliation on empty vars	2018-12-17 15:23:56 -05:00
Matthew Brown	8b5e8402a1	Add support for @param T:class $foo	2018-12-13 00:09:01 -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	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Matthew Brown	21f29e7385	Fix #1108 - add support for referencedFunction to UndefinedFunction	2018-11-29 23:19:33 -05:00
Brown	04b3fd2bb5	Fall through after more Possibly* issues	2018-11-28 11:45:54 -05:00
Matthew Brown	6ef79a0432	Improve handling of byref vars passed into functions ... Fixes #1066	2018-11-21 12:38:51 -05:00
Matthew Brown	59b9b5d65b	Move more classes into Internal namespace	2018-11-18 12:41:47 -05:00
Brown	f3599a8b6c	Allow assertSame(null, ...)	2018-11-16 11:50:07 -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
Matthew Brown	e8716f636e	Prevent templated assertions on union types with > 1 atomic	2018-11-16 00:56:57 -05:00
Brown	029b6e5ac4	Allow assertions to be made on template params	2018-11-15 18:50:08 -05:00
Brown	d9440c7bb0	Make sure assertions always have a $ in var id	2018-11-14 15:40:56 -05:00
Brown	f8ea3567d3	Include $ in asserted var id	2018-11-14 15:12:55 -05:00
Brown	3ba2510096	Prevent bleeding of assert vars into context	2018-11-14 13:12:31 -05:00
Brown	4904ffe8ea	Complain about redundant conditions on custom asserts	2018-11-14 12:25:17 -05:00
Brown	0254322bed	Migrate Codebase-namespaced and FileManipulation-namespaced classes to internals	2018-11-12 11:20:59 -05:00
Matthew Brown	9709263b8d	Make many PropertyAnalyzer properties private	2018-11-12 11:20:59 -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