Add bluetooth.SimulateGattDisconnection

Author: chengweih001

index.bs

@@ -5163,6 +5163,7 @@ BluetoothCommand = (
   bluetooth.SimulatePreconnectedPeripheral //
   bluetooth.SimulateAdvertisement //
   bluetooth.SimulateGattConnectionResponse //
+  bluetooth.SimulateGattDisconnection //
 )
 </pre>
 
@@ -5510,6 +5511,55 @@ A [=local end=] could simulate a device gatt connection response of success
 </pre>
 </div>
 
+#### The bluetooth.simulateGattDisconnection Command #### {#bluetooth-simulategattdisconnection-command}
+
+<pre highlight="cddl" class="cddl remote-cddl local-cddl">
+bluetooth.SimulateGattDisconnection = (
+   method: "bluetooth.simulateGattDisconnection",
+   params: bluetooth.SimulateGattDisconnectionParameters,
+)
+
+bluetooth.SimulateGattDisconnectionParameters = {
+   context: text,
+   address: text,
+}
+
+</pre>
+
+<div algorithm="remote end steps for bluetooth.simulateGattDisconnection">
+The [=remote end steps=] with command parameters |params| are:
+
+1. Let |contextId| be |params|[`"context"`].
+1. Let |navigable| be the result of [=trying=] to [=get a navigable=] with |contextId|.
+1. Let |deviceAddress| be |params|[`"address"`].
+1. Let |simulatedBluetoothAdapter| be |navigable|'s <a>simulated Bluetooth adapter</a>.
+1. If |simulatedBluetoothAdapter| is empty, return [=error=] with [=error code=] [=invalid argument=].
+1. Let |deviceMapping| be |simulatedBluetoothAdapter|'s <a>simulated Bluetooth device mapping</a>.
+1. If |deviceMapping|[|deviceAddress|] [=map/exists=], let |simulatedDevice| be |deviceMapping|[|deviceAddress|].
+    Otherwise, return [=error=] with [=error code=] [=invalid argument=].
+1. Let |simulatedDeviceInstance| be the result of <a>get the <code>BluetoothDevice</code> representing</a>
+    |simulatedDevice| inside |navigable|'s <a>active window</a>'s <a spec=HTML>associated <code>Navigator</code></a>'s
+    [=associated Bluetooth=].
+1. If |simulatedDeviceInstance|.{{[[gatt]]}}.{{[[automatedGATTConnectionResponse]]}} is `"expected"`,
+    return [=error=] with [=error code=] [=invalid element state=].
+1. <a>Clean up the disconnected device</a> |simulatedDeviceInstance|.
+
+</div>
+
+<div class="example">
+A [=local end=] could simulate device gatt disconnection by sending the following message:
+
+<pre highlight="json">
+{
+  "method": "bluetooth.simulateGattDisconnection",
+  "params": {
+    "context": "cxt-d03fdd81",
+    "address": "09:09:09:09:09:09",
+  }
+}
+</pre>
+</div>
+
 ### Events ### {#bidi-events}
 
 #### The bluetooth.requestDevicePromptUpdated Event #### {#bluetooth-requestdevicepromptupdated-event}