2015-10-07 12:34:21 -04:00
|
|
|
export class ParseLocation {
|
|
|
|
constructor(public file: ParseSourceFile, public offset: number, public line: number,
|
|
|
|
public col: number) {}
|
|
|
|
|
2015-11-10 18:56:25 -05:00
|
|
|
toString(): string { return `${this.file.url}@${this.line}:${this.col}`; }
|
2015-10-07 12:34:21 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
export class ParseSourceFile {
|
|
|
|
constructor(public content: string, public url: string) {}
|
|
|
|
}
|
|
|
|
|
2016-02-16 19:46:51 -05:00
|
|
|
export class ParseSourceSpan {
|
|
|
|
constructor(public start: ParseLocation, public end: ParseLocation) {}
|
|
|
|
|
|
|
|
toString(): string {
|
|
|
|
return this.start.file.content.substring(this.start.offset, this.end.offset);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-07 12:34:21 -04:00
|
|
|
export abstract class ParseError {
|
2016-02-16 19:46:51 -05:00
|
|
|
constructor(public span: ParseSourceSpan, public msg: string) {}
|
2015-10-07 12:34:21 -04:00
|
|
|
|
|
|
|
toString(): string {
|
2016-02-16 19:46:51 -05:00
|
|
|
var source = this.span.start.file.content;
|
|
|
|
var ctxStart = this.span.start.offset;
|
2015-11-10 18:56:25 -05:00
|
|
|
if (ctxStart > source.length - 1) {
|
|
|
|
ctxStart = source.length - 1;
|
|
|
|
}
|
|
|
|
var ctxEnd = ctxStart;
|
|
|
|
var ctxLen = 0;
|
|
|
|
var ctxLines = 0;
|
|
|
|
|
|
|
|
while (ctxLen < 100 && ctxStart > 0) {
|
|
|
|
ctxStart--;
|
|
|
|
ctxLen++;
|
|
|
|
if (source[ctxStart] == "\n") {
|
|
|
|
if (++ctxLines == 3) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ctxLen = 0;
|
|
|
|
ctxLines = 0;
|
|
|
|
while (ctxLen < 100 && ctxEnd < source.length - 1) {
|
|
|
|
ctxEnd++;
|
|
|
|
ctxLen++;
|
|
|
|
if (source[ctxEnd] == "\n") {
|
|
|
|
if (++ctxLines == 3) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-02-16 19:46:51 -05:00
|
|
|
let context = source.substring(ctxStart, this.span.start.offset) + '[ERROR ->]' +
|
|
|
|
source.substring(this.span.start.offset, ctxEnd + 1);
|
2015-11-10 18:56:25 -05:00
|
|
|
|
2016-02-16 19:46:51 -05:00
|
|
|
return `${this.msg} ("${context}"): ${this.span.start}`;
|
2015-10-07 12:34:21 -04:00
|
|
|
}
|
|
|
|
}
|