CodeSampleX

サンプル

Prove how package:args handles options after the first positional argument with and without allowTrailingOptions

sha256:9c2b79c1311ca900d537157032629d24ae6621db433365d53aaa0caf30317f7b

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

ケース

ゴール
Prove how package:args handles options after the first positional argument with and without allowTrailingOptions HOW
パッケージ
args 2.7.0
環境
dart
作成日
2026-08-17T03:53:23Z

よくある思い込み

ArgParser stops matching options at the first positional argument unless allowTrailingOptions is set to true.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

ファイル

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート