203 Commits

Author	SHA1	Message	Date
orklah	f641d9e95a	assert that some type is a list	2021-10-02 10:02:22 +02:00
Bruce Weirdan	2e7e343ef8	Merge pull request #6423 from orklah/count-equal-0-negated-assertion	2021-10-02 00:53:03 +03:00
orklah	2315316b17	return types	2021-09-26 23:34:32 +02:00
orklah	46801c4b98	clearer string operations	2021-09-26 23:34:31 +02:00
orklah	ae1afd90c6	coalesce operator	2021-09-26 22:37:17 +02:00
orklah	153de33704	weird param always false	2021-09-26 22:37:16 +02:00
orklah	97e91e6bf0	code trimming	2021-09-25 02:34:21 +02:00
orklah	012b65de78	try to improve behaviour	2021-09-23 21:24:16 +02:00
orklah	2b56d52760	rename vars for better diff	2021-09-23 21:24:16 +02:00
orklah	efde3f9180	change order for better diff	2021-09-23 21:24:16 +02:00
orklah	ea80373006	AssertionFinder refactor	2021-09-23 21:24:16 +02:00
orklah	7bf9df4360	restore paradox checking	2021-09-23 21:24:16 +02:00
orklah	667eec2ac8	consider count === 0	2021-09-23 21:24:16 +02:00
orklah	994c927b6a	Merge pull request #6445 from TysonAndre/negate-in_array-v2 ... Fix false positive ParadoxicalCondition in negation of in_array	2021-09-20 16:49:15 +02:00
orklah	90e1662964	Merge pull request #6241 from orklah/range5 ... Range arithmetics and assertions	2021-09-20 07:15:43 +02:00
orklah	f789ab0655	add test and allow checking in already inferred types instead of just relying on statements from PHPParser for assertions	2021-09-19 19:30:02 +02:00
orklah	2dd16f9e22	simplify code	2021-09-19 19:30:01 +02:00
orklah	def7d31566	fix positive-numeric assertion	2021-09-19 19:30:01 +02:00
orklah	55b45853de	try not to remove null after a positive-numeric assertion	2021-09-19 19:30:00 +02:00
orklah	219e425894	handle nightmare isset assertions	2021-09-19 19:30:00 +02:00
orklah	ee75586fbf	expand test and fix assertions	2021-09-19 19:30:00 +02:00
orklah	d2e1388473	Allow inferior-to and superior-to even with negated numbers	2021-09-19 19:30:00 +02:00
orklah	4682c4be5e	remove unnecessary var	2021-09-19 19:29:59 +02:00
orklah	8325378e23	support inverted comparison and remove null after value comparison	2021-09-19 19:29:59 +02:00
orklah	ca4c18c30d	put assertions back	2021-09-19 19:29:59 +02:00
orklah	e9f3d5ba06	assert from TClassString	2021-09-17 20:05:25 +02:00
Tyson Andre	f4f989d1e5	Use different in-array-* check for non-literals ... Negating this would not contradict the original condition if the variables were different. A string can be in one array of strings but not be in a different array of strings.	2021-09-06 21:48:08 -04:00
Tyson Andre	7df819e585	Unrelated: Use strict_equality instead of loose_equality for === checks ... (`=` is strict equality, `~` is loose equality)	2021-09-06 21:44:19 -04:00
Tyson Andre	f69a255611	Fix false positive ParadoxicalCondition in negation of in_array ... For #6439	2021-09-06 21:15:04 -04:00
Tyson Andre	58e7ae1809	Also support non-literal types in strict in_array() check ... Modified approach to #6396 by orklah Fixes #6333 Co-Authored-By: orklah <ronan_morin@hotmail.com>	2021-09-04 12:34:49 -04:00
orklah	1e17069c24	Change > assertion back to @ and put back a perf threshold	2021-08-15 10:13:05 +02:00
Bruce Weirdan	a9ead63ae1	Revert "Assertions for Integer Range"	2021-08-14 18:06:41 +03:00
Bruce Weirdan	7ff2a660dd	Merge pull request #6233 from supersmile2009/fix-in-array-assert	2021-08-13 01:39:31 +03:00
Bruce Weirdan	568a9e0412	Prevented empty assertions ... and simplified the code a bit.	2021-08-13 00:39:24 +03:00
Alexandr Zolotukhin	65a129e3c2	Fix type reconciliation for complex cases with union types	2021-08-06 00:13:26 +03:00
Alexandr Zolotukhin	097e88a7cb	Improved in_array assertion extraction ... Extract non-literal type assertion from in_array Extract false, true and null assertion Fix assertion against arrays with union-typed values Fix assertion against non-sealed arrays	2021-08-03 17:29:32 +03:00
orklah	2a9ddab738	replace +/- by >/<	2021-07-31 22:06:36 +02:00
orklah	5f764b9d8f	replace > by @	2021-07-31 21:59:35 +02:00
orklah	059eb5e29d	break the > assertion thing to see what start to fall apart	2021-07-31 21:54:15 +02:00
orklah	a8efe58784	fix isset assertion	2021-07-31 15:47:12 +02:00
orklah	128a811174	add internal assertions for superior and inferior	2021-07-31 15:47:12 +02:00
Grégoire Paris	26f8e5b333	Add negated identity with false case ... This is the opposite of === true and works the same.	2021-07-17 03:20:23 +03:00
orklah	0bd8b03f7a	Fix usage of gettype in a switch with closed resource	2021-07-14 12:49:46 +02:00
orklah	c3a4e513f9	add more detailed phpdoc for $conditional and remove unused code	2021-07-14 00:02:36 +02:00
orklah	bcd22335b6	add some detailed phpdoc for $conditional	2021-07-13 22:35:57 +02:00
orklah	874b8ed7ae	fix doc	2021-07-13 22:29:27 +02:00
orklah	647b9b78dc	cleanup and refactor AssertionFinder	2021-07-13 20:54:47 +02:00
Bruce Weirdan	6abce3525a	Enforce use sort (#5900)	2021-06-07 22:55:21 -04:00
orklah	89f815ff62	Add assertions for >=0 (#5815)	2021-05-23 14:24:15 -04:00
Matt Brown	bbbde2ffa1	Fix empty line	2021-05-19 15:20:28 -04:00