96 Commits

Author	SHA1	Message	Date
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
Matthew Brown	712752d587	Split out asssignment methods	2016-11-01 11:37:58 -04:00
Matthew Brown	34af24a2b4	Add all the properties	2016-11-01 00:39:41 -04:00
Matthew Brown	c2f63c392e	Emit issue if property type is missing	2016-10-31 15:17:54 -04:00
Matthew Brown	8fefaecd9c	Skip when encountering null list var	2016-10-30 19:59:26 -04:00
Matthew Brown	4d5b0abb74	Add explicit value tracking	2016-10-30 19:52:35 -04:00
Matthew Brown	b220ee51cc	Correctly assign list values	2016-10-30 19:38:08 -04:00
Matthew Brown	53cef386a2	Do not error on mixed input	2016-10-30 12:53:56 -04:00
Matthew Brown	6cd63cc0f3	Fix nullref	2016-10-30 12:51:41 -04:00
Matthew Brown	604c875d0c	Fix more errors caught by Psalm	2016-10-30 12:46:18 -04:00
Matthew Brown	722a7fba5c	Don't squeal when autoloading classes	2016-10-30 01:13:33 -04:00
Matthew Brown	98437c52db	Check closure params to see if they align with array_map/array_filter args	2016-10-29 22:17:46 -04:00
Matthew Brown	9f94add470	Update plugin interface to add $suppressed_issues	2016-10-28 16:49:42 -04:00
Matthew Brown	b31ac4a862	Removed object-like type descriptor in favour of array{} syntax	2016-10-28 13:24:06 -04:00
Matthew Brown	0b0a5ff0e8	Better check for bad static invocation	2016-10-28 10:22:45 -04:00
Matthew Brown	95f5a4603a	Add property for poorly-reflected builtin classes	2016-10-27 16:05:27 -04:00
Matthew Brown	357cd8ad41	Add support for Closure::__invoke	2016-10-24 15:55:05 -04:00
Matthew Brown	ce95275878	Fix more Psalm bugs found by Psalm	2016-10-23 12:24:53 -04:00
Matthew Brown	d8b10a6c97	Fix errors caught by Psalm	2016-10-23 01:57:11 -04:00
Matthew Brown	fbdfc78546	Fix references to moved fucntionality	2016-10-22 18:25:14 -04:00
Matthew Brown	f3f1ba1caa	Break out block checkers	2016-10-22 17:35:59 -04:00
Matthew Brown	dda4c52e03	Fix ref	2016-10-22 13:29:32 -04:00
Matthew Brown	e4ba8b1abc	Make StatementsChecker much smaller	2016-10-22 13:28:40 -04:00