181 Commits

Author	SHA1	Message	Date
Matthew Brown	709a5c31da	Allow bitwise or ops to change type ... Ref #1340	2019-02-18 12:53:55 -05:00
Matthew Brown	12f1ffca11	Fix issue reconciling mixed vars inside loop	2019-02-18 11:39:05 -05:00
Matthew Brown	5777e008c0	Remove var_dump	2019-02-17 13:18:23 -05:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -05:00
Matthew Brown	40a91eab6e	Fix #1339 - no crash when using self/static/parent in closure	2019-02-17 13:14:59 -05:00
Matthew Brown	0739d017ac	Use information from .phpstorm.meta.php files in stubs	2019-02-16 11:16:52 -05:00
Matthew Brown	d76459e138	Move to a PHPStan-like return type provider class model	2019-02-15 18:00:40 -05:00
Brown	27c99aed2f	Improve recovery from InvalidScalarArgument issue	2019-02-14 16:55:54 -05:00
Brown	50421b297a	Don’t report undefined properties when collecting initialisations	2019-02-13 14:04:10 -05:00
Brown	3deea3980d	Add checks for unitialized properties ... Fixes #1328	2019-02-13 13:32:19 -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	c765d0e969	Fix #1307 - improve generator array type	2019-02-09 15:48:15 -05:00
Matthew Brown	83e22a10f8	Fix #1299 - vars defined in catches before throw are possibly-defined for finally	2019-02-09 15:39:30 -05:00
Matthew Brown	e6f3948f7b	Fix #1297 - prevent false positive TypeDoesNotContainType for class const array offset	2019-02-07 16:24:31 -05:00
Matthew Brown	ed4ed957c8	Use more specific templated argument	2019-02-07 15:21:34 -05:00
Matthew Brown	c758678022	Fix remaining issues	2019-02-06 16:08:41 -05:00
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -05:00
Matthew Brown	c83afc1af2	Fix element type inference for DOMNodeList	2019-02-05 13:34:59 -05:00
Matthew Brown	6033345694	Fix #1281 - improve handling of mixed property array assignment	2019-02-05 00:36:57 -05:00
Brown	bbf013bfb8	Fix #1279 - speed up analysis of large arrays	2019-02-04 16:06:14 -05:00
Matthew Brown	ab22634d23	Fix #1274 - fix parent:: call to templated method	2019-02-04 00:52:31 -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
Matthew Brown	509709d6bc	Fix #1267 - flesh out self static property types	2019-02-01 08:59:01 -05:00
Brown	fd88f00526	Fix a few small bugs	2019-01-31 17:48:48 -05:00
Brown	2054e3753f	Fix #1260 - improve handling of ArrayAccess assignment	2019-01-31 12:45:47 -05:00
Brown	c195e8fd21	Add more nuanced analysis of array access fetch	2019-01-30 15:40:37 -05:00
Brown	661c7ee707	Fix #1256 - detect illegal closure use	2019-01-30 11:36:21 -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	9edbae2bdc	Fix possible fatal when builtin function is called in array_filter	2019-01-28 17:54:50 -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	be06393b9c	Fix #1251 - allow instanceof comparisons to class strings	2019-01-27 14:10:33 -05:00
Matthew Brown	16c2a0f899	Fix #1246 - check @var annotations	2019-01-26 17:30:44 -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	c9e1df510e	Fix #1241 - allow negative string offsets on a string	2019-01-25 10:23:50 -05:00
Brown	5352084188	Fix #1234 - apply @template-extends to inherited method signatures	2019-01-24 16:09:04 -05:00
Brown	8a97e32e16	Add code to make handling interfaces with magic get/set ... Ref #1228	2019-01-23 16:58:50 -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
Brown	51c6621925	Add property lookup	2019-01-22 11:10:37 -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	5eb0bb8126	Make foreach var annotation use more cautious	2019-01-20 11:49:13 -05:00
Matthew Brown	681391f970	Fix #1220 - improve constant resolution	2019-01-20 09:52:26 -05:00