723 Commits

Author	SHA1	Message	Date
Matthew Brown	44b8b22995	Improve checks for unused variables and params	2018-01-28 17:28:34 -05:00
Matthew Brown	8fd0b120df	Fix test config loading	2018-01-28 12:46:58 -05:00
Matt Brown	2d8468cb49	Allow interface to extend travserable and pass iterable test	2018-01-26 14:08:45 -05:00
Matt Brown	a2d11cce51	Fix static/self return type handling	2018-01-26 13:51:00 -05:00
Matt Brown	1320b6dd54	Fix #472 - inherit interface method docblocks if defined just once	2018-01-26 11:50:29 -05:00
Matt Brown	5e0a8c4339	Inherit correct self return type	2018-01-26 10:59:30 -05:00
Matt Brown	450618cc35	Treat do expression as statements plus loop	2018-01-25 13:46:17 -05:00
Matt Brown	1a2d13ae32	Ignore falsable issues from core functions	2018-01-25 13:07:36 -05:00
Matt Brown	127c743906	Fix #471 - assign static class const to mixed	2018-01-25 10:47:15 -05:00
Matthew Brown	ea28ee709d	Improve unused variable detection slightly	2018-01-25 01:04:26 -05:00
Matt Brown	543872f186	Allow @psalm-ignore-falsable-return annotation ... Downgrades issues around use of current(), reset(), end() etc.	2018-01-24 18:52:58 -05:00
Matt Brown	f46cf729bb	Allow null checks against preg_replace and related	2018-01-24 17:07:03 -05:00
Matt Brown	b0f3992f36	Remove stopOnFirstError config option, because it hasn’t worked for a while ... Fixes #248	2018-01-24 16:22:54 -05:00
Matt Brown	93ac3eaadb	Fix #213 by evaluating switch statements better	2018-01-24 16:15:53 -05:00
Matt Brown	72a4f148ff	Prevent infinite loops when analysing private functions that call each other	2018-01-24 13:11:23 -05:00
Matthew Brown	b06cfd025a	Allow continue inside case statement as alias for break ... Fixes #464	2018-01-24 00:01:08 -05:00
Matt Brown	dea5d92e9b	Add support for static::class	2018-01-23 15:46:14 -05:00
Matt Brown	c0fda0ef1e	Allow instanceof static checks	2018-01-23 14:46:46 -05:00
Matt Brown	abf561bb7d	Improve Psalter return type additions	2018-01-23 12:03:18 -05:00
Matthew Brown	507007a2bf	Add DeprecatedInterface and emit DeprecatedClass in more places ... Fixes #463	2018-01-23 09:09:43 -05:00
Matthew Brown	fdadcd3a70	Fix implemented interface checks for self/static	2018-01-23 01:32:16 -05:00
Matt Brown	e249c27308	Don’t update return types to null	2018-01-22 18:00:19 -05:00
Matt Brown	e58e824af3	Make sure replacements only happen when called for	2018-01-22 13:54:32 -05:00
Matthew Brown	c0a22d5f55	Increase CallChecker code coverage	2018-01-22 00:17:16 -05:00
Matthew Brown	924cf8d222	Add tests for unused params and properties	2018-01-21 23:48:58 -05:00
Matthew Brown	2994d1e339	Add tests for reference checks	2018-01-21 23:42:57 -05:00
Matthew Brown	e8487e86f0	Make sure else/elseif roots are at the if declaration	2018-01-21 22:05:57 -05:00
Matthew Brown	0fcba8547c	Make the ordering for file manipulations strict as possible	2018-01-21 22:01:02 -05:00
Matthew Brown	940534992e	Fix test name	2018-01-21 21:45:56 -05:00
Matthew Brown	dea1d58b2a	Fix #461 - allow multiple replacements at the same location	2018-01-21 21:24:22 -05:00
Matthew Brown	68b00ea49a	Add automatic fix for PossiblyUndefinedVariable	2018-01-21 16:24:20 -05:00
Matthew Brown	bc9761f6c9	Create Codebase out from ProjectChecker	2018-01-21 13:45:33 -05:00
Matthew Brown	e05a7c00cc	Break FileScanner out from FileChecker	2018-01-21 12:44:46 -05:00
Matthew Brown	9b6b03ff9f	Create Config before ProjectChecker, and remove test-specific code from FileChecker	2018-01-21 10:22:04 -05:00
Matthew Brown	67ef894ecc	Add extra trait test	2018-01-21 00:32:45 -05:00
Matthew Brown	799aef628e	Fix type assignment checks	2018-01-20 11:48:16 -05:00
Matthew Brown	5200ffa214	Do not crash on intersection type method lookup	2018-01-20 01:04:15 -05:00
Matt Brown	9f2a0847a4	Fix #453 - catch bad objectlike type when analysing docblock	2018-01-19 16:06:30 -05:00
Matt Brown	4b4e09277c	Fix #450 - add checks for duplicate array keys ... And fix the embarassing errors in tests	2018-01-18 17:16:50 -05:00
Matt Brown	a253ca68bc	Allow array_filter to inspect closure bodies	2018-01-17 16:07:46 -05:00
Matt Brown	2212d7c032	Reinstate $this type after parent call ... Fixes #444	2018-01-17 11:00:58 -05:00
Matthew Brown	f3bfb089ad	Don’t investigate property mutations if they’re not visible	2018-01-13 01:52:46 -05:00
Matthew Brown	573260b16d	Don’t warn about null array access if we’re ignoring null issues	2018-01-12 18:04:11 -05:00
Matt Brown	21eafd8bfc	Fix #352 with a mixed copout if the use is passed by reference	2018-01-12 12:33:26 -05:00
Matthew Brown	7fa541e39b	Allow reference-returning functions to be passed as arguments of byref functions	2018-01-11 23:18:13 -05:00
Tyson Andre	d688b51534	Be strict about matching word boundaries for expected messages ... E.g. don't allow InvalidPropertyAssignmentValue where InvalidPropertyAssignment was expected	2018-01-11 18:04:11 -05:00
Tyson Andre	43e8703a2e	Be strict about matching error messages	2018-01-11 18:04:11 -05:00
Matt Brown	2120d258a4	Fix formatting of return type adder	2018-01-11 15:50:58 -05:00
Matthew Brown	fb9f20f4b8	Find unused properties with dead code checks ... Fixes #424	2018-01-10 23:29:18 -05:00
Matt Brown	d93906243d	Fix incorrect missing return type	2018-01-10 13:04:37 -05:00