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

# Fuzion interface to static members of Java 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_static is

  # call Java static method 'public static int jdk.internal.jimage.decompressor.CompressedResourceHeader.getSize()':
  #
  public getSize i32 =>
    fuzion.java.call_static (i32) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "getSize" "()I" []

  # call Java static method 'public static jdk.internal.jimage.decompressor.CompressedResourceHeader jdk.internal.jimage.decompressor.CompressedResourceHeader.readFromResource(java.nio.ByteOrder,byte[])':
  #
  public readFromResource_Ljava_7_nio_7_ByteOrder_s__u00005b_B(arg0 Java.java.nio.ByteOrder, arg1 Sequence (i8)) Java.jdk.internal.jimage.decompressor.CompressedResourceHeader =>
    fuzion.java.call_static (Java.jdk.internal.jimage.decompressor.CompressedResourceHeader) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "readFromResource" "(Ljava/nio/ByteOrder;[B)Ljdk/internal/jimage/decompressor/CompressedResourceHeader;" [(Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.readFromResource_Ljava_7_nio_7_ByteOrder_s__u00005b_B.this.arg0); (fuzion.java.array_to_java_object (i8) Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.readFromResource_Ljava_7_nio_7_ByteOrder_s__u00005b_B.this.arg1)]

  # short-hand to call Java method 'public static jdk.internal.jimage.decompressor.CompressedResourceHeader jdk.internal.jimage.decompressor.CompressedResourceHeader.readFromResource(java.nio.ByteOrder,byte[])':
  #
  public readFromResource(arg0 Java.java.nio.ByteOrder, arg1 Sequence (i8)) (Java.jdk.internal.jimage.decompressor.CompressedResourceHeader) =>
    readFromResource_Ljava_7_nio_7_ByteOrder_s__u00005b_B Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.readFromResource.this.arg0 Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.readFromResource.this.arg1

  # read static Java field 'public static final int jdk.internal.jimage.decompressor.CompressedResourceHeader.MAGIC':
  #
  public MAGIC i32 =>
    fuzion.java.get_static_field (i32) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "MAGIC"

  # call Java constructor 'public jdk.internal.jimage.decompressor.CompressedResourceHeader(long,long,int,int,boolean)':
  #
  public new_JJIIZ(arg0 i64, arg1 i64, arg2 i32, arg3 i32, arg4 bool) Java.jdk.internal.jimage.decompressor.CompressedResourceHeader =>
    fuzion.java.call_constructor (Java.jdk.internal.jimage.decompressor.CompressedResourceHeader) "jdk.internal.jimage.decompressor.CompressedResourceHeader" "(JJIIZ)V" [(fuzion.java.i64_to_java_object Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new_JJIIZ.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new_JJIIZ.this.arg1); (fuzion.java.i32_to_java_object Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new_JJIIZ.this.arg2); (fuzion.java.i32_to_java_object Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new_JJIIZ.this.arg3); (fuzion.java.bool_to_java_object Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new_JJIIZ.this.arg4)]

  # short-hand to call Java constructor 'public jdk.internal.jimage.decompressor.CompressedResourceHeader(long,long,int,int,boolean)':
  #
  public new(arg0 i64, arg1 i64, arg2 i32, arg3 i32, arg4 bool) (Java.jdk.internal.jimage.decompressor.CompressedResourceHeader) =>
    new_JJIIZ Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new.this.arg0 Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new.this.arg1 Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new.this.arg2 Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new.this.arg3 Java.jdk.internal.jimage.decompressor.CompressedResourceHeader_static.new.this.arg4