Window, WindowProxy, Location

7.2.1. ~IDLとの統合

`保安~検査を遂行する$ときは、所与の ( %~platform~obj, %識別子, %種別 ) に対し，次の手続きを走らす： ◎ When perform a security check is invoked, with a platformObject, identifier, and type, run these steps:

1. ~IF［ %~platform~obj は［ `Window$I ／ `Location$I ］~objである ］： ◎ If platformObject is a Window or Location object, then:

   1. ! `CrossOriginProperties$jA( %~platform~obj ) 内の ~EACH ( %e ) に対し： ◎ Repeat for each e that is an element of ! CrossOriginProperties(platformObject):

      1. ~IF［ `SameValue$jA( %e . `Property^sl, %識別子 ) ~NEQ ~true ］ ⇒ ~CONTINUE ◎ If SameValue(e.[[Property]], identifier) is true, then:

      2. %種別 に応じて：

         `~method^i

         ~IF［ %e . `NeedsGet^sl ~EQ ε ］~AND［ %e . `NeedsSet^sl ~EQ ε ］ ⇒ ~RET

         `取得子^i

         ~IF［ %e . `NeedsGet^sl ~EQ ~true ］ ⇒ ~RET

         `設定子^i

         ~IF［ %e . `NeedsSet^sl ~EQ ~true ］ ⇒ ~RET

         ◎ If type is "method" and e has neither [[NeedsGet]] nor [[NeedsSet]], then return. ◎ Otherwise, if type is "getter" and e.[[NeedsGet]] is true, then return. ◎ Otherwise, if type is "setter" and e.[[NeedsSet]] is true, then return.
2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %~platform~obj ) ~EQ ~false ］ ⇒ ~THROW `SecurityError$E ◎ If IsPlatformObjectSameOrigin(platformObject) is false, then throw a "SecurityError" DOMException.

7.2.2. 共用~内部~slot： `CrossOriginPropertyDescriptorMap^sl

各［ `Window$I ／ `Location$I ］~objは、 `CrossOriginPropertyDescriptorMap@sl 内部~slotを持つ — その初期~時の値は、空~mapとする。 ◎ Window and Location objects both have a [[CrossOriginPropertyDescriptorMap]] internal slot, whose value is initially an empty map.

注記： `CrossOriginPropertyDescriptorMap$sl 内部~slotは、次のような~entryたちからなる~mapを包含する： ~entryの各~keyは、 ( %currentGlobal, %objectGlobal, %propertyKey ) の組である。 これらの~entryの値は，［［ %currentGlobal が［ `Window$I ／ `Location$I ］~obj %objectGlobal を検分するとき ］に，~scriptから可視になるもの ］を記憶しておくような~prop記述子である。 それらは、 `CrossOriginGetOwnPropertyHelper$jA() により後から埋められ，未来の検索に際し 諮問される。 ◎ The [[CrossOriginPropertyDescriptorMap]] internal slot contains a map with entries whose keys are (currentGlobal, objectGlobal, propertyKey)-tuples and values are property descriptors, as a memoization of what is visible to scripts when currentGlobal inspects a Window or Location object from objectGlobal. It is filled lazily by CrossOriginGetOwnPropertyHelper, which consults it on future lookups.

~UAは、この~mapに保持されている値が，［ 値のある部分への参照を保持しているものがない ］ときは、［ それに対応する~keyとともに~garbage収集される ］ことを，許容するべきである。 すなわち、~garbage収集が観測-可能でない限り。 ◎ User agents should allow a value held in the map to be garbage collected along with its corresponding key when nothing holds a reference to any part of the value. That is, as long as garbage collection is not observable.

