DeviceRunRequest$json top-level constant

Implementation

@$core.Deprecated('Use deviceRunRequestDescriptor instead')
const DeviceRunRequest$json = const {
  '1': 'DeviceRunRequest',
  '2': const [
    const {'1': 'device_id', '3': 1, '4': 1, '5': 12, '10': 'deviceId'},
    const {
      '1': 'entry_filename',
      '3': 3,
      '4': 1,
      '5': 9,
      '8': const {'3': true},
      '10': 'entryFilename',
    },
    const {
      '1': 'sources',
      '3': 4,
      '4': 3,
      '5': 11,
      '6': '.toit.api.DeviceRunRequest.SourcesEntry',
      '8': const {'3': true},
      '10': 'sources',
    },
    const {'1': 'args', '3': 5, '4': 3, '5': 9, '10': 'args'},
    const {
      '1': 'install',
      '3': 6,
      '4': 1,
      '5': 8,
      '8': const {'3': true},
      '10': 'install',
    },
    const {
      '1': 'source',
      '3': 7,
      '4': 1,
      '5': 11,
      '6': '.toit.api.ProgramSource',
      '10': 'source'
    },
  ],
  '3': const [DeviceRunRequest_SourcesEntry$json],
};