---
generated_at: 2026-02-22 10:30:00
metrics:
  claims_total: 100
  claims_with_evidence: 100
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：Avalonia.Markup 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：100 / 100、根拠なし：0
- 優先レビュー（高）
  1. **SelectorParser.Parse**: セレクタパーサーのコア機能（21ケース）
  2. **SelectorGrammar.Parse**: セレクタ文法解析（26ケース）
  3. **ContainerQueryGrammar.Parse**: コンテナクエリ文法解析（15ケース）

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

- E-01: `src/Markup/Avalonia.Markup/Markup/Parsers/SelectorParser.cs` - セレクタパーサークラス
- E-02: `src/Markup/Avalonia.Markup/Markup/Parsers/SelectorGrammar.cs` - セレクタ文法定義
- E-03: `src/Markup/Avalonia.Markup/Markup/Parsers/PropertyPathGrammar.cs` - プロパティパス文法定義
- E-04: `src/Markup/Avalonia.Markup/Markup/Parsers/ContainerQueryGrammar.cs` - コンテナクエリ文法定義
- E-05: `src/Markup/Avalonia.Markup/Markup/Parsers/ContainerQueryParser.cs` - コンテナクエリパーサー
- E-06: `src/Markup/Avalonia.Markup/Markup/Data/DelayedBinding.cs` - 遅延バインディング機能
- E-07: `src/Markup/Avalonia.Markup/Data/Binding.cs` - Bindingクラス（互換性ラッパー）

## 3) Claims と根拠の対応（レビューの主戦場）