例えば， const href = Object.getOwnPropertyDescriptor( %非同一生成元~所在, `href^l ).set とした下では、~map内の値とそれに対応する~keyは，観測-可能なので~garbage収集できない。 ◎ For example, with const href = Object.getOwnPropertyDescriptor(crossOriginLocation, "href").set the value and its corresponding key in the map cannot be garbage collected as that would be observable.

~UAは、 `document.domain$m が設定されたとき，それにより ~mapから ( ~key, 値 ) ~pairを除去するように最適化してもよい。 `document.domain$m は~~過去の値を再訪問できないので、これは観測-可能でない。 ◎ User agents may have an optimization whereby they remove key-value pairs from the map when document.domain is set. This is not observable as document.domain cannot revisit an earlier value.

例えば www.example.com 上の `document.domain$m を `example.com^l に設定した場合、~UAは，~map内の ( ~key, 値 ) ~pairのうち，［ ~keyの一部が www.example.com であるもの ］すべてを除去できることになる — それが再び`生成元$の一部になることは決してないので、対応する値が~mapから検索取得されることも決してない。 ◎ For example, setting document.domain to "example.com" on www.example.com means user agents can remove all key-value pairs from the map where part of the key is www.example.com, as that can never be part of the origin again and therefore the corresponding value could never be retrieved from the map.

7.2.3. 各種 共用~抽象~演算

7.4.1. `GetPrototypeOf^sl()

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.
2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］ ⇒ ~RET ! `OrdinaryGetPrototypeOf$jA( %W ) ◎ If ! IsPlatformObjectSameOrigin(W) is true, then return ! OrdinaryGetPrototypeOf(W).
3. ~RET ~NULL ◎ Return null.

7.4.2. `SetPrototypeOf^sl( %V )

1. ~RET `SetImmutablePrototype$jA( ~this, %V ) ◎ Return ! SetImmutablePrototype(this, V).

7.4.3. `IsExtensible^sl()

1. ~RET ~true ◎ Return true.

7.4.4. `PreventExtensions^sl()

1. ~RET ~false ◎ Return false.

7.4.5. `GetOwnProperty^sl( %P )

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.

2. ~IF［ %P は`配列~indexである$ ］： ◎ If P is an array index property name, then:

   1. %index ~LET ! `ToUint32$jA( %P ) ◎ Let index be ! ToUint32(P).
   2. %~prop個数 ~LET %W の`文書~木に属する子~閲覧文脈の個数$ ◎ Let maxProperties be the number of document-tree child browsing contexts of W.
   3. %値 ~LET ~undefined ◎ Let value be undefined.

   4. ~IF［ %~prop個数 ~GT 0 ］~AND［ %index ~LT %~prop個数 ］： ◎ If maxProperties is greater than 0 and index is less than maxProperties, then:

      1. %文書 ~LET %W に`結付けられている文書$ ◎ Let document be W's associated Document.
      2. %値 ~SET 次に該当する`閲覧文脈$の， `WindowProxy$I ~obj ⇒ ［［ %文書 が`属する閲覧文脈$ ］の`文書~木に属する子~閲覧文脈$ ］のうち，その`閲覧文脈~容器$が 最も近過去に %文書 内に挿入されたもの ◎ Set value to the WindowProxy object of the indexth document-tree child browsing context of document's browsing context, sorted in the order that their browsing context container elements were most recently inserted into document, the WindowProxy object of the most recently inserted browsing context container's nested browsing context being last.
   5. ~IF［ %値 ~EQ ~undefined ］ ⇒ ~RET ~undefined ◎ If value is undefined, then return undefined.
   6. ~RET `~prop記述子$x{ `Value^sl: %値, `Writable^sl: ~false, `Enumerable^sl: ~true, `Configurable^sl: ~true } ◎ Return PropertyDescriptor{ [[Value]]: value, [[Writable]]: false, [[Enumerable]]: true, [[Configurable]]: true }.

3. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］ ⇒ ~RET ! `OrdinaryGetOwnProperty$jA( %W, %P ) ◎ If ! IsPlatformObjectSameOrigin(W) is true, then return ! OrdinaryGetOwnProperty(W, P).

   注記： これは、~JS仕様の`~essential内部~methodが成す不変則$に対する`故意的な違反$であり、既存の~Web内容との互換性を保守するためにある。 `tc39/ecma262 #issue 672$x を見よ。 `JAVASCRIPT$r ◎ This is a willful violation of the JavaScript specification's invariants of the essential internal methods to maintain compatibility with existing Web content. See tc39/ecma262 issue #672 for more information. [JAVASCRIPT]

4. %~prop ~LET ! `CrossOriginGetOwnPropertyHelper$jA( %W, %P ) ◎ Let property be ! CrossOriginGetOwnPropertyHelper(W, P).
5. ~IF［ %~prop ~NEQ ~undefined ］ ⇒ ~RET %~prop ◎ If property is not undefined, then return property.

6. ~IF［ %~prop ~EQ ~undefined ］~AND［ %P ~IN %W の`文書~木に属する子~閲覧文脈~名~prop集合$ ］： ◎ If property is undefined and P is in W's document-tree child browsing context name property set, then:

   1. %値 ~LET 名前 %P の`有名~obj$の `WindowProxy$I ~obj ◎ Let value be the WindowProxy object of the named object with the name P.

   2. ~RET `~prop記述子$x{ `Value^sl: %値, `Enumerable^sl: ~false, `Writable^sl: ~false, `Configurable^sl: ~true } ◎ Return PropertyDescriptor{ [[Value]]: value, [[Enumerable]]: true, [[Writable]]: false, [[Configurable]]: true }.

      注記： ~prop記述子が列挙-不可にされている理由は — それは同一生成元の挙動に合致していないにもかかわらず — 既存の~Web内容との互換性をとるためである。 issue #3183 を見よ。 ◎ The reason the property descriptors are non-enumerable, despite this mismatching the same-origin behavior, is for compatibility with existing Web content. See issue #3183 for details.

7. ~THROW `SecurityError$E ◎ Throw a "SecurityError" DOMException.

7.4.6. `DefineOwnProperty^sl( %P, %記述子 )

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.

2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］： ◎ If ! IsPlatformObjectSameOrigin(W) is true, then:

   1. ~IF［ %P は`配列~indexである$ ］ ⇒ ~RET ~false ◎ If P is an array index property name, return false.

   2. ~RET ? `OrdinaryDefineOwnProperty$jA( %W, %P, %記述子 ) ◎ Return ? OrdinaryDefineOwnProperty(W, P, Desc).

      注記： これは、~JS仕様の`~essential内部~methodが成す不変則$に対する`故意的な違反$であり、既存の~Web内容との互換性を保守するためにある。 `tc39/ecma262 #issue 672$x を見よ。 `JAVASCRIPT$r ◎ This is a willful violation of the JavaScript specification's invariants of the essential internal methods to maintain compatibility with existing Web content. See tc39/ecma262 issue #672 for more information. [JAVASCRIPT]

3. ~THROW `SecurityError$E ◎ Throw a "SecurityError" DOMException.

7.4.7. `Get^sl( %P, %Receiver )

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.
2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］ ⇒ ~RET ? `OrdinaryGet$jA( ~this, %P, %Receiver ) ◎ If ! IsPlatformObjectSameOrigin(W) is true, then return ? OrdinaryGet(this, P, Receiver).
3. ~RET ? `CrossOriginGet$jA( ~this, %P, %Receiver ) ◎ Return ? CrossOriginGet(this, P, Receiver).

7.4.8. `Set^sl( %P, %V, %Receiver )

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.
2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］ ⇒ ~RET ? `OrdinarySet$jA( %W, ~this, %Receiver ) ◎ If ! IsPlatformObjectSameOrigin(W) is true, then return ? OrdinarySet(W, this, Receiver).
3. ~RET ? `CrossOriginSet$jA( ~this, %P, %V, %Receiver ) ◎ Return ? CrossOriginSet(this, P, V, Receiver).

7.4.9. `Delete^sl( %P )

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.

2. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］： ◎ If ! IsPlatformObjectSameOrigin(W) is true, then:

   1. ~IF［ %P は`配列~indexである$ ］ ⇒ ~RET ［ ! ~this . `GetOwnProperty^sl( %P ) ~EQ ~undefined ならば ~true ／ ~ELSE_ ~false ］ ◎ If P is an array index property name, then: • Let desc be ! this.[[GetOwnProperty]](P). • If desc is undefined, then return true. • Return false.
   2. ~RET ? `OrdinaryDelete$jA( %W, %P ) ◎ Return ? OrdinaryDelete(W, P).
3. ~THROW `SecurityError$E ◎ Throw a "SecurityError" DOMException.

7.4.10. `OwnPropertyKeys^sl()

1. %W ~LET ~this . `Window$sl ◎ Let W be the value of the [[Window]] internal slot of this.
2. %~key~list ~LET 新たな空 `List$js ◎ Let keys be a new empty List.
3. %~prop個数 ~LET %W の`文書~木に属する子~閲覧文脈の個数$ ◎ Let maxProperties be the number of document-tree child browsing contexts of W.
4. %index ~LET 0 ◎ Let index be 0.

5. ~WHILE［ %index ~LT %~prop個数 ］： ◎ Repeat while index < maxProperties,

   1. %~key~list に ! `ToString$jA( %index ) を`付加する$ ◎ Add ! ToString(index) as the last element of keys.
   2. %index ~INCBY 1 ◎ Increment index by 1.
6. ~IF［ ! `IsPlatformObjectSameOrigin$jA( %W ) ~EQ ~true ］ ⇒ ~RET 次を連結した結果 ⇒＃ %~key~list, ! `OrdinaryOwnPropertyKeys$jA( %W ) ◎ If ! IsPlatformObjectSameOrigin(W) is true, then return the concatenation of keys and ! OrdinaryOwnPropertyKeys(W).
7. ~RET 次を連結した結果 ⇒＃ %~key~list, ! `CrossOriginOwnPropertyKeys$jA( %W ) ◎ Return the concatenation of keys and ! CrossOriginOwnPropertyKeys(W).

7.7.4. `Location^I ~interface

【 この節の内容のうち，~APIに関する部分は、 別ページ にて。 】

各 `Window$I ~objには、その作成-時に，新たな `Location$I ~objが結付けられる。 ◎ Each Window object is associated with a unique instance of a Location object, allocated when the Window object is created.

`Location$I ~exotic~objは、~IDLの寄せ集めであり，［ ~JS~内部~method~post-creationの呼び出し, および ~JS~内部~methodの上書き ］を通して，それの~scary保安~施策と組にして定義される。 この~excrescenceを実装するときは、要注意。 ◎ The Location exotic object is defined through a mishmash of IDL, invocation of JavaScript internal methods post-creation, and overridden JavaScript internal methods. Coupled with its scary security policy, please take extra care while implementing this excrescence.

`Location$I ~objを~作成するときは、次の~手続きを走らす: ◎ To create a Location object, run these steps:

1. %L ~LET 新たな `Location$I ~obj ◎ Let location be a new Location platform object.

2. 次を順に遂行する：

   1. ! %L . `DefineOwnProperty^sl( `valueOf^l, { `Value^sl: `ObjProto_valueOf^jI, `Writable^sl: ~false, `Enumerable^sl: ~false, `Configurable^sl: ~false } ) ◎ Perform ! location.[[DefineOwnProperty]]("valueOf", { [[Value]]: %ObjProto_valueOf%, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }).
   2. ! %L . `DefineOwnProperty^sl( `toPrimitive$jS, { `Value^sl: ~undefined, `Writable^sl: ~false, `Enumerable^sl: ~false, `Configurable^sl: ~false } ) ◎ Perform ! location.[[DefineOwnProperty]](@@toPrimitive, { [[Value]]: undefined, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false }).
