204 Commits

Author	SHA1	Message	Date
Brown	85f34f2aca	Add defining class and increas string length	2019-03-12 12:58:04 -04:00
Brown	5beb26659e	Add special type for SQL select strings for plugins to consume	2019-03-07 14:56:18 -05:00
bugreportuser	65102b8088	Fix non-empty-array @param in namespace (#1416)	2019-03-02 08:35:50 -05:00
Matthew Brown	6af222f36a	Fix #1393 - support analysing non-empty-array calls	2019-02-27 09:08:27 -05:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Brown	00b225beda	Strip $ in token	2019-02-21 16:13:31 -05:00
Brown	0b7d4e4aad	Add slightly hacky support for param names in callables	2019-02-21 16:00:18 -05:00
Matthew Brown	3497ad4765	Allow namespaced use of optional callable params	2019-02-11 08:41:48 -05:00
Matthew Brown	0bca8db561	Don’t throw exception when property is missing type	2019-02-07 18:10:32 -05:00
Matthew Brown	17541b415f	Fix #1191 - allow Psalm to check against different versions of PHP	2019-02-07 12:25:57 -05:00
Matthew Brown	6d5c995458	Fix #1282 - allow generic self and static	2019-02-05 08:02:06 -05:00
Tyson Andre	53756e7017	Remove redundant catching and rethrowing ... I assume these used to have additional logging, but they're no-ops.	2019-01-31 21:18:00 -05:00
Brown	0bb5143efd	Fix #1254 - merge literal and class-strings types into string	2019-01-29 10:34:31 -05:00
Matthew Brown	89999fd554	Add suppport for float enums ... Fixes #1099	2019-01-27 18:34:13 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Matthew Brown	394d6509c6	Restrict class-string types to named objects (and intersections)	2019-01-19 22:46:06 -05:00
Matthew Brown	4ec7903e8b	Fix #390 - add support for object{foo:int, bar:string} annotation	2019-01-18 00:56:24 -05:00
Matthew Brown	1de0e35545	Add checks for Psalm reserved words in assertions	2019-01-13 14:06:30 -05:00
Matthew Brown	9ef1ce1535	Make @template-extends more robust	2019-01-12 18:18:23 -05:00
Brown	3533339884	Remove nullable arg	2019-01-10 13:07:22 -05:00
Brown	b8d822cd26	Prohibit leaking of template params across class boundaries	2019-01-10 12:13:49 -05:00
Brown	f3133aac84	Prevent more crashes	2019-01-08 14:50:45 -05:00
Matthew Brown	6f1d56a80f	Upcast iterables to traversables when used in a templated class string	2019-01-05 10:32:39 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Matthew Brown	2dc3d9651f	Separate iterable into its own type ... Fixes #1151	2019-01-04 14:54:40 -05:00
Matthew Brown	87052537cf	Fix #1167 - don’t worry about AbstractInstantiation when it could be a descendant	2019-01-04 12:28:00 -05:00
Brown	6a744c0f07	Add no-returns et al to list of psalm-reserved words	2019-01-02 17:26:05 -05:00
Brown	c39446330e	Make class-string rules more strict	2019-01-02 14:24:45 -05:00
Matthew Brown	c4d024a72d	Check variable static calls ... Fixes #1142 and #1160	2019-01-02 09:00:45 -05:00
Matthew Brown	3024ea1ef1	Improve handling of class constants in types	2018-12-22 12:12:35 -05:00
Brown	fb848d62e9	Add checks for if (count($a)) and if (count($a) [operator] [number])	2018-12-19 16:15:19 -05:00
Matthew Brown	ea89a6ba29	Revert "First pass" ... This reverts commit 9ed047234f.	2018-12-19 08:45:14 -05:00
Matthew Brown	9ed047234f	First pass	2018-12-19 01:59:14 -05:00
Matthew Brown	ca6149ed17	Improve treatment of templated params within function analysis	2018-12-17 23:29:27 -05:00
Matthew Brown	8b5e8402a1	Add support for @param T:class $foo	2018-12-13 00:09:01 -05:00
Matthew Brown	fd0ab47b80	Fix #1118 - detect possible issues with unions of mixed	2018-12-08 13:18:55 -05:00
Matthew Brown	93662abf8d	Shift iterable arg by one if only one is given	2018-12-02 14:59:08 -05:00
Brown	c378079db8	Make the length of possible string unions unlimited in conditionals ... Fixes #1103	2018-11-28 15:12:08 -05:00
Brown	e7b63a86a6	Differentiate between types merged in a write context vs types merged in return	2018-11-28 10:41:49 -05:00
Matthew Brown	59b9b5d65b	Move more classes into Internal namespace	2018-11-18 12:41:47 -05:00
Brown	15b412b10e	Add checks for non-empty arrays	2018-11-09 10:56:27 -05:00
Brown	f7a37d05b9	Improve handling of generic params in intersection types ... Ref #1053	2018-11-02 13:09:04 -04:00
Brown	d6392fbcba	Added an HTML-escaped-string meta-type for functions to return ... And a sample echo checker	2018-10-29 11:54:25 -04:00
Matthew Brown	44c742c849	Fix #976 - make sure misplaced { doesn’t halt execution	2018-09-06 00:41:07 -04:00
Matthew Brown	3e920b1227	Fix unexpected method with return type	2018-09-05 22:40:52 -04:00
Matthew Brown	e6d1a44a59	Fix #974 - fix handling of brackets	2018-09-05 22:36:32 -04:00
Matt Brown	7dd3273a62	Fix #959 - allow nullable followed by parentheses	2018-08-29 16:03:16 -04:00
Matt Brown	17ea48eda4	Add ability to pretend that a file has declare(strict_types=1)	2018-08-29 15:10:56 -04:00
Matt Brown	1037485a60	Convert InvalidScalarArgument to InvalidArgument when declare(strict_types=1) is set	2018-08-28 12:37:25 -04:00