/** * Returns a Location relating to file 'path', but not to any specific part region within the * file. Try to use a more specific location if possible. */ public static Location fromFile(Path path) { return fromFileAndOffsets(path.asFragment(), 0, 0); }