(codeId, source)
| 1631 | } |
| 1632 | |
| 1633 | addSourceBlock(codeId, source) { |
| 1634 | this.codes.set(codeId, { |
| 1635 | positionTable: new SourcePositionTable(source.positions), |
| 1636 | offsets: [] |
| 1637 | }); |
| 1638 | } |
| 1639 | |
| 1640 | addOffsetSample(codeId, codeOffset) { |
| 1641 | let codeIdOffsets = this.codes.get(codeId).offsets; |