Feat!: Add WebDAV support

Bug: #191

Author: zhanghai

README.md

@@ -22,7 +22,7 @@ An open source Material Design file manager, for Android 5.0+.
 - Breadcrumbs: Navigate in the filesystem with ease.
 - Root support: View and manage files with root access.
 - Archive support: View, extract and create common compressed files.
-- NAS support: View and manage files on FTP, SFTP and SMB servers.
+- NAS support: View and manage files on FTP, SFTP, SMB and WebDAV servers.
 - Themes: Customizable UI colors, plus night mode with optional true black.
 - Linux-aware: Like [Nautilus](https://wiki.gnome.org/action/show/Apps/Files), knows symbolic links, file permissions and SELinux context.
 - Robust: Uses Linux system calls under the hood, not yet another [`ls` parser](https://news.ycombinator.com/item?id=7994720).

README_zh-CN.md

@@ -20,7 +20,7 @@
 - 面包屑导航栏：点击导航栏所显示路径中的任一文件夹即可快速访问。
 - Root 支持：使用 root 权限查看和管理文件。
 - 压缩文件支持：查看、提取和创建常见的压缩文件。
-- NAS 支持：查看和管理 FTP、SFTP 和 SMB 服务器上的文件。
+- NAS 支持：查看和管理 FTP、SFTP、SMB 和 WebDAV 服务器上的文件。
 - 主题：可定制的界面颜色，以及可选纯黑的夜间模式。
 - Linux 友好：类似 [Nautilus](https://wiki.gnome.org/action/show/Apps/Files)，支持符号链接、文件权限和 SELinux 上下文。
 - 健壮性：使用 Linux 系统调用实现，而不是另一个 [`ls` 解析器](https://news.ycombinator.com/item?id=7994720)。

app/build.gradle

@@ -104,6 +104,9 @@ repositories {
     }
 }
 dependencies {
+    // TODO: Remove DavResource.moveCompat once https://github.com/bitfireAT/dav4jvm/issues/39 is
+    //  fixed.
+    implementation 'com.github.bitfireAT:dav4jvm:2.2.1'
     implementation 'com.github.chrisbanes:PhotoView:2.3.0'
     releaseImplementation 'com.github.mypplication:stetho-noop:1.1'
     implementation 'com.github.topjohnwu.libsu:service:5.2.2'

app/src/main/java/at/bitfire/dav4jvm/DavResourceAccessor.java

@@ -0,0 +1,28 @@
+/*
+ * Copyright (c) 2024 Hai Zhang <[email protected]>
+ * All Rights Reserved.
+ */
+
+package at.bitfire.dav4jvm;
+
+import java.io.IOException;
+
+import androidx.annotation.NonNull;
+import at.bitfire.dav4jvm.exception.DavException;
+import at.bitfire.dav4jvm.exception.HttpException;
+import kotlin.jvm.functions.Function0;
+import okhttp3.Response;
+
+public class DavResourceAccessor {
+    private DavResourceAccessor() {}
+
+    public static void checkStatus(@NonNull DavResource davResource, @NonNull Response response)
+            throws HttpException {
+        davResource.checkStatus(response);
+    }
+
+    public static Response followRedirects(@NonNull DavResource davResource,
+            @NonNull Function0<Response> sendRequest) throws DavException, IOException {
+        return davResource.followRedirects$build(sendRequest);
+    }
+}

app/src/main/java/me/zhanghai/android/files/app/SystemServices.kt

@@ -17,6 +17,7 @@ import androidx.core.app.NotificationManagerCompat
 import androidx.preference.PreferenceManager
 import me.zhanghai.android.files.compat.getSystemServiceCompat
 import me.zhanghai.android.files.compat.mainExecutorCompat
+import okhttp3.OkHttpClient
 import java.util.concurrent.Executor
 
 val appClassLoader = AppProvider::class.java.classLoader
@@ -31,6 +32,8 @@ val defaultSharedPreferences: SharedPreferences by lazy {
     PreferenceManager.getDefaultSharedPreferences(application)
 }
 
+val okHttpClient: OkHttpClient by lazy { OkHttpClient() }
+
 val inputMethodManager: InputMethodManager by lazy {
     application.getSystemServiceCompat(InputMethodManager::class.java)
 }

app/src/main/java/me/zhanghai/android/files/compat/DateTimeCompat.kt

@@ -3,5 +3,10 @@ package me.zhanghai.android.files.compat
 import org.threeten.bp.DateTimeUtils
 import org.threeten.bp.Instant
 import java.util.Calendar
+import java.util.Date
 
 fun Calendar.toInstantCompat(): Instant = DateTimeUtils.toInstant(this)
+
+fun Date.toInstantCompat(): Instant = DateTimeUtils.toInstant(this)
+
+fun Instant.toDateCompat(): Date = DateTimeUtils.toDate(this)

app/src/main/java/me/zhanghai/android/files/provider/FileSystemProviders.kt

@@ -19,6 +19,8 @@ import me.zhanghai.android.files.provider.linux.LinuxFileSystemProvider
 import me.zhanghai.android.files.provider.root.isRunningAsRoot
 import me.zhanghai.android.files.provider.sftp.SftpFileSystemProvider
 import me.zhanghai.android.files.provider.smb.SmbFileSystemProvider
+import me.zhanghai.android.files.provider.webdav.WebDavFileSystemProvider
+import me.zhanghai.android.files.provider.webdav.WebDavsFileSystemProvider
 
 object FileSystemProviders {
     /**
@@ -42,6 +44,8 @@ object FileSystemProviders {
             FileSystemProvider.installProvider(FtpesFileSystemProvider)
             FileSystemProvider.installProvider(SftpFileSystemProvider)
             FileSystemProvider.installProvider(SmbFileSystemProvider)
+            FileSystemProvider.installProvider(WebDavFileSystemProvider)
+            FileSystemProvider.installProvider(WebDavsFileSystemProvider)
         }
         Files.installFileTypeDetector(AndroidFileTypeDetector)
     }

app/src/main/java/me/zhanghai/android/files/provider/webdav/DavExceptionExtensions.kt

@@ -0,0 +1,27 @@
+package me.zhanghai.android.files.provider.webdav
+
+import at.bitfire.dav4jvm.exception.ConflictException
+import at.bitfire.dav4jvm.exception.DavException
+import at.bitfire.dav4jvm.exception.ForbiddenException
+import at.bitfire.dav4jvm.exception.NotFoundException
+import at.bitfire.dav4jvm.exception.UnauthorizedException
+import java8.nio.file.AccessDeniedException
+import java8.nio.file.FileAlreadyExistsException
+import java8.nio.file.FileSystemException
+import java8.nio.file.NoSuchFileException
+import me.zhanghai.android.files.provider.webdav.client.DavIOException
+
+fun DavException.toFileSystemException(
+    file: String?,
+    other: String? = null
+): FileSystemException {
+    return when (this) {
+        is DavIOException ->
+            return FileSystemException(file, other, message).apply { initCause(cause) }
+        is UnauthorizedException, is ForbiddenException ->
+            AccessDeniedException(file, other, message)
+        is NotFoundException -> NoSuchFileException(file, other, message)
+        is ConflictException -> FileAlreadyExistsException(file, other, message)
+        else -> FileSystemException(file, other, message)
+    }.apply { initCause(this@toFileSystemException) }
+}

app/src/main/java/me/zhanghai/android/files/provider/webdav/OpenOptionsWebDavExtensions.kt

@@ -0,0 +1,21 @@
+/*
+ * Copyright (c) 2024 Hai Zhang <[email protected]>
+ * All Rights Reserved.
+ */
+
+package me.zhanghai.android.files.provider.webdav
+
+import java8.nio.file.StandardOpenOption
+import me.zhanghai.android.files.provider.common.OpenOptions
+
+internal fun OpenOptions.checkForWebDav() {
+    if (deleteOnClose) {
+        throw UnsupportedOperationException(StandardOpenOption.DELETE_ON_CLOSE.toString())
+    }
+    if (sync) {
+        throw UnsupportedOperationException(StandardOpenOption.SYNC.toString())
+    }
+    if (dsync) {
+        throw UnsupportedOperationException(StandardOpenOption.DSYNC.toString())
+    }
+}

app/src/main/java/me/zhanghai/android/files/provider/webdav/PathWebDavExtensions.kt

@@ -0,0 +1,12 @@
+/*
+ * Copyright (c) 2024 Hai Zhang <[email protected]>
+ * All Rights Reserved.
+ */
+
+package me.zhanghai.android.files.provider.webdav
+
+import java8.nio.file.Path
+import me.zhanghai.android.files.provider.webdav.client.Authority
+
+fun Authority.createWebDavRootPath(): Path =
+    WebDavFileSystemProvider.getOrNewFileSystem(this).rootDirectory