Java/java/util/zip/ZipEntry.fz

# Fuzion interface to instance members of Java instance class 'java.util.zip.ZipEntry'
#
# !!!!!!  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.util.zip.ZipEntry(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public java.lang.Object java.util.zip.ZipEntry.clone()':
  #
  public clone Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.util.zip.ZipEntry" "clone" "()Ljava/lang/Object;" ZipEntry.this []

  # call Java instance method 'public java.lang.String java.util.zip.ZipEntry.getComment()':
  #
  public getComment Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.zip.ZipEntry" "getComment" "()Ljava/lang/String;" ZipEntry.this []

  # call Java instance method 'public long java.util.zip.ZipEntry.getCompressedSize()':
  #
  public getCompressedSize i64 =>
    fuzion.java.call_virtual (i64) "java.util.zip.ZipEntry" "getCompressedSize" "()J" ZipEntry.this []

  # call Java instance method 'public long java.util.zip.ZipEntry.getCrc()':
  #
  public getCrc i64 =>
    fuzion.java.call_virtual (i64) "java.util.zip.ZipEntry" "getCrc" "()J" ZipEntry.this []

  # call Java instance method 'public java.nio.file.attribute.FileTime java.util.zip.ZipEntry.getCreationTime()':
  #
  public getCreationTime Java.java.nio.file.attribute.FileTime =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.FileTime) "java.util.zip.ZipEntry" "getCreationTime" "()Ljava/nio/file/attribute/FileTime;" ZipEntry.this []

  # call Java instance method 'public byte[] java.util.zip.ZipEntry.getExtra()':
  #
  public getExtra fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.util.zip.ZipEntry" "getExtra" "()[B" ZipEntry.this []

  # call Java instance method 'public java.nio.file.attribute.FileTime java.util.zip.ZipEntry.getLastAccessTime()':
  #
  public getLastAccessTime Java.java.nio.file.attribute.FileTime =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.FileTime) "java.util.zip.ZipEntry" "getLastAccessTime" "()Ljava/nio/file/attribute/FileTime;" ZipEntry.this []

  # call Java instance method 'public java.nio.file.attribute.FileTime java.util.zip.ZipEntry.getLastModifiedTime()':
  #
  public getLastModifiedTime Java.java.nio.file.attribute.FileTime =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.FileTime) "java.util.zip.ZipEntry" "getLastModifiedTime" "()Ljava/nio/file/attribute/FileTime;" ZipEntry.this []

  # call Java instance method 'public int java.util.zip.ZipEntry.getMethod()':
  #
  public getMethod i32 =>
    fuzion.java.call_virtual (i32) "java.util.zip.ZipEntry" "getMethod" "()I" ZipEntry.this []

  # call Java instance method 'public java.lang.String java.util.zip.ZipEntry.getName()':
  #
  public getName Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.zip.ZipEntry" "getName" "()Ljava/lang/String;" ZipEntry.this []

  # call Java instance method 'public long java.util.zip.ZipEntry.getSize()':
  #
  public getSize i64 =>
    fuzion.java.call_virtual (i64) "java.util.zip.ZipEntry" "getSize" "()J" ZipEntry.this []

  # call Java instance method 'public long java.util.zip.ZipEntry.getTime()':
  #
  public getTime i64 =>
    fuzion.java.call_virtual (i64) "java.util.zip.ZipEntry" "getTime" "()J" ZipEntry.this []

  # call Java instance method 'public java.time.LocalDateTime java.util.zip.ZipEntry.getTimeLocal()':
  #
  public getTimeLocal Java.java.time.LocalDateTime =>
    fuzion.java.call_virtual (Java.java.time.LocalDateTime) "java.util.zip.ZipEntry" "getTimeLocal" "()Ljava/time/LocalDateTime;" ZipEntry.this []

  # call Java instance method 'public boolean java.util.zip.ZipEntry.isDirectory()':
  #
  public isDirectory bool =>
    fuzion.java.call_virtual (bool) "java.util.zip.ZipEntry" "isDirectory" "()Z" ZipEntry.this []

  # call Java instance method 'public void java.util.zip.ZipEntry.setComment(java.lang.String)':
  #
  public setComment_Ljava_7_lang_7_String_s_(arg0 String) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setComment" "(Ljava/lang/String;)V" ZipEntry.this [(fuzion.java.string_to_java_object Java.java.util.zip.ZipEntry.setComment_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setCompressedSize(long)':
  #
  public setCompressedSize_J(arg0 i64) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setCompressedSize" "(J)V" ZipEntry.this [(fuzion.java.i64_to_java_object Java.java.util.zip.ZipEntry.setCompressedSize_J.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setCrc(long)':
  #
  public setCrc_J(arg0 i64) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setCrc" "(J)V" ZipEntry.this [(fuzion.java.i64_to_java_object Java.java.util.zip.ZipEntry.setCrc_J.this.arg0)]

  # call Java instance method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setCreationTime(java.nio.file.attribute.FileTime)':
  #
  public setCreationTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_(arg0 Java.java.nio.file.attribute.FileTime) Java.java.util.zip.ZipEntry =>
    fuzion.java.call_virtual (Java.java.util.zip.ZipEntry) "java.util.zip.ZipEntry" "setCreationTime" "(Ljava/nio/file/attribute/FileTime;)Ljava/util/zip/ZipEntry;" ZipEntry.this [(Java.java.util.zip.ZipEntry.setCreationTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setExtra(byte[])':
  #
  public setExtra__u00005b_B(arg0 Sequence (i8)) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setExtra" "([B)V" ZipEntry.this [(fuzion.java.array_to_java_object (i8) Java.java.util.zip.ZipEntry.setExtra__u00005b_B.this.arg0)]

  # call Java instance method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setLastAccessTime(java.nio.file.attribute.FileTime)':
  #
  public setLastAccessTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_(arg0 Java.java.nio.file.attribute.FileTime) Java.java.util.zip.ZipEntry =>
    fuzion.java.call_virtual (Java.java.util.zip.ZipEntry) "java.util.zip.ZipEntry" "setLastAccessTime" "(Ljava/nio/file/attribute/FileTime;)Ljava/util/zip/ZipEntry;" ZipEntry.this [(Java.java.util.zip.ZipEntry.setLastAccessTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_.this.arg0)]

  # call Java instance method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setLastModifiedTime(java.nio.file.attribute.FileTime)':
  #
  public setLastModifiedTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_(arg0 Java.java.nio.file.attribute.FileTime) Java.java.util.zip.ZipEntry =>
    fuzion.java.call_virtual (Java.java.util.zip.ZipEntry) "java.util.zip.ZipEntry" "setLastModifiedTime" "(Ljava/nio/file/attribute/FileTime;)Ljava/util/zip/ZipEntry;" ZipEntry.this [(Java.java.util.zip.ZipEntry.setLastModifiedTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setMethod(int)':
  #
  public setMethod_I(arg0 i32) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setMethod" "(I)V" ZipEntry.this [(fuzion.java.i32_to_java_object Java.java.util.zip.ZipEntry.setMethod_I.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setSize(long)':
  #
  public setSize_J(arg0 i64) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setSize" "(J)V" ZipEntry.this [(fuzion.java.i64_to_java_object Java.java.util.zip.ZipEntry.setSize_J.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setTimeLocal(java.time.LocalDateTime)':
  #
  public setTimeLocal_Ljava_7_time_7_LocalDateTime_s_(arg0 Java.java.time.LocalDateTime) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setTimeLocal" "(Ljava/time/LocalDateTime;)V" ZipEntry.this [(Java.java.util.zip.ZipEntry.setTimeLocal_Ljava_7_time_7_LocalDateTime_s_.this.arg0)]

  # call Java instance method 'public void java.util.zip.ZipEntry.setTime(long)':
  #
  public setTime_J(arg0 i64) unit =>
    fuzion.java.call_virtual (unit) "java.util.zip.ZipEntry" "setTime" "(J)V" ZipEntry.this [(fuzion.java.i64_to_java_object Java.java.util.zip.ZipEntry.setTime_J.this.arg0)]

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setComment(java.lang.String)':
  #
  public setComment(arg0 String) (unit) =>
    setComment_Ljava_7_lang_7_String_s_ Java.java.util.zip.ZipEntry.setComment.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setCompressedSize(long)':
  #
  public setCompressedSize(arg0 i64) (unit) =>
    setCompressedSize_J Java.java.util.zip.ZipEntry.setCompressedSize.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setCrc(long)':
  #
  public setCrc(arg0 i64) (unit) =>
    setCrc_J Java.java.util.zip.ZipEntry.setCrc.this.arg0

  # short-hand to call Java method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setCreationTime(java.nio.file.attribute.FileTime)':
  #
  public setCreationTime(arg0 Java.java.nio.file.attribute.FileTime) (Java.java.util.zip.ZipEntry) =>
    setCreationTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_ Java.java.util.zip.ZipEntry.setCreationTime.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setExtra(byte[])':
  #
  public setExtra(arg0 Sequence (i8)) (unit) =>
    setExtra__u00005b_B Java.java.util.zip.ZipEntry.setExtra.this.arg0

  # short-hand to call Java method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setLastAccessTime(java.nio.file.attribute.FileTime)':
  #
  public setLastAccessTime(arg0 Java.java.nio.file.attribute.FileTime) (Java.java.util.zip.ZipEntry) =>
    setLastAccessTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_ Java.java.util.zip.ZipEntry.setLastAccessTime.this.arg0

  # short-hand to call Java method 'public java.util.zip.ZipEntry java.util.zip.ZipEntry.setLastModifiedTime(java.nio.file.attribute.FileTime)':
  #
  public setLastModifiedTime(arg0 Java.java.nio.file.attribute.FileTime) (Java.java.util.zip.ZipEntry) =>
    setLastModifiedTime_Ljava_7_nio_7_file_7_attribute_7_FileTime_s_ Java.java.util.zip.ZipEntry.setLastModifiedTime.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setMethod(int)':
  #
  public setMethod(arg0 i32) (unit) =>
    setMethod_I Java.java.util.zip.ZipEntry.setMethod.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setSize(long)':
  #
  public setSize(arg0 i64) (unit) =>
    setSize_J Java.java.util.zip.ZipEntry.setSize.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setTime(long)':
  #
  public setTime(arg0 i64) (unit) =>
    setTime_J Java.java.util.zip.ZipEntry.setTime.this.arg0

  # short-hand to call Java method 'public void java.util.zip.ZipEntry.setTimeLocal(java.time.LocalDateTime)':
  #
  public setTimeLocal(arg0 Java.java.time.LocalDateTime) (unit) =>
    setTimeLocal_Ljava_7_time_7_LocalDateTime_s_ Java.java.util.zip.ZipEntry.setTimeLocal.this.arg0