67 Commits

Author	SHA1	Message	Date
Matthew Brown	d76459e138	Move to a PHPStan-like return type provider class model	2019-02-15 18:00:40 -05:00
Matthew Brown	c58100e3af	Fix #1313 - don’t allow mixed function calls	2019-02-10 16:15:52 -05:00
Matthew Brown	62fb8035bf	Fix #1309 - no PropertyNotSetInConstructor warnings for grandchild of class	2019-02-10 15:01:10 -05:00
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -05:00
Matthew Brown	ab22634d23	Fix #1274 - fix parent:: call to templated method	2019-02-04 00:52:31 -05:00
Matthew Brown	bfb2a5c19e	Fix #1257 - transform docblock types for magic methods to something more meaningful	2019-01-30 09:46:23 -05:00
Brown	a801923502	Add support for SplQueue templating	2019-01-28 12:27:04 -05:00
Matthew Brown	45058ea494	Fix possible crash when class-string class doesn’t exist	2019-01-28 01:12:41 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Brown	5352084188	Fix #1234 - apply @template-extends to inherited method signatures	2019-01-24 16:09:04 -05:00
Brown	60e9d4f245	Don’t give up after method_exists if static method exists	2019-01-23 15:50:12 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Matthew Brown	7fa05abb5a	Remove unused vars	2019-01-20 01:52:58 -05:00
Matthew Brown	7dfcefd35d	Support intersections on LHS of static calls	2019-01-19 23:25:23 -05:00
Matthew Brown	394d6509c6	Restrict class-string types to named objects (and intersections)	2019-01-19 22:46:06 -05:00
Matthew Brown	b313971935	Remove unused code	2019-01-18 11:57:52 -05:00
Matthew Brown	eddaaea01b	Add support for static @method annotations	2019-01-18 11:37:52 -05:00
Matthew Brown	4ec7903e8b	Fix #390 - add support for object{foo:int, bar:string} annotation	2019-01-18 00:56:24 -05:00
Brown	d78c70d521	Add better messaging for MixedMethodCall	2019-01-17 14:04:40 -05:00
Brown	1ac51fcea6	Allow binding params of extended templates ... Fixes #1207	2019-01-16 12:07:30 -05:00
Matthew Brown	bd9f2ec546	Add separate issue type for undefined interface method	2019-01-13 13:07:53 -05:00
Matthew Brown	e9b7c9e08b	Fix #1129 - mock class method arguments should be evaluated	2019-01-13 09:49:34 -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
Matthew Brown	d891c068b4	Fix #1197 - add support for method templating without override	2019-01-11 09:35:32 -05:00
Matthew Brown	ff958ef643	Fix inheritance of method params	2019-01-11 08:54:10 -05:00
Brown	9947bc56f6	Fix Psalm errors and improve error output	2019-01-10 19:18:02 -05:00
Brown	ddc2637fc5	Add support for @template-extends Foo<SomeClass>	2019-01-10 17:58:32 -05:00
Brown	f108badd03	Fix #1067 - add support for @template-extends	2019-01-10 16:59:44 -05:00
Brown	b8d822cd26	Prohibit leaking of template params across class boundaries	2019-01-10 12:13:49 -05:00
Brown	be337a03cf	Simplify output of method call complaints	2019-01-07 16:38:37 -05:00
Matthew Brown	a6357b413c	Don’t complain when rescanning file with function in	2019-01-06 17:03:13 -05:00
Matthew Brown	90e1648d5b	Fix #979 - be more conservative about method_exists handling	2019-01-06 09:36:25 -05:00
Matthew Brown	f5378bdca8	Improve function call resolution	2019-01-05 14:50:11 -05:00
Matthew Brown	6f1d56a80f	Upcast iterables to traversables when used in a templated class string	2019-01-05 10:32:39 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Matthew Brown	2dc3d9651f	Separate iterable into its own type ... Fixes #1151	2019-01-04 14:54:40 -05:00
Matthew Brown	87052537cf	Fix #1167 - don’t worry about AbstractInstantiation when it could be a descendant	2019-01-04 12:28:00 -05:00
Matthew Brown	e5559e3012	Allow callables to be plain objects, and vice versa ... Previously Psalm required they be *known* objects	2019-01-04 08:04:26 -05:00
Matthew Brown	c4d024a72d	Check variable static calls ... Fixes #1142 and #1160	2019-01-02 09:00:45 -05:00
Matthew Brown	901596281c	Fix #1143 - check some variable new calls	2019-01-02 06:58:49 -05:00
Matthew Brown	fab4d135b2	Fix static calls on class_aliased classes	2018-12-21 11:39:28 -05:00
Matthew Brown	947e3bf0f1	Fix crashes when analysing aliased class instances	2018-12-21 11:32:44 -05:00
Matthew Brown	ca6149ed17	Improve treatment of templated params within function analysis	2018-12-17 23:29:27 -05:00
Brown	7b03e0159c	Prevent invalid static invocation ... Fixes #1134	2018-12-17 17:48:13 -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
Brown	d9945a0ced	Fix issue re-asserting non-empty-mixed	2018-12-10 18:33:26 -05:00
Brown	fb19e510a7	Allow calls on non-empty-mixed too	2018-12-10 11:36:00 -05:00
Brown	ed4077f589	Be more lenient with mixed union calls	2018-12-10 11:28:05 -05:00