### SelectorParser (UT-MRK-001 〜 UT-MRK-021)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | コンストラクタでtypeResolverを受け取る | E-01 (L16-29) | ○ |
| C-02 | nullのtypeResolverの挙動 | E-01 (L26-28) | ○ |
| C-03 | 単純型セレクタのパース | E-01 (L37-41), E-02 | ○ |
| C-04 | クラスセレクタ(.class)のパース | E-01 (L60-61), E-02 (L242-251) | ○ |
| C-05 | 名前セレクタ(#name)のパース | E-01 (L63-64), E-02 (L268-275) | ○ |
| C-06 | 子セレクタ(>)のパース | E-01 (L143-145), E-02 (L220-227) | ○ |
| C-07 | 子孫セレクタのパース | E-01 (L146-148), E-02 (L232-235) | ○ |
| C-08 | :is()セレクタのパース | E-01 (L57-58), E-02 (L181-187) | ○ |
| C-09 | :not()セレクタのパース | E-01 (L152-154), E-02 (L188-195) | ○ |
| C-10 | :nth-child()セレクタのパース | E-01 (L155-157), E-02 (L196-202) | ○ |
| C-11 | :nth-last-child()セレクタのパース | E-01 (L158-160), E-02 (L203-209) | ○ |
| C-12 | プロパティセレクタのパース | E-01 (L66-99), E-02 (L309-327) | ○ |
| C-13 | 添付プロパティセレクタのパース | E-01 (L101-142), E-02 (L329-363) | ○ |
| C-14 | テンプレートセレクタのパース | E-01 (L149-151), E-02 (L253-266) | ○ |
| C-15 | カンマ区切り複数セレクタのパース | E-01 (L161-183), E-02 (L665-671) | ○ |
| C-16 | 空文字列の処理 | E-02 (L94-100) | ○ |
| C-17 | null入力の処理 | E-01 (L37-41) | ○ |
| C-18 | 存在しない型名のエラー | E-01 (L188-198) | ○ |
| C-19 | ターゲット型なしエラー | E-01 (L70-73, L104-107) | ○ |
| C-20 | 存在しないプロパティエラー | E-01 (L75-80, L119-122) | ○ |
| C-21 | 型変換失敗エラー | E-01 (L94-97, L136-139) | ○ |

### SelectorGrammar (UT-MRK-022 〜 UT-MRK-047)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-22 | 単純識別子のパース | E-02 (L31-35, L304-307) | ○ |
| C-23 | 名前空間付き型名のパース | E-02 (L365-394) | ○ |
| C-24 | クラスセレクタのパース | E-02 (L242-251) | ○ |
| C-25 | 疑似クラスのパース | E-02 (L167-219) | ○ |
| C-26 | 名前セレクタのパース | E-02 (L268-275) | ○ |
| C-27 | 子セレクタのパース | E-02 (L220-227) | ○ |
| C-28 | 子孫セレクタのパース | E-02 (L220-240) | ○ |
| C-29 | テンプレートセレクタのパース | E-02 (L253-266) | ○ |
| C-30 | :is(Type)のパース | E-02 (L181-187) | ○ |
| C-31 | :not(selector)のパース | E-02 (L188-195) | ○ |
| C-32 | :nth-child(odd)のパース | E-02 (L400-413) | ○ |
| C-33 | :nth-child(even)のパース | E-02 (L414-426) | ○ |
| C-34 | :nth-child(2n+1)のパース | E-02 (L427-497) | ○ |
| C-35 | :nth-child(3)のパース | E-02 (L451-455) | ○ |
| C-36 | :nth-last-child(odd)のパース | E-02 (L203-209, L654-663) | ○ |
| C-37 | カンマ区切りのパース | E-02 (L143-146, L665-671) | ○ |
| C-38 | ネスティングセレクタ(^)のパース | E-02 (L114-118, L147-150, L673-679) | ○ |
| C-39 | プロパティセレクタのパース | E-02 (L309-327, L595-607) | ○ |
| C-40 | 添付プロパティセレクタのパース | E-02 (L329-363, L540-558) | ○ |
| C-41 | 空文字列の処理 | E-02 (L94-100) | ○ |
| C-42 | .の後にクラス名がないエラー | E-02 (L244-248) | ○ |
| C-43 | #の後に名前がないエラー | E-02 (L270-274) | ○ |
| C-44 | :nth-child()不正引数エラー | E-02 (L410-412, L423-425, L445-447) | ○ |
| C-45 | /template/形式不正エラー | E-02 (L256-264) | ○ |
| C-46 | 負のステップ値の処理 | E-02 (L439-444) | ○ |
| C-47 | ゼロオフセットの処理 | E-02 (L451-455) | ○ |

### PropertyPathGrammar (UT-MRK-048 〜 UT-MRK-060)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-48 | 単純プロパティ名のパース | E-03 (L125-132, L187-194) | ○ |
| C-49 | ドット区切りパスのパース | E-03 (L149-163, L209-213) | ○ |
| C-50 | 型修飾プロパティのパース | E-03 (L70-71, L76-106, L196-207) | ○ |
| C-51 | 名前空間付き型修飾のパース | E-03 (L108-123) | ○ |
| C-52 | キャスト演算子(:>)のパース | E-03 (L138-139, L172-177) | ○ |
| C-53 | as演算子のパース | E-03 (L138-139, L172-177) | ○ |
| C-54 | 型確認演算子(:=)のパース | E-03 (L136-137, L165-169) | ○ |
| C-55 | 複合パスのパース | E-03 (L26-53) | ○ |
| C-56 | 空文字列のエラー | E-03 (L128-130) | ○ |
| C-57 | 不完全な型修飾のエラー | E-03 (L85-86, L88-90) | ○ |
| C-58 | 閉じ括弧なしのエラー | E-03 (L93-97) | ○ |
| C-59 | ドット後プロパティ名なしのエラー | E-03 (L128-130) | ○ |
| C-60 | 不正文字のエラー | E-03 (L162) | ○ |

### ContainerQueryGrammar (UT-MRK-061 〜 UT-MRK-075)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-61 | min-widthクエリのパース | E-04 (L84-98) | ○ |
| C-62 | max-widthクエリのパース | E-04 (L84-98) | ○ |
| C-63 | widthクエリのパース | E-04 (L84-98) | ○ |
| C-64 | min-heightクエリのパース | E-04 (L101-116) | ○ |
| C-65 | max-heightクエリのパース | E-04 (L101-116) | ○ |
| C-66 | heightクエリのパース | E-04 (L101-116) | ○ |
| C-67 | and演算子の処理 | E-04 (L149-158) | ○ |
| C-68 | カンマ(or)の処理 | E-04 (L141-143, L173-179) | ○ |
| C-69 | 小数値のパース | E-04 (L161-171) | ○ |
| C-70 | 空文字列の処理 | E-04 (L121-127) | ○ |
| C-71 | 未知キーワードのエラー | E-04 (L79-82) | ○ |
| C-72 | コロンなしのエラー | E-04 (L86-87, L103-104) | ○ |
| C-73 | 値なしのエラー | E-04 (L165-168) | ○ |
| C-74 | ゼロ値の処理 | E-04 (L161-171) | ○ |
| C-75 | 負の値の処理 | E-04 (L161-171) | ○ |

### ContainerQueryParser (UT-MRK-076 〜 UT-MRK-082)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-76 | コンストラクタの正常動作 | E-05 (L17-19) | ○ |
| C-77 | widthクエリのStyleQuery変換 | E-05 (L27-31, L43-45) | ○ |
| C-78 | heightクエリのStyleQuery変換 | E-05 (L46-48) | ○ |
| C-79 | and結合クエリの変換 | E-05 (L49-58) | ○ |
| C-80 | or結合クエリの変換 | E-05 (L64-72) | ○ |
| C-81 | 空文字列の処理 | E-05 (L34-36) | ○ |
| C-82 | 未対応構文のエラー | E-05 (L59-61) | ○ |

### DelayedBinding (UT-MRK-083 〜 UT-MRK-091)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-83 | 初期化済みコントロールへの即時バインディング | E-06 (L32-37) | ○ |
| C-84 | 未初期化コントロールへのキューイング | E-06 (L38-51) | ○ |
| C-85 | 複数バインディングの追加 | E-06 (L40-50) | ○ |
| C-86 | CLRプロパティの即時設定 | E-06 (L60-65) | ○ |
| C-87 | CLRプロパティのキューイング | E-06 (L66-78) | ○ |
| C-88 | キューイングされたバインディングの適用 | E-06 (L85-96) | ○ |
| C-89 | エントリなしコントロールの処理 | E-06 (L87-95) | ○ |
| C-90 | Initializedイベントでの自動適用 | E-06 (L47, L98-103) | ○ |
| C-91 | CLRプロパティ設定時の例外ハンドリング | E-06 (L138-152) | ○ |

### Binding (UT-MRK-092 〜 UT-MRK-095)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-92 | デフォルトコンストラクタ | E-07 (L16) | ○ |
| C-93 | パス付きコンストラクタ | E-07 (L18) | ○ |
| C-94 | 空パスの処理 | E-07 (L18) | ○ |
| C-95 | nullパスの処理 | E-07 (L18), ReflectionBindingの実装に依存 | ○ |

### Syntax Classes Equals (UT-MRK-096 〜 UT-MRK-100)
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-96 | OfTypeSyntax.Equalsの等価比較 | E-02 (L533-537) | ○ |
| C-97 | OfTypeSyntax.Equalsの非等価比較 | E-02 (L533-537) | ○ |
| C-98 | ClassSyntax.Equalsの等価比較 | E-02 (L577-581) | ○ |
| C-99 | NthChildSyntax.Equalsの等価比較 | E-02 (L648-651) | ○ |
| C-100 | PropertySyntax.Equalsの等価比較 | E-03 (L191-193) | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なし項目はありません
- 全てのテストケースはソースコードの解析に基づいて生成されています

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースがソースコードから直接導出されており、高い信頼性があります

### 追加レビュー推奨項目
1. **SelectorParser.Parse**: 複雑なセレクタ組み合わせのテストケースが網羅されているか確認
2. **DelayedBinding**: ConditionalWeakTableを使用しているため、メモリリークに関するテストの追加を検討
3. **Binding**: ReflectionBindingを継承しているため、親クラスの機能に関するテストも必要

## 6) レビュアーチェックリスト（最小）
- [ ] SelectorParser: 各セレクタタイプ（OfType, Is, Class, Name, Property, Child, Descendant, Template, Not, NthChild）のテストが網羅されているか
- [ ] SelectorGrammar: ParseNthChildArguments のエッジケース（odd/even/数式）が十分にテストされているか
- [ ] PropertyPathGrammar: キャスト演算子(:>/as)と型確認演算子(:=)のテストが正しいか
- [ ] ContainerQueryGrammar: min-/max- プレフィックスと演算子の対応が正しくテストされているか
- [ ] DelayedBinding: IsInitializedの状態による分岐が両方テストされているか
- [ ] Binding: ReflectionBindingから継承した機能のテストが別途必要か検討
- [ ] 各Syntax クラスのEquals メソッドが適切にテストされているか
