地理所在センサー — Geolocation Sensor

[`SecureContext$,
 `Exposed$=(DedicatedWorker, Window)]
interface `GeolocationSensor@I : `Sensor$I {
  `GeolocationSensor$mc(optional `GeolocationSensorOptions$I %options = {});
  static `Promise$<`GeolocationSensorReading$I> `read$m(optional `ReadOptions$I %readOptions = {});
  readonly attribute `unrestricted double$? `latitude$m;
  readonly attribute `unrestricted double$? `longitude$m;
  readonly attribute `unrestricted double$? `altitude$m;
  readonly attribute `unrestricted double$? `accuracy$m;
  readonly attribute `unrestricted double$? `altitudeAccuracy$m;
  readonly attribute `unrestricted double$? `heading$m;
  readonly attribute `unrestricted double$? `speed$m;
};

dictionary `GeolocationSensorOptions@I : `SensorOptions$I {
  /* 
`GeolocationSensor^I に特有な~option群の保持場
◎
placeholder for GeolocationSensor-specific options
 */
};

dictionary `ReadOptions@I : `GeolocationSensorOptions$I {
  `AbortSignal$I? `signal@mb;
};

dictionary `GeolocationSensorReading@I {
  `DOMHighResTimeStamp$I? `timestamp@mR;
  `double$? `latitude@mR;
  `double$? `longitude@mR;
  `double$? `altitude@mR;
  `double$? `accuracy@mR;
  `double$? `altitudeAccuracy@mR;
  `double$? `heading@mR;
  `double$? `speed@mR;
};

`new GeolocationSensor(options)@m 構築子~手続きは ⇒ `地理所在~sensor~objを初期化する$( コレ, %options ) ◎ To construct a GeolocationSensor object the user agent must invoke the construct a geolocation sensor object abstract operation.

`read(options)@m ~method~手続きは： ◎ 5.1.1. GeolocationSensor.read() ◎ The read() method, when called, must run the following algorithm: ◎ input • options, a ReadOptions object. ◎ output • p, a promise.

1. %p ~LET 新たな~promise ◎ Let p be a new promise. ◎ Let options be the first argument.
2. %通達 ~LET %options[ "`signal$mb" ] ◎ Let signal be the options’ dictionary member of the same name if present, or null otherwise.
3. ~IF［ %通達 ~NEQ ~NULL ］~AND［ %通達 は`中止-済み$aBである ］ ⇒＃ %通達 の`中止-事由$aB で %p を却下する； ~RET %p ◎ If signal is aborted, then reject p with signal’s abort reason and return p.
4. %geo ~LET 新たな `GeolocationSensor$I ~obj ◎ ↓
5. `地理所在~sensor~objを初期化する$( %geo, %options ) ⇒ 例外が投出されたときは、~catchして ⇒＃ その例外 で %p を却下する； ~RET %p ◎ Let geo be the result of invoking construct a Geolocation Sensor object with options. If this throws a DOMException, catch it, reject p with that DOMException, and return p.
6. %geo 上の `start$m ~method手続き() ◎ Invoke geo.start().

7. ~IF［ %通達 ~NEQ ~NULL ］： ◎ If signal is not null,＼

   1. `通達に~algoを追加する$( %通達, 次を走らす手続き )： ◎ then add the following abort steps to signal:

      1. %geo 上の `stop$m ~method手続き() ◎ Invoke geo.stop().
      2. %通達 の`中止-事由$aB で %p を却下する ◎ Reject p with signal’s abort reason and abort these steps.

8. この段は`並列的$に走らす： 【上で呼出した `start$m ~method手続きの中で非同期に】 ◎ Run these steps in parallel:

   • `~errorを通知する$( %geo, %例外 ) が呼出されたときは ⇒＃ %geo 上の `stop$m ~method手続き()； %例外 で %p を却下する ◎ If notify error is invoked with geo, invoke geo.stop(), and reject p with the DOMException passed as input to notify error.
   • `新たな読取りを通知する$( %geo ) が呼出されたときは ⇒ `地理所在~promiseを解決する$( %geo, %p ) ◎ If notify new reading is invoked with geo, then resolve a geolocation promise with geo and p.
9. ~RET %p ◎ Return p.

注記： 実装は、 `read()$m に対する複数の同時並行な~callに対し — 同じ閲覧~文脈の中で，かつ 同じ引数が渡されたならば — 同じ~promiseを再利用できる。 ◎ Implementations can reuse the same promise for multiple concurrent calls within the same browsing context if the arguments passed to read() are the same.

上で `地理所在~promiseを解決する@ ときは、次の手続きを走らす： ◎ To resolve a geolocation promise means to run the following steps:

1. %読取り ~LET 新たな `GeolocationSensorReading$I ◎ Let reading be a GeolocationSensorReading.
2. `最新な地理所在~読取り$を成す ~EACH( %~key → %値 ) に対し ⇒ %読取り[ %~key ] ~SET %値 ◎ For each key → value of latest geolocation reading: • Set reading[key] to value.
3. %geo 上の `stop$m ~method手続き() ◎ Invoke geo.stop().
4. %読取り で %p を解決する ◎ Resolve p with reading.

`latitude@m 取得子~手続きは ⇒ ~RET `最新な読取り~mapから値を取得する$( コレ, `latitude^l ) ◎ 5.1.2. GeolocationSensor.latitude ◎ The latitude attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "latitude" as arguments. ＼

