(loc: SourceLocation)
| 924 | } |
| 925 | |
| 926 | export function cloneLoc(loc: SourceLocation): SourceLocation { |
| 927 | return getLoc(loc.start.offset, loc.end.offset) |
| 928 | } |
| 929 | |
| 930 | function setLocEnd(loc: SourceLocation, end: number) { |
| 931 | loc.end = tokenizer.getPos(end) |