(sourceId: number)
| 355 | } |
| 356 | |
| 357 | public getSourceName(sourceId: number): string { |
| 358 | const source = this.sources[sourceId]; |
| 359 | return `${source.sourceName}:${source.functionName}`; |
| 360 | } |
| 361 | |
| 362 | public sourcePositionsInRange(sourceId: number, start: number, end: number): |
| 363 | Array<SourcePosition> { |
no outgoing calls
no test coverage detected