Java/java/nio/file/SecureDirectoryStream.fz

# Fuzion interface to instance members of Java instance class 'java.nio.file.SecureDirectoryStream'
#
# !!!!!!  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.SecureDirectoryStream(forbidden void) ref : fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract void java.nio.file.SecureDirectoryStream.deleteDirectory(java.lang.Object) throws java.io.IOException':
  #
  public deleteDirectory_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.SecureDirectoryStream" "deleteDirectory" "(Ljava/lang/Object;)V" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.deleteDirectory_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public abstract void java.nio.file.SecureDirectoryStream.deleteFile(java.lang.Object) throws java.io.IOException':
  #
  public deleteFile_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.SecureDirectoryStream" "deleteFile" "(Ljava/lang/Object;)V" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.deleteFile_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.attribute.FileAttributeView java.nio.file.SecureDirectoryStream.getFileAttributeView(java.lang.Class)':
  #
  public getFileAttributeView_Ljava_7_lang_7_Class_s_(arg0 Java.java.lang.Class) Java.java.nio.file.attribute.FileAttributeView =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.FileAttributeView) "java.nio.file.SecureDirectoryStream" "getFileAttributeView" "(Ljava/lang/Class;)Ljava/nio/file/attribute/FileAttributeView;" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.getFileAttributeView_Ljava_7_lang_7_Class_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.attribute.FileAttributeView java.nio.file.SecureDirectoryStream.getFileAttributeView(java.lang.Object,java.lang.Class,java.nio.file.LinkOption[])':
  #
  public getFileAttributeView_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.lang.Object, 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.SecureDirectoryStream" "getFileAttributeView" "(Ljava/lang/Object;Ljava/lang/Class;[Ljava/nio/file/LinkOption;)Ljava/nio/file/attribute/FileAttributeView;" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.getFileAttributeView_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg0); (Java.java.nio.file.SecureDirectoryStream.getFileAttributeView_Ljava_7_lang_7_Object_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.SecureDirectoryStream.getFileAttributeView_Ljava_7_lang_7_Object_s_Ljava_7_lang_7_Class_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg2)]

  # call Java instance method 'public abstract void java.nio.file.SecureDirectoryStream.move(java.lang.Object,java.nio.file.SecureDirectoryStream,java.lang.Object) throws java.io.IOException':
  #
  public move_Ljava_7_lang_7_Object_s_Ljava_7_nio_7_file_7_SecureDirectoryStream_s_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object, arg1 Java.java.nio.file.SecureDirectoryStream, arg2 Java.java.lang.Object) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.SecureDirectoryStream" "move" "(Ljava/lang/Object;Ljava/nio/file/SecureDirectoryStream;Ljava/lang/Object;)V" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.move_Ljava_7_lang_7_Object_s_Ljava_7_nio_7_file_7_SecureDirectoryStream_s_Ljava_7_lang_7_Object_s_.this.arg0); (Java.java.nio.file.SecureDirectoryStream.move_Ljava_7_lang_7_Object_s_Ljava_7_nio_7_file_7_SecureDirectoryStream_s_Ljava_7_lang_7_Object_s_.this.arg1); (Java.java.nio.file.SecureDirectoryStream.move_Ljava_7_lang_7_Object_s_Ljava_7_nio_7_file_7_SecureDirectoryStream_s_Ljava_7_lang_7_Object_s_.this.arg2)]

  # call Java instance method 'public abstract java.nio.channels.SeekableByteChannel java.nio.file.SecureDirectoryStream.newByteChannel(java.lang.Object,java.util.Set,java.nio.file.attribute.FileAttribute[]) throws java.io.IOException':
  #
  public newByteChannel_Ljava_7_lang_7_Object_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_(arg0 Java.java.lang.Object, 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.SecureDirectoryStream" "newByteChannel" "(Ljava/lang/Object;Ljava/util/Set;[Ljava/nio/file/attribute/FileAttribute;)Ljava/nio/channels/SeekableByteChannel;" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.newByteChannel_Ljava_7_lang_7_Object_s_Ljava_7_util_7_Set_s__u00005b_Ljava_7_nio_7_file_7_attribute_7_FileAttribute_s_.this.arg0); (Java.java.nio.file.SecureDirectoryStream.newByteChannel_Ljava_7_lang_7_Object_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.SecureDirectoryStream.newByteChannel_Ljava_7_lang_7_Object_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.SecureDirectoryStream java.nio.file.SecureDirectoryStream.newDirectoryStream(java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public newDirectoryStream_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_(arg0 Java.java.lang.Object, arg1 Sequence (Java.java.nio.file.LinkOption)) outcome (Java.java.nio.file.SecureDirectoryStream) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.SecureDirectoryStream)) "java.nio.file.SecureDirectoryStream" "newDirectoryStream" "(Ljava/lang/Object;[Ljava/nio/file/LinkOption;)Ljava/nio/file/SecureDirectoryStream;" SecureDirectoryStream.this [(Java.java.nio.file.SecureDirectoryStream.newDirectoryStream_Ljava_7_lang_7_Object_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.SecureDirectoryStream.newDirectoryStream_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_.this.arg1)]

  # short-hand to call Java method 'public abstract void java.nio.file.SecureDirectoryStream.deleteDirectory(java.lang.Object) throws java.io.IOException':
  #
  public deleteDirectory(arg0 Java.java.lang.Object) (outcome (unit)) =>
    deleteDirectory_Ljava_7_lang_7_Object_s_ Java.java.nio.file.SecureDirectoryStream.deleteDirectory.this.arg0

  # short-hand to call Java method 'public abstract void java.nio.file.SecureDirectoryStream.deleteFile(java.lang.Object) throws java.io.IOException':
  #
  public deleteFile(arg0 Java.java.lang.Object) (outcome (unit)) =>
    deleteFile_Ljava_7_lang_7_Object_s_ Java.java.nio.file.SecureDirectoryStream.deleteFile.this.arg0

  # short-hand to call Java method 'public abstract java.nio.file.attribute.FileAttributeView java.nio.file.SecureDirectoryStream.getFileAttributeView(java.lang.Class)':
  #
  public getFileAttributeView(arg0 Java.java.lang.Class) (Java.java.nio.file.attribute.FileAttributeView) =>
    getFileAttributeView_Ljava_7_lang_7_Class_s_ Java.java.nio.file.SecureDirectoryStream.getFileAttributeView.this.arg0

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

  # short-hand to call Java method 'public abstract void java.nio.file.SecureDirectoryStream.move(java.lang.Object,java.nio.file.SecureDirectoryStream,java.lang.Object) throws java.io.IOException':
  #
  public move(arg0 Java.java.lang.Object, arg1 Java.java.nio.file.SecureDirectoryStream, arg2 Java.java.lang.Object) (outcome (unit)) =>
    move_Ljava_7_lang_7_Object_s_Ljava_7_nio_7_file_7_SecureDirectoryStream_s_Ljava_7_lang_7_Object_s_ Java.java.nio.file.SecureDirectoryStream.move.this.arg0 Java.java.nio.file.SecureDirectoryStream.move.this.arg1 Java.java.nio.file.SecureDirectoryStream.move.this.arg2

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

  # short-hand to call Java method 'public abstract java.nio.file.SecureDirectoryStream java.nio.file.SecureDirectoryStream.newDirectoryStream(java.lang.Object,java.nio.file.LinkOption[]) throws java.io.IOException':
  #
  public newDirectoryStream(arg0 Java.java.lang.Object, arg1 Sequence (Java.java.nio.file.LinkOption)) (outcome (Java.java.nio.file.SecureDirectoryStream)) =>
    newDirectoryStream_Ljava_7_lang_7_Object_s__u00005b_Ljava_7_nio_7_file_7_LinkOption_s_ Java.java.nio.file.SecureDirectoryStream.newDirectoryStream.this.arg0 Java.java.nio.file.SecureDirectoryStream.newDirectoryStream.this.arg1