/// namespace ts.pxtc.extension { pxtc.compilerHooks.postBinary = (program: ts.Program, opts: CompileOptions, res: CompileResult) => { if (!opts.target.isNative) return const mbdal = res.outfiles["mbdal-binary.hex"] const mbcodal = res.outfiles["mbcodal-binary.hex"] if (!mbdal || !mbcodal) return let outp = "" wrapHex(mbdal, 0x00, [0x99, 0x01, 0xc0, 0xde]) wrapHex(mbcodal, 0x0D, [0x99, 0x03, 0xc0, 0xde], true) outp += ":00000001FF\n" res.outfiles["binary.hex"] = outp function hex2str(bytes: number[]) { return ts.pxtc.hexfile.hexBytes([bytes.length - 3].concat(bytes)) + "\n" } function paddingString(len: number) { let r = "" const len0 = len while (len >= 44) { r += hex2str([0x00, 0x00, 0x0C, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42, 0x42]) len -= 44 } if (len >= 12) { const numBytes = (len - 11) >> 1 const bytes = [0x00, 0x00, 0x0C] for (let i = 0; i < numBytes; ++i) bytes.push(0x42) const add = hex2str(bytes) r += add len -= add.length } while (len--) r += "\n" U.assert(r.length == len0) return r } function addBlock(blk: string) { const leftoff = blk.length & 511 outp += blk + paddingString(512 - leftoff) } function wrapHex(inpHex: string, dataType: number, deviceType: number[], keepSrc = false) { let blk = hex2str([0x00, 0x00, 0x04, 0x00, 0x00]) + hex2str([0x00, 0x00, 0x0A].concat(deviceType)) let upperAddr = 0 const lines = inpHex.split(/\r?\n/) for (let i = 0; i < lines.length; ++i) { const line = lines[i] if (!line) continue const parsed = ts.pxtc.hexfile.parseHexRecord(line) switch (parsed.type) { case 0x00: /* const parsed2 = parsed.len <= 16 && lines[i + 1] ? ts.pxtc.hexfile.parseHexRecord(lines[i + 1]) : null // if this and next line can fit in 32 bytes, concat them if (parsed2 && parsed2.type == 0x00 && parsed2.addr == parsed.addr + parsed.len && parsed.len + parsed2.len <= 32) { parsed.data = parsed.data.concat(parsed2.data) parsed.len += parsed2.len i++ } */ addData([parsed.addr >> 8, parsed.addr & 0xff, dataType] .concat(parsed.data)) break case 0x01: flush() if (keepSrc) break else return case 0x04: const newUpper = ((parsed.data[0] << 8) | parsed.data[1]) << 16 if (upperAddr != newUpper) { upperAddr = newUpper addData([0, 0, 0x04, parsed.data[0], parsed.data[1]]) } break case 0x03: case 0x05: // ignore break case 0x0E: // src record addData([parsed.addr >> 8, parsed.addr & 0xff, 0x0E] .concat(parsed.data)) break default: U.oops(`unknown hex record type: ${line}`) break } } flush() function addData(bytes: number[]) { const newData = hex2str(bytes) blk += newData } function flush() { if (blk) addBlock(blk) blk = "" } } } }