7422 Commits

Author	SHA1	Message	Date
orklah	682784c886	array_is_list on empty array returns true	2021-10-08 17:05:35 +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
Bruce Weirdan	377d3bddf0	Merge pull request #6552 from orklah/manipulator	2021-09-30 21:54:55 +03:00
Bruce Weirdan	d232cc0d02	Merge pull request #6553 from orklah/exec-leak	2021-09-30 21:32:55 +03:00
NikolayZhebet	843f14d069	fix 'Undefined offset: 1' in CodeBase::getTypeContextAtPosition issue (#6559)	2021-09-30 20:09:15 +03:00
orklah	02ef33c4ac	Merge pull request #6554 from simPod/use-a ... Use correct English articles	2021-09-30 09:37:56 +02:00
Simon Podlipsky	4f5e30fd30	Use correct English articles	2021-09-30 09:19:08 +02:00