134 Commits

Author	SHA1	Message	Date
Marco Pivetta	624c7bc6fb	Renamed Fn to TFn to allow for PHP 7.4 compatibility	2019-06-03 08:21:25 -04:00
Matthew Brown	2439a9f6a0	Allow instance method renaming, too	2019-06-02 12:02:39 -04:00
Matthew Brown	bee87c25eb	Add transformations for new A, param A	2019-06-01 10:32:49 -04:00
Matthew Brown	7e4de611bf	Migrate class references in static calls	2019-06-01 10:07:45 -04:00
Matthew Brown	cc89b9254d	Add initial ideas for moving static methods ... Ref #1595	2019-06-01 00:56:54 -04:00
Matthew Brown	a001616753	Remove object-like array under falsy assertion when it contains a sure key	2019-05-28 00:32:27 -04:00
Matthew Brown	5861476765	Don’t remove null after magic property fetch	2019-05-27 09:18:34 -04:00
Matthew Brown	c356c452ec	Fix #1692 - allow magic annotations on all interfaces without config flag	2019-05-26 23:35:03 -04:00
Matthew Brown	790bc53bfd	Fix #1681 - interpret parent annotation properly	2019-05-25 11:51:09 -04:00
Matthew Brown	7a48225184	Fix leaky template type	2019-05-24 13:35:14 -04:00
Matthew Brown	3e2b7163ca	Fix #1674 - treat intersections more equally regardless of order	2019-05-24 12:48:37 -04:00
Brown	963d5bb901	Fix #1656 - allow chained call completion	2019-05-17 12:38:29 -04:00
Brown	4a434d9a2f	Add separate issue for undefined classes in docblocks	2019-05-15 18:41:26 -04:00
Barney Laurance	6fbe2b0837	Extract function NamespaceAnalyzer::nameSpaceRootsMatch	2019-05-14 18:54:16 -04:00
Barney Laurance	14843ed58a	psalm-internal - extract function NamespaceAnalyzer::isWithin ... Also adjust behaviour so things can be internal to classes, not just to namespace, and namespace comparision is case insensitive	2019-05-14 18:54:16 -04:00
Barney Laurance	cd673538f1	psalm-internal - refactor - use snake_case not camelCase	2019-05-14 18:54:16 -04:00
Barney Laurance	cd16dc7ac3	psalm-internal - PHPBCBF fixes	2019-05-14 18:54:16 -04:00
Barney Laurance	ce5d307f83	psalm-internal - present fetching internal property from other namespace	2019-05-14 18:54:16 -04:00
Barney Laurance	0ebcba3e02	psalm-internal - prevent instantiation of class from other namespace	2019-05-14 18:54:16 -04:00
Barney Laurance	059d1ef177	psalm-internal - prevent static call to psalm-internal class from other namespace	2019-05-14 18:54:16 -04:00
Tyson Andre	d4f1a4a75f	Remove unused variables/comment params	2019-05-11 22:11:38 -04:00
Matthew Brown	e08944cae0	Allow diff mode with --find-dead-code	2019-04-27 17:38:24 -04:00
Matthew Brown	59e53acd56	Fix new template class array key coercion to mixed - when we don’t know, assume bottom type	2019-04-26 07:54:21 -04:00
Brown	0e4c8ce482	Split apart TypeCoercion issues, allowing more granular issue filtering	2019-04-25 18:02:19 -04:00
Matthew Brown	9be8013633	Add a way to ignore variable method & property calls	2019-04-20 17:49:49 -04:00
Brown	205fa36fb7	Add better error messages to unused code issues	2019-04-19 11:45:22 -04:00
Brown	4807ebe04a	Always evaluate static calls when method call cannot	2019-04-18 13:51:34 -04:00
Brown	d51475bc03	Register magic property get/set propertyExists calls	2019-04-18 10:41:46 -04:00
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
Bruce Weirdan	8dda8a0ee4	cs fix	2019-04-13 12:35:49 -04:00
Bruce Weirdan	4daf94ca1d	Case-insensitive checks for var_dump and shell_exec ... Fixes vimeo/psalm#1547	2019-04-13 12:35:49 -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
bugreportuser	1a4b9ab25f	Allow suppressing exception issues inline	2019-03-31 14:22:19 -04:00
bugreportuser	4fc7e4affc	Give errors for all uncaught exceptions	2019-03-31 14:22:19 -04:00
Matthew Brown	230680fd1c	Fix #1513 - use correct param types when examining abstract trait methods	2019-03-28 22:47:17 -04:00
Brown	937eb42e8b	Do not override parent return type	2019-03-28 10:43:49 -04:00
Matthew Brown	bd6fea0d57	Fix #1514 - catch static interface call	2019-03-28 08:22:44 -04:00
bugreportuser	8b12751007	Keep track of throw code locations	2019-03-24 23:03:37 -04:00
Matthew Brown	6bcc3d0261	Don’t stop analysing on var_dump	2019-03-23 10:58:26 -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	ca765cba58	Fix errors caused by bad generic param counts ... Fixes #1474	2019-03-17 12:20:57 -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