116 Commits

Author	SHA1	Message	Date
Brown	8f2e28c36b	Improve tainting of specializable classes	2020-06-19 01:22:51 -04:00
Andrei Petre	3497ca07b6	Extending final class is prohibited #3037 (#3576)	2020-06-13 00:29:59 -04:00
Brown	a6c0991073	Fix #3532 - expand type alias types recursively	2020-06-07 12:01:04 -04:00
Brown	4f87cca55b	Fix #3537 - improve parsing for @mixin annotations	2020-06-06 18:15:24 -04:00
orklah	1621a9f3ea	Add checks for duplicated params and returns (#3487)	2020-05-30 16:54:16 -04:00
Brown	30907f0269	Clean up comment parsing	2020-05-28 22:14:41 -04:00
Brown	b932163d5d	Make parser a little cleaner	2020-05-28 14:31:17 -04:00
Brown	a2b6326a84	Change specialize-call to taint-specialize	2020-05-26 14:18:43 -04:00
Brown	e72288c85f	Don’t error on badly-formatted taint annotation	2020-05-22 22:38:03 -04:00
Brown	8632cdb3cd	Improve taint tracking during scanning phase	2020-05-22 12:33:48 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Brown	2d92943625	Add support for expansion of type aliases	2020-05-15 00:15:48 -04:00
Brown	006c6e09f1	Add more details to type alias creation	2020-05-14 00:41:50 -04:00
Brown	190c9ce27e	Use TypeAlias object to allow future extension	2020-05-13 19:29:59 -04:00
Brown	0fc3398631	Move parsing methods into internal namespace	2020-05-13 19:12:45 -04:00
Brown	d8cd30b34a	Fix #3340 - catch more errors in @method type parsing	2020-05-11 18:39:07 -04:00
Brown	83fe3a2fd9	Complain about malformed @property annotation	2020-04-26 10:10:14 -04:00
Brown	13d9354cde	Fix #3107 - prevent bad @method with dash	2020-04-09 12:16:58 -04:00
lhchavez	be87bb7300	Support intersection types for object-like arrays (#3064) ... This change allows expressing the intersection of multiple object-like arrays. The resulting type will contain the (merged via intersection) properties of all the object-like arrays involved in the intersection. This should allow to express the resulting type of an `array_merge()` operation, which is tricky to do in the context of a templated type.	2020-04-08 09:35:53 -04:00
Brown	3c9ec90919	Fix deprecated call	2020-04-03 14:56:11 -04:00
Brown	af4a7cabe9	Fix #3057 and add support for @psalm-yield annotation	2020-04-02 22:38:10 -04:00
iggyvolz	94b246b987	Initial commit (#3013)	2020-03-24 18:32:57 -04:00
Brown	1e480ade12	Fix bugs	2020-03-24 14:49:05 -04:00
leightonthomas	06f7df9974	Fix #1799 - support trailing commas in type aliases	2020-03-05 15:36:28 -05:00
Matthew Brown	f64cdd2ca2	Fix #2798 - strip out trailing commas in object-like @return types	2020-02-12 09:18:43 -05:00
Matthew Brown	b3f6b56f9c	Add support for @psalm-readonly-allow-private-mutation	2020-02-02 15:56:08 -05:00
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -05:00
Matthew Brown	d5d4a1826d	Add initial support for @mixin Foo	2020-01-02 23:50:19 -05:00
Matthew Brown	508c2e268a	Process phpstan-template in class docblocks	2019-12-29 16:08:09 -05:00
Matthew Brown	1b54d058aa	Fix #2488 - add support for @phpstan- annotations	2019-12-20 10:49:10 +00:00
Matthew Brown	15cd62d332	Fix #2484 - add support for spaces in assert-if-true types	2019-12-19 19:24:26 +00:00
Brown	2f9b1ff665	Fix too-long line	2019-12-11 11:40:47 -05:00
Brown	e564d67214	Add support for simple default arrays in @method docblocks ... Fixes #2455	2019-12-11 11:29:00 -05:00
Matthew Brown	d6a731be73	Fix #2441 - add error when @template type is missing	2019-12-08 21:19:29 -05:00
Matthew Brown	baef67e0d8	Fix evaluation order of covariant template params before invariant ones	2019-11-30 01:02:23 -05:00
Brown	78a3894403	Fix Psalm errors	2019-11-21 11:03:18 -05:00
Brown	b29227aaf6	Allow taints to be removed via annotation	2019-10-15 16:25:27 -04:00
Matthew Brown	0ae04c9743	Fix #2148 - support arrays properly	2019-09-21 21:50:11 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Matthew Brown	78175c9765	Support @psalm-readonly too	2019-09-08 15:12:30 -04:00
Matthew Brown	b61d0c6dcd	Fix #2104 - only treat @method returns as separate if attached to method name	2019-09-07 22:30:09 -04:00
Matthew Brown	dcc4de59df	Change @immutable to @psalm-immutable	2019-08-31 18:43:45 -04:00
Matthew Brown	f20dc16295	Make @immutable work properly	2019-08-31 10:07:23 -04:00
Matthew Brown	7886d5a408	Add support for @psalm-mutation-free annotation on methods	2019-08-31 00:47:12 -04:00
Brown	b7b4baff8f	Add support for @immutable ... Fixes #1272	2019-08-30 12:36:35 -04:00
Matthew Brown	c5f62d261d	Remove redundant @psalm-suppress in Psalm’s codebsae	2019-08-18 16:10:12 -04:00
Matthew Brown	2a5e0d8f39	Fix #1444 - track unused suppressions	2019-08-18 14:27:50 -04:00
Matthew Brown	2146f73782	Prepare for tracking unused suppressions ... Ref #1444	2019-08-18 12:25:48 -04:00
Brown	2b2988b072	Fix #2019 - allow union in @throws	2019-08-13 15:44:18 -04:00
Matthew Brown	7ed30cd5b0	Add support for @readonly annotation	2019-08-11 16:01:37 -04:00