getFileAttributes
Description:
public static Result<
FileInfo,
Error>
getFileAttributes (
Path path)
Returns file attributes for the given path.
Parameters:
Returns:
|
Result.ok(file attributes), or Result.error(FilesystemError.NOT_FOUND/IO) on failure.
|