RunStartRequest$json top-level constant

Implementation

@$core.Deprecated('Use runStartRequestDescriptor instead')
const RunStartRequest$json = const {
  '1': 'RunStartRequest',
  '2': const [
    const {'1': 'sdk_name', '3': 1, '4': 1, '5': 9, '10': 'sdkName'},
    const {
      '1': 'entry_filename',
      '3': 2,
      '4': 1,
      '5': 9,
      '8': const {'3': true},
      '10': 'entryFilename',
    },
    const {
      '1': 'sources',
      '3': 3,
      '4': 3,
      '5': 11,
      '6': '.toit.api.RunStartRequest.SourcesEntry',
      '8': const {'3': true},
      '10': 'sources',
    },
    const {'1': 'args', '3': 4, '4': 3, '5': 9, '10': 'args'},
    const {
      '1': 'source',
      '3': 5,
      '4': 1,
      '5': 11,
      '6': '.toit.api.ProgramSource',
      '10': 'source'
    },
  ],
  '3': const [RunStartRequest_SourcesEntry$json],
};