3. %L の `DefaultProperties$sl 内部~slot値 ~SET %L . `OwnPropertyKeys^sl() ◎ Set the value of the [[DefaultProperties]] internal slot of location to location.[[OwnPropertyKeys]]().
4. ~RET %L ◎ Return location.

注記： 自前の~data~propとして［ `valueOf^c, `toPrimitive$jS ］を追加すること, および `Location$I のすべての~IDL属性に `Unforgeable^xA を付与することは、 `Location$I ~interfaceを諮問していたり, それを文字列化して`文書~URL$を決定し，保安に敏感な仕方で利用していた、旧来の~codeに要求される。 特に，［ `valueOf^c, `toPrimitive$jS, `Unforgeable^xA 文字列化子（ `stringifier^m ） ］は、 `foo[location] = bar^c や `location + ""^c のような~codeが誤った先を指し得ないことを確保するための軽減である。 ◎ The addition of valueOf and @@toPrimitive own data properties, as well as the fact that all of Location's IDL attributes are marked [Unforgeable], is required by legacy code that consulted the Location interface, or stringified it, to determine the document URL, and then used it in a security-sensitive way. In particular, the valueOf, @@toPrimitive, and [Unforgeable] stringifier mitigations ensure that code such as foo[location] = bar or location + "" cannot be misdirected.

先に説明したように， `Location$I ~exotic~objは、保安~目的のため，~IDLを超える追加の~logicが要求される。 `Location$I ~objが実装し~MUST［ 内部~slotと内部~method ］は、以下に定義される。 ◎ As explained earlier, the Location exotic object requires additional logic beyond IDL for security purposes. The internal slot and internal methods Location objects must implement are defined below.

どの `Location$I ~objも， `DefaultProperties@sl 内部~slotを持つ — それは，~objの作成-時における~objの自前の~propを表現する。 ◎ Every Location object has a [[DefaultProperties]] internal slot representing its own properties at time of its creation.