DeviceEvent_Initiater$json top-level constant
Implementation
@$core.Deprecated('Use deviceEventDescriptor instead')
const DeviceEvent_Initiater$json = const {
'1': 'Initiater',
'2': const [
const {
'1': 'device',
'3': 1,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Initiater.Device',
'9': 0,
'10': 'device'
},
const {
'1': 'console',
'3': 2,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Initiater.Console',
'9': 0,
'10': 'console'
},
const {
'1': 'user',
'3': 3,
'4': 1,
'5': 11,
'6': '.toit.model.DeviceEvent.Initiater.User',
'9': 0,
'10': 'user'
},
],
'3': const [
DeviceEvent_Initiater_Device$json,
DeviceEvent_Initiater_Console$json,
DeviceEvent_Initiater_User$json
],
'8': const [
const {'1': 'initiater'},
],
};