Skip to content

added rule noManualEmptyArrayTests - #5

Closed
kaskader201 wants to merge 14 commits into
dg:masterfrom
kaskader201:no-manual-empty-array-tests
Closed

kaskader201 wants to merge 14 commits into
dg:masterfrom
kaskader201:no-manual-empty-array-tests

Conversation

@kaskader201

Copy link
Copy Markdown
Contributor

A new rule NoManualEmptyArrayTestsRule with the decision hygiene.countEmptyTest: forbidden, the sibling of noManualEmptyStringTests: count($a) === 0 is $a === [].

  • The forms read: ===, !==, ==, !=, >, >=, <, <= with 0 or 1 on either side, sizeof() and !count($a); count($a) >= 0, count($a, COUNT_RECURSIVE), an unpacked or a named argument stay.
  • Types: the fix is safe where PHPStan says the value is an array. Without the types, or where the value may be something else (?array, array|Countable), it is reported with risk: TypeUnknown, because count() counts a Countable object too, which is never [], and throws on anything else. A value that is surely no array is left alone. The rule therefore does not carry typesRequired.
  • In the set cleanup beside strlenEmptyTest.

The reading of the comparison moved from NoManualEmptyStringTestsRule to the @internal helper Rules\Functions\EmptinessTest, which both rules use (a separate commit). The self-check found one occurrence in NeverForThrowingFunctionRule, fixed.

Fixtures cover the types (with stubs), a run without them, a risky run and a namespace. On my machine forbiddenPhpdocLines fails and PHPStan reports 4 errors, both the same on master before this change.

🤖 Generated with Claude Code

dg and others added 14 commits October 28, 2026 02:24
…ich init proposes for a project formatted by Pint

PER Coding Style with what Pint 1.32 decides otherwise and without what it leaves to the author: the concatenation
without spaces, `! $x`, `new Foo`, `fn ($x) =>`, the trailing comma in arrays alone, a blank line before `return`
and `continue`, the enum cases kept together, the names in doc comments imported, and no construct spread for its
width. A standard of the core beside the others, so the reference, explain and init list it with them; init writes
it where the project requires laravel/pint, the standard of the preset a pint.json names, laravel without one.
dresscode init measures the code of a project and writes the configuration that fits it, each decision with its description.
… in the style the project keeps

dresscode upgrade lays the set deprecations, with --modernize also modernizations, over the presets the configuration
uses and beneath its own decisions and overrides, so that what the project keeps stays kept, lets in the plugins of
the packages of upgrading data, adds the types of the code and fixes. Without a configuration file it takes the
directory as a whole and no style. With one it keeps the scope, the target, the types, fixRisky, the baseline and the
maps, and of the style only the decisions the code keeps: a check without the types and the sets runs first, every
decision it finds violated anywhere is left out, and the run is narrowed by only to the rest, the sets and the packages
whose data reach the project, which a worker gets through --only. It takes --only, --fix-risky and --ask-risky, and
the summary names upgrade --ask-risky for the risky fixes left. The upgrade goes to the lowest versions of PHP and of
the libraries the project allows; the console says which libraries it takes, which packages are installed newer than
that, whose declarations then say nothing of what it deprecates, advising composer update --prefer-lowest, and,
where it rewrote a file, to run it again.
…beside DressCode

A package of upgrading data says which packages it is about under extra.dresscode.packages, and
UpgradingTester::collectPackageProblems() refuses a list that is not exactly the packages its upgrading files are
about. upgrade learns of the packages from Packagist, asked once a day and remembered in the cache directory, for now
of the vendor dresscode alone, and PackageDiscovery finds those installed beside DressCode by their type
dresscode-plugin, not only those of the project. A project requiring one of their libraries itself, not one where it
comes with another library, gets a missing package installed first: composer require into the installation of
DressCode, or require --dev into the project where its lock holds DressCode, in a terminal after asking and without
one only with --yes, otherwise it refuses with the command to run. The command then runs anew in a new process, whose
autoloader knows the installed packages and the plugin dresscode/upgrade-nette brings.
The configurations and the suppressions of PHP CS Fixer, PHP_CodeSniffer and Slevomat translated to the decisions of DressCode.
… the workers included

`--profile <file>` writes as JSON where the time of a run went, in nanoseconds: the phases (the start of the process,
the start of the container of PHPStan or of a derived one and its scopes, the parse, the passes, the gaps, the print,
the cycle collection, the run as a whole), every rule by the time of its callbacks, how often they ran and how often
they changed the tree, every gap rule by the time of its claims, every file with its size, rounds and passes, and the
peak memory of every process. A worker measures its own files and hands that over with every result and the parent
adds it up, so the totals do not depend on the number of workers. A run with the option leaves the result cache out,
a file served from the cache having nothing to measure.

It says where the time of a run goes, not only how much of it: a comparison of two revisions then names the rule or
the claim that moved. Without the option the engine only asks whether there is a profiler, and wraps a claim in
a measurement only when there is one.
…tinessTest

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@kaskader201
kaskader201 force-pushed the no-manual-empty-array-tests branch from 8b6ee41 to b4322bd Compare October 28, 2026 22:28
@dg
dg force-pushed the master branch 2 times, most recently from 89af10b to 332227b Compare October 29, 2026 01:55
@dg

dg commented Oct 29, 2026

Copy link
Copy Markdown
Owner

Thank you! Merged into master with one change: like its sibling strlenEmptyTest, the rule now requires the types and rewrites only a value that is surely an array. Without knowing the type, count() may just as well take a Countable or another iterable, so the rewrite is not offered even as a risky one; ?array, iterable and the like are left alone.

@dg dg closed this Oct 29, 2026
dg pushed a commit that referenced this pull request Oct 30, 2026
dg pushed a commit that referenced this pull request Oct 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants