7331 Commits

Author	SHA1	Message	Date
orklah	f5b4cb664c	new falsy type	2021-10-20 07:31:11 +02:00
orklah	1d59d2cd00	more consistency	2021-10-20 07:31:11 +02:00
orklah	9b8e483a4c	improve empty/falsy reconciliation	2021-10-20 07:31:11 +02:00
orklah	23a9896eda	Merge pull request #6693 from orklah/clauses ... Remove hasPossiblyNumericType	2021-10-20 07:08:25 +02:00
orklah	c7ea446405	remove unused function	2021-10-19 22:20:10 +02:00
orklah	dc0b2074a4	test without weird function	2021-10-19 22:12:20 +02:00
orklah	37f1f87052	Merge pull request #6690 from orklah/simplexmliterator ... add SimpleXMLIterator to universalObjectCrates	2021-10-19 18:36:02 +02:00
orklah	1288d49130	add SimpleXMLIterator to universalObjectCrates	2021-10-18 21:59:17 +02:00
orklah	ec59876935	only fuse array & Traversable with phpstorm generics	2021-10-18 21:27:11 +02:00
orklah	f7a63361ad	Merge pull request #6679 from SCIF/bugfix-5694-arrayfilter ... Improve handling of positive ints by array_filter()	2021-10-17 23:20:26 +02:00
Aleksandr Zhuravlev	b664850cdc	Added support of asserting properties of objects out of scope	2021-10-17 21:29:25 +13:00
Aleksandr Zhuravlev	978d9ec774	Improve handling of positive ints by array_filter()	2021-10-16 20:47:22 +13:00
orklah	7a47ebfcd6	fix	2021-10-16 00:26:00 +02:00
orklah	56c73142d6	don't emit InvalidReturnType when return type was inferred to never	2021-10-16 00:15:17 +02:00
orklah	1aad830392	Merge pull request #6654 from zoonru/fixes ... Fix manipulation of intersection types, arrow functions, foreign static types, parameter static types, T|false|null unions.	2021-10-15 23:41:24 +02:00
Bruce Weirdan	c556920352	Revert "Merge remote-tracking branch 'upstream/master' into test5" ... This reverts commit 043a0262f7, reversing changes made to cc4c29837d.	2021-10-16 00:20:38 +03:00
orklah	043a0262f7	Merge remote-tracking branch 'upstream/master' into test5	2021-10-15 22:37:07 +02:00
orklah	99d8f92e4f	what would that do?	2021-10-15 22:33:04 +02:00
orklah	b8a2ba251f	Merge pull request #6672 from orklah/phpstorm-generics ... prevent phpstorm generics from touching to signature types	2021-10-14 21:25:36 +02:00
orklah	8a770a1003	fix CS	2021-10-14 21:09:30 +02:00
orklah	a1b1080c4e	prevent phpstorm generics from touching to signature types	2021-10-14 21:04:53 +02:00
orklah	110f2b4822	Merge pull request #6658 from fluffycondor/method-annotation-parsing-fix ... Fix @psalm-method annotation parsing	2021-10-14 17:36:42 +02:00
orklah	859966defe	Merge pull request #6669 from orklah/8.1-2 ... allow Psalm to choose PHP8.1 if it's the lower PHP version allowed	2021-10-14 17:35:46 +02:00
orklah	ef7e6cdf01	allow Psalm to choose PHP8.1 if it's the lower PHP version allowed	2021-10-14 16:54:27 +02:00
Semyon	0f6acacf31	Make psalm- prefix optional on @psalm-method annotation	2021-10-14 17:07:00 +03:00
Daniil Gentili	244a90ca4f	Fix #6665	2021-10-14 10:56:54 +02:00
orklah	75c3f8716a	Merge pull request #6652 from orklah/is_a_stub ... stub for is_a	2021-10-14 00:13:13 +02:00
orklah	64df00baba	Merge pull request #6660 from orklah/cleanup4 ... Code trimming	2021-10-14 00:12:21 +02:00
orklah	ae193ca4da	replace elvis operator by coalesce operator when applicable	2021-10-13 20:16:06 +02:00
orklah	dbc6f503b1	use of strtolower only once	2021-10-13 20:16:06 +02:00
Semyon	531aafc0c6	Add one more check is anything captured, it doesn't look like -1 actually expects	2021-10-13 18:06:10 +03:00
Semyon	a109d1ab27	Code style	2021-10-13 17:49:42 +03:00
Semyon	89f72dd9e9	Add check is anything captured	2021-10-13 17:32:40 +03:00
Semyon	a8d34c00cd	Fix psalm-method annotation parsing	2021-10-13 17:20:36 +03:00
orklah	e17290a9bc	Merge pull request #6613 from orklah/string-unpacking ... String unpacking	2021-10-13 15:18:11 +02:00
orklah	91c3d788f6	Merge pull request #6656 from orklah/setAttribute ... use Attribute feature of PHP-Parser to avoid dealing with dynamic properties	2021-10-13 14:46:22 +02:00
Daniil Gentili	24f1b60e53	Fix nullable unions	2021-10-13 14:05:48 +02:00
orklah	bee5b69f7f	use Attribute feature of PHP-Parser to avoid dealing with dynamic properties	2021-10-13 13:27:56 +02:00
Daniil Gentili	a9ba848503	Fix	2021-10-13 11:38:42 +02:00
Daniil Gentili	ce60fa2151	Cleanup	2021-10-13 11:26:01 +02:00
orklah	9bb731182a	reintroduce errors for older versions	2021-10-13 11:22:40 +02:00
orklah	6e7aafe9b8	better behaviour in SimpleTypeInferer	2021-10-13 11:22:40 +02:00
orklah	66bbcc212c	remove unneeded argument	2021-10-13 11:22:40 +02:00
orklah	690c24f824	array unpacking with strings	2021-10-13 11:22:40 +02:00
Daniil Gentili	b6e7201b5a	Forbid static in parameter typehint	2021-10-13 11:22:33 +02:00
Daniil Gentili	1c99af205b	Fix manipulation of intersection types, arrow functions, foreign static types, T|false|null unions.	2021-10-13 11:13:43 +02:00
Daniil Gentili	1574751aef	Fix docblock manipulator for arrow closures	2021-10-13 10:23:06 +02:00
Daniil Gentili	1cca3c0546	Hotfix	2021-10-13 10:23:06 +02:00
orklah	e7cd2eac0a	Merge pull request #6641 from orklah/weird-assertion-count ... Union::getAssertionString with multiple types	2021-10-13 08:15:28 +02:00
orklah	78c4d9def7	fix	2021-10-12 22:16:35 +02:00
orklah	1efe272aed	stub for is_a	2021-10-12 22:12:51 +02:00
orklah	233fe11d12	SimpleXMLElement is not always truthy	2021-10-12 15:46:02 +02:00
orklah	c6fb81007c	Merge pull request #6629 from orklah/loops-tweaking ... tweaking with loops	2021-10-11 20:45:54 +02:00
orklah	af414ffe59	Merge pull request #6642 from orklah/inside-conditional ... Inside conditional	2021-10-11 20:45:14 +02:00
orklah	911076939c	Merge pull request #6628 from orklah/phpparser2 ... Php-Parser 4.13	2021-10-11 20:42:32 +02:00
orklah	b54dddf484	Merge pull request #6643 from orklah/never-closure ... infer never on closures(and more?)	2021-10-11 20:42:02 +02:00
orklah	21456b85b1	add Never for throws. Add Never only if at top level	2021-10-11 19:35:18 +02:00
orklah	f9377c53fc	infer never on closures(and more?)	2021-10-11 18:52:26 +02:00
orklah	c4ebc34695	suppress or use the return type	2021-10-11 17:27:52 +02:00
orklah	9e7d3a4cd6	sets the inside_conditional flag after creating another context from it	2021-10-11 16:38:39 +02:00
orklah	4bcce010e4	loose comparison between int/float and string result in numeric-string	2021-10-11 16:11:05 +02:00
orklah	d08845900b	Merge pull request #6639 from orklah/refine-TKeyedArray-with-iterable ... Refine TKeyedArray with iterable	2021-10-11 16:09:00 +02:00
orklah	2e64854a6c	don't allow getAssertionString to return a part of the Union	2021-10-11 16:07:57 +02:00
orklah	abebe4f7b4	add comments and suppress ComplexMethod	2021-10-11 13:36:56 +02:00
orklah	12a53345b5	allow filtering TKeyedArray using an iterable	2021-10-11 13:36:29 +02:00
orklah	3aee938910	Merge pull request #6636 from orklah/possibly-undefined-satisfy-nullable ... Allow sending possibly_undefined inputs to optional params	2021-10-10 23:12:38 +02:00
orklah	cc82e6cf41	suppress warning	2021-10-10 13:58:09 +02:00
orklah	1b24b0309c	reduce complexity	2021-10-10 13:52:14 +02:00
orklah	69d412bfcb	fix error message when input is possibly undefined	2021-10-10 13:42:28 +02:00
orklah	fb8b07613d	Allow sending possibly_undefined inputs to optional params	2021-10-10 12:44:04 +02:00
orklah	5134a92e2a	Merge pull request #6623 from orklah/templated-array-key ... Templated array key	2021-10-10 10:43:12 +02:00
orklah	f159ca76de	Merge pull request #6624 from orklah/float-always-float ... invert the meaning of the errors	2021-10-10 10:42:37 +02:00
orklah	d5eb471688	every condition must be true	2021-10-10 10:27:22 +02:00
orklah	85668ed255	Add support for infinite for loops	2021-10-10 10:22:41 +02:00
orklah	39b85f574b	revert back wrong change	2021-10-10 10:06:37 +02:00
orklah	70bfce769c	revert back wrong change	2021-10-10 10:00:44 +02:00
orklah	da4a0fe9a9	return null when expression can't be stored as unresolved	2021-10-10 09:28:19 +02:00
orklah	e7a86148b0	Allow Psalm to store unresolved Unary Ops	2021-10-10 09:24:25 +02:00
orklah	df34daee52	more consistency	2021-10-10 00:51:47 +02:00
orklah	7c99878f58	tweaking with loops	2021-10-10 00:21:15 +02:00
orklah	ded92ef83c	forbid intersection types for now	2021-10-09 23:48:32 +02:00
orklah	870ee4ff93	->args to ->getArgs	2021-10-09 23:37:04 +02:00
orklah	bac0217890	add "!" to invert the meaning of the errors	2021-10-09 21:15:27 +02:00
orklah	2b963242d7	array-key is included is contained by a template with array-key as upper bound	2021-10-09 20:02:09 +02:00
orklah	f62c76a334	Merge pull request #6622 from orklah/return_0 ... fix @return 0	2021-10-09 18:25:46 +02:00
orklah	a1df08f718	fix an old test	2021-10-09 18:18:15 +02:00
orklah	d44d00fb6d	fix two more cases	2021-10-09 18:10:49 +02:00
orklah	a2f415e2e0	fix @return 0	2021-10-09 17:58:06 +02:00
orklah	950b21d10a	Merge pull request #6621 from orklah/incompatible-types-found-for-T ... add a little details to the Incompatible types found for T error	2021-10-09 15:10:27 +02:00
orklah	b1f20dffa0	fix brackets	2021-10-09 15:02:49 +02:00
orklah	e9f3e8795f	add a little details to the Incompatible types found for T error	2021-10-09 15:01:13 +02:00
orklah	49abfcb71b	Merge pull request #6617 from orklah/nonspecific-literal-int ... allow any integer range to be satisfied by TNonspecificLiteralInt	2021-10-09 01:12:46 +02:00
orklah	874a67a1b0	allow any integer range to be satisfied by TNonspecificLiteralInt	2021-10-09 01:04:31 +02:00
orklah	d40335ff37	Merge pull request #6612 from orklah/empty-array_is_list ... array_is_list on empty array returns true	2021-10-08 17:16:35 +02:00
orklah	682784c886	array_is_list on empty array returns true	2021-10-08 17:05:35 +02:00
orklah	f35df421e2	Merge pull request #6604 from orklah/array-unshift-on-empty-array ... Array unshift on empty array	2021-10-07 23:04:10 +02:00
orklah	87a5df6043	only put offset to 0 when there's only one argument	2021-10-07 20:38:10 +02:00
orklah	49bb065dc7	Merge pull request #6608 from orklah/foreach-on-list ... foreach on list gives a positive|0 offset	2021-10-07 20:16:11 +02:00
orklah	3fc716ec3b	fix CS	2021-10-07 19:39:45 +02:00
orklah	a7c4f0052b	foreach on list gives a positive|0 offset	2021-10-07 19:32:25 +02:00
orklah	973da0a91a	allow considering a NonEmptyArray where the only offset value is 0 to be contained in a NonEmptyList	2021-10-07 11:04:46 +02:00
orklah	3a2eddf2d7	pass the method_id to be able to set the new offset type to 0 for array_unshift	2021-10-07 09:46:49 +02:00
orklah	6627055f3b	make TypeCombiner override empty-array	2021-10-07 09:46:17 +02:00
orklah	4ca171001c	Merge pull request #6598 from orklah/fix-error ... fix error	2021-10-05 20:50:47 +02:00
orklah	ad6229fe67	fix error	2021-10-05 20:27:13 +02:00
orklah	77c70c0ad2	allow |false in unions as long as it's not alone and not with null	2021-10-05 19:49:05 +02:00
orklah	433474260c	revert confusing change	2021-10-05 19:27:07 +02:00
orklah	7321eed89d	don't add return type if it's the same than signature unless there is a description	2021-10-05 13:41:20 +02:00
orklah	902206b3ee	Merge pull request #6578 from orklah/psalter-psalm-param ... Psalter psalm-param	2021-10-05 12:51:52 +02:00
orklah	295622088f	Merge pull request #6585 from orklah/truthy ... fix isAlwaysTruthy: TNonEmptyString can be falsy (with '0')	2021-10-05 12:49:09 +02:00
orklah	96ed2526e8	Merge pull request #6589 from orklah/strict-callable ... Better understanding of Templates in lhs of callable TKeyedArray	2021-10-05 12:48:53 +02:00
orklah	3cf5dc5e89	makes Psalm understand templates in lhs	2021-10-05 11:34:17 +02:00
orklah	12ecaaa84d	makes Psalm understand templates in lhs	2021-10-05 11:30:29 +02:00
orklah	20bb5f196b	fix isAlwaysTruthy: TNonEmptyString can be falsy (with '0')	2021-10-04 23:02:01 +02:00
orklah	d22105de72	Merge pull request #6580 from orklah/psalter-generic-object-tophpstring ... fix wrong type description added in signature	2021-10-04 20:23:42 +02:00
orklah	c7fd665fba	Merge pull request #6576 from orklah/wrong_priority ... fix wrong operator priority	2021-10-04 14:36:47 +02:00
orklah	2c728546e4	Merge pull request #6485 from orklah/list-assert ... assert that some type is a list	2021-10-04 13:31:34 +02:00
orklah	ac6a75ea7f	Merge pull request #6473 from orklah/double-assert2 ... assert both sides of an equality	2021-10-04 13:30:38 +02:00
orklah	0e83afdb86	Merge pull request #6518 from orklah/fix-truthy ... improvements of alwaysTruthy/alwaysFalsy	2021-10-04 13:29:49 +02:00
orklah	b0842c6b6f	Merge pull request #6475 from orklah/range6 ... 3> min/max, rand inference improvement with integer range	2021-10-04 13:23:03 +02:00
orklah	66206bf061	fix wrong type description added in signature	2021-10-04 12:26:05 +02:00
orklah	8b07e69645	Merge pull request #6514 from zoonru/if-this-is ... Add if-this-is	2021-10-04 09:49:26 +02:00
orklah	8660f68007	Merge pull request #6519 from gmessier/advanced-issue-handlers ... Add support for advanced IssueHandler in plugins	2021-10-04 09:47:59 +02:00
orklah	942b3b619b	Merge pull request #6522 from MorrisJobke/fix/show-file-and-line-in-exception-message ... Show file and line in case of an exception in a forked worker	2021-10-04 09:19:38 +02:00
orklah	aba9541451	Psalter add psalm-param modifying	2021-10-04 01:01:57 +02:00
orklah	1e70be9888	fix wrong operator priority	2021-10-04 00:24:58 +02:00
orklah	430fd619ec	cleanup	2021-10-04 00:23:53 +02:00
orklah	53c0a4e63a	cleanup	2021-10-04 00:03:06 +02:00
orklah	5efd49f38d	fix redundant condition	2021-10-02 10:09:40 +02:00
orklah	d3bc179abd	cover the case where the call to the function is namespaced but the function doesn't exists in the namespace	2021-10-02 10:02:24 +02:00
orklah	e0b2cb5028	consistency	2021-10-02 10:02:24 +02:00
orklah	0b8681c8bf	check namespace before adding assertions	2021-10-02 10:02:24 +02:00
orklah	fa9990ae55	fix wrong method name	2021-10-02 10:02:24 +02:00
orklah	e02eec932e	refactor Assertions for is_ functions	2021-10-02 10:02:24 +02:00
orklah	f641d9e95a	assert that some type is a list	2021-10-02 10:02:22 +02:00
orklah	b14fccb654	refine types in Always methods	2021-10-02 10:01:05 +02:00
orklah	2df1f9d42e	add resource to truthy types	2021-10-02 10:01:05 +02:00
orklah	f8628ef68c	fix errors	2021-10-02 10:01:05 +02:00
orklah	0f6d271dde	possibly undefined unions can't be truthy	2021-10-02 10:01:05 +02:00
orklah	b9e65f066a	refactor paradoxical conditions	2021-10-02 10:01:04 +02:00
orklah	85f16e9710	handle the case where analysis failed	2021-10-02 10:01:04 +02:00
orklah	597e9a99d7	Makes BooleanNot smarter	2021-10-02 10:01:04 +02:00
orklah	dd5c2904d8	fix error on continue	2021-10-02 10:01:04 +02:00
orklah	f8c2a89f23	use Int ranges to describe offset after array_fill when both args are known ints	2021-10-02 09:54:02 +02:00
orklah	b9f14f8687	improve min/max inference, add a return type provider for rand, mt_rand and random_int	2021-10-02 09:53:58 +02:00
orklah	7e1c66d837	add limit to the number of clauses simplifyCNF can handle	2021-10-02 09:52:19 +02:00
orklah	7f0d25374f	add comment	2021-10-02 09:52:19 +02:00
orklah	83ad836e88	assert both sides of an equality	2021-10-02 09:52:19 +02:00
Bruce Weirdan	2e7e343ef8	Merge pull request #6423 from orklah/count-equal-0-negated-assertion	2021-10-02 00:53:03 +03:00
Bruce Weirdan	97a3d673f4	Merge pull request #5091 from ohader/namespace-resolver	2021-10-01 02:00:33 +03:00