128 Commits

Author	SHA1	Message	Date
Matthew Brown	22a716f4da	Improve formatting of phpdocs	2017-05-26 20:16:18 -04:00
Matthew Brown	d6909193ea	Add additional formatting changes	2017-05-26 20:05:57 -04:00
Matthew Brown	688a72c794	Fix #36 - emit issues on deprecated properties	2017-05-25 01:32:34 -04:00
Matthew Brown	4fd46e1752	Improve formatting	2017-05-24 22:07:49 -04:00
Matthew Brown	7532e32b9d	Fixed spacing and use statement formatting	2017-05-19 00:48:26 -04:00
Matt Brown	cadaef14e6	Carry forward ignore_nullable_return in fleshOutType	2017-05-10 12:49:59 -04:00
github@muglug.com	9ff8736e53	Add the means to ignore PossiblyNull* errors from the type itself	2017-05-09 16:38:58 -04:00
Matt Brown	9cabf428c4	Only make isset $this->property mixed if not already defined	2017-04-28 16:41:54 -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
Matt Brown	bd6a623bfd	Fix possible empty type when inferredType not set	2017-04-21 16:33:18 -04:00
Matt Brown	f7daa6e768	Fix #143 by allowing scalar types to be passed through	2017-04-21 14:06:47 -04:00
Matthew Brown	2bdd062400	Ternary else should ignore if expression context	2017-04-15 13:46:18 -04:00
Vladimir Komissarov	818e3be00c	Fix undefined global constant in closure	2017-04-14 17:03:09 +07: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	40427839ea	Get all variables possibly assigned in conditional	2017-04-06 22:56:37 -04:00
Matthew Brown	20b0460a33	Fix #123 - ternary byref vars now adjusted	2017-04-06 21:53:29 -04:00
Matthew Brown	075cc5f50d	Add by-reference clause removal	2017-04-02 17:37:56 -04:00
Matt Brown	5b34163d8d	Add ability to insert suppressed issues on functions	2017-03-31 11:21:34 -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	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matthew Brown	9b41bc9b37	Add slower (but more accurate) loop checks	2017-03-14 20:14:25 -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
Matthew Brown	5cd1b6735f	Add even more references in docblocks	2017-03-01 22:27:52 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matthew Brown	8db6921f1c	More graceful early exit if not checking variables	2017-02-24 21:27:52 -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	9137727993	Fix #99 - treat null coalesce more respectfully	2017-02-17 20:50:47 -05:00
Matthew Brown	7cd1b27ff1	Add more support for logical and/or	2017-02-16 21:00:45 -05:00
Matthew Brown	2d58531631	Fix #98 - add support for logical and/or	2017-02-16 20:43:23 -05:00
Matthew Brown	500044dac1	Make sure $argv and $argc are not globally available	2017-02-12 22:12:31 -05:00
Matthew Brown	a87ea78efc	Fix variable-scoped byref issue	2017-02-12 19:07:25 -05:00
Matthew Brown	a4323359d3	Fix ternary/which/for conditionals	2017-02-12 18:47:02 -05:00
Matthew Brown	81e24de76f	Fix invalid NullPropertyFetch warning	2017-02-12 18:06:18 -05:00
Matthew Brown	2635744f4e	Simplify array inferred type	2017-02-12 16:58:04 -05:00
Matthew Brown	8e7ab59e2b	Add return types for core vars	2017-02-12 12:22:39 -05:00
Matthew Brown	7876c7ffb9	Allow mixed to override null in byref assignment	2017-02-12 11:34:07 -05:00
Matthew Brown	bb9221ba01	Analyze die/exit expressions	2017-02-11 19:42:12 -05:00
Matthew Brown	f32fabd798	Remove dead code	2017-02-11 19:30:06 -05:00
Matthew Brown	35e4b380cc	Add collection of PossiblyNull* issues	2017-02-11 17:55:08 -05:00
Matthew Brown	dbddedb20b	Don’t create objectlike if we some properties are untyped	2017-02-10 23:35:34 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matt Brown	6b2bb7d917	Store first code location for all variables in a statement list	2017-02-07 18:09:12 -05:00
Matthew Brown	01beb97413	Fix #87 - array types from docblocks can be reasoned about safely	2017-02-03 22:07:14 -05:00
Matthew Brown	0fbf8b5619	Remove more dead code	2017-02-02 00:45:23 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	ff46487353	Be more discerning about unaryminus/plus inferred type	2017-01-25 21:50:34 -07:00
Matthew Brown	c14a19370f	Improve UnaryPlus/Minus still more	2017-01-25 20:23:06 -07:00
Matthew Brown	f03807e7b7	Fix unaryplus/minus type inference	2017-01-25 20:02:19 -07:00