Java/jdk/internal/jimage/ImageReader.fz

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

  # call Java instance method 'public void jdk.internal.jimage.ImageReader.close() throws java.io.IOException':
  #
  public close outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "jdk.internal.jimage.ImageReader" "close" "()V" ImageReader.this []

  # call Java instance method 'public jdk.internal.jimage.ImageLocation jdk.internal.jimage.ImageReader.findLocation(java.lang.String)':
  #
  public findLocation_Ljava_7_lang_7_String_s_(arg0 String) Java.jdk.internal.jimage.ImageLocation =>
    fuzion.java.call_virtual (Java.jdk.internal.jimage.ImageLocation) "jdk.internal.jimage.ImageReader" "findLocation" "(Ljava/lang/String;)Ljdk/internal/jimage/ImageLocation;" ImageReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.findLocation_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public jdk.internal.jimage.ImageLocation jdk.internal.jimage.ImageReader.findLocation(java.lang.String,java.lang.String)':
  #
  public findLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.jdk.internal.jimage.ImageLocation =>
    fuzion.java.call_virtual (Java.jdk.internal.jimage.ImageLocation) "jdk.internal.jimage.ImageReader" "findLocation" "(Ljava/lang/String;Ljava/lang/String;)Ljdk/internal/jimage/ImageLocation;" ImageReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.findLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.findLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public jdk.internal.jimage.ImageReader$Node jdk.internal.jimage.ImageReader.findNode(java.lang.String) throws java.io.IOException':
  #
  public findNode_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.jdk.internal.jimage.ImageReader_S_Node) =>
    fuzion.java.call_virtual (outcome (Java.jdk.internal.jimage.ImageReader_S_Node)) "jdk.internal.jimage.ImageReader" "findNode" "(Ljava/lang/String;)Ljdk/internal/jimage/ImageReader\$Node;" ImageReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.findNode_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public long[] jdk.internal.jimage.ImageReader.getAttributes(int)':
  #
  public getAttributes_I(arg0 i32) fuzion.java.Array (i64) =>
    fuzion.java.call_virtual (fuzion.java.Array (i64)) "jdk.internal.jimage.ImageReader" "getAttributes" "(I)[J" ImageReader.this [(fuzion.java.i32_to_java_object Java.jdk.internal.jimage.ImageReader.getAttributes_I.this.arg0)]

  # call Java instance method 'public java.nio.ByteOrder jdk.internal.jimage.ImageReader.getByteOrder()':
  #
  public getByteOrder Java.java.nio.ByteOrder =>
    fuzion.java.call_virtual (Java.java.nio.ByteOrder) "jdk.internal.jimage.ImageReader" "getByteOrder" "()Ljava/nio/ByteOrder;" ImageReader.this []

  # call Java instance method 'public java.lang.String[] jdk.internal.jimage.ImageReader.getEntryNames()':
  #
  public getEntryNames fuzion.java.Array (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.lang.__jString)) "jdk.internal.jimage.ImageReader" "getEntryNames" "()[Ljava/lang/String;" ImageReader.this []

  # call Java instance method 'public jdk.internal.jimage.ImageHeader jdk.internal.jimage.ImageReader.getHeader()':
  #
  public getHeader Java.jdk.internal.jimage.ImageHeader =>
    fuzion.java.call_virtual (Java.jdk.internal.jimage.ImageHeader) "jdk.internal.jimage.ImageReader" "getHeader" "()Ljdk/internal/jimage/ImageHeader;" ImageReader.this []

  # call Java instance method 'public java.nio.file.Path jdk.internal.jimage.ImageReader.getImagePath()':
  #
  public getImagePath Java.java.nio.file.Path =>
    fuzion.java.call_virtual (Java.java.nio.file.Path) "jdk.internal.jimage.ImageReader" "getImagePath" "()Ljava/nio/file/Path;" ImageReader.this []

  # call Java instance method 'public java.lang.String[] jdk.internal.jimage.ImageReader.getModuleNames()':
  #
  public getModuleNames fuzion.java.Array (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.lang.__jString)) "jdk.internal.jimage.ImageReader" "getModuleNames" "()[Ljava/lang/String;" ImageReader.this []

  # call Java instance method 'public java.lang.String jdk.internal.jimage.ImageReader.getName()':
  #
  public getName Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "jdk.internal.jimage.ImageReader" "getName" "()Ljava/lang/String;" ImageReader.this []

  # call Java instance method 'public java.nio.ByteBuffer jdk.internal.jimage.ImageReader.getResourceBuffer(jdk.internal.jimage.ImageLocation)':
  #
  public getResourceBuffer_Ljdk_7_internal_7_jimage_7_ImageLocation_s_(arg0 Java.jdk.internal.jimage.ImageLocation) Java.java.nio.ByteBuffer =>
    fuzion.java.call_virtual (Java.java.nio.ByteBuffer) "jdk.internal.jimage.ImageReader" "getResourceBuffer" "(Ljdk/internal/jimage/ImageLocation;)Ljava/nio/ByteBuffer;" ImageReader.this [(Java.jdk.internal.jimage.ImageReader.getResourceBuffer_Ljdk_7_internal_7_jimage_7_ImageLocation_s_.this.arg0)]

  # call Java instance method 'public java.io.InputStream jdk.internal.jimage.ImageReader.getResourceStream(jdk.internal.jimage.ImageLocation)':
  #
  public getResourceStream_Ljdk_7_internal_7_jimage_7_ImageLocation_s_(arg0 Java.jdk.internal.jimage.ImageLocation) Java.java.io.InputStream =>
    fuzion.java.call_virtual (Java.java.io.InputStream) "jdk.internal.jimage.ImageReader" "getResourceStream" "(Ljdk/internal/jimage/ImageLocation;)Ljava/io/InputStream;" ImageReader.this [(Java.jdk.internal.jimage.ImageReader.getResourceStream_Ljdk_7_internal_7_jimage_7_ImageLocation_s_.this.arg0)]

  # call Java instance method 'public byte[] jdk.internal.jimage.ImageReader.getResource(java.lang.String)':
  #
  public getResource_Ljava_7_lang_7_String_s_(arg0 String) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "jdk.internal.jimage.ImageReader" "getResource" "(Ljava/lang/String;)[B" ImageReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.getResource_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public byte[] jdk.internal.jimage.ImageReader.getResource(jdk.internal.jimage.ImageLocation)':
  #
  public getResource_Ljdk_7_internal_7_jimage_7_ImageLocation_s_(arg0 Java.jdk.internal.jimage.ImageLocation) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "jdk.internal.jimage.ImageReader" "getResource" "(Ljdk/internal/jimage/ImageLocation;)[B" ImageReader.this [(Java.jdk.internal.jimage.ImageReader.getResource_Ljdk_7_internal_7_jimage_7_ImageLocation_s_.this.arg0)]

  # call Java instance method 'public byte[] jdk.internal.jimage.ImageReader.getResource(jdk.internal.jimage.ImageReader$Node) throws java.io.IOException':
  #
  public getResource_Ljdk_7_internal_7_jimage_7_ImageReader_S_Node_s_(arg0 Java.jdk.internal.jimage.ImageReader_S_Node) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "jdk.internal.jimage.ImageReader" "getResource" "(Ljdk/internal/jimage/ImageReader\$Node;)[B" ImageReader.this [(Java.jdk.internal.jimage.ImageReader.getResource_Ljdk_7_internal_7_jimage_7_ImageReader_S_Node_s_.this.arg0)]

  # call Java instance method 'public java.lang.String jdk.internal.jimage.ImageReader.getString(int)':
  #
  public getString_I(arg0 i32) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "jdk.internal.jimage.ImageReader" "getString" "(I)Ljava/lang/String;" ImageReader.this [(fuzion.java.i32_to_java_object Java.jdk.internal.jimage.ImageReader.getString_I.this.arg0)]

  # call Java instance method 'public jdk.internal.jimage.ImageStringsReader jdk.internal.jimage.ImageReader.getStrings()':
  #
  public getStrings Java.jdk.internal.jimage.ImageStringsReader =>
    fuzion.java.call_virtual (Java.jdk.internal.jimage.ImageStringsReader) "jdk.internal.jimage.ImageReader" "getStrings" "()Ljdk/internal/jimage/ImageStringsReader;" ImageReader.this []

  # call Java instance method 'public boolean jdk.internal.jimage.ImageReader.verifyLocation(java.lang.String,java.lang.String)':
  #
  public verifyLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) bool =>
    fuzion.java.call_virtual (bool) "jdk.internal.jimage.ImageReader" "verifyLocation" "(Ljava/lang/String;Ljava/lang/String;)Z" ImageReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.verifyLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.jdk.internal.jimage.ImageReader.verifyLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # short-hand to call Java method 'public jdk.internal.jimage.ImageLocation jdk.internal.jimage.ImageReader.findLocation(java.lang.String)':
  #
  public findLocation(arg0 String) (Java.jdk.internal.jimage.ImageLocation) =>
    findLocation_Ljava_7_lang_7_String_s_ Java.jdk.internal.jimage.ImageReader.findLocation.this.arg0

  # short-hand to call Java method 'public jdk.internal.jimage.ImageLocation jdk.internal.jimage.ImageReader.findLocation(java.lang.String,java.lang.String)':
  #
  public findLocation(arg0 String, arg1 String) (Java.jdk.internal.jimage.ImageLocation) =>
    findLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.jdk.internal.jimage.ImageReader.findLocation.this.arg0 Java.jdk.internal.jimage.ImageReader.findLocation.this.arg1

  # short-hand to call Java method 'public jdk.internal.jimage.ImageReader$Node jdk.internal.jimage.ImageReader.findNode(java.lang.String) throws java.io.IOException':
  #
  public findNode(arg0 String) (outcome (Java.jdk.internal.jimage.ImageReader_S_Node)) =>
    findNode_Ljava_7_lang_7_String_s_ Java.jdk.internal.jimage.ImageReader.findNode.this.arg0

  # short-hand to call Java method 'public long[] jdk.internal.jimage.ImageReader.getAttributes(int)':
  #
  public getAttributes(arg0 i32) (fuzion.java.Array (i64)) =>
    getAttributes_I Java.jdk.internal.jimage.ImageReader.getAttributes.this.arg0

  # short-hand to call Java method 'public byte[] jdk.internal.jimage.ImageReader.getResource(java.lang.String)':
  #
  public getResource(arg0 String) (fuzion.java.Array (i8)) =>
    getResource_Ljava_7_lang_7_String_s_ Java.jdk.internal.jimage.ImageReader.getResource.this.arg0

  # short-hand to call Java method 'public java.nio.ByteBuffer jdk.internal.jimage.ImageReader.getResourceBuffer(jdk.internal.jimage.ImageLocation)':
  #
  public getResourceBuffer(arg0 Java.jdk.internal.jimage.ImageLocation) (Java.java.nio.ByteBuffer) =>
    getResourceBuffer_Ljdk_7_internal_7_jimage_7_ImageLocation_s_ Java.jdk.internal.jimage.ImageReader.getResourceBuffer.this.arg0

  # short-hand to call Java method 'public java.io.InputStream jdk.internal.jimage.ImageReader.getResourceStream(jdk.internal.jimage.ImageLocation)':
  #
  public getResourceStream(arg0 Java.jdk.internal.jimage.ImageLocation) (Java.java.io.InputStream) =>
    getResourceStream_Ljdk_7_internal_7_jimage_7_ImageLocation_s_ Java.jdk.internal.jimage.ImageReader.getResourceStream.this.arg0

  # short-hand to call Java method 'public java.lang.String jdk.internal.jimage.ImageReader.getString(int)':
  #
  public getString(arg0 i32) (Java.java.lang.__jString) =>
    getString_I Java.jdk.internal.jimage.ImageReader.getString.this.arg0

  # short-hand to call Java method 'public boolean jdk.internal.jimage.ImageReader.verifyLocation(java.lang.String,java.lang.String)':
  #
  public verifyLocation(arg0 String, arg1 String) (bool) =>
    verifyLocation_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.jdk.internal.jimage.ImageReader.verifyLocation.this.arg0 Java.jdk.internal.jimage.ImageReader.verifyLocation.this.arg1