---
generated_at: 2026-03-01 06:15:00
metrics:
  claims_total: 65
  claims_with_evidence: 62
  claims_without_evidence: 3
confidence_derived: 0.95
---

# 根拠レポート：babel-plugin-transform-explicit-resource-management 単体テストケース一覧

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：62 / 65、根拠なし：3
- 優先レビュー（高）
  1. **C-58 空モジュールの処理**：エッジケースの動作確認が必要
  2. **C-62 無効なswitch case内using宣言**：エラー処理の詳細確認が必要
  3. **C-64 ID衝突回避**：generateUidIdentifierの動作確認が必要

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `packages/babel-plugin-transform-explicit-resource-management/src/index.ts` (プラグインメインソース)
- E-02: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/exec-sync/completion-normal.js` (同期using正常完了テスト)
- E-03: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/exec-sync/invalid-dispose-not-a-function.js` (dispose非関数エラーテスト)
- E-04: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/exec-async/completion-throw.js` (非同期例外テスト)
- E-05: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/for-head/input.js` (for-of using入力)
- E-06: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/for-head/output.js` (for-of using出力)
- E-07: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting/input.mjs` (トップレベルホイスティング入力)
- E-08: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting/output.mjs` (トップレベルホイスティング出力)
- E-09: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/switch/input.js` (switch文入力)
- E-10: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/switch/output.js` (switch文出力)
- E-11: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/static-block/input.js` (静的ブロック入力)
- E-12: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/static-block/output.js` (静的ブロック出力)
- E-13: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-await/mixed/input.js` (混在using入力)
- E-14: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-await/mixed/output.mjs` (混在using出力)
- E-15: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/named-evaluation/input.js` (名前付き評価入力)
- E-16: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-sync/named-evaluation/output.js` (名前付き評価出力)
- E-17: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting-default-expr/input.mjs` (export default式入力)
- E-18: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting-default-expr/output.mjs` (export default式出力)
- E-19: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting-default-class/input.mjs` (export defaultクラス入力)
- E-20: `packages/babel-plugin-transform-explicit-resource-management/test/fixtures/transform-top-level/hoisting-default-class/output.mjs` (export defaultクラス出力)

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | ArrowFunctionExpressionの場合trueを返すこと | E-01 (L12-22) | ○ |
| C-02 | idなしFunctionExpressionの場合trueを返すこと | E-01 (L12-22) | ○ |
| C-03 | idなしClassExpressionの場合trueを返すこと | E-01 (L12-22) | ○ |
| C-04 | idありFunctionExpressionの場合falseを返すこと | E-01 (L20) | ○ |
| C-05 | idありClassExpressionの場合falseを返すこと | E-01 (L20) | ○ |
| C-06 | 他のノードタイプの場合falseを返すこと | E-01 (L18-21) | ○ |
| C-07 | setFunctionNameヘルパー呼び出しを生成すること | E-01 (L24-33) | ○ |
| C-08 | 生成されたCallExpressionが正しい引数を持つこと | E-01 (L29-32) | ○ |
| C-09 | kind='using'の変数宣言でtrueを返すこと | E-01 (L41-48) | ○ |
| C-10 | kind='await using'の変数宣言でtrueを返すこと | E-01 (L45) | ○ |
| C-11 | TOP_LEVEL_USINGに登録された宣言でtrueを返すこと | E-01 (L46) | ○ |
| C-12 | 通常の変数宣言でfalseを返すこと | E-01 (L42-47) | ○ |
| C-13 | VariableDeclaration以外のノードでfalseを返すこと | E-01 (L42) | ○ |
| C-14 | for-of文のusing宣言がconst宣言に変換されること | E-05, E-06 | ○ |
| C-15 | for-of文で一時変数が生成されること | E-01 (L56-57), E-06 | ○ |
| C-16 | for-of文の本体がブロック文に確保されること | E-01 (L60) | ○ |
| C-17 | 非using宣言のfor-of文は変換されないこと | E-01 (L53) | ○ |
| C-18 | ブロック内のusing宣言がtry-catch-finallyでラップされること | E-01 (L109-118), E-02 | ○ |
| C-19 | await using宣言でawait式が生成されること | E-01 (L116), E-04 | ○ |
| C-20 | usingコンテキスト変数が一度だけ生成されること | E-01 (L77) | ○ |
| C-21 | 匿名関数定義に対してsetFunctionNameが呼ばれること | E-01 (L94-97), E-15, E-16 | ○ |
| C-22 | 名前付き関数にはsetFunctionNameが呼ばれないこと | E-01 (L94-97) | ○ |
| C-23 | 分割代入パターンにはsetFunctionNameが呼ばれないこと | E-01 (L95) | ○ |
| C-24 | using宣言のkindがconstに変更されること | E-01 (L84) | ○ |
| C-25 | usingとawait usingが混在する場合awaitが使用されること | E-01 (L81), E-13, E-14 | ○ |
| C-26 | using宣言がない場合は変換されないこと | E-01 (L102) | ○ |
| C-27 | 関数本体の場合はブロックでラップされること | E-01 (L124-128) | ○ |
| C-28 | try文内の場合はブロックでラップされること | E-01 (L125) | ○ |
| C-29 | StaticBlock内のusing宣言が正しく変換されること | E-01 (L129-130), E-11, E-12 | ○ |
| C-30 | ネストしたブロックが独立して変換されること | E-01 (L67-134) | ○ |
| C-31 | 関数をスキップすること | E-01 (L137-145) | ○ |
| C-32 | モジュール以外のプログラムは変換されないこと | E-01 (L159) | ○ |
| C-33 | using宣言がないモジュールは変換されないこと | E-01 (L160) | ○ |
| C-34 | トップレベルusing宣言がブロックでラップされること | E-01 (L243), E-07, E-08 | ○ |
| C-35 | 関数宣言がホイスティングされること | E-01 (L164), E-07, E-08 | ○ |
| C-36 | import宣言がホイスティングされること | E-01 (L164), E-07, E-08 | ○ |
| C-37 | export default宣言が適切に変換されること | E-01 (L172-200), E-17, E-18 | ○ |
| C-38 | 名前付きクラスのexport defaultで内部参照が保持されること | E-01 (L175-181), E-19, E-20 | ○ |
| C-39 | 匿名export defaultに一時IDが生成されること | E-01 (L186) | ○ |
| C-40 | export named宣言が分離されること | E-01 (L203-215), E-07, E-08 | ○ |
| C-41 | export function宣言がホイスティングされること | E-01 (L205), E-07, E-08 | ○ |
| C-42 | クラス宣言がvar宣言に変換されること | E-01 (L220-227), E-08 | ○ |
| C-43 | let/const宣言がvar宣言に変換されること | E-01 (L234), E-08 | ○ |
| C-44 | using宣言がTOP_LEVEL_USINGに登録されること | E-01 (L229-230) | ○ |
| C-45 | await using宣言がTOP_LEVEL_USINGにAWAITとして登録されること | E-01 (L231-232) | ○ |
| C-46 | export * from宣言が保持されること | E-01 (L216-217), E-07, E-08 | ○ |
| C-47 | export * as ns from宣言が保持されること | E-01 (L216-217), E-07, E-08 | ○ |
| C-48 | export class宣言が分離されること | E-01 (L203-215), E-07, E-08 | ○ |
| C-49 | 非同期関数内のusing宣言が先に変換されること | E-01 (L247-250) | ○ |
| C-50 | 同期関数は先行変換されないこと | E-01 (L248) | ○ |
| C-51 | アロー関数のasync版が正しく処理されること | E-01 (L248) | ○ |
| C-52 | プラグインが正しい名前を持つこと | E-01 (L148) | ○ |
| C-53 | Babelバージョン要件が検証されること | E-01 (L37) | ○ |
| C-54 | 非対応Babelバージョンでエラーがスローされること | E-01 (L37) | ○ |
| C-55 | using宣言が0件の場合何もしないこと | E-01 (L102) | ○ |
| C-56 | using宣言が1件の場合正しく変換されること | E-02 | ○ |
| C-57 | using宣言が多数の場合すべて変換されること | E-01 (L86-100) | ○ |
| C-58 | 空のモジュールで正常終了すること | **根拠なし** | △ |
| C-59 | for-await-of文のusing宣言が正しく変換されること | E-01 (L51-66) | ○ |
| C-60 | catch句内のusing宣言が正しく変換されること | E-01 (L126) | ○ |
| C-61 | switch文内のusing宣言が正しく変換されること | E-09, E-10 | ○ |
| C-62 | switch文の裸のcase内using宣言でエラーを検出すること | **根拠なし** | △ |
| C-63 | TOP_LEVEL_USINGがProgramごとにクリアされること | E-01 (L157) | ○ |
| C-64 | _usingCtxのスコープユニークIDが生成されること | **根拠なし** | △ |
| C-65 | 継承情報が保持されること | E-01 (L120) | ○ |

