Infra値 (Web)

仕様書

[4] JSON派生JavaScript値をInfra値に変換 (convert a JSON-derived JavaScript value to an Infra value) するには、 JavaScript値を、次のようにします。 >>3

[5] Type (JavaScript値) が Null, Boolean, String, Number の場合、
1. [6] JavaScript値を返します。
[7] それ以外で、 IsArray (JavaScript値) が真の場合、
1. [8] 結果を、空のリストに設定します。
2. [9] 長さを、 ! ToLength (! Get (JavaScript値, length)) の結果に設定します。
3. [10] 範囲 [ 0, 長さ - 1 ] の各索引について、順に、
  1. [11] 索引名を、 ! ToString (索引) に設定します。
  2. [12] 索引のJavaScript値 を、 ! Get (JavaScript値, 索引名) に設定します。
  3. [13] 索引の基盤値を、 索引のJavaScript値を JSON派生JavaScript値をInfra値に変換した結果に設定します。
  4. [14] 索引の基盤値を、 結果の末尾に追加します。
4. [15] 結果を返します。
[16] それ以外の場合、
1. [17] 結果を、空の順序付き写像に設定します。
2. [18] ! JavaScript値のOwnPropertyKeys () の各鍵について、順に、
  1. [19] 鍵のJavaScript値を、 ! Get (JavaScript値, 鍵) に設定します。
  2. [21] 鍵の基盤値を、 鍵のJavaScript値を JSON派生JavaScript値をInfra値に変換した結果に設定します。
  3. [20] 結果 [ 鍵 ] を、 鍵の基盤値に設定します。
3. [22] 結果を返します。