Merge pull request #440 from rakuco/initialize-sensor-improve-notation

Initialize a sensor object: Improve notation and terms being referenced.
w3c · Sep 26, 2022 · 9711ca4 · 9711ca4
2 parents 60756e1 + 6cb0ad1
commit 9711ca4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.bs b/index.bs
@@ -1275,10 +1275,10 @@ to {{SensorErrorEventInit}}.
     1.  [=map/For each=] |key| → <var ignore>value</var> of |options|
         1.  If the associated [=supported sensor options=] [=set/contains|does not contain=] |key|
             1. [=Throw=] "{{NotSupportedError!!exception}}" {{DOMException}}.
-    1.  If |options|.{{frequency!!dict-member}} is [=present=], then
-        1.  Set |sensor_instance|.{{[[frequency]]}} to |options|.{{frequency!!dict-member}}.
+    1.  If |options|["{{frequency!!dict-member}}"] [=map/exists=], then
+        1.  Set |sensor_instance|.{{[[frequency]]}} to |options|["{{frequency!!dict-member}}"].
 
-        Note: there is not guarantee that the requested |options|.{{frequency!!dict-member}}
+        Note: there is not guarantee that the requested |options|["{{frequency!!dict-member}}"]
         can be respected. The actual [=sampling frequency=] can be calculated using
         {{Sensor}} {{Sensor/timestamp!!attribute}} attributes.
 </div>