java filesystem_type file

Author: scivision

+stdlib/+java/filesystem_type.m

@@ -0,0 +1,5 @@
+function t = filesystem_type(p)
+
+t = javaMethod("getFileStore", "java.nio.file.Files", javaPathObject(p)).type;
+
+end

+stdlib/+java/private/javaPathObject.m

@@ -0,0 +1,9 @@
+%% JAVAPATHOBJECT Return a Java nio.file.Path object for a given file path.
+function o = javaPathObject(p)
+
+o = javaMethod("get", "java.nio.file.Paths", p, javaArray('java.lang.String', 0));
+
+% o = javaObject("java.io.File", p).toPath();
+% javaArray way about 20% faster
+
+end

+stdlib/filesystem_type.m

@@ -12,7 +12,7 @@
   t = System.IO.DriveInfo(stdlib.absolute(p)).DriveFormat;
   % https://learn.microsoft.com/en-us/dotnet/api/system.io.driveinfo.driveformat
 elseif stdlib.has_java()
-  t = javaMethod("getFileStore", "java.nio.file.Files", javaPathObject(p)).type;
+  t = stdlib.java.filesystem_type(p);
 elseif stdlib.has_python()
   t = stdlib.python.filesystem_type(p);
 end