36 Commits

Author	SHA1	Message	Date
Matthew Brown	aaec895e15	Do not stop dead when a property cannot be evaluated	2017-01-28 16:12:04 -05:00
Matthew Brown	4c3dacbbed	Prevent erroneous __toString conversion in method check	2017-01-27 18:06:11 -07:00
Matthew Brown	ea63fd7ae3	Fix #75 - allow inteeger offsets for object-like arrays	2017-01-25 00:11:24 -07:00
Matt Brown	d0207b6098	Check that class exists before checking for ArrayAccess inheritors	2017-01-19 19:02:00 -05:00
Matthew Brown	e78e710eef	Be more resilient in the face of class_exists checks	2017-01-17 23:34:17 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	03c5ea3cef	Store all class keys lowercased	2017-01-09 00:14:39 -05:00
Matthew Brown	5cc97e380d	Fix issue evaluating Foo::class	2017-01-07 17:24:43 -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	883ca6a5db	Fix #30 by consolidating properties into single storage array	2017-01-01 19:09:17 -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	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +00:00
Matt Brown	6755c8724a	Add tests for M* issues, fixing bugs along the way	2016-12-16 18:56:23 -05:00
Matthew Brown	dcec735d11	Fix generation of MixedArrayAccess issue	2016-12-15 01:28:36 -05:00
Matthew Brown	a84ae58c32	Emit InaccessibleProperty issue where appropriate	2016-12-11 22:18:12 -05:00
Matthew Brown	73b1ab1411	Support int offsets in dealing with type inference	2016-12-10 18:24:28 -05:00
Matt Brown	28621485b0	Add support for parent-defined consts	2016-12-08 17:19:06 -05:00
Matt Brown	260a6d4df5	Make class errors more specific	2016-12-08 17:15:51 -05:00
Matthew Brown	37166a27b9	Set inferredType without needing string key offsets	2016-12-04 19:33:14 -05:00
Matthew Brown	7cb6891a0b	Add support for class constant visibility	2016-12-04 01:44:33 -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	134bc950fb	Add specific NullArrayAccess error	2016-11-22 11:11:47 -05:00
Matthew Brown	4f95c67e1c	Emit issues for null/mixed array access	2016-11-21 19:07:56 -05:00
Matthew Brown	cf0c0cdda2	Do not quit, just fall through	2016-11-21 18:38:56 -05:00
Matthew Brown	7b3ab79aab	Treat empty as mixed	2016-11-21 17:49:07 -05:00
Matthew Brown	05a004c8bc	Add check for array access on invalid type	2016-11-21 16:44:35 -05:00
Matthew Brown	5a9f99c24e	Fix namespacing issues in PHP 5.6	2016-11-20 21:49:06 -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	7d6ac4719f	Fix offset assignment creation	2016-11-05 20:17:22 -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