DeviceEvent_Info_Value$json top-level constant
Implementation
@$core.Deprecated('Use deviceEventDescriptor instead')
const DeviceEvent_Info_Value$json = const {
'1': 'Value',
'2': const [
const {
'1': 'primitive',
'3': 1,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Info.Value.Primitive',
'9': 0,
'10': 'primitive'
},
const {
'1': 'diff',
'3': 2,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Info.Value.Diff',
'9': 0,
'10': 'diff'
},
const {
'1': 'error',
'3': 3,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Info.Value.Error',
'9': 0,
'10': 'error'
},
],
'3': const [
DeviceEvent_Info_Value_Primitive$json,
DeviceEvent_Info_Value_Diff$json,
DeviceEvent_Info_Value_Error$json
],
'8': const [
const {'1': 'value'},
],
};