# 通知設計書 19-PermissionException

## 概要

本ドキュメントは、HH\Lib\OS\PermissionException例外クラスの設計を記述する。この例外は、権限不足により操作が拒否された場合に発生するエラーを通知するためのものである。

### 本通知の処理概要

PermissionExceptionは、OSレベルでファイルやリソースへのアクセス権限が不足している際に、アプリケーションに対してエラー状態を通知する例外クラスである。POSIX errnoのEACCES（Permission denied）およびEPERM（Operation not permitted）エラーに対応し、ErrnoExceptionの具象クラスとして実装されている。

**業務上の目的・背景**：ファイルシステムやリソース操作において、現在のユーザーまたはプロセスに必要な権限がない場合（例：読み取り権限のないファイルの読み取り、所有者以外によるchmod等）、この状態を明確に識別してハンドリングする必要がある。PermissionExceptionは、このような権限エラーを型安全に表現し、セキュリティ関連の操作失敗を明確に通知する。

**通知の送信タイミング**：この例外は以下のような状況で発生する。(1) 読み取り・書き込み・実行権限のないファイルへのアクセス（EACCES）。(2) ファイル所有者でないユーザーによる特権操作（EPERM）。(3) ディレクトリの検索権限がない場合（EACCES）。(4) setuid/setgidなどの特権操作の失敗（EPERM）。

**通知の受信者**：この例外は、ファイルシステム/リソース操作を実行しているコード（呼び出し元）に対してスローされる。具体的には、ファイルI/Oや特権操作を実装しているアプリケーションコードが受信者となる。

**通知内容の概要**：例外オブジェクトには、発生したerrnoコード（EACCESまたはEPERM）とエラーメッセージが含まれる。getErrno()メソッドにより具体的なエラーコードを取得可能である。

**期待されるアクション**：受信者は、この例外をキャッチして適切なエラーハンドリングを行うことが期待される。典型的には、権限昇格の要求、代替パスの使用、ユーザーへの権限不足通知、またはセキュリティログの記録などを行う。

## 通知種別

例外スロー（Exception Throw）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期（例外スロー） |
| 優先度 | 高（セキュリティ関連エラー） |
| リトライ | N/A（例外のため） |

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

例外は、ファイルシステム/リソース操作を実行した呼び出し元のコードに対してスローされる。コールスタックに沿って上位に伝播し、適切なtry-catchブロックで捕捉される。

## 通知テンプレート

### 例外メッセージの場合

| 項目 | 内容 |
|-----|------|
| 例外クラス | HH\Lib\OS\PermissionException |
| 親クラス | HH\Lib\OS\ErrnoException |
| 形式 | 文字列メッセージ |

### 本文テンプレート

```
{ERRNO_NAME}({ERRNO_VALUE}): {ERROR_MESSAGE}
```

例：
- `EACCES(13): Permission denied: /etc/shadow`
- `EPERM(1): Operation not permitted: chown on /root/file`

### 添付ファイル

該当なし（例外通知のため）

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| ERRNO_NAME | エラー番号の名称（EACCES/EPERM） | OS\Errno::EACCES または OS\Errno::EPERM | Yes |
| ERRNO_VALUE | エラー番号の数値 | errno.h定義値（EACCES: 13, EPERM: 1） | Yes |
| ERROR_MESSAGE | エラーの詳細メッセージ | 呼び出し元から提供 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| システムコール | open() | 読み取り/書き込み権限なし | ファイルアクセス権限不足 |
| システムコール | chmod()/chown() | 所有者でない | 所有者権限が必要な操作 |
| システムコール | execve() | 実行権限なし | 実行権限不足 |
| システムコール | ディレクトリ操作 | 検索権限なし | ディレクトリ検索権限不足 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| 十分な権限 | 必要な権限がある場合は正常処理 |
| root権限 | root/特権ユーザーは多くの制限を回避可能 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[リソース操作実行] --> B{権限チェック}
    B -->|許可| C[操作続行]
    B -->|拒否| D{エラー種別}
    D -->|EACCES| E[PermissionException生成]
    D -->|EPERM| E
    D -->|その他| F[他のErrnoException]
    E --> G[メッセージ設定]
    G --> H[例外スロー]
    H --> I[呼び出し元でキャッチ]