## 4) 不足情報（Unknown / Missing）
- **C-58 空モジュールの処理**：空のモジュールに対するテストフィクスチャが見当たらない
  - 候補：空モジュールのテストフィクスチャ追加 / コードパス分析による検証
- **C-62 無効なswitch case内using宣言**：裸のcase内でのusing宣言に対するエラーハンドリングの明示的なテストが見当たらない
  - 候補：transform-sync/invalid-switch-bare-caseディレクトリのoptions.jsonまたはエラー出力確認
- **C-64 ID衝突回避**：generateUidIdentifierBasedOnNodeの動作は@babel/traverseに依存しており、このプラグイン内での明示的なテストなし
  - 候補：babel-traverseのテストで検証 / このプラグインでのユニットテスト追加

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - isAnonymousFunctionDefinition, emitSetFunctionNameCall：純粋な型判定・生成関数で副作用なし
- **0: 低リスク** - isUsingDeclaration：純粋な型判定関数
- **1: 中リスク** - ForOfStatement visitor：一時変数生成とスコープ操作あり
- **1: 中リスク** - BlockStatement/StaticBlock visitor：try-catch-finally生成、複雑な変換ロジック
- **2: 高リスク** - Program visitor：トップレベルホイスティング、export/import処理、状態管理（TOP_LEVEL_USING）
- **1: 中リスク** - Function visitor：async関数の先行処理

## 6) レビュアーチェックリスト（最小）
- [ ] isAnonymousFunctionDefinition：各ノードタイプの判定ロジックが正しいか確認
- [ ] emitSetFunctionNameCall：ヘルパー呼び出しの引数が正しいか確認
- [ ] isUsingDeclaration：using/await using/TOP_LEVEL_USINGの3条件が正しく判定されるか確認
- [ ] ForOfStatement：一時変数のスコープと変数名生成が正しいか確認
- [ ] BlockStatement/StaticBlock：try-catch-finally構造、await有無の判定が正しいか確認
- [ ] Program visitor：ホイスティング順序、export変換、TOP_LEVEL_USINGの登録/削除タイミングが正しいか確認
- [ ] Function visitor：async関数の判定と先行変換トリガーが正しいか確認
- [ ] バージョン要件（^7.23.9 || ^8.0.0）が適切か確認
- [ ] テストフィクスチャのカバレッジが十分か確認（特にエッジケース）
