# 機能設計書 52-@babel/plugin-transform-unicode-sets-regex

## 概要

本ドキュメントは、Babelプラグイン `@babel/plugin-transform-unicode-sets-regex` の機能設計を記載したものである。本プラグインは、ES2024で導入された正規表現の `v`（unicodeSets）フラグを使用した正規表現を、従来の `u` フラグを使用した正規表現に変換する。

### 本機能の処理概要

**業務上の目的・背景**：ES2024で導入された `v` フラグ（Unicode Sets）は、正規表現における文字クラスの集合演算（差集合、交差）や、複数コードポイントで構成される文字列のマッチングをサポートする強力な機能である。しかし、古いJavaScript実行環境ではこの `v` フラグがサポートされていないため、トランスパイルが必要となる。本プラグインは、`v` フラグを使用した正規表現を `u` フラグベースの同等の正規表現に変換することで、レガシー環境でも最新の正規表現機能を利用可能にする。

**機能の利用シーン**：
- 文字クラスの集合演算（`[A--B]` で差集合、`[A&&B]` で交差）を使用する場合
- 文字列リテラルを含む文字クラス（`[\q{abc|def}]`）を使用する場合
- `\p{RGI_Emoji}` などの文字列プロパティを使用する場合
- より厳密なUnicode正規表現処理が必要な場合

**主要な処理内容**：
1. AST内のRegExpLiteralノードを検出
2. `v`（unicodeSets）フラグを持つ正規表現を識別
3. `regexpu-core` ライブラリを使用してパターンを変換
4. `v` フラグを `u` フラグに変換

**関連システム・外部連携**：`@babel/helper-create-regexp-features-plugin` を使用して正規表現機能変換の共通処理を実行。内部的に `regexpu-core` ライブラリを利用してパターン変換を行う。

**権限による制御**：本プラグインに権限制御の概念は存在しない。

## 関連画面

該当なし（CLIツール/ビルドツールとして動作）

## 機能種別

データ変換処理（ASTトランスフォーム）

## 入力仕様

### 入力パラメータ

| パラメータ名 | 型 | 必須 | 説明 | バリデーション |
|-------------|-----|-----|------|---------------|
| - | - | - | 本プラグインにはユーザー設定可能なオプションはない | - |

### 入力データソース

- Babelコアから渡されるAST（抽象構文木）
- `RegExpLiteral` ノードが処理対象

## 出力仕様

### 出力データ

| 項目名 | 型 | 説明 |
|--------|-----|------|
| 変換後AST | AST Node | vフラグがuフラグに変換された正規表現リテラル |

### 出力先

変換されたASTはBabelコアに返され、最終的にJavaScriptコードとして出力される

## 処理フロー

### 処理シーケンス

```
1. プラグイン初期化
   └─ Babelバージョン検証（^7.0.0-0 || ^8.0.0）

2. createRegExpFeaturePlugin 呼び出し
   └─ プラグイン名: "transform-unicode-sets-regex"
   └─ 機能フラグ: "unicodeSetsFlag"

3. pre フック実行（ファイル処理開始時）
   └─ featuresKey に機能フラグを設定

4. RegExpLiteral ノード訪問
   └─ 正規表現の特徴を分析
   └─ vフラグの有無を判定
   └─ regexpu-core でパターン変換
   └─ vフラグをuフラグに置換（transformFlags）
```

### フローチャート

```mermaid
flowchart TD
    A[RegExpLiteral検出] --> B{vフラグあり?}
    B -->|No| Z[スキップ]
    B -->|Yes| C[regexpu-coreで変換]
    C --> D[vフラグをuフラグに変換]
    D --> E[変換完了]
```

## ビジネスルール

### 業務ルール

| ルールNo | ルール名 | 内容 | 適用条件 |
|---------|---------|------|---------|
| BR-01 | vフラグ変換 | vフラグをuフラグに変換 | vフラグ付き正規表現 |
| BR-02 | 集合演算変換 | `[A--B]` や `[A&&B]` を同等のパターンに展開 | vフラグ使用時 |
| BR-03 | 文字列クラス変換 | `[\q{...}]` を同等のパターンに展開 | vフラグ使用時 |

### 計算ロジック

Unicode Sets正規表現の展開は `regexpu-core` ライブラリが担当。集合演算やマルチコードポイント文字列の処理を行う。

## データベース操作仕様