```

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

### 参照テーブル一覧

該当なし（ファイルシステム/OS例外のため）

### 更新テーブル一覧

該当なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| EACCES | アクセス権限不足 | 権限変更、代替パス、エラー通知 |
| EPERM | 操作権限不足 | 特権取得、操作変更 |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | N/A（権限変更後に再試行可能） |
| リトライ間隔 | N/A |
| リトライ対象エラー | 権限修正後に再試行可能 |

## 配信設定

### レート制限

該当なし（例外スローのため）

### 配信時間帯

該当なし

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

- 権限エラーはセキュリティログに記録すべき
- エラーメッセージで詳細なパスを公開する際は注意
- 権限昇格攻撃の検知に活用可能

## 備考

- PermissionExceptionはErrnoExceptionを直接継承
- EACCESとEPERMの両方を処理するため、コンストラクタでerrnoコードを受け取る設計
- _getValidErrnos()メソッドでEACCESとEPERMの集合を返却
- EACCESはアクセス権限、EPERMは操作権限に関連

---

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

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

### 推奨読解順序

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

まず、Errno列挙型とErrnoExceptionの継承階層を理解することが重要である。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | Errno.php | `src/os/Errno.php` | EACCESの定義（51行目）、EPERMの定義（39行目） |
| 1-2 | ErrnoException.php | `src/os/ErrnoException.php` | 例外クラス階層の理解（197-214行目） |

**読解のコツ**: EACCESは13、EPERMは1の値を持つ。EACCESはアクセス権限、EPERMは操作権限のエラー。

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

例外がスローされる起点となるコードを特定する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | Errno.php (private) | `src/os/_Private/Errno.php` | throw_errno関数とget_throw_errno_impl関数（16-68行目） |

**主要処理フロー**:
1. **29-33行目**: multiple_codes配列にPermissionExceptionが含まれる（32行目）
2. **51-57行目**: multiple_codesループで_getValidErrnos()の各errnoにスロー関数を登録
3. **61-67行目**: errno値に基づいて適切な例外をスロー

#### Step 3: 例外クラスの実装を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | ErrnoException.php | `src/os/ErrnoException.php` | PermissionExceptionの実装（197-214行目） |

**主要処理フロー**:
- **197行目**: final classとしてErrnoExceptionを継承
- **198-206行目**: コンストラクタでerrno値の検証を実施（invariant使用）
- **208-213行目**: _getValidErrnos()でEACCESとEPERMを返却

#### Step 4: errno値の違いを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 4-1 | Errno.php | `src/os/Errno.php` | EACCESとEPERMの定義の違い（39行目、51行目） |

**主要処理フロー**:
- **39行目**: EPERM = _OS\EPERM（操作が許可されていない）
- **51行目**: EACCES = _OS\EACCES（アクセスが拒否された）

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

```
アプリケーションコード
    │
    ├─ OS\open() on protected file
    │      └─ wrap_impl()
    │             └─ throw_errno(EACCES, ...)
    │                    └─ new PermissionException(EACCES, $msg)
    │
    ├─ OS\chmod() without ownership
    │      └─ throw_errno(EPERM, ...)
    │             └─ new PermissionException(EPERM, $msg)
    │
    └─ _Private\_OS\wrap_impl()
           └─ throw_errno()
                  └─ get_throw_errno_impl()
                         └─ throw new PermissionException($code, $msg)
```

### データフロー図

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

リソース操作 ───▶ OS権限チェック ───▶ 権限判定
                        │
                        ▼
                   権限不足
                   errno = EACCES/EPERM
                        │
                        ▼
                 PermissionException生成
                        │
                        ▼
                   例外スロー ───▶ 呼び出し元のcatchブロック
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| ErrnoException.php | `src/os/ErrnoException.php` | ソース | PermissionExceptionクラス定義（197-214行目） |
| Errno.php | `src/os/Errno.php` | ソース | EACCES定数定義（51行目）、EPERM定数定義（39行目） |
| Errno.php | `src/os/_Private/Errno.php` | ソース | throw_errno関数実装、multiple_codes配列定義 |
| wrap_impl.php | `src/os/_Private/wrap_impl.php` | ソース | OSエラーラッパー |
| open.php | `src/os/open.php` | ソース | ファイルオープン関数 |
