# 通知設計書 27-warnDotLikeOps

## 概要

本ドキュメントは、Nimコンパイラにおける警告通知「warnDotLikeOps」の設計仕様を定義する。この警告は、ドットライク演算子（`.`で始まる演算子）の解析方法が将来変更される可能性があることを通知する警告である。

### 本通知の処理概要

この通知は、パーサーがドットライク演算子（例：`.+`, `.-`, `.mod`など）を検出した際に発生する。Nimの将来バージョンでは`-d:nimPreviewDotLikeOps`フラグを指定することで異なる解析方法が適用されるため、現在のコードが将来の動作と異なる可能性があることを開発者に警告する。

**業務上の目的・背景**：Nimのパーサーは演算子の優先順位と結合規則に基づいて式を解析する。ドットライク演算子の解析方法の変更が検討されており、この警告により開発者は将来の変更に備えることができる。`-d:nimPreviewDotLikeOps`を使用して新しい解析方法をプレビューし、コードの互換性を事前に確認できる。

**通知の送信タイミング**：コンパイル時のパース（構文解析）フェーズで、ドットライク演算子が検出され、かつ`-d:nimPreviewDotLikeOps`が定義されていない場合に送信される。

**通知の受信者**：Nimソースコードをコンパイルしている開発者（標準エラー出力またはIDEツール経由）。

**通知内容の概要**：「dot-like operators will be parsed differently with `-d:nimPreviewDotLikeOps`」というメッセージが出力され、将来の解析変更について通知する。

**期待されるアクション**：開発者は`-d:nimPreviewDotLikeOps`フラグを追加してコンパイルを試み、新しい解析方法でコードが正しく動作するか確認する。問題がある場合は、明示的な括弧を使用するなどしてコードを調整する。

## 通知種別

コンパイラ警告メッセージ（標準エラー出力 / IDE連携）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期 |
| 優先度 | 中（Warning） |
| リトライ | 無し |

### 送信先決定ロジック

標準エラー出力（stderr）に出力される。IDEツール（nimsuggest等）使用時は、構造化されたエラーフック経由でIDEに通知される。`--stdout`オプション指定時は標準出力に出力される。

## 通知テンプレート

### コンソール出力の場合

| 項目 | 内容 |
|-----|------|
| 出力先 | stderr（デフォルト）/ stdout（--stdout指定時） |
| 形式 | テキスト |

### 本文テンプレート

```
{ファイル名}({行},{列}) Warning: dot-like operators will be parsed differently with `-d:nimPreviewDotLikeOps` [DotLikeOps]
```

### 添付ファイル

該当なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| $1 | 警告メッセージ | parser.nim内で構築 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| コンパイル | パースフェーズ | ドットライク演算子検出 かつ nimPreviewDotLikeOps未定義 | parser.nim:936行目 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| -d:nimPreviewDotLikeOps | このプレビューフラグが定義されている場合（新しい解析が適用される） |
| --warning:DotLikeOps:off | この特定の警告が無効化されている場合 |
| --warnings:off | 全ての警告が無効化されている場合 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[式解析開始] --> B[演算子検出]
    B --> C{ドットライク演算子?}
    C -->|No| D[通常の演算子処理]
    C -->|Yes| E{nimPreviewDotLikeOps定義済み?}
    E -->|Yes| F[新しい解析方法適用]
    E -->|No| G[warnDotLikeOps発行]
    G --> H[parMessage呼び出し]
    H --> I[通常の解析方法適用]
    F --> J[解析継続]
    I --> J
    D --> J
```

## データベース参照・更新仕様

### 参照テーブル一覧

該当なし（ソースコード解析のみ）

### 更新テーブル一覧

該当なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| - | この警告自体はエラーではない | 警告を出力し処理継続 |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 0（リトライなし） |
| リトライ間隔 | - |
| リトライ対象エラー | - |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 1分あたり上限 | 制限なし |
| 1日あたり上限 | 制限なし |

### 配信時間帯

制限なし（コンパイラ実行時に即座に出力）

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

- ソースコードの演算子使用情報が警告に間接的に含まれるが、セキュリティリスクは低い
- ファイルパスと行番号のみが出力される

## 備考

- この警告は言語の進化に伴う解析変更のプレビュー機能と関連している
- ドットライク演算子は`dotOperators`実験的機能と関連がある
- 将来のNimバージョンでは、新しい解析方法がデフォルトになる可能性がある
- isDotLike関数（parser.nim内）でドットライク演算子かどうかを判定

---

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

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

### 推奨読解順序

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

まず、メッセージ種別の定義と警告メッセージの文字列を理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | TMsgKind列挙型でwarnDotLikeOpsの定義（54行目）、MsgKindToStr配列でメッセージ文字列の定義（147行目） |

**読解のコツ**: warnDotLikeOpsは「DotLikeOps」という文字列キーを持つ。メッセージテンプレートは「$1」で、呼び出し側で完全なメッセージを構築する。

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

警告が発生する具体的なコード箇所を特定する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | parser.nim | `compiler/parser.nim` | simpleExprAux関数内（929-941行目）でドットライク演算子を検出し警告を発行 |

**主要処理フロー**:
1. **929行目**: `let isDotLike2 = p.tok.isDotLike` でドットライク判定
2. **930行目**: `if isDotLike2 and p.lex.config.isDefined("nimPreviewDotLikeOps"):` でプレビュー有効時の分岐
3. **932-933行目**: プレビュー有効時は新しい解析（dotLikeExpr）を適用
4. **935-936行目**: プレビュー無効時は警告を発行

#### Step 3: ドットライク判定を理解する

isDotLike関数の実装を確認する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | parser.nim | `compiler/parser.nim` | isDotLike関数（場所要確認）でトークンがドットライク演算子かを判定 |

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

```
parser.simpleExprAux (compiler/parser.nim:920付近)
    │
    ├─ tok.isDotLike (ドットライク判定)
    │
    ├─ config.isDefined("nimPreviewDotLikeOps")
    │      │
    │      ├─ 定義済み → dotLikeExpr呼び出し（新解析）
    │      │
    │      └─ 未定義 → parMessage呼び出し（警告）
    │
    └─ parMessage (compiler/parser.nim)
           │
           └─ liMessage (compiler/msgs.nim:536)
                  │
                  └─ styledMsgWriteln (compiler/msgs.nim:401)
```

### データフロー図

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

ソースコード ───▶ Parser ───▶ ドットライク検出 ───▶ warnDotLikeOps
    │                            │                        │
    └─ `.+` `.mod` 等 ──────────┘                        └─ stderr
                                  │
              nimPreviewDotLikeOps未定義 ────────────────┘
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | TMsgKind列挙型とメッセージ文字列の定義 |
| parser.nim | `compiler/parser.nim` | ソース | パーサー、warnDotLikeOps発行箇所 |
| msgs.nim | `compiler/msgs.nim` | ソース | メッセージ出力関数群の実装 |
| options.nim | `compiler/options.nim` | ソース | isDefined関数（プレビューフラグ確認） |
