ファイルシステム

1. lockをfileに関連付けられたロックとします。

2. countをfileに関連付けられた共有ロック数とします。

3. もしvalueが"exclusive"の場合:

   1. もしlockが"open"の場合:

      1. ロックを"taken-exclusive"に設定します。

      2. "success"を返します。

4. もしvalueが"shared"の場合:

   1. もしlockが"open"の場合:

      1. lockを"taken-shared"に設定します。

      2. countを1に設定します。

      3. "success"を返します。

   2. それ以外でlockが"taken-shared"の場合:

      1. countを1増やします。

      2. "success"を返します。

5. "failure"を返します。

注: これらの手順はファイルシステムキュー上で実行される必要があります。

1. lockをfileに関連付けられたロックとします。

2. countをfileに関連付けられた共有ロック数とします。

3. もしlockが"taken-shared"の場合:

   1. countを1減らします。

   2. もしcountが0の場合、lockを"open"に設定します。

4. それ以外の場合、lockを"open"に設定します。

注: これらの手順はファイルシステムキュー上で実行される必要があります。

次の手順で 解決する 対象は、 ファイルシステム ロケーター child であり、基準は ディレクトリロケーター root である：

1. result を 新しい プロミス とする。

2. 以下の手順をエンキューする 先は ファイルシステム キュー とする：

   1. もし child の ロケーター の ルート と異なるのが root の ロケーター の ルート なら、 解決 を result に対して null で行い、これらの手順を中止する。

   2. childPath を child の ロケーター の パス とする。

   3. rootPath を root の ロケーター の パス とする。

   4. もし childPath と 同じパス なのが rootPath なら、 解決 を result に対して « » で行い、これらの手順を中止する。

   5. もし rootPath の サイズ が 上回るのが childPath の サイズ なら、 解決 を result に対して null で行い、これらの 手順を中止する。

   6. 各 index （rootPath の インデックス）について：

      1. もし rootPath.[[index]] と異なるのが childPath.[[index]] なら、 解決 を result に対して null で行い、中止するのは これらの手順とする。

   7. relativePath を « » とする。

   8. 各 index （次の 範囲 内の値： 開始値は rootPath の サイズ、 終了値は childPath の サイズ とし、 終了値を含まない）について、 追加 する値は childPath.[[index]]、追加先は relativePath とする。

   9. 解決 を result に対して relativePath で行う。

3. result を返す。

• もしlocatorがファイルロケータである場合、それはファイルエントリまたはnullを返します。

• もしlocatorがディレクトリロケータである場合、それはディレクトリエントリまたはnullを返します。

• これらの手順がnull以外のentryを返した場合:

  • ロケータを取得する操作でentry がlocatorを返すことを前提とします（中間的なファイルシステム操作が実行されていない場合）。

  • entryの名前は、locatorの パスの最後の項目です。

• もしentryがファイルエントリである場合、 それはファイルロケータを返します。

• もしentryがディレクトリエントリである場合、それはディレクトリロケータを返します。

• これらの手順がlocatorを返した場合:

  • エントリを特定する操作でlocator がentryを返すことを前提とします（中間的なファイルシステム操作が実行されていない場合）。

  • entryの名前は、locatorの パスの最後の項目です。

以下は、value、serialized、およびforStorageを与えられたときのシリアライズ手順です。

1. serialized.[[Origin]]をvalueの関連する設定オブジェクトのオリジンに設定します。

2. serialized.[[Locator]]をvalueのロケータに設定します。

1. もしserialized.[[Origin]]がvalueの関連する設定オブジェクトのオリジンと同一オリジンでない場合、 "DataCloneError" DOMException をスローします。

2. valueのロケータをserialized.[[Locator]]に設定します。

1. realm を this の 関連する Realm とする。

2. p を 新しい Promise として realm 内で生成する。

3. 以下の手順を ファイルシステムキュー にエンキューする：

   1. もし this の locator が 同じ locator を other の locator として持つ場合、 resolve p を true で解決する。

   2. それ以外の場合、resolve p を false で解決する。

4. p を返す。

1. handle を 新しい FileSystemFileHandle として realm 内で生成する。

2. childType を "file" とする。

3. childRoot を parentLocator の root のコピーとする。

4. childPath を clone した parentLocator の path に append した name とする。

