Java/jdk/internal/jimage/decompressor/CompressedResourceHeader.fz

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

  # call Java instance method 'public byte[] jdk.internal.jimage.decompressor.CompressedResourceHeader.getBytes(java.nio.ByteOrder)':
  #
  public getBytes_Ljava_7_nio_7_ByteOrder_s_(arg0 Java.java.nio.ByteOrder) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getBytes" "(Ljava/nio/ByteOrder;)[B" CompressedResourceHeader.this [(Java.jdk.internal.jimage.decompressor.CompressedResourceHeader.getBytes_Ljava_7_nio_7_ByteOrder_s_.this.arg0)]

  # call Java instance method 'public int jdk.internal.jimage.decompressor.CompressedResourceHeader.getContentOffset()':
  #
  public getContentOffset i32 =>
    fuzion.java.call_virtual (i32) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getContentOffset" "()I" CompressedResourceHeader.this []

  # call Java instance method 'public int jdk.internal.jimage.decompressor.CompressedResourceHeader.getDecompressorNameOffset()':
  #
  public getDecompressorNameOffset i32 =>
    fuzion.java.call_virtual (i32) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getDecompressorNameOffset" "()I" CompressedResourceHeader.this []

  # call Java instance method 'public long jdk.internal.jimage.decompressor.CompressedResourceHeader.getResourceSize()':
  #
  public getResourceSize i64 =>
    fuzion.java.call_virtual (i64) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getResourceSize" "()J" CompressedResourceHeader.this []

  # call Java instance method 'public java.lang.String jdk.internal.jimage.decompressor.CompressedResourceHeader.getStoredContent(jdk.internal.jimage.decompressor.ResourceDecompressor$StringsProvider)':
  #
  public getStoredContent_Ljdk_7_internal_7_jimage_7_decompressor_7_ResourceDecompressor_S_StringsProvider_s_(arg0 Java.jdk.internal.jimage.decompressor.ResourceDecompressor_S_StringsProvider) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getStoredContent" "(Ljdk/internal/jimage/decompressor/ResourceDecompressor\$StringsProvider;)Ljava/lang/String;" CompressedResourceHeader.this [(Java.jdk.internal.jimage.decompressor.CompressedResourceHeader.getStoredContent_Ljdk_7_internal_7_jimage_7_decompressor_7_ResourceDecompressor_S_StringsProvider_s_.this.arg0)]

  # call Java instance method 'public long jdk.internal.jimage.decompressor.CompressedResourceHeader.getUncompressedSize()':
  #
  public getUncompressedSize i64 =>
    fuzion.java.call_virtual (i64) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getUncompressedSize" "()J" CompressedResourceHeader.this []

  # call Java instance method 'public boolean jdk.internal.jimage.decompressor.CompressedResourceHeader.isTerminal()':
  #
  public isTerminal bool =>
    fuzion.java.call_virtual (bool) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "isTerminal" "()Z" CompressedResourceHeader.this []

  # short-hand to call Java method 'public byte[] jdk.internal.jimage.decompressor.CompressedResourceHeader.getBytes(java.nio.ByteOrder)':
  #
  public getBytes(arg0 Java.java.nio.ByteOrder) (fuzion.java.Array (i8)) =>
    getBytes_Ljava_7_nio_7_ByteOrder_s_ Java.jdk.internal.jimage.decompressor.CompressedResourceHeader.getBytes.this.arg0

  # short-hand to call Java method 'public java.lang.String jdk.internal.jimage.decompressor.CompressedResourceHeader.getStoredContent(jdk.internal.jimage.decompressor.ResourceDecompressor$StringsProvider)':
  #
  public getStoredContent(arg0 Java.jdk.internal.jimage.decompressor.ResourceDecompressor_S_StringsProvider) (Java.java.lang.__jString) =>
    getStoredContent_Ljdk_7_internal_7_jimage_7_decompressor_7_ResourceDecompressor_S_StringsProvider_s_ Java.jdk.internal.jimage.decompressor.CompressedResourceHeader.getStoredContent.this.arg0