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();
}
