35 Commits

Author	SHA1	Message	Date
Matthew Brown	cb2ed860fb	Make sure to invalidate clauses in all parent contexts when asserting	2017-03-18 15:24:14 -04:00
Matthew Brown	3452c7853f	Add support for capturing clauses from elseifs	2017-03-18 14:04:26 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matt Brown	30e8e1880d	Add another easy calculation of clauses	2017-03-16 14:45:45 -04:00
Matt Brown	cecfe25df7	Update outer clauses in mic drop situation	2017-03-16 11:46:07 -04:00
Matthew Brown	6cfe540c98	Fix issue evaluating elseif empty assertions	2017-03-14 15:48:52 -04:00
Matthew Brown	9dd94d099f	Fix issue with possibly-redefined switch vars	2017-03-14 02:00:38 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matthew Brown	a7da88bad3	Improve solution to allow for more user errors	2017-03-11 12:32:27 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -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	7cd1b27ff1	Add more support for logical and/or	2017-02-16 21:00:45 -05:00
Matthew Brown	81e24de76f	Fix invalid NullPropertyFetch warning	2017-02-12 18:06:18 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -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	965a79251d	Fix #82 by updating how isset calls are handled	2017-01-31 00:34:06 -05:00
Matthew Brown	17329015dc	Discriminate between checking, visiting and analyzing in method names	2017-01-07 15:09:47 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00
Matthew Brown	b6455a2566	Improve how we disable clauses	2016-12-28 18:55:16 -05:00
Matthew Brown	63a75108f5	Evaluate more expressions up front	2016-12-28 17:04:03 -05:00
Matthew Brown	797875ba9a	Fix #10 - allow negated assignments	2016-12-28 16:29:50 -05:00
Matthew Brown	6972c45c14	Remove vars from parent clauses when they are reconciled with vars	2016-12-28 14:20:16 -05:00
Matthew Brown	05834a0db3	Fix #13 by revamping how we treat type assertions in if statements and ternary expressions	2016-12-28 13:12:06 -05:00
Matthew Brown	1e8f986d8c	Narrow down error lines for reconcileKeyedTypes	2016-12-11 13:59:36 -05:00
Matthew Brown	562f71b21f	Add TypeDoesNotContainType issue and fix those issues in Psalm code	2016-12-11 13:48:11 -05:00
Matt Brown	e6ff24b8d2	Fix assignment in elseif	2016-12-09 12:06:14 -05:00
Matthew Brown	a1acbfec07	Show code snippets when reporting errors ... This also introduces a new method of identifying specific code locations when creating issues	2016-12-03 19:11:30 -05:00
Matthew Brown	05ae7905d9	Refactor IfChecker to break apart massive method	2016-11-11 17:13:30 -05:00
Matthew Brown	264e77addd	Change a few more words	2016-11-07 19:16:51 -05:00
Matthew Brown	36fc49965b	Correct speling	2016-11-07 17:31:02 -05:00
Matthew Brown	622a0794c3	Swap in Fully-Qualified for Absolute terms	2016-11-07 17:29:51 -05:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	e4ba8b1abc	Make StatementsChecker much smaller	2016-10-22 13:28:40 -04:00