removeDeviceAssignment method
void
removeDeviceAssignment(
- PrimaryDeviceConfiguration<
DeviceRegistration> device
inherited
Remove the primary device
assignments and hence make it assigned
to all roles.
Requires that device
is part of this protocol.
Implementation
void removeDeviceAssignment(
PrimaryDeviceConfiguration device,
) {
assignedDevices ??= {};
assert(primaryDevices.contains(device),
"The device configuration is not part of this protocol.");
assignedDevices!.remove(device.roleName);
}