From 00da359e3ea240c7f33a42cc215e68f34e391994 Mon Sep 17 00:00:00 2001
From: Youenn Fablet <youennf@gmail.com>
Date: Wed, 18 Oct 2023 19:27:20 +0200
Subject: [PATCH] Update MediaPositionState WebIDL

We add default values for position and playbackRate.
duration is now unrestricted to allow Infinity and we add a special check for NaN.
We do not make duration required so that MediaSession.setPositionState can still take an optional state argument.

Fixes https://github.com/w3c/mediasession/issues/303 and https://github.com/w3c/mediasession/issues/252.
---
 index.bs | 30 +++++++++++-------------------
 1 file changed, 11 insertions(+), 19 deletions(-)

diff --git a/index.bs b/index.bs
index 469078d..c9babdd 100644
--- a/index.bs
+++ b/index.bs
@@ -879,32 +879,24 @@ interface MediaSession {
 
   <ul>
     <li>
-      If the <var>state</var> is an empty dictionary then clear the <a>position
-      state</a>.
+      If <var>state</var> is an empty dictionary, clear the <a>position state</a>
+      and abort these steps.
     </li>
     <li>
-      If the <a dict-member for="MediaPositionState">duration</a> is not present
-      or its value is null, throw a <a exception>TypeError</a>.
+      If <var>state</var>'s <a dict-member for="MediaPositionState">duration</a> is not
+      present, throw a <a exception>TypeError</a>.
     </li>
     <li>
-      If the <a dict-member for="MediaPositionState">duration</a> is negative,
-      throw a <a exception>TypeError</a>.
-    </li>
-    <li>
-      If the <a dict-member for="MediaPositionState">position</a> is not present
-      or its value is null, set it to zero.
+      If <var>state</var>'s <a dict-member for="MediaPositionState">duration</a> is negative or
+      <code>NaN</code>, throw a <a exception>TypeError</a>.
     </li>
     <li>
-      If the <a dict-member for="MediaPositionState">position</a> is negative or
+      If <var>state</var>'s <a dict-member for="MediaPositionState">position</a> is negative or
       greater than <a dict-member for="MediaPositionState">duration</a>, throw a
       <a exception>TypeError</a>.
     </li>
     <li>
-      If the <a dict-member for="MediaPositionState">playbackRate</a> is not
-      present or its value is null, set it to 1.0.
-    </li>
-    <li>
-      If the <a dict-member for="MediaPositionState">playbackRate</a> is zero
+      If <var>state</var>'s <a dict-member for="MediaPositionState">playbackRate</a> is zero,
       throw a <a exception>TypeError</a>.
     </li>
     <li>
@@ -1204,9 +1196,9 @@ dictionary</h2>
 <pre class="idl">
 
 dictionary MediaPositionState {
-  double duration;
-  double playbackRate;
-  double position;
+  unrestricted double duration;
+  double playbackRate = 1.0;
+  double position = 0.0;
 };
 </pre>