151 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
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	ed4ed957c8	Use more specific templated argument	2019-02-07 15:21:34 -05:00
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -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
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	681391f970	Fix #1220 - improve constant resolution	2019-01-20 09:52:26 -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	ed68cb973d	Fix #1109 - add bad usort protection	2019-01-19 18:11:49 -05:00
Matthew Brown	9c5ef33997	Allow @property to override parent class property type ... Fixes #1214	2019-01-19 14:26:27 -05:00
Matthew Brown	ee2b06ac43	Add initial support for @param-out	2019-01-19 13:32:43 -05:00
Matthew Brown	545c7e3cba	Fix #1211 - allow docblocks to override foreach type earlier	2019-01-19 11:31:51 -05:00
Matthew Brown	94af3b6c51	Add automatic inheritance to properties ... Fixes #1210	2019-01-19 10:09:26 -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	22ec7e537c	Fix #1208 - respect inheritance when combining in boolean operation ... Also fixes issue reconciling inside trait	2019-01-18 10:08:16 -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