public boolean isWholeFile() {
return mLocationNode.isWholeFile();
}
/** @return -1 if no line number */
public int getLineNumber() {
return mLocationNode.getLineNumber();
}
/** @return -1 if no column number */
public int getColumnNumber() {
return mLocationNode.getColumnNumber();
}
public String getFilePath() {
return mLocationNode.getFilePath();
}