該当なし（データベース操作は行わない）

## エラー処理

### エラーケース一覧

| エラーコード | エラー種別 | 発生条件 | 対処方法 |
|------------|----------|---------|---------|
| - | SyntaxError | 不正な正規表現パターン | Babelコアがエラー報告 |

### リトライ仕様

該当なし

## トランザクション仕様

該当なし（ステートレスな変換処理）

## パフォーマンス要件

- 正規表現パターンの複雑さに応じて処理時間が変動
- 集合演算を含む複雑なパターンは展開後のサイズが大きくなる可能性がある

## セキュリティ考慮事項

- ユーザー入力の正規表現パターンを直接処理する場合、ReDoS（正規表現サービス拒否攻撃）のリスクに注意

## 備考

- ES2024をネイティブサポートする環境ではこのプラグインは不要
- `@babel/preset-env` 使用時は、ターゲット環境に応じて自動的に適用される
- `v` フラグは `u` フラグのスーパーセットであり、より厳密なUnicode処理を行う

---

## コードリーディングガイド

本機能を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

正規表現機能プラグインで使用される機能フラグの定義を理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | features.ts | `packages/babel-helper-create-regexp-features-plugin/src/features.ts` | FEATURESオブジェクトで定義される機能フラグ（unicodeSetsFlag = 1 << 5）を確認 |

**読解のコツ**: `unicodeSetsFlag_syntax`（1 << 4）は後方互換性のために残されている古いフラグで、実際の変換には `unicodeSetsFlag`（1 << 5）が使用される。

#### Step 2: エントリーポイントを理解する

プラグインの初期化処理を確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | index.ts | `packages/babel-plugin-transform-unicode-sets-regex/src/index.ts` | プラグイン定義（オプションなし） |

**主要処理フロー**:
1. **5-6行目**: Babelバージョン検証
2. **8-11行目**: `createRegExpFeaturePlugin` の呼び出し、"unicodeSetsFlag" 機能の指定

#### Step 3: ヘルパープラグインのコア処理を理解する

正規表現変換の共通ロジックを確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | index.ts | `packages/babel-helper-create-regexp-features-plugin/src/index.ts` | 共通のプラグイン構造とVisitor実装 |
| 3-2 | util.ts | `packages/babel-helper-create-regexp-features-plugin/src/util.ts` | vフラグからuフラグへの変換ロジック |

**主要処理フロー**:
- **51-53行目（util.ts）**: `v` フラグの有無チェック
- **81-83行目（util.ts）**: `v` を `u` に置換する `transformFlags` 処理
- **108行目（index.ts）**: `rewritePattern` でパターン変換

### プログラム呼び出し階層図

```
@babel/plugin-transform-unicode-sets-regex
    │
    └─ createRegExpFeaturePlugin (helper)
           │
           ├─ pre(): unicodeSetsFlag 設定
           │
           └─ visitor.RegExpLiteral()
                  │
                  ├─ generateRegexpuOptions()
                  │      └─ unicodeSetsFlag: "transform"
                  │
                  ├─ canSkipRegexpu(): vフラグチェック
                  │
                  ├─ rewritePattern() [regexpu-core]
                  │      └─ パターン変換実行
                  │
                  └─ transformFlags()
                         └─ v → u 変換
```

### データフロー図

```
[入力]                      [処理]                           [出力]

ソースコード           @babel/parser                     変換後コード
/[\p{L}--[a-z]]/v ───▶  RegExpLiteral AST  ───▶  Visitor  ───▶  /[展開パターン]/u
                                                    │
                                              regexpu-core
                                           (パターン展開)
                                              transformFlags
                                           (v→u フラグ変換)
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| index.ts | `packages/babel-plugin-transform-unicode-sets-regex/src/index.ts` | ソース | プラグインエントリーポイント |
| package.json | `packages/babel-plugin-transform-unicode-sets-regex/package.json` | 設定 | パッケージ定義、依存関係 |
| index.ts | `packages/babel-helper-create-regexp-features-plugin/src/index.ts` | ソース | 正規表現機能プラグイン共通処理 |
| features.ts | `packages/babel-helper-create-regexp-features-plugin/src/features.ts` | ソース | 機能フラグ定義 |
| util.ts | `packages/babel-helper-create-regexp-features-plugin/src/util.ts` | ソース | ユーティリティ関数、フラグ変換 |
