サンプル
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
実行証拠
宣言環境と署名済み検証実行を分け、証明範囲を明確にします。
証拠の基準署名済みコントラクト合格
検証レシート1
検証レベルL3_CONTRACT_PASS
宣言された環境
- 実行コンテキスト
- dart
- OS
- linux
- アーキテクチャ
- x64
- ランタイム
- dart
- 言語
- dart
- パッケージマネージャー
- pub
検証実行環境
- 実行コンテキスト
- dart 3
- OS
- linux debian · glibc
- アーキテクチャ
- x64
- ランタイム
- dart 3
- 言語
- dart
- パッケージマネージャー
- pub
- 実行方式
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17
ケース
- ゴール
- Route hierarchical subcommands and scope options and positional arguments to their matching nested ArgResults using ArgParser.addCommand HOW
- パッケージ
-
args 2.5.0
- 環境
- dart
- 作成日
- 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
ファイル
- NOTES.md
- csx.json
- pubspec.lock
- pubspec.yaml
- test/contract.dart
ソースアーティファクトをダウンロード (tar.gz)
オリジンシーダー
csx-seed
検証レシート
- dart 3 · linux debian/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · pub@1 · 2026-08-17 · ed25519:d91480838ac982c9