72 Commits

Author	SHA1	Message	Date
Matthew Brown	5cc97e380d	Fix issue evaluating Foo::class	2017-01-07 17:24:43 -05:00
Matthew Brown	28cd8caca8	Change analyzeMethods to analyze	2017-01-07 15:57:25 -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	6ee69e547f	Do more to separate out processing steps	2017-01-06 01:07:11 -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	882c8a8d0c	Add better checking of property array assignments	2017-01-02 00:08:35 -05:00
Matthew Brown	d9bf89f72b	Fix multiple possible method signature bug	2017-01-01 20:10:28 -05:00
Matthew Brown	30a39a0ee6	Do not emit issue when callable is called	2017-01-01 19:24:15 -05:00
Matthew Brown	883ca6a5db	Fix #30 by consolidating properties into single storage array	2017-01-01 19:09:17 -05:00
Matthew Brown	8f7072c175	Fix change empty arrays to nulls	2017-01-01 17:39:39 -05:00
Matthew Brown	846cc59d5f	Add support for checking closure return types	2016-12-31 10:51:42 -05:00
Matthew Brown	34c238c1a7	Fall through when checking for static/deprecated	2016-12-31 09:25:04 -05:00
Matthew Brown	49f7817a2a	Emit specific issue when calling instance method with self::	2016-12-31 09:20:10 -05:00
Matthew Brown	a524ca8184	Suppress more notices	2016-12-30 20:39:12 -05:00
Matthew Brown	b068bd7858	Fix many bugs	2016-12-30 20:05:32 -05:00
Matthew Brown	4a10bdbc60	Fix suppressed warnings in tests	2016-12-30 19:36:35 -05:00
Matthew Brown	f515327f16	Fix file_name/file_path mixup	2016-12-30 19:06:45 -05:00
Matthew Brown	c65a0bf181	Move function static arrays into FileStorage	2016-12-30 18:08:07 -05:00
Matthew Brown	3e78405836	# This is a combination of 4 commits. ... # The first commit's message is: Make cofig schema more relaxed about ordering # This is the 2nd commit message: Add tests for awkward case # This is the 3rd commit message: Fix static calls to class methods within traits # This is the 4th commit message: Repopulate fewer arrays	2016-12-30 01:50:33 -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	ea30af8a5a	Move assertion checks into separate file	2016-12-28 15:52:44 -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	1fe0eee8e4	Add generic type coercion checks	2016-12-25 01:08:58 +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
Matt Brown	d012510a41	Fix some mixed assignment issues	2016-12-16 19:22:30 -05: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
Matt Brown	1d804cde66	Expand scope of property checks	2016-12-14 19:19:25 -05:00
Matt Brown	1b8abc8f17	Change NullReference issue to NullArgument when in method call	2016-12-14 12:54:34 -05:00
Matt Brown	154d023a9d	Add more robust config testing	2016-12-14 12:28:38 -05:00
Matthew Brown	592ee98efc	Fix bugs discovered by adding more tests	2016-12-11 23:40:46 -05:00
Matthew Brown	a84ae58c32	Emit InaccessibleProperty issue where appropriate	2016-12-11 22:18:12 -05:00
Matthew Brown	562f71b21f	Add TypeDoesNotContainType issue and fix those issues in Psalm code	2016-12-11 13:48:11 -05:00
Matthew Brown	73b1ab1411	Support int offsets in dealing with type inference	2016-12-10 18:24:28 -05:00
Matt Brown	eff98bfe00	Ignore nullrefs when using echo	2016-12-09 18:53:26 -05:00
Matt Brown	30159d8f70	Ignore invalid scalar argument issue in echo	2016-12-09 12:53:22 -05:00
Matt Brown	b3106c68bb	Fix #6 - raise error with erroneous __toString	2016-12-09 12:48:02 -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
Matt Brown	c9557d47ce	Fix exponentiation and modulo type inference	2016-12-08 16:37:14 -05:00
Matt Brown	55a060b53a	Add support for closure checks	2016-12-07 14:13:39 -05:00
Matt Brown	af1a932655	Make code location more accurate	2016-12-06 18:27:22 -05:00
Matthew Brown	ef1049224d	Add selection of return types in code preview	2016-12-06 16:33:47 -05:00
Matthew Brown	60e15c255b	Add support for gettype switch statements too	2016-12-06 13:51:03 -05:00
Matthew Brown	37166a27b9	Set inferredType without needing string key offsets	2016-12-04 19:33:14 -05:00
Matthew Brown	35802ccaa6	Don't totally panic when encountering invalid argument error	2016-12-04 18:42:20 -05:00
Matthew Brown	03d8a4ab0b	Add support for array destructuring with keys	2016-12-04 14:14:00 -05:00