Sample

Route hierarchical subcommands and scope options and positional arguments to their matching nested ArgResults using ArgParser.addCommand

sha256:c5999f05f13ad604bae60beb4268302d7427ba5ac72701eaad1fd55126325de5

PUBLISHED L3_CONTRACT_PASS MIT-0

Execution evidence

Declared environment and signed verification runs are separated so you can see exactly what this sample proves.

Evidence basisSigned contract pass

Verification receipts1

Verification levelL3_CONTRACT_PASS

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17

Goal: Route hierarchical subcommands and scope options and positional arguments to their matching nested ArgResults using ArgParser.addCommand HOW
Packages: args 2.5.0
Environment: dart
Created: 2026-08-17T17:50:25Z

ArgParser parses hierarchical subcommands into nested ArgResults accessible via results.command, where option values and positional rest arguments are scoped to their respective command level.
assert top-level ArgResults has null name and results.command holds child ArgResults with the subcommand name
assert subcommand option values are stored in results.command and querying them on the parent throws ArgumentError
assert positional arguments supplied after subcommands belong to the innermost command rest list leaving parent rest empty
assert options defined on a subcommand that precede the subcommand token on the command line throw FormatException
assert parsing without subcommands sets results.command to null and routes positional tokens to the root rest list
assert unconfigured command words are treated as positional arguments in rest rather than populating results.command

dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9