結果は、`地理所在$の緯度~座標を `decimal degrees$en† で表現する。 `WGS84$r 【†すなわち、小数部は “分／秒” ~~単位を`表すものではない^em。】 ◎ It represents the latitude coordinate of the geolocation in decimal degrees [WGS84].

`longitude@m 取得子~手続きは ⇒ ~RET `最新な読取り~mapから値を取得する$( コレ, `longitude^l ) ◎ 5.1.3. GeolocationSensor.longitude ◎ The longitude attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "longitude" as arguments.＼

結果は、 `decimal degrees$en による`地理所在$の経度~座標を表現する。 `WGS84$r ◎ It represents the longitude coordinate of the geolocation in decimal degrees [WGS84].

`altitude@m 取得子~手続きは ⇒ ~RET `最新な読取り~mapから値を取得する$( コレ, `altitude^l ) ◎ 5.1.4. GeolocationSensor.altitude ◎ The altitude attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "altitude" as arguments.＼

結果は、`地理所在$を `WGS84$r 楕円体から~~天への~meter数で表現する。 ◎ It represents the geolocation in meters above the WGS 84 ellipsoid [WGS84].

`accuracy@m 取得子~手続きは：

1. ~IF［ コレ上の `latitude$m 取得子~手続き() ~EQ ~NULL ］~OR［ コレ上の `longitude$m 取得子~手続き() ~EQ ~NULL ］ ⇒ ~RET ~NULL
2. ~RET `最新な読取り~mapから値を取得する$( コレ, `accuracy^l )

結果は、現在の［ `latitude$m ／ `longitude$m ］の正確度【誤差】を~meter数で表現する — 正確度の確度~levelは 95% とする【誤差の誤差は 5% あってもよい】。

◎ 5.1.5. GeolocationSensor.accuracy ◎ The accuracy attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "accuracy" as arguments.＼ It represents the accuracy of the latest reading["latitude"] value and latest reading["longitude"] value in meters with a 95% confidence level. ◎ If the latest reading["latitude"] value is null or latest reading["longitude"] value is null, it must return null.

`altitudeAccuracy@m 取得子~手続きは：

1. ~IF［ コレ上の `altitude$m 取得子~手続き() ~EQ ~NULL ］ ⇒ ~RET ~NULL
2. ~RET `最新な読取り~mapから値を取得する$( コレ, `altitudeAccuracy^l )

結果は、現在の `altitude$m の正確度【誤差】を~meter数で表現する — 正確度の確度~levelは 95% とする【誤差の誤差は 5% あってもよい】。

◎ 5.1.6. GeolocationSensor.altitudeAccuracy ◎ The altitudeAccuracy attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "altitudeAccuracy" as arguments.＼ It represents the accuracy of the latest reading["altitude"] value in meters with a 95% confidence level. ◎ If the latest reading["altitude"] value is null, it must return null.

`heading@m 取得子~手続きは ⇒ ~RET `最新な読取り~mapから値を取得する$( コレ, `heading^l ) ◎ 5.1.7. GeolocationSensor.heading ◎ The heading attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "heading" as arguments.＼

結果は、~deviceの進行方向を~degree数で表現する — 真北から時計回りに， 0 以上 360 以下の範囲で。 ◎ It represents the direction of travel in degrees counting clockwise relative to the true north in the range 0 ≤ heading ≤ 360.

`speed@m 取得子~手続きは ⇒ ~RET `最新な読取り~mapから値を取得する$( コレ, `speed^l ) ◎ 5.1.8. GeolocationSensor.speed ◎ The speed attribute of the GeolocationSensor interface returns the result of invoking get value from latest reading with this and "speed" as arguments.＼

結果は、速度の水平~成分の~magnitudeを［ 秒あたりの~meter数 ］で表現する。 ◎ It represents the magnitude of the horizontal component of the velocity in meters per second.

所与の ( ~JSON `Object$jt %~parameter群 ) に対し，［ `~sensor読取り$／ `undefined^jv ］を返す： ◎ input • parameters, a JSON Object ◎ output • A sensor reading or undefined

1. %読取り ~LET 新たな`~sensor読取り$ ◎ Let reading be a new sensor reading.

2. « `latitude^l, `longitude^l, `altitude^l, `accuracy^l, `altitudeAccuracy^l, `heading^l, `speed^l » を成す ~EACH( %~key ) に対し ◎ Let keys be the list « "latitude", "longitude", "altitude", "accuracy", "altitudeAccuracy", "heading", "speed" ». ◎ For each key of keys

   1. %値 ~LET `一数の読取りを構文解析する$( %~parameter群, %~key ) ◎ Let value be the result of invoking parse single-value number reading with parameters and key.
   2. ~IF［ %値 ~EQ `undefined^jv ］ ⇒ ~RET `undefined^jv ◎ • If value is undefined. •• Return undefined.
   3. %読取り[ %~key ] ~SET %値[ %~key ] ◎ Set reading[key] to value[key].
3. ~RET %読取り ◎ Return reading.