public int getType() { return this.type; }
public int getLine() { return this.line; }
public int getCol() { return this.col; }
- public String getMessage() { return this.error; }
+ public String getMessage() { return this.error + (line >= 0 && col >= 0 ? " at " + line + ":" + col: ""); }
}