サンプル
Handle Symfony Console input error path exception types and exit codes across ArgvInput and ArrayInput
sha256:920790665b5eccaf71a293546cc111191874497b72b8fb0832384c5548a61e45
PUBLISHED
L3_CONTRACT_PASS
MIT-0
ケース
- ゴール
- Handle Symfony Console input error path exception types and exit codes across ArgvInput and ArrayInput HOW
- パッケージ
- symfony/console 8.1.4
- 環境
- php
- 作成日
- 2026-08-16T12:40:37Z
よくある思い込み
Unrecognized CLI options throw InvalidOptionException and missing required arguments throw MissingInputException.
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- ArgvInput with an unknown option throws RuntimeException rather than InvalidOptionException or InvalidArgumentException
- Missing required arguments throw RuntimeException rather than MissingInputException
- ArgvInput with missing VALUE_REQUIRED option value throws RuntimeException rather than InvalidOptionException
- ArrayInput throws InvalidOptionException for unknown options, creating an exception type divergence from ArgvInput
- Application::run() on input validation failure returns Command::FAILURE (1) instead of Command::INVALID (2)
- ArrayInput preserves raw scalar strings for VALUE_IS_ARRAY options instead of boxing them into an array
ファイル
- NOTES.md
- composer.json
- composer.lock
- csx.json
- test/contract.php
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- php 8 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · composer@1 · 2026-08-16 · ed25519:d91480838ac982c9