72 Commits

Author	SHA1	Message	Date
Matthew Brown	ce89ac4986	Fix #50 - asserting about docblock types no longer causes error	2017-01-15 17:52:01 -05:00
Matthew Brown	faccc73dc1	Fix #52 by analysing non-main parts of issets	2017-01-15 13:58:20 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matt Brown	35c06261b9	Fix #38 - emit issue for non-array on right too	2017-01-13 13:09:52 -05:00
Matthew Brown	5f54a9571c	Fix deep project checks	2017-01-12 01:03:48 -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	0b3b3f01f3	Fix support for traits returning self	2016-12-31 11:49:04 -05:00
Matthew Brown	b068bd7858	Fix many bugs	2016-12-30 20:05:32 -05:00
Matthew Brown	21816723c7	Make config schema more relaxed about ordering and fix trait bugs	2016-12-30 01:51:29 -05:00
Matthew Brown	641ffc09c9	Add NullOperand issue for easy ignoring	2016-12-29 00:32:12 -05:00
Matthew Brown	18e7c65430	Emit more InvalidOperand issues	2016-12-29 00:14:06 -05:00
Matthew Brown	992e7ae256	Fix #1 - add in support for !==false-negating assertions in ifs	2016-12-28 16:39:05 -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	513fcea101	Only assign type when not null	2016-12-25 01:12:26 +00:00
Matthew Brown	c51d8f5220	Implement MixedOperand and InvalidOperand issues	2016-12-24 18:29:11 +00:00
Matthew Brown	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +00:00
Matthew Brown	9746c8972f	Fix MixedAssignment errors	2016-12-17 00:48:31 -05:00
Matthew Brown	592ee98efc	Fix bugs discovered by adding more tests	2016-12-11 23:40:46 -05:00
Matthew Brown	144625f625	Add numeric check back, with caveats	2016-12-11 20:36:27 -05:00
Matthew Brown	1e8f986d8c	Narrow down error lines for reconcileKeyedTypes	2016-12-11 13:59:36 -05:00
Matthew Brown	73b1ab1411	Support int offsets in dealing with type inference	2016-12-10 18:24:28 -05:00
Matthew Brown	327e3150a2	Fix erroneous self-check	2016-12-10 15:08:38 -05:00
Matthew Brown	c3df70e634	Allow int offsets to be treated as keys	2016-12-10 15:01:59 -05:00
Matt Brown	ce3b24bf5f	Fix #8 - defer always to call map if function not user-defined	2016-12-09 12:07:47 -05:00
Matt Brown	c9557d47ce	Fix exponentiation and modulo type inference	2016-12-08 16:37:14 -05:00
Matt Brown	117645ac73	Account for off-by-one issue in PhpParser	2016-12-08 15:57:18 -05:00
Matt Brown	55a060b53a	Add support for closure checks	2016-12-07 14:13:39 -05:00
Matthew Brown	dcb9e1af14	Be more lenient when computing result of addition/subtraction	2016-12-04 18:41:33 -05:00
Matthew Brown	03d8a4ab0b	Add support for array destructuring with keys	2016-12-04 14:14:00 -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	4f95c67e1c	Emit issues for null/mixed array access	2016-11-21 19:07:56 -05:00
Matthew Brown	d542b22322	Add belt & braces file checking	2016-11-18 16:13:59 -05:00
Matthew Brown	f2ce83c8e5	Fix minor boop	2016-11-13 15:55:06 -05:00
Matthew Brown	fa2209719b	Fix nullref	2016-11-13 15:46:35 -05:00
Matthew Brown	409a7e4b9e	Fix assignment checks	2016-11-13 15:39:16 -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
Matthew Brown	3b038db454	Avoid missing property	2016-11-07 15:29:47 -05:00
Matthew Brown	721e0d01e2	Get rid of var_dumps	2016-11-05 20:53:39 -04:00
Matthew Brown	b3f3a20928	Correctly evaluate $this and self in property/return types	2016-11-05 18:31:09 -04:00
Matthew Brown	7c44353116	Add inferredType to InstanceOf_	2016-11-05 17:57:14 -04:00
Matthew Brown	c5591adf10	Add support for global in functions and mixed inferred return errors	2016-11-05 17:54:34 -04:00
Matthew Brown	7df4d74a7b	Fix Psalm errors	2016-11-04 21:14:04 -04:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	88eb43e9ca	Break out ExpressionChecker	2016-11-01 14:14:41 -04:00