153 Commits

Author	SHA1	Message	Date
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
Matthew Brown	0ac7d106a3	Fix #1221 - no TypeDoesNotContainType in catch or finally	2019-01-20 09:27:46 -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
Brown	1ac51fcea6	Allow binding params of extended templates ... Fixes #1207	2019-01-16 12:07:30 -05:00
Brown	8d61cb4816	Fix #1200 - no fatal error in array_map when not checking functions	2019-01-15 17:53:23 -05:00
Brown	f5a81249e0	Fix #1202 - don’t allow undefined constants in enums	2019-01-15 11:31:13 -05:00
Matthew Brown	3ca5ec9281	Fix templated class conversion allowing child class	2019-01-13 14:40:21 -05:00
Matthew Brown	bd9f2ec546	Add separate issue type for undefined interface method	2019-01-13 13:07:53 -05:00
Matthew Brown	0cca0d76cb	Fix #813 - allow constant array to be refined with isset	2019-01-13 11:54:39 -05:00
Matthew Brown	7e0928d775	Fix #833 - warn on some invalid operands	2019-01-13 10:15:15 -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
Brown	1fddc19172	Add initial support for property types	2019-01-11 17:21:50 -05:00
Brown	cdbc63c99a	Fix #1195 - check assignments in byref	2019-01-11 14:57:21 -05:00
Brown	bf327f4933	Prevent echo removing all types	2019-01-11 14:46:03 -05:00
Brown	4ec8d1a8dd	Fix #1198 - add support for template param extends checks	2019-01-11 10:55:44 -05:00