private String getLocationString(String filePath, int line, int col) { if (filePath == null) return ""; String location = filePath; if (line != -1) location = String.format(getLocationFormat(), location, (line + 1), (col + 1)); assert location != null; return location; }
private String getLocationString(String filePath, int line, int col) { if (filePath == null) return ""; String location = filePath; if (line != -1) location = String.format(getLocationFormat(), location, (line + 1), (col + 1)); assert location != null; return location; }