5. handle の locator を以下の ファイルシステムロケータ として設定する：その kind は childType、 root は childRoot、そして path は childPath。

6. handle を返す。

1. handle を新しい FileSystemFileHandle として realm 内に作成する。

2. handle のロケーターを、ファイルシステムロケーターであって、その 種別が "file"、 ルートが root であり、かつ パスが path であるものに設定する。

3. handle を返す。

1. result を 新しい Promise として作成する。

2. locator を this の locator とする。

3. global を this の 関連するグローバルオブジェクト とする。

4. 以下の手順をエンキューする ファイルシステムキュー に：

   1. entry を、エントリを見つける手順を locator に対して実行した結果とする。

   2. accessResult を、entry の query access に "read" を渡して実行した結果とする。

   3. ストレージタスクをキューに追加する global を使用して以下を実行：

      1. もし accessResult の permission state が "granted" でない場合、 reject result を accessResult の エラー名 を持つ DOMException として解決し、これらの手順を中止する。

      2. もし entry が null の場合、reject result を "NotFoundError" DOMException として解決し、これらの手順を中止する。

      3. アサート: entry が ファイルエントリ であること。

      4. f を新しい File とする。

      5. f の スナップショット状態 を entry の現在の状態に設定する。

      6. f の基礎となるバイトシーケンスを entry の バイナリデータ のコピーに設定する。

      7. f の name を entry の name に設定する。

      8. f の lastModified を entry の 修正タイムスタンプ に設定する。

      9. f の type を例えば entry の name やそのファイル拡張子に基づく 実装依存の値 に設定する。

         読み取りおよびスナップショットの動作仕様については、[FILE-API] 仕様にてさらに詳細に記述する必要がありますが、 現在のところは曖昧なままです。

      10. resolve result を f で解決する。

5. result を返す。

1. result を 新しい Promise として作成する。

2. locator を this の locator とする。

3. realm を this の 関連する Realm とする。

4. global を this の 関連するグローバルオブジェクト とする。

5. 以下の手順をエンキューする ファイルシステムキュー に：

   1. entry を、エントリを見つける手順を locator に対して実行した結果とする。

   2. accessResult を、entry の request access に "readwrite" を渡して実行した結果とする。

   3. もし accessResult の permission state が "granted" でない場合、 ストレージタスクをキューに追加する global を使用して、 reject result を accessResult の エラー名 を持つ DOMException として解決し、これらの手順を中止する。

   4. もし entry が null の場合、 ストレージタスクをキューに追加する global を使用して、 reject result を "NotFoundError" DOMException として解決し、これらの手順を中止する。

   5. アサート: entry が ファイルエントリ であること。

   6. lockResult を、ロックを取得する 手順を "shared" を指定して entry に対して実行した結果とする。

   7. ストレージタスクをキューに追加する global を使用して以下を実行：

      1. もし lockResult が "failure" の場合、 reject result を "NoModificationAllowedError" DOMException として解決し、これらの手順を中止する。

      2. stream を、新しい FileSystemWritableFileStream を作成する 手順を entry に対して realm 内で実行した結果とする。

      3. もし options["keepExistingData"] が true の場合：

         1. stream の [[buffer]] を、 entry の バイナリデータ のコピーに設定する。

      4. resolve result を stream で解決する。

6. result を返す。

1. result を 新しい Promise として作成する。

2. locator を this の locator とする。

3. realm を this の 関連する Realm とする。

4. global を this の 関連するグローバルオブジェクト とする。

5. isInABucketFileSystem を true とし、this が バケットファイルシステム内にある かどうかを判定する。それ以外の場合は false とする。

6. 以下の手順をエンキューする ファイルシステムキュー に：

   1. entry を、エントリを見つける手順を locator に対して実行した結果とする。

   2. accessResult を、entry の request access に "readwrite" を渡して実行した結果とする。

   3. もし accessResult の permission state が "granted" でない場合、 ストレージタスクをキューに追加する global を使用して、 reject result を accessResult の エラー名 を持つ DOMException として解決し、これらの手順を中止する。

   4. もし isInABucketFileSystem が false の場合、 ストレージタスクをキューに追加する global を使用して、 reject result を "InvalidStateError" DOMException として解決し、これらの手順を中止する。

   5. もし entry が null の場合、 ストレージタスクをキューに追加する global を使用して、 reject result を "NotFoundError" DOMException として解決し、これらの手順を中止する。

   6. アサート: entry が ファイルエントリ であること。

   7. lockResult を、ロックを取得する 手順を "exclusive" を指定して entry に対して実行した結果とする。

   8. ストレージタスクをキューに追加する global を使用して以下を実行：

      1. もし lockResult が "failure" の場合、 reject result を "NoModificationAllowedError" DOMException として解決し、これらの手順を中止する。

      2. handle を、新しい FileSystemSyncAccessHandle を作成する 手順を entry に対して realm 内で実行した結果とする。

      3. resolve result を handle で解決する。

