sse_encode_blue_event method

@protected void sse_encode_blue_event(BlueEvent self, SseSerializer serializer)

Implementation

@protected
void sse_encode_blue_event(BlueEvent self, SseSerializer serializer) {
  // Codec=Sse (Serialization based), see doc to use other codecs
  switch (self) {
    case BlueEvent_DeviceDiscovered(field0: final field0):
      sse_encode_i_32(0, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
    case BlueEvent_DeviceUpdated(field0: final field0):
      sse_encode_i_32(1, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
    case BlueEvent_DeviceConnected(field0: final field0):
      sse_encode_i_32(2, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
    case BlueEvent_DeviceDisconnected(field0: final field0):
      sse_encode_i_32(3, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
    case BlueEvent_ManufacturerDataAdvertisement(
        field0: final field0,
        field1: final field1
      ):
      sse_encode_i_32(4, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
      sse_encode_Map_u_16_list_prim_u_8_strict_None(field1, serializer);
    case BlueEvent_ServiceDataAdvertisement(
        field0: final field0,
        field1: final field1
      ):
      sse_encode_i_32(5, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
      sse_encode_Map_Uuid_list_prim_u_8_strict_None(field1, serializer);
    case BlueEvent_ServicesAdvertisement(
        field0: final field0,
        field1: final field1
      ):
      sse_encode_i_32(6, serializer);
      sse_encode_box_autoadd_device_peripheral_id(field0, serializer);
      sse_encode_list_Uuid(field1, serializer);
    case BlueEvent_StateUpdate(field0: final field0):
      sse_encode_i_32(7, serializer);
      sse_encode_b_central_state(field0, serializer);
    case BlueEvent_ERROR(field0: final field0):
      sse_encode_i_32(8, serializer);
      sse_encode_String(field0, serializer);
  }
}