---
generated_at: 2026-03-01 10:30:00
metrics:
  claims_total: 73
  claims_with_evidence: 73
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：73 / 73、根拠なし：0
- 優先レビュー（高）
  1. **テストケースの網羅性**：全ての公開関数・メソッドをカバーしているか確認推奨
  2. **エッジケースの妥当性**：境界値テストの入力値が適切か確認推奨
  3. **実行時環境依存**：inline-callSuper-helpersの実行時判定ロジックの確認推奨

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

- E-01: `packages/babel-plugin-transform-classes/src/index.ts` - プラグインエントリポイント（103行）
- E-02: `packages/babel-plugin-transform-classes/src/transformClass.ts` - クラス変換メインロジック（885行）
- E-03: `packages/babel-plugin-transform-classes/src/inline-callSuper-helpers.ts` - superCallヘルパー生成（75行）
- E-04: `packages/babel-plugin-transform-classes/package.json` - パッケージ定義
- E-05: `docs/code-to-docs/単体テストケース一覧/plan.md` - テスト計画書

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | declare関数がプラグインオブジェクトを生成する | E-01 L25-102 | ○ |
| C-02 | looseオプションがassumptionsを制御する | E-01 L28-34 | ○ |
| C-03 | looseがfalseの場合assumptionsがfalse | E-01 L30-34 | ○ |
| C-04 | options空時デフォルト値適用 | E-01 L28 | ○ |
| C-05 | ExportDefaultDeclarationがクラスを分割する | E-01 L47-51 | ○ |
| C-06 | 非クラスエクスポートは無視される | E-01 L48 | ○ |
| C-07 | ClassDeclarationがVariableDeclarationに変換 | E-01 L52-64 | ○ |
| C-08 | 名前なしクラスでUID生成 | E-01 L55-57 | ○ |
| C-09 | ClassExpressionが関数ベースに変換 | E-01 L66-98 | ○ |
| C-10 | VISITEDで重複訪問を防止 | E-01 L41, L68 | ○ |
| C-11 | CallExpressionにPureアノテーション付与 | E-01 L91-92 | ○ |
| C-12 | ArrowFunctionがFunctionExpressionに変換 | E-01 L94-97 | ○ |
| C-13 | transformClass関数が単純クラスを変換 | E-02 L91-885 | ○ |
| C-14 | 派生クラスがinheritsヘルパーを使用 | E-02 L712-730 | ○ |
| C-15 | looseモードでinheritsLoose使用 | E-02 L723-724 | ○ |
| C-16 | ネイティブ継承でwrapNativeSuper使用 | E-02 L753-757 | ○ |
| C-17 | buildConstructorが関数宣言を生成 | E-02 L18-30 | ○ |
| C-18 | maybeCreateConstructorがコンストラクタ自動生成 | E-02 L159-180 | ○ |
| C-19 | 派生クラスでsuper(...arguments)生成 | E-02 L168-171 | ○ |
| C-20 | 既存コンストラクタ保持 | E-02 L161-163 | ○ |
| C-21 | buildBodyがクラスボディ構築 | E-02 L182-196 | ○ |
| C-22 | pushBodyがメソッド処理 | E-02 L198-254 | ○ |
| C-23 | ClassPropertyでエラー | E-02 L204-206 | ○ |
| C-24 | デコレータでエラー | E-02 L208-211 | ○ |
| C-25 | インスタンスメソッドディスクリプタ出力 | E-02 L256-302 | ○ |
| C-26 | 静的メソッドディスクリプタ出力 | E-02 L266-284 | ○ |
| C-27 | 空クラスでcreateClass省略 | E-02 L286-301 | ○ |
| C-28 | wrapSuperCallがsuper()をラップ | E-02 L304-390 | ○ |
| C-29 | superIsCallableConstructorでSuper.call形式 | E-02 L313-335 | ○ |
| C-30 | ...argumentsの最適化 | E-02 L316-323 | ○ |
| C-31 | 末尾super()がreturn文に変換 | E-02 L374-386 | ○ |
| C-32 | 非派生クラスでverifyConstructorスキップ | E-02 L392-393 | ○ |
| C-33 | thisがassertThisInitializedでラップ | E-02 L411-416, L525 | ○ |
| C-34 | コンストラクタ末尾にreturn追加 | E-02 L553-566 | ○ |
| C-35 | returnがpossibleConstructorReturnでラップ | E-02 L538-548 | ○ |
| C-36 | looseモードでlogicalExpression使用 | E-02 L531-537 | ○ |
| C-37 | pushMethodでメソッドディスクリプタ追加 | E-02 L578-622 | ○ |
| C-38 | getter追加 | E-02 L586, L614 | ○ |
| C-39 | setter追加 | E-02 L586, L614 | ○ |
| C-40 | getter/setterマージ | E-02 L596-608 | ○ |
| C-41 | computed key処理 | E-02 L591 | ○ |
| C-42 | numericリテラルキー変換 | E-02 L587-590 | ○ |
| C-43 | processMethodで代入形式追加 | E-02 L624-658 | ○ |
| C-44 | 静的メソッドがクラスに代入 | E-02 L627-630 | ○ |
| C-45 | デコレータありでdefineProperty使用 | E-02 L625 | ○ |
| C-46 | insertProtoAliasOnceで1回だけ挿入 | E-02 L660-673 | ○ |
| C-47 | protoAliasあり時スキップ | E-02 L661 | ○ |
| C-48 | pushConstructorで状態保存 | E-02 L678-707 | ○ |
| C-49 | コンストラクタパラメータ保持 | E-02 L694-695 | ○ |
| C-50 | コンストラクタコメント継承 | E-02 L692 | ○ |
| C-51 | pushInheritsToBodyでinherits追加 | E-02 L712-730 | ○ |
| C-52 | 非派生クラスでスキップ | E-02 L713 | ○ |
| C-53 | 重複inherits防止 | E-02 L713 | ○ |
| C-54 | extractDynamicKeysで動的キー抽出 | E-02 L732-744 | ○ |
| C-55 | 純粋キースキップ | E-02 L737 | ○ |
| C-56 | setupClosureParamsArgsで派生クラス設定 | E-02 L746-775 | ○ |
| C-57 | ネイティブ継承でwrapNativeSuper | E-02 L753-757 | ○ |
| C-58 | 動的キークロージャ追加 | E-02 L769-772 | ○ |
| C-59 | noClassCalls=falseでclassCallCheck追加 | E-02 L827-836 | ○ |
| C-60 | noClassCalls=trueでチェック省略 | E-02 L827 | ○ |
| C-61 | 非strictでuse strict追加 | E-02 L855-857 | ○ |
| C-62 | コンストラクタのみクラス最適化 | E-02 L859-863 | ○ |
| C-63 | 非単純パラメータでラッパー使用 | E-02 L840-850 | ○ |
| C-64 | looseモードでcreateClass省略 | E-02 L862 | ○ |
| C-65 | addCallSuperHelperでヘルパー追加 | E-03 L51-75 | ○ |
| C-66 | 同一ファイルでキャッシュ使用 | E-03 L49, L52-54 | ○ |
| C-67 | file.addHelper利用 | E-03 L56-60 | ○ |
| C-68 | addHelper失敗時フォールバック | E-03 L56-72 | ○ |
| C-69 | isNativeReflectConstruct判定 | E-03 L9-31 | ○ |
| C-70 | Proxyでネイティブ判定 | E-03 L18 | ○ |
| C-71 | Reflect.construct.shamでfalse | E-03 L13 | ○ |
| C-72 | builtinClassesにグローバル含有 | E-01 L9-12 | ○ |
| C-73 | Iterator除外 | E-01 L19 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし。全てのテストケースにソースコードの根拠が存在します。

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全テストケースがソースコードから直接導出されており、推測や仮定に基づくものはありません

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースの優先度付けが妥当か（高/中/低の分類）
- [ ] 境界値テストの入力値が網羅的か
- [ ] 異常系テストが全ての例外パスをカバーしているか
- [ ] ネイティブ継承（Array, Error等）のテストケースが十分か
- [ ] looseモードとstrictモードの差異が明確に区別されているか
- [ ] inline-callSuper-helpersの実行時環境依存テストが実現可能か