7. result を返す。

1. handle を 新しい FileSystemDirectoryHandle として realm 内で生成する。

2. childType を "directory" とする。

3. childRoot を parentLocator の root のコピーとする。

4. childPath を clone した parentLocator の path に append した name とする。

5. handle の locator を以下の ファイルシステムロケータ として設定する：その kind は childType、 root は childRoot、そして path は childPath。

6. handle を返す。

1. handle を 新しい FileSystemDirectoryHandle として realm 内で生成する。

2. handle の locator を以下の ファイルシステムロケータ として設定する：その kind は "directory"、 root は root、そして path は path。

3. handle を返す。

1. iterator の 過去の結果 を空の セット に設定する。

1. promise を 新しい Promise として作成する。

2. 以下の手順をエンキューする ファイルシステムキュー に：

   1. directory を、エントリを見つける 手順を handle の locator に対して実行した結果とする。

   2. accessResult を、directory の query access に "read" を渡して実行した結果とする。

   3. ストレージタスクをキューに追加する handle の 関連するグローバルオブジェクト を使用して以下を実行：

      1. もし accessResult の permission state が "granted" でない場合、 reject promise を accessResult の エラー名 を持つ DOMException として解決し、これらの手順を中止する。

      2. もし directory が null の場合、 reject promise を "NotFoundError" DOMException として解決し、これらの手順を中止する。

         1. アサート: directory が ディレクトリエントリ であること。

      3. child を directory の 子 の中から、child の name が iterator の 過去の結果 に 含まれていないファイルシステムエントリとして選び、それが存在しない場合は null とする。

         注意: これは意図的に反復順序について非常に曖昧にしています。 異なるプラットフォームやファイルシステムは反復順序について異なる保証を提供し、すべてのプラットフォームで効率的に実装できるようにしたいと考えています。 したがって、どの順序で要素が返されるかについては一切保証されません。

      4. もし child が null の場合、 resolve promise を undefined として解決し、これらの手順を中止する。

      5. 追加 child の name を iterator の 過去の結果 に。

      6. もし child が ファイルエントリ である場合：

         1. result を 子の FileSystemFileHandle を作成する 手順を handle の locator と child の name に対して handle の 関連する Realm 内で実行した結果とする。

      7. それ以外の場合：

         1. result を 子の FileSystemDirectoryHandle を作成する 手順を handle の locator と child の name に対して handle の 関連する Realm 内で実行した結果とする。

      8. resolve promise を (child の name, result) で解決する。

3. promise を返す。

1. result を 新しい プロミス とする。

2. realm を this の 関連する Realm とする。

3. locator を this の ロケーター とする。

4. global を this の 関連するグローバルオブジェクト とする。

