Add DeviceRadioBridgeConnection interface

Author: microbit-grace

lib/device.ts

@@ -262,3 +262,12 @@ export interface DeviceWebBluetoothConnection extends DeviceConnection {
    */
   setNameFilter(name: string): void;
 }
+
+export interface DeviceRadioBridgeConnection extends DeviceConnection {
+  /**
+   * Sets remote device.
+   *
+   * @param deviceId The device id of remote micro:bit.
+   */
+  setRemoteDeviceId(deviceId: number): void;
+}

lib/index.ts

@@ -12,6 +12,7 @@ import {
   DeviceConnectionEventMap,
   DeviceError,
   DeviceErrorCode,
+  DeviceRadioBridgeConnection,
   DeviceWebBluetoothConnection,
   DeviceWebUSBConnection,
   FlashDataError,
@@ -59,6 +60,7 @@ export type {
   ButtonState,
   DeviceConnection,
   DeviceErrorCode,
+  DeviceRadioBridgeConnection,
   DeviceWebBluetoothConnection,
   DeviceWebUSBConnection,
   FlashOptions,

lib/usb-radio-bridge.ts

@@ -10,8 +10,8 @@ import {
   BoardVersion,
   ConnectionStatus,
   ConnectionStatusEvent,
-  DeviceConnection,
   DeviceConnectionEventMap,
+  DeviceRadioBridgeConnection,
   SerialDataEvent,
   SerialErrorEvent,
 } from "./device.js";
@@ -48,7 +48,7 @@ interface ConnectCallbacks {
  */
 export class MicrobitRadioBridgeConnection
   extends TypedEventTarget<DeviceConnectionEventMap & ServiceConnectionEventMap>
-  implements DeviceConnection
+  implements DeviceRadioBridgeConnection
 {
   status: ConnectionStatus;
   private logging: Logging;