public int getEndColumn() { return loc.getEndColumn(); }
public int getEndLine() { return loc.getEndLine(); }
public int getStartLine() { return loc.getStartLine(); }
public int getStartColumn() { return loc.getStartColumn(); }
public String getFilename() { return loc.getFilename(); }