5. 以下の手順をエンキューする 先は ファイルシステム キュー とする：

   1. もし name が 有効なファイル名 でなければ、ストレージタスクをキューに入れる 際に global を用い、タスクでは 拒否 を result に対して TypeError で行う。そして これらの手順を中止する。

   2. entry を次の結果とする：エントリーの特定 に locator を与える。

   3. もし options["create"] が true なら：

      1. accessResult を、次を実行した結果とする：entry の アクセス要求 に "readwrite" を与える。

   4. そうでなければ：

      1. accessResult を、次を実行した結果とする：entry の アクセス照会 に "read" を与える。

   5. ストレージタスクをキューに入れる 際に global を用い、 そのタスクで次の手順を実行する：

      1. もし accessResult の 許可 状態 と異なるのが "granted" なら、 拒否 を result に対して次の DOMException （名前は accessResult の エラー名）で行い、中止するのは これらの手順とする。

      2. もし entry が null なら、拒否 を result に対して "NotFoundError" DOMException で行い、これらの手順を中止する。

      3. 表明: entry は ディレクトリ エントリー である。

      4. 各 child （ entry の 子）について：

         1. もし child の 名前 が name に等しいなら：

            1. もし child が ディレクトリ エントリー なら：

               1. 拒否 を result に対して "TypeMismatchError" DOMException で行い、これらの手順を中止する。

            2. 解決 を result に対して行う。値は 次の結果とする： 作成（ 子 FileSystemFileHandle） を、 locator と child の 名前 を用いて realm 内で行う。そして これらの手順を中止する。

      5. もし options["create"] が false なら：

         1. 拒否 を result に対して "NotFoundError" DOMException で行い、 これらの手順を中止する。

      6. child を新しい ファイルエントリー とし、その アクセス照会 および アクセス要求 アルゴリズムは、 entry のものとする。

      7. child の 名前 を name に設定する。

      8. child の バイナリデータ を空の バイト列 に設定する。

      9. child の 変更タイムスタンプ を現在時刻に設定する。

      10. 追加 する値は child、追加先は entry の 子 とする。

      11. 基盤となるファイルシステム内での child の作成が例外をスローするなら、 拒否 を result に対してその例外で行い、 これらの手順を中止する。

          これがスローし得る例外を、より明確に規定する必要がある。 [課題 #11]

      12. 解決 を result に対して行う。値は次の結果とする： 作成（子 FileSystemFileHandle） を locator と child の 名前 を用いて realm 内で行う。

6. result を返す。

1. result を 新しい プロミス とする。

2. realm を this の 関連する Realm とする。

3. locator を this の ロケーター とする。

4. global を this の 関連するグローバルオブジェクト とする。

5. 以下の手順をエンキューする 先は ファイルシステム キュー とする：

   1. もし name が 有効なファイル名 でなければ、ストレージタスクをキューに入れる 際に global を用い、タスクでは 拒否 を result に対して TypeError で行う。そして これらの手順を中止する。

   2. entry を次の結果とする：エントリーの特定 に locator を与える。

   3. もし options["create"] が true なら：

      1. accessResult を、次を実行した結果とする：entry の アクセス要求 に "readwrite" を与える。

   4. そうでなければ：

      1. accessResult を、次を実行した結果とする：entry の アクセス照会 に "read" を与える。

   5. ストレージタスクをキューに入れる 際に global を用い、 そのタスクで次の手順を実行する：

      1. もし accessResult の 許可 状態 と異なるのが "granted" なら、 拒否 を result に対して次の DOMException （名前は accessResult の エラー名）で行い、中止するのは これらの手順とする。

      2. もし entry が null なら、拒否 を result に対して "NotFoundError" DOMException で行い、これらの手順を中止する。

      3. 表明: entry は ディレクトリ エントリー である。

      4. 各 child （ entry の 子）について：

         1. もし child の 名前 が name に等しいなら：

            1. もし child が ファイルエントリー なら：

               1. 拒否 を result に対して "TypeMismatchError" DOMException で行い、これらの手順を中止する。

            2. 解決 を result に対して行う。値は 次の結果とする： 作成（ 子 FileSystemDirectoryHandle） を、 locator と child の 名前 を用いて realm 内で行う。そして これらの手順を中止する。

      5. もし options["create"] が false なら：

         1. 拒否 を result に対して "NotFoundError" DOMException で行い、 これらの手順を中止する。

      6. child を新しい ディレクトリエントリー とし、その アクセス照会 および アクセス要求 アルゴリズムは、 entry のものとする。

      7. child の 名前 を name に設定する。

      8. child の 子 を空の 集合 に設定する。

      9. 追加 する値は child、追加先は entry の 子 とする。

      10. 基盤となるファイルシステム内での child の作成が例外をスローするなら、 拒否 を result に対してその例外で行い、 これらの手順を中止する。

          これがスローし得る例外を、より明確に規定する必要がある。 [課題 #11]

      11. 解決 を result に対して行う。値は次の結果とする： 作成（子 FileSystemDirectoryHandle） を、 locator と child の 名前 を用いて realm 内で行う。

6. result を返す。

1. result を 新しい プロミス とする。

2. locator を this の ロケーター とする。

3. global を this の 関連するグローバルオブジェクト とする。

4. 以下の手順をエンキューする 先は ファイルシステム キュー とする：

   1. もし name が 有効なファイル名 でなければ、ストレージタスクをキューに入れる 際に global を用い、タスクでは 拒否 を result に対して TypeError で行う。そして これらの手順を中止する。

   2. entry を次の結果とする：エントリーの特定 に locator を与える。

   3. accessResult を、次を実行した結果とする：entry の アクセス要求 に "readwrite" を与える。

   4. ストレージタスクをキューに入れる 際に global を用い、 そのタスクで次の手順を実行する：

      1. もし accessResult の 許可 状態 と異なるのが "granted" なら、 拒否 を result に対して次の DOMException （名前は accessResult の エラー名）で行い、中止するのは これらの手順とする。

      2. もし entry が null なら、拒否 を result に対して "NotFoundError" DOMException で行い、これらの手順を中止する。

      3. 表明: entry は ディレクトリ エントリー である。

      4. 各 child （ entry の 子）について：

         1. もし child の 名前 が name に等しいなら：

            1. もし child が ディレクトリ エントリー なら：

               1. もし child の 子 が 空 でなく、かつ options["recursive"] が false なら：

                  1. 拒否 を result に対して "InvalidModificationError" DOMException で行い、 これらの手順を中止する。

            2. 除去 する対象を child とし、 entry の 子 から除去する。

            3. 基盤となるファイルシステム内での child の削除によってスローされたものが 何らかの 例外なら、拒否 を result に対してその 例外で行い、 これらの手順を中止する。

               注記: もし recursive が true なら、削除は失敗することがあり、 その失敗はアトミックではない場合がある。一部のファイルやディレクトリが 削除されても、他のファイル やディレクトリが残っている可能性がある。

               より明確に規定する必要がある、これがどのような例外を スローし得るかを。 [課題 #11]

            4. 解決 を result に対して undefined で行う。

      5. 拒否 を result に対して "NotFoundError" DOMException で行う。

5. result を返す。

1. stream を 新しい FileSystemWritableFileStream として realm 内に作成します。

2. stream の [[file]] を file に設定します。

3. writeAlgorithm を chunk 引数を取り、stream および chunk を用いて チャンクを書き込む アルゴリズムを実行した結果を返すアルゴリズムとします。

4. closeAlgorithm を次の手順とします:

   1. closeResult を 新しいプロミス とします。

   2. 以下の手順をエンキュー して、ファイルシステムキュー に送ります:

      1. accessResult を file の アクセスクエリ を "readwrite" にして実行した結果とします。

      2. ストレージタスクをエンキュー して file の 関連するグローバルオブジェクト に以下の手順を実行させます:

         1. もし accessResult の 権限状態 が "granted" でない場合、 closeResult を、拒否する。このとき、 accessResult のエラー名 を名前に持つ DOMException を拒否理由とし、これらの手順を中止します。

         2. 実装依存 のマルウェアスキャンおよび安全なブラウジングチェックを実行します。 これらのチェックが失敗した場合、プロミスを拒否 して "AbortError" DOMException を 用いてこれらの手順を中止します。

         3. stream の [[file]] の バイナリデータ を stream の [[buffer]] に設定します。 それが例外をスローした場合、プロミスを拒否 してその例外を用いてこれらの手順を中止します。

            注: これは書き込み対象の ディスク上のファイルの内容を原子的に更新することが期待されています。

         4. 以下の手順をエンキュー して、ファイルシステムキュー に送ります:

            1. ロックを解放 して stream の [[file]] に設定します。

            2. ストレージタスクをエンキュー して file の 関連するグローバルオブジェクト に プロミスを解決 して undefined を返します。

   3. closeResult を返します。

5. abortAlgorithm を次の手順とします:

   1. 以下の手順をエンキュー して、ファイルシステムキュー に送ります:

      1. ロックを解放 して stream の [[file]] に設定します。

6. highWaterMark を 1 に設定します。

7. sizeAlgorithm を 1 を返すアルゴリズムとします。

8. セットアップ を stream に対して行い、writeAlgorithm を writeAlgorithm に、closeAlgorithm を closeAlgorithm に、abortAlgorithm を abortAlgorithm に、highWaterMark を highWaterMark に、そして sizeAlgorithm を sizeAlgorithm に設定します。

9. stream を返します。

1. input を、converting により chunk を FileSystemWriteChunkType に変換した結果とする。 ここで例外が投げられた場合、その例外で a promise rejected with を返す。

2. p を a new promise とする。

3. Enqueue the following steps を file system queue に行う:

   1. accessResult を、 stream の [[file]] の query access を "readwrite" を与えて実行した結果とする。

   2. stream の relevant global object で Queue a storage task し、次を実行する:

      1. もし accessResult の permission state が "granted" でなければ、 reject p with DOMException （accessResult の error name）として、以降の手順を中止する。

      2. command を、input が dictionary であれば input["type"]、 そうでなければ "write" とする。

      3. もし command が "write" なら:

         1. もし input が undefined であるか、または input が dictionary であって input["data"] が exist しないなら、 reject p with TypeError し、以降の手順を中止する。

         2. data を、input が dictionary であれば input["data"]、 そうでなければ input とする。

         3. writePosition を stream の [[seekOffset]] とする。

         4. もし input が dictionary で input["position"] が exists するなら、 writePosition を input["position"] に設定する。

         5. oldSize を stream の [[buffer]] の length とする。

         6. もし data が BufferSource なら、 dataBytes を a copy of data とする。

         7. そうでなく、data が Blob であるなら:

            1. dataBytes を read operation を data に対して実行した結果とする。 ここで例外が投げられたなら、reject p with その例外 とし、以降の手順を中止する。

         8. それ以外の場合:

            1. Assert: data は USVString である。

            2. dataBytes を UTF-8 encoding で data を符号化した結果とする。

         9. もし writePosition が oldSize より大きければ、 writePosition - oldSize 個の 0x00 (NUL) バイトを stream の [[buffer]] の末尾に付加する。

            注: 実装は、飛ばされたファイル内容が実際に NUL バイトで埋められているかのように振る舞うことが期待される。 これはそれらのバイトが実際にディスクへ書き込まれ、ディスク容量を消費しなければならないことを意味しない。 多くのファイルシステムは、これらの NUL バイトが実際のディスク容量を消費しない「スパースファイル」をサポートしている。

         10. head を、byte sequence で stream の [[buffer]] の最初の writePosition バイトを含むものとする。

         11. tail を空の byte sequence とする。

         12. もし writePosition + data の length が oldSize より小さいなら:

             1. tail を、byte sequence で stream の [[buffer]] の 最後の oldSize - (writePosition + data の length) バイトを含むものとする。

         13. stream の [[buffer]] を head、data、および tail の連結に設定する。

         14. 前の手順で stream の [[buffer]] を変更する操作が storage quota 超過で失敗した場合、 reject p with QuotaExceededError とし、以降の手順を中止し、 stream の [[buffer]] を変更しないままにする。

             注: Storage quota は bucket file system に保存されたファイルにのみ適用される。 しかし、この操作は他のファイルでも例えば書き込み先ディスクの容量不足により失敗し得る。

         15. stream の [[seekOffset]] を writePosition + data の length に設定する。

         16. Resolve p。

      4. それ以外で command が "seek" の場合:

         1. Assert: chunk は dictionary である。

         2. もし chunk["position"] が exist しないなら、 reject p with TypeError とし、以降の手順を中止する。

         3. stream の [[seekOffset]] を chunk["position"] に設定する。

         4. Resolve p。

      5. それ以外で command が "truncate" の場合:

         1. Assert: chunk は dictionary である。

         2. もし chunk["size"] が exist しないなら、 reject p with TypeError とし、以降の手順を中止する。

         3. newSize を chunk["size"] とする。

         4. oldSize を stream の [[buffer]] の length とする。

         5. もし newSize が oldSize より大きいなら:

            1. stream の [[buffer]] を、stream の [[buffer]] に、newSize-oldSize 個の 0x00 バイトを含む byte sequence を連結した byte sequence に設定する。

            2. もし直前の手順の操作が storage quota 超過により失敗したなら、 reject p with QuotaExceededError とし、以降の手順を中止し、 stream の [[buffer]] を変更しないままにする。

               注: Storage quota は bucket file system に保存されたファイルにのみ適用される。 しかしこの操作は他のファイルでも、例えば書き込み先ディスクの空き容量不足により失敗し得る。

         6. それ以外で newSize が oldSize より小さい場合:

            1. stream の [[buffer]] を、stream の [[buffer]] の 先頭 newSize バイトを含む byte sequence に設定する。

         7. もし stream の [[seekOffset]] が newSize より大きいなら、 stream の [[seekOffset]] を newSize に設定する。

         8. Resolve p。

4. p を返す。

1. writerを、ライターを取得することでthisに対して取得します。

2. resultを、writerに対してチャンクを書き込む 結果として設定します。

3. ライターを解放する writer。

4. resultを返します。

1. writerを、ライターを取得することでthisに対して取得します。

2. resultを、writerに対してチャンクを書き込む 結果として設定します。 «[ "type" → "seek", "position" → position ]».

3. ライターを解放する writer。

4. resultを返します。

1. writerを、ライターを取得することでthisに対して取得します。

2. resultを、writerに対してチャンクを書き込む 結果として設定します。 «[ "type" → "truncate", "size" → size ]».

3. ライターを解放する writer。

4. resultを返します。

1. handle を new された FileSystemSyncAccessHandle として realm 内で作成します。

2. handle の [[file]] を file に設定します。

3. handle の [[state]] を "open" に設定します。

4. handle を返します。

1. this の [[state]] が "closed" であれば、 throw "InvalidStateError" DOMException を投げる。

2. bufferSize を buffer の byte length とする。

3. fileContents を this の [[file]] の binary data とする。

4. fileSize を fileContents の length とする。

5. readStart を options["at"] が exists するなら options["at"]、そうでなければ this の file position cursor とする。

6. 基盤となるファイルシステムが readStart のファイルオフセットからの読み出しをサポートしない場合、 throw TypeError を投げる。

7. もし readStart が fileSize より大きいなら:

   1. this の file position cursor を fileSize に設定する。

   2. 0 を返す。

8. readEnd を readStart + (bufferSize − 1) とする。

9. もし readEnd が fileSize より大きいなら、readEnd を fileSize に設定する。

10. bytes を byte sequence で、fileContents の readStart から readEnd までの バイトを含むものとする。

11. result を bytes の length とする。

12. 直前の手順で fileContents からの読み取り操作が失敗した場合:

    1. 部分的な読み取りがあり、bytes に読み込まれたバイト数が分かるなら、 result をその読み取ったバイト数に設定する。

    2. そうでなければ result を 0 に設定する。

13. arrayBuffer を buffer の underlying buffer とする。

14. Write bytes を arrayBuffer に書き込む。

15. this の file position cursor を readStart + result に設定する。

16. result を返す。

1. もし this の [[state]] が "closed" なら、 throw "InvalidStateError" DOMException を投げる。

2. writePosition を options["at"] が exists するなら options["at"]、そうでなければ this の file position cursor とする。

3. 基盤となるファイルシステムが writePosition のファイルオフセットへの書き込みをサポートしない場合、 throw TypeError を投げる。

4. fileContents を this の [[file]] の binary data のコピーとする。

5. oldSize を fileContents の length とする。

6. bufferSize を buffer の byte length とする。

7. もし writePosition が oldSize より大きいなら、 writePosition − oldSize 個の 0x00 (NUL) バイトを fileContents の末尾に付加する。

   Note: スキップされた領域が実際に NUL バイトで埋められているかのように実装は振る舞うことが期待される。 これはそれらのバイトが必ずしもディスクへ書き込まれ領域を消費することを意味しない。 多くのファイルシステムは NUL バイトが物理的領域を消費しないいわゆるスパースファイルをサポートしている。

8. head を byte sequence で fileContents の先頭 writePosition バイトを含むものとする。

9. tail を空の byte sequence とする。

10. もし writePosition + bufferSize が oldSize より小さいなら:

    1. tail を byte sequence で、 fileContents の最後の oldSize − (writePosition + bufferSize) バイトを含むものに設定する。

11. newSize を head の length + bufferSize + tail の length とする。

12. もし newSize − oldSize が利用可能な storage quota を超えるなら、 throw QuotaExceededError を投げる。

13. this の [[file]] の binary data を head、buffer の内容、および tail の連結に設定する。

    Note: buffer の内容へアクセスする機構は意図的に曖昧にしてある。 多くの実装は（buffer のコピーを作成する代わりに）ホスト OS への直接書き込みを行うことで性能を重視すると考えられ、 これにより書き込み順序や部分書き込み結果の詳細な仕様化を妨げる。

14. 直前の手順で this の [[file]] の binary data を変更する操作が失敗した場合:

    1. 部分的な書き込みがあり、buffer から書き込まれたバイト数が判明しているなら:

       1. bytesWritten を buffer から書き込まれたバイト数とする。

       2. this の file position cursor を writePosition + bytesWritten に設定する。

       3. bytesWritten を返す。

    2. それ以外の場合 throw "InvalidStateError" DOMException を投げる。

15. this の file position cursor を writePosition + bufferSize に設定する。

16. bufferSize を返す。

1. this の [[state]] が "closed" の場合、 "throw" し、"InvalidStateError" DOMException を投げる。

2. fileContents を this の [[file]] の binary data のコピーとする。

3. oldSize を length（長さ）である this の [[file]] の binary data の長さとする。

4. 基盤となるファイルシステムがファイルサイズを newSize に設定することをサポートしない場合、 "throw" し、TypeError を投げる。

5. newSize が oldSize より大きい場合:

   1. newSize − oldSize が利用可能な storage quota を超えるなら、 "throw" し、QuotaExceededError を投げる。

   2. this の [[file]] を、 byte sequence（バイト列）であって fileContents と byte sequence（newSize − oldSize 個の 0x00 バイトを含む）を連結したものに設定する。

   3. 前のステップで this の [[file]] の binary data を変更する操作が失敗した場合、 "throw" し、"InvalidStateError" DOMException を投げる。

6. それ以外で newSize が oldSize より小さい場合:

   1. this の [[file]] を、 byte sequence（fileContents の先頭 newSize バイトを含む）に設定する。

   2. 前のステップで this の [[file]] の binary data を変更する操作が失敗した場合、 "throw" し、"InvalidStateError" DOMException を投げる。

7. this の file position cursor が newSize より大きいなら、file position cursor を newSize に設定する。

1. this の [[state]] が "closed" の場合、 throw し、"InvalidStateError" DOMException を投げる。

2. this の [[file]] の binary data の length を返す。

1. this の [[state]] が "closed" の場合、 throw し、"InvalidStateError" DOMException を投げる。

2. ファイル内容に対するすべてのキャッシュされた変更を、ファイルシステムの基盤となる記憶装置へ転送しようと試みる。

   Note: これはフラッシュ (flushing) とも呼ばれる。一部のインメモリファイルシステムのように、フラッシュ先となる「ディスク」を持たないファイルシステムでは no-op になる場合がある。

1. もし this の [[state]] が "closed" の場合、終了します。

2. this の [[state]] を "closed" に設定します。

3. lockReleased を false に設定します。

4. file を this の [[file]] に設定します。

5. 以下のステップをエンキューして ファイルシステムキュー に追加します：

   1. ロックを解除します。file の。

   2. lockReleased を true に設定します。

6. 一時停止 します。lockReleased が true になるまで。

注: このメソッドは、ファイルのすべての変更が基盤となるストレージデバイスに即座に反映されることを保証するものではありません。この保証が必要な場合は、flush() メソッドを先に呼び出してください。

1. environmentを、現在の設定オブジェクトとします。

2. 次のパラメーターenvironmentおよび"fileSystem"を使用して、ローカルストレージボトルマップを取得を実行した結果をmapとします。これが失敗を返した場合、"SecurityError" DOMExceptionで拒否されたプロミスを返します。

3. もしmap["root"]が存在しない場合：

   1. dirを、新しいディレクトリエントリとし、そのアクセスの照会および アクセスの要求アルゴリズムが常に ファイルシステムアクセス結果を返すものとします。 結果には、許可状態 "granted" と エラー名の空文字列を含むものとします。

   2. dirの名前を空文字列に設定します。

   3. dirの子要素を空の集合に設定します。

   4. map["root"]をdirに設定します。

4. rootを実装依存の不透明な文字列とします。

5. pathを« 空文字列 »とします。

6. handleを、現在のRealmで rootとpathを用いて新しい FileSystemDirectoryHandleを作成する結果とします。

   注: rootには ストレージバケットなどの関連する識別情報が含まれる場合があります。

7. 断言: エントリの位置特定をhandleのロケーターを与えて実行した結果は、 map["root"]と同じエントリである ディレクトリエントリを返します。

8. 解決されたPromiseとしてhandleを返します。