710 Commits

Author	SHA1	Message	Date
Matt Brown	35c06261b9	Fix #38 - emit issue for non-array on right too	2017-01-13 13:09:52 -05:00
Matt Brown	82af023d6f	Fix #43 - do not emit issues when doing instanceof interface checks	2017-01-13 12:52:32 -05:00
Matt Brown	dc585ff22a	Fix #47 - check closure param types properly	2017-01-13 12:40:01 -05:00
Matt Brown	c104736ead	Fix #42 - detect false and null defaults	2017-01-13 12:26:10 -05:00
Matt Brown	c181f47364	Fix #35 and #40 by improving method signature checks	2017-01-13 12:03:22 -05:00
Matt Brown	d2c9c423c5	Fix #46 - fix type assignment of anonymous classes	2017-01-13 10:44:04 -05:00
Matt Brown	e300550209	Be less brittle when interface does not exist	2017-01-12 11:16:00 -05:00
Matthew Brown	c20f31855c	Fix namespaced function calls	2017-01-12 09:42:24 -05:00
Matthew Brown	b4ca657ea2	Fix diff checking	2017-01-12 01:12:01 -05:00
Matthew Brown	5f54a9571c	Fix deep project checks	2017-01-12 01:03:48 -05:00
Matthew Brown	107d8352fc	Add back mutation checks	2017-01-12 00:38:15 -05:00
Matthew Brown	56be346191	Add back mutation checks	2017-01-11 21:37:53 -05:00
Matthew Brown	4e00ef51cd	Do not check special terms	2017-01-09 01:50:24 -05:00
Matthew Brown	78e94ca66c	Relax class requirement on coercion check	2017-01-09 01:45:13 -05:00
Matthew Brown	e7568f8400	Fix type coercion issues	2017-01-09 01:27:35 -05:00
Matthew Brown	380ae61b3c	Don’t emit another error if we’re already ignoring TypeCoercion	2017-01-09 00:58:18 -05:00
Matthew Brown	bf76843d94	Fix foreach dependency errors	2017-01-09 00:58:05 -05:00
Matthew Brown	f318c52876	Improve function rechecking	2017-01-09 00:31:23 -05:00
Matthew Brown	c66678f8eb	Add dead-end for getClassName	2017-01-09 00:27:23 -05:00
Matthew Brown	03c5ea3cef	Store all class keys lowercased	2017-01-09 00:14:39 -05:00
Matthew Brown	96b2697049	Prevent recursive class check	2017-01-08 22:31:52 -05:00
Matthew Brown	306e600e3a	Do not check param types on visit	2017-01-08 22:00:23 -05:00
Matthew Brown	c90a479b15	Fix self-referential issue	2017-01-08 13:53:40 -05:00
Matthew Brown	cc887d48aa	Prevent erroneous debug messages	2017-01-08 13:21:21 -05:00
Matthew Brown	e670ce4ca4	Revisit files to save memory usage	2017-01-08 12:55:32 -05:00
Matthew Brown	f466c8595c	Add back support for non-namespaced use	2017-01-08 11:24:01 -05:00
Matthew Brown	46dbe83cbd	Allow functions to be included too	2017-01-07 19:33:33 -05:00
Matthew Brown	03db293ed9	Add include tests and modify treatment	2017-01-07 19:07:58 -05:00
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	df941bd575	Improve resilience of typechecker::isContainedBy	2017-01-05 00:14:34 -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	4c3e714253	Add a check for duplicated params	2017-01-02 01:20:47 -05:00
Matthew Brown	93c1366bd8	Tighten up what array assignments can happen	2017-01-02 01:07:44 -05:00
Matthew Brown	882c8a8d0c	Add better checking of property array assignments	2017-01-02 00:08:35 -05:00
Matthew Brown	db6d46d5a9	Support numbers in square bracket notation	2017-01-01 23:49:52 -05:00
Matthew Brown	e6a794c728	Improve code hilighting for single-line docblocks	2017-01-01 23:31:07 -05:00
Matthew Brown	d9bf89f72b	Fix multiple possible method signature bug	2017-01-01 20:10:28 -05:00
Matthew Brown	30c910109c	Fix inherited reflected properties/methods	2017-01-01 19:50:29 -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	0b3b3f01f3	Fix support for traits returning self	2016-12-31 11:49:04 -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	393297786d	Fix issues with single-letter classes	2016-12-31 00:14:00 -05:00