182 Commits

Author	SHA1	Message	Date
Matt Brown	624bba0f5c	Divid pseudo properties into get and set types	2017-05-05 11:20:05 -04:00
Matthew Brown	c9b9b29cf4	Fix all phpcs issues	2017-05-04 21:57:26 -04:00
Matt Brown	2bd1dfafe7	Make line smaller	2017-05-04 18:41:33 -04:00
Matt Brown	df890fbfb0	Fix #155 - support @property declaration for classes with magic getters & setters	2017-05-04 18:35:05 -04:00
Jon Ursenbach	f65c618b2e	PSR-2 adjustments and adding PHPCS checks into the Travis config. (#149) ... * PSR-2 adjustments and adding PHPCS checks into the Travis config. * Reverting some CallChecker changes and no longer casting vars to null.	2017-04-28 00:31:55 -04:00
Matthew Brown	007442fdd0	Fix possibly-private error	2017-04-15 21:10:49 -04:00
Matthew Brown	f67e92023b	Add support for intersection types ... Fixes #140	2017-04-15 20:36:40 -04:00
Matthew Brown	8d46c65815	Only make non-null if inside constructor	2017-04-14 23:26:58 -04:00
Matthew Brown	60be6f07a0	Delay checks for MissingPropertyType so we can give more useful messages	2017-04-14 23:09:34 -04:00
Matthew Brown	ce6ca58291	Fix #114 - add optional Hack-like checks calls	2017-04-14 21:32:14 -04:00
SignpostMarv	46a0b03aac	enable the exposure of the source line number when DocblockParseException is thrown	2017-04-11 22:14:15 +01:00
Matthew Brown	32efdfd0f7	Fix #129 - emit PossiblyNullFuntionCall when encountering such a thing	2017-04-08 11:38:06 -04:00
Matthew Brown	2d454d6e10	Fix #130 - check class exists before checking for __invoke	2017-04-08 11:15:17 -04:00
Matthew Brown	a985fd9324	Add PossiblyInvalidArgument for closure param type checks	2017-04-08 09:47:03 -04:00
Matthew Brown	64361ad2c3	Add more descriptive message to PossiblyInvalidArgument issue	2017-04-08 09:43:58 -04:00
Matthew Brown	c663062816	Add PossiblyUndefinedArgument issue to cope with #126	2017-04-08 09:28:02 -04:00
Matthew Brown	b3a454cf5b	Create new InvalidMethodCall issue for calling methods on non-objects	2017-04-08 09:20:32 -04:00
Matt Brown	f011197090	Fix #124 - don’t check array_filter closures when >2 args passed	2017-04-07 18:30:15 -04:00
Matthew Brown	b20ddfec94	Add better way of checking two types can ever yield identical values	2017-04-07 09:02:09 -04:00
Matt Brown	8a20aca4cf	Only compare non-null types	2017-04-06 18:11:09 -04:00
Matt Brown	da19b55db1	Add special TypeDoesNotContainNull issue as distinct from TypeDoesNotContainType	2017-04-06 15:36:22 -04:00
Matt Brown	cb3f6b14ba	Fix AssertionFinder to trap the right null type	2017-04-06 15:05:23 -04:00
Matt Brown	e02999f2ba	Prevent undefined property notices	2017-04-06 14:57:00 -04:00
Matt Brown	14bb967c7d	Warn when doing === comparisons on incompatible types	2017-04-06 14:53:45 -04:00
Matt Brown	fe43c4e37f	Fix #122 - allow multiple types of filtering	2017-04-03 12:36:49 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	83edf8c4db	Complete the circle – fix remaining type algebra issue	2017-04-01 19:04:49 -04:00
Matthew Brown	676c01ed2e	Fix nullref	2017-03-20 02:23:54 -04:00
Matthew Brown	066b1e011e	Prevent creating empty objectlike	2017-03-20 02:05:58 -04:00
Matthew Brown	cb2ed860fb	Make sure to invalidate clauses in all parent contexts when asserting	2017-03-18 15:24:14 -04:00
Matthew Brown	18af05fbd9	Do not stop at magic setter when property referenced locally	2017-03-18 15:00:01 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00
Matt Brown	f9f38f283e	Emit issue when property type is not defined	2017-03-02 12:19:18 -05:00
Matthew Brown	18b5617443	Prevent duplicate lookup of functionstorage	2017-03-02 00:00:31 -05:00
Matthew Brown	5cd1b6735f	Add even more references in docblocks	2017-03-01 22:27:52 -05:00
Matt Brown	864d242f13	Improve labelling of referencing expressions	2017-03-01 11:56:36 -05:00
Matt Brown	518184f388	Don’t do a full class check where not necessary	2017-02-28 11:00:32 -05:00
Matt Brown	4f597a4068	Fix references	2017-02-27 16:38:43 -05:00
github@muglug.com	07c9cfb848	Check template typeof class references	2017-02-27 16:35:24 -05:00
Matt Brown	729954573b	Allow generics to work even if variables not checked	2017-02-27 11:07:44 -05:00
Matt Brown	ac1a45f129	Fix erroneous error message	2017-02-27 10:53:32 -05:00
Matt Brown	7baf942eaa	Prevent false positives after extract call	2017-02-27 10:52:43 -05:00
Matthew Brown	d9433c9491	Add way to find all references to a given class or method in the codebase	2017-02-27 01:30:44 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matt Brown	0049e4deb4	Fix #105 and also the issues found in its wake	2017-02-23 19:36:51 -05:00
Matthew Brown	fa3b292fd4	Fix #101 - restrict the values of pass-by-ref variables	2017-02-23 00:25:28 -05:00
Matthew Brown	12cb72ae4b	Prevent recursion when checking for initialisations	2017-02-22 00:51:34 -05:00
Matthew Brown	9137727993	Fix #99 - treat null coalesce more respectfully	2017-02-17 20:50:47 -05:00