64 Commits

Author	SHA1	Message	Date
Brown	80e28d6a4a	Add support for unused method & property automated removal	2019-04-17 11:12:18 -04:00
Brown	ff14f671b1	Add hopefully-more-portable method for evaluating method/property usage	2019-04-16 16:07:48 -04:00
Brown	26e2de93c7	Prepare to enable paralellised use of --find-dead-code ... References #1548	2019-04-12 18:28:07 -04:00
Brown	be5a262deb	Add better handling for non-edge-case function calls	2019-04-11 14:53:21 -04:00
Matthew Brown	230680fd1c	Fix #1513 - use correct param types when examining abstract trait methods	2019-03-28 22:47:17 -04:00
Matthew Brown	ee56419fd6	Improve accuracy and durability of mixed counts	2019-03-23 09:50:47 -04:00
Brown	9cf78e9097	Remove unused var	2019-03-22 19:12:06 -04:00
Brown	c221eccbf5	Tidy up method call analyser	2019-03-22 18:02:33 -04:00
Brown	cc568422d8	Fix #1488 - allow inheritance when dummy template exists	2019-03-22 16:29:30 -04:00
Brown	b9ba24929d	Refactor storage of template names to prevent clashes	2019-03-22 15:59:10 -04:00
Matthew Brown	9ee4a7414b	Fix #1461 - check interfaces when analysing abstract method call	2019-03-17 14:16:52 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Brown	85f34f2aca	Add defining class and increas string length	2019-03-12 12:58:04 -04:00
Brown	5beb26659e	Add special type for SQL select strings for plugins to consume	2019-03-07 14:56:18 -05:00
Brown	ae69695f89	Prevent tests in PHP 7.1	2019-03-05 18:27:25 -05:00
Matthew Brown	317f790bde	New plugin hooks (#1405) ... * Add a bunch of new hooks * Add more integrations * Add some broken tests * Add more things * Fix remaining interfaces * Suppress proper issue * UndefinedMethod should not stop analysis * Add handlers for two custom method return types	2019-03-01 08:57:10 -05:00
Brown	815bf845dc	Improve handling of method/function return types	2019-02-27 17:06:44 -05:00
Matthew Brown	8650f9eb1a	Fix #1356 - improve assertion system to work better on function calls	2019-02-26 01:03:33 -05:00
Matthew Brown	3ad1abece4	Add generation of json artifacts	2019-02-24 01:33:25 -05:00
Matthew Brown	ce4f2e6334	Fix #1364 - use proper types for extended getIterator calls	2019-02-21 23:01:34 -05:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -05:00
Matthew Brown	0739d017ac	Use information from .phpstorm.meta.php files in stubs	2019-02-16 11:16: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	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	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
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -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	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	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	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
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