Java/java/nio/file/spi/FileSystemProvider.fz

# Fuzion interface to instance members of Java instance class 'java.nio.file.spi.FileSystemProvider'
#
# !!!!!!  DO NOT EDIT, GENERATED CODE !!!!!!
#
# This code was generated automatically using the fzjava tool V0.087 called 
# as follows:
#
#   ./build/bin/fzjava java.base -to=build/modules/java.base -verbose=0
#
public Java.java.nio.file.spi.FileSystemProvider(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.checkAccess(java.nio.file.Path,java.nio.file.AccessMode[]) throws java.io.IOException':
  #
  public checkAccess_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_AccessMode_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.AccessMode)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "checkAccess" "(Ljava/nio/file/Path;[Ljava/nio/file/AccessMode;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.checkAccess_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_AccessMode_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.AccessMode) Java.java.nio.file.spi.FileSystemProvider.checkAccess_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_AccessMode_s_.this.arg1)]

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.copy(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "copy" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/CopyOption;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.CopyOption) Java.java.nio.file.spi.FileSystemProvider.copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg2)]

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.createDirectory(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "createDirectory" "(Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.spi.FileSystemProvider.createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1)]

  # call Java instance method 'public void java.nio.file.spi.FileSystemProvider.createLink(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "createLink" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # call Java instance method 'public void java.nio.file.spi.FileSystemProvider.createSymbolicLink(java.nio.file.Path,java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "createSymbolicLink" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/attribute/FileAttribute;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java instance method 'public boolean java.nio.file.spi.FileSystemProvider.deleteIfExists(java.nio.file.Path) throws java.io.IOException':
  #
  public deleteIfExists_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.nio.file.spi.FileSystemProvider" "deleteIfExists" "(Ljava/nio/file/Path;)Z" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.deleteIfExists_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.delete(java.nio.file.Path) throws java.io.IOException':
  #
  public delete_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "delete" "(Ljava/nio/file/Path;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.delete_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java instance method 'public boolean java.nio.file.spi.FileSystemProvider.exists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) bool =>
    fuzion.java.call_virtual (bool) "java.nio.file.spi.FileSystemProvider" "exists" "(Ljava/nio/file/Path;[Ljava/nio/file/LinkOption;)Z" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # call Java instance method 'public abstract java.nio.file.attribute.FileAttributeView java.nio.file.spi.FileSystemProvider.getFileAttributeView(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[])':
  #
  public getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) Java.java.nio.file.attribute.FileAttributeView =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.FileAttributeView) "java.nio.file.spi.FileSystemProvider" "getFileAttributeView" "(Ljava/nio/file/Path;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/FileAttributeView;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java instance method 'public abstract java.nio.file.FileStore java.nio.file.spi.FileSystemProvider.getFileStore(java.nio.file.Path) throws java.io.IOException':
  #
  public getFileStore_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.nio.file.FileStore) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.FileStore)) "java.nio.file.spi.FileSystemProvider" "getFileStore" "(Ljava/nio/file/Path;)Ljava/nio/file/FileStore;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.getFileStore_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.FileSystem java.nio.file.spi.FileSystemProvider.getFileSystem(java.net.URI)':
  #
  public getFileSystem_Ljava_7_net_7_URI_s_(arg0 Java.java.net.URI) Java.java.nio.file.FileSystem =>
    fuzion.java.call_virtual (Java.java.nio.file.FileSystem) "java.nio.file.spi.FileSystemProvider" "getFileSystem" "(Ljava/net/URI;)Ljava/nio/file/FileSystem;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.getFileSystem_Ljava_7_net_7_URI_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.Path java.nio.file.spi.FileSystemProvider.getPath(java.net.URI)':
  #
  public getPath_Ljava_7_net_7_URI_s_(arg0 Java.java.net.URI) Java.java.nio.file.Path =>
    fuzion.java.call_virtual (Java.java.nio.file.Path) "java.nio.file.spi.FileSystemProvider" "getPath" "(Ljava/net/URI;)Ljava/nio/file/Path;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.getPath_Ljava_7_net_7_URI_s_.this.arg0)]

  # call Java instance method 'public abstract java.lang.String java.nio.file.spi.FileSystemProvider.getScheme()':
  #
  public getScheme Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.nio.file.spi.FileSystemProvider" "getScheme" "()Ljava/lang/String;" FileSystemProvider.this []

  # call Java instance method 'public abstract boolean java.nio.file.spi.FileSystemProvider.isHidden(java.nio.file.Path) throws java.io.IOException':
  #
  public isHidden_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.nio.file.spi.FileSystemProvider" "isHidden" "(Ljava/nio/file/Path;)Z" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.isHidden_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java instance method 'public abstract boolean java.nio.file.spi.FileSystemProvider.isSameFile(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.nio.file.spi.FileSystemProvider" "isSameFile" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)Z" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.move(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "move" "(Ljava/nio/file/Path;Ljava/nio/file/Path;[Ljava/nio/file/CopyOption;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.CopyOption) Java.java.nio.file.spi.FileSystemProvider.move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_.this.arg2)]

  # call Java instance method 'public java.nio.channels.AsynchronousFileChannel java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel(java.nio.file.Path,java.util.Set,java.util.concurrent.ExecutorService,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Java.java.util.concurrent.ExecutorService, arg3 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.channels.AsynchronousFileChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.AsynchronousFileChannel)) "java.nio.file.spi.FileSystemProvider" "newAsynchronousFileChannel" "(Ljava/nio/file/Path;Ljava/util/Set;Ljava/util/concurrent/ExecutorService;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/channels/AsynchronousFileChannel;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg3)]

  # call Java instance method 'public abstract java.nio.channels.SeekableByteChannel java.nio.file.spi.FileSystemProvider.newByteChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.channels.SeekableByteChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SeekableByteChannel)) "java.nio.file.spi.FileSystemProvider" "newByteChannel" "(Ljava/nio/file/Path;Ljava/util/Set;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/channels/SeekableByteChannel;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.spi.FileSystemProvider.newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java instance method 'public abstract java.nio.file.DirectoryStream java.nio.file.spi.FileSystemProvider.newDirectoryStream(java.nio.file.Path,java.nio.file.DirectoryStream$Filter) throws java.io.IOException':
  #
  public newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.DirectoryStream_S_Filter) outcome (Java.java.nio.file.DirectoryStream) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.DirectoryStream)) "java.nio.file.spi.FileSystemProvider" "newDirectoryStream" "(Ljava/nio/file/Path;Ljava/nio/file/DirectoryStream\$Filter;)Ljava/nio/file/DirectoryStream;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_.this.arg1)]

  # call Java instance method 'public java.nio.channels.FileChannel java.nio.file.spi.FileSystemProvider.newFileChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) outcome (Java.java.nio.channels.FileChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileChannel)) "java.nio.file.spi.FileSystemProvider" "newFileChannel" "(Ljava/nio/file/Path;Ljava/util/Set;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/channels/FileChannel;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.attribute.FileAttribute) Java.java.nio.file.spi.FileSystemProvider.newFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg2)]

  # call Java instance method 'public abstract java.nio.file.FileSystem java.nio.file.spi.FileSystemProvider.newFileSystem(java.net.URI,java.util.Map) throws java.io.IOException':
  #
  public newFileSystem_Ljava_7_net_7_URI_s_Ljava_7_util_7_Map_s_(arg0 Java.java.net.URI, arg1 Java.java.util.Map) outcome (Java.java.nio.file.FileSystem) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.FileSystem)) "java.nio.file.spi.FileSystemProvider" "newFileSystem" "(Ljava/net/URI;Ljava/util/Map;)Ljava/nio/file/FileSystem;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newFileSystem_Ljava_7_net_7_URI_s_Ljava_7_util_7_Map_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newFileSystem_Ljava_7_net_7_URI_s_Ljava_7_util_7_Map_s_.this.arg1)]

  # call Java instance method 'public java.nio.file.FileSystem java.nio.file.spi.FileSystemProvider.newFileSystem(java.nio.file.Path,java.util.Map) throws java.io.IOException':
  #
  public newFileSystem_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Map_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Map) outcome (Java.java.nio.file.FileSystem) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.FileSystem)) "java.nio.file.spi.FileSystemProvider" "newFileSystem" "(Ljava/nio/file/Path;Ljava/util/Map;)Ljava/nio/file/FileSystem;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newFileSystem_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Map_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.newFileSystem_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Map_s_.this.arg1)]

  # call Java instance method 'public java.io.InputStream java.nio.file.spi.FileSystemProvider.newInputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.InputStream) =>
    fuzion.java.call_virtual (outcome (Java.java.io.InputStream)) "java.nio.file.spi.FileSystemProvider" "newInputStream" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/io/InputStream;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.spi.FileSystemProvider.newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java instance method 'public java.io.OutputStream java.nio.file.spi.FileSystemProvider.newOutputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) outcome (Java.java.io.OutputStream) =>
    fuzion.java.call_virtual (outcome (Java.java.io.OutputStream)) "java.nio.file.spi.FileSystemProvider" "newOutputStream" "(Ljava/nio/file/Path;[Ljava/nio/file/OpenOption;)Ljava/io/OutputStream;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.nio.file.OpenOption) Java.java.nio.file.spi.FileSystemProvider.newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_.this.arg1)]

  # call Java instance method 'public java.nio.file.attribute.BasicFileAttributes java.nio.file.spi.FileSystemProvider.readAttributesIfExists(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributesIfExists_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.attribute.BasicFileAttributes) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.attribute.BasicFileAttributes)) "java.nio.file.spi.FileSystemProvider" "readAttributesIfExists" "(Ljava/nio/file/Path;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/BasicFileAttributes;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java instance method 'public abstract java.nio.file.attribute.BasicFileAttributes java.nio.file.spi.FileSystemProvider.readAttributes(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.attribute.BasicFileAttributes) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.attribute.BasicFileAttributes)) "java.nio.file.spi.FileSystemProvider" "readAttributes" "(Ljava/nio/file/Path;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/BasicFileAttributes;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java instance method 'public abstract java.util.Map java.nio.file.spi.FileSystemProvider.readAttributes(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.util.Map) =>
    fuzion.java.call_virtual (outcome (Java.java.util.Map)) "java.nio.file.spi.FileSystemProvider" "readAttributes" "(Ljava/nio/file/Path;Ljava/lang/String;[Ljava/nio/file/LinkOption;)Ljava/util/Map;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java instance method 'public java.nio.file.Path java.nio.file.spi.FileSystemProvider.readSymbolicLink(java.nio.file.Path) throws java.io.IOException':
  #
  public readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.Path)) "java.nio.file.spi.FileSystemProvider" "readSymbolicLink" "(Ljava/nio/file/Path;)Ljava/nio/file/Path;" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_.this.arg0)]

  # call Java instance method 'public abstract void java.nio.file.spi.FileSystemProvider.setAttribute(java.nio.file.Path,java.lang.String,java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.nio.file.Path, arg1 String, arg2 Java.java.lang.Object, arg3 Sequence (Java.java.nio.file.LinkOption)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.spi.FileSystemProvider" "setAttribute" "(Ljava/nio/file/Path;Ljava/lang/String;Ljava/lang/Object;[Ljava/nio/file/LinkOption;)V" FileSystemProvider.this [(Java.java.nio.file.spi.FileSystemProvider.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.nio.file.spi.FileSystemProvider.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1); (Java.java.nio.file.spi.FileSystemProvider.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2); (fuzion.java.array_to_java_object (Java.java.nio.file.LinkOption) Java.java.nio.file.spi.FileSystemProvider.setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg3)]

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.checkAccess(java.nio.file.Path,java.nio.file.AccessMode[]) throws java.io.IOException':
  #
  public checkAccess(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.AccessMode)) (outcome (unit)) =>
    checkAccess_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_AccessMode_s_ Java.java.nio.file.spi.FileSystemProvider.checkAccess.this.arg0 Java.java.nio.file.spi.FileSystemProvider.checkAccess.this.arg1

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.copy(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public copy(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) (outcome (unit)) =>
    copy_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_ Java.java.nio.file.spi.FileSystemProvider.copy.this.arg0 Java.java.nio.file.spi.FileSystemProvider.copy.this.arg1 Java.java.nio.file.spi.FileSystemProvider.copy.this.arg2

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.createDirectory(java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createDirectory(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (unit)) =>
    createDirectory_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.spi.FileSystemProvider.createDirectory.this.arg0 Java.java.nio.file.spi.FileSystemProvider.createDirectory.this.arg1

  # short-hand to call Java method 'public void java.nio.file.spi.FileSystemProvider.createLink(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public createLink(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (outcome (unit)) =>
    createLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.createLink.this.arg0 Java.java.nio.file.spi.FileSystemProvider.createLink.this.arg1

  # short-hand to call Java method 'public void java.nio.file.spi.FileSystemProvider.createSymbolicLink(java.nio.file.Path,java.nio.file.Path,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public createSymbolicLink(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (unit)) =>
    createSymbolicLink_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink.this.arg0 Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink.this.arg1 Java.java.nio.file.spi.FileSystemProvider.createSymbolicLink.this.arg2

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.delete(java.nio.file.Path) throws java.io.IOException':
  #
  public delete(arg0 Java.java.nio.file.Path) (outcome (unit)) =>
    delete_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.delete.this.arg0

  # short-hand to call Java method 'public boolean java.nio.file.spi.FileSystemProvider.deleteIfExists(java.nio.file.Path) throws java.io.IOException':
  #
  public deleteIfExists(arg0 Java.java.nio.file.Path) (outcome (bool)) =>
    deleteIfExists_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.deleteIfExists.this.arg0

  # short-hand to call Java method 'public boolean java.nio.file.spi.FileSystemProvider.exists(java.nio.file.Path,java.nio.file.LinkOption[])':
  #
  public exists(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.LinkOption)) (bool) =>
    exists_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.spi.FileSystemProvider.exists.this.arg0 Java.java.nio.file.spi.FileSystemProvider.exists.this.arg1

  # short-hand to call Java method 'public abstract java.nio.file.attribute.FileAttributeView java.nio.file.spi.FileSystemProvider.getFileAttributeView(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[])':
  #
  public getFileAttributeView(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) (Java.java.nio.file.attribute.FileAttributeView) =>
    getFileAttributeView_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView.this.arg0 Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView.this.arg1 Java.java.nio.file.spi.FileSystemProvider.getFileAttributeView.this.arg2

  # short-hand to call Java method 'public abstract java.nio.file.FileStore java.nio.file.spi.FileSystemProvider.getFileStore(java.nio.file.Path) throws java.io.IOException':
  #
  public getFileStore(arg0 Java.java.nio.file.Path) (outcome (Java.java.nio.file.FileStore)) =>
    getFileStore_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.getFileStore.this.arg0

  # short-hand to call Java method 'public abstract java.nio.file.FileSystem java.nio.file.spi.FileSystemProvider.getFileSystem(java.net.URI)':
  #
  public getFileSystem(arg0 Java.java.net.URI) (Java.java.nio.file.FileSystem) =>
    getFileSystem_Ljava_7_net_7_URI_s_ Java.java.nio.file.spi.FileSystemProvider.getFileSystem.this.arg0

  # short-hand to call Java method 'public abstract java.nio.file.Path java.nio.file.spi.FileSystemProvider.getPath(java.net.URI)':
  #
  public getPath(arg0 Java.java.net.URI) (Java.java.nio.file.Path) =>
    getPath_Ljava_7_net_7_URI_s_ Java.java.nio.file.spi.FileSystemProvider.getPath.this.arg0

  # short-hand to call Java method 'public abstract boolean java.nio.file.spi.FileSystemProvider.isHidden(java.nio.file.Path) throws java.io.IOException':
  #
  public isHidden(arg0 Java.java.nio.file.Path) (outcome (bool)) =>
    isHidden_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.isHidden.this.arg0

  # short-hand to call Java method 'public abstract boolean java.nio.file.spi.FileSystemProvider.isSameFile(java.nio.file.Path,java.nio.file.Path) throws java.io.IOException':
  #
  public isSameFile(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (outcome (bool)) =>
    isSameFile_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.isSameFile.this.arg0 Java.java.nio.file.spi.FileSystemProvider.isSameFile.this.arg1

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.move(java.nio.file.Path,java.nio.file.Path,java.nio.file.CopyOption[]) throws java.io.IOException':
  #
  public move(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path, arg2 Sequence (Java.java.nio.file.CopyOption)) (outcome (unit)) =>
    move_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_CopyOption_s_ Java.java.nio.file.spi.FileSystemProvider.move.this.arg0 Java.java.nio.file.spi.FileSystemProvider.move.this.arg1 Java.java.nio.file.spi.FileSystemProvider.move.this.arg2

  # short-hand to call Java method 'public java.nio.channels.AsynchronousFileChannel java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel(java.nio.file.Path,java.util.Set,java.util.concurrent.ExecutorService,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newAsynchronousFileChannel(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Java.java.util.concurrent.ExecutorService, arg3 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.channels.AsynchronousFileChannel)) =>
    newAsynchronousFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s_Ljava_7_util_7_concurrent_7_ExecutorService_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel.this.arg1 Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel.this.arg2 Java.java.nio.file.spi.FileSystemProvider.newAsynchronousFileChannel.this.arg3

  # short-hand to call Java method 'public abstract java.nio.channels.SeekableByteChannel java.nio.file.spi.FileSystemProvider.newByteChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newByteChannel(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.channels.SeekableByteChannel)) =>
    newByteChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.spi.FileSystemProvider.newByteChannel.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newByteChannel.this.arg1 Java.java.nio.file.spi.FileSystemProvider.newByteChannel.this.arg2

  # short-hand to call Java method 'public abstract java.nio.file.DirectoryStream java.nio.file.spi.FileSystemProvider.newDirectoryStream(java.nio.file.Path,java.nio.file.DirectoryStream$Filter) throws java.io.IOException':
  #
  public newDirectoryStream(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.DirectoryStream_S_Filter) (outcome (Java.java.nio.file.DirectoryStream)) =>
    newDirectoryStream_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_DirectoryStream_S_Filter_s_ Java.java.nio.file.spi.FileSystemProvider.newDirectoryStream.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newDirectoryStream.this.arg1

  # short-hand to call Java method 'public java.nio.channels.FileChannel java.nio.file.spi.FileSystemProvider.newFileChannel(java.nio.file.Path,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newFileChannel(arg0 Java.java.nio.file.Path, arg1 Java.java.util.Set, arg2 Sequence (Java.java.nio.file.attribute.FileAttribute)) (outcome (Java.java.nio.channels.FileChannel)) =>
    newFileChannel_Ljava_7_nio_7_file_7_Path_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_ Java.java.nio.file.spi.FileSystemProvider.newFileChannel.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newFileChannel.this.arg1 Java.java.nio.file.spi.FileSystemProvider.newFileChannel.this.arg2

  # short-hand to call Java method 'public abstract java.nio.file.FileSystem java.nio.file.spi.FileSystemProvider.newFileSystem(java.net.URI,java.util.Map) throws java.io.IOException':
  #
  public newFileSystem(arg0 Java.java.net.URI, arg1 Java.java.util.Map) (outcome (Java.java.nio.file.FileSystem)) =>
    newFileSystem_Ljava_7_net_7_URI_s_Ljava_7_util_7_Map_s_ Java.java.nio.file.spi.FileSystemProvider.newFileSystem.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newFileSystem.this.arg1

  # short-hand to call Java method 'public java.io.InputStream java.nio.file.spi.FileSystemProvider.newInputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newInputStream(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.InputStream)) =>
    newInputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.spi.FileSystemProvider.newInputStream.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newInputStream.this.arg1

  # short-hand to call Java method 'public java.io.OutputStream java.nio.file.spi.FileSystemProvider.newOutputStream(java.nio.file.Path,java.nio.file.OpenOption[]) throws java.io.IOException':
  #
  public newOutputStream(arg0 Java.java.nio.file.Path, arg1 Sequence (Java.java.nio.file.OpenOption)) (outcome (Java.java.io.OutputStream)) =>
    newOutputStream_Ljava_7_nio_7_file_7_Path_s__u00005b_Ljava_7_nio_7_file_7_OpenOption_s_ Java.java.nio.file.spi.FileSystemProvider.newOutputStream.this.arg0 Java.java.nio.file.spi.FileSystemProvider.newOutputStream.this.arg1

  # short-hand to call Java method 'public abstract java.util.Map java.nio.file.spi.FileSystemProvider.readAttributes(java.nio.file.Path,java.lang.String,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributes(arg0 Java.java.nio.file.Path, arg1 String, arg2 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.util.Map)) =>
    readAttributes_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.spi.FileSystemProvider.readAttributes.this.arg0 Java.java.nio.file.spi.FileSystemProvider.readAttributes.this.arg1 Java.java.nio.file.spi.FileSystemProvider.readAttributes.this.arg2

  # short-hand to call Java method 'public java.nio.file.attribute.BasicFileAttributes java.nio.file.spi.FileSystemProvider.readAttributesIfExists(java.nio.file.Path,java.lang.Class,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public readAttributesIfExists(arg0 Java.java.nio.file.Path, arg1 Java.java.lang.Class, arg2 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.nio.file.attribute.BasicFileAttributes)) =>
    readAttributesIfExists_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists.this.arg0 Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists.this.arg1 Java.java.nio.file.spi.FileSystemProvider.readAttributesIfExists.this.arg2

  # short-hand to call Java method 'public java.nio.file.Path java.nio.file.spi.FileSystemProvider.readSymbolicLink(java.nio.file.Path) throws java.io.IOException':
  #
  public readSymbolicLink(arg0 Java.java.nio.file.Path) (outcome (Java.java.nio.file.Path)) =>
    readSymbolicLink_Ljava_7_nio_7_file_7_Path_s_ Java.java.nio.file.spi.FileSystemProvider.readSymbolicLink.this.arg0

  # short-hand to call Java method 'public abstract void java.nio.file.spi.FileSystemProvider.setAttribute(java.nio.file.Path,java.lang.String,java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public setAttribute(arg0 Java.java.nio.file.Path, arg1 String, arg2 Java.java.lang.Object, arg3 Sequence (Java.java.nio.file.LinkOption)) (outcome (unit)) =>
    setAttribute_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.spi.FileSystemProvider.setAttribute.this.arg0 Java.java.nio.file.spi.FileSystemProvider.setAttribute.this.arg1 Java.java.nio.file.spi.FileSystemProvider.setAttribute.this.arg2 Java.java.nio.file.spi.FileSystemProvider.setAttribute.this.arg3