Java/jdk/internal/__k__module/ModulePatcher_S_PatchedModuleReader.fz
# Fuzion interface to instance members of Java instance class 'jdk.internal.module.ModulePatcher$PatchedModuleReader' # # !!!!!! 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.__k__module.ModulePatcher_S_PatchedModuleReader(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is # call Java instance method 'public void jdk.internal.module.ModulePatcher$PatchedModuleReader.close() throws java.io.IOException': # public close outcome (unit) => fuzion.java.call_virtual (outcome (unit)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "close" "()V" ModulePatcher_S_PatchedModuleReader.this [] # call Java instance method 'public jdk.internal.loader.Resource jdk.internal.module.ModulePatcher$PatchedModuleReader.findResource(java.lang.String) throws java.io.IOException': # public findResource_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.jdk.internal.loader.Resource) => fuzion.java.call_virtual (outcome (Java.jdk.internal.loader.Resource)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "findResource" "(Ljava/lang/String;)Ljdk/internal/loader/Resource;" ModulePatcher_S_PatchedModuleReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.findResource_Ljava_7_lang_7_String_s_.this.arg0)] # call Java instance method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.find(java.lang.String) throws java.io.IOException': # public find_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.util.Optional) => fuzion.java.call_virtual (outcome (Java.java.util.Optional)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "find" "(Ljava/lang/String;)Ljava/util/Optional;" ModulePatcher_S_PatchedModuleReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.find_Ljava_7_lang_7_String_s_.this.arg0)] # call Java instance method 'public java.util.stream.Stream jdk.internal.module.ModulePatcher$PatchedModuleReader.list() throws java.io.IOException': # public list outcome (Java.java.util.stream.Stream) => fuzion.java.call_virtual (outcome (Java.java.util.stream.Stream)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "list" "()Ljava/util/stream/Stream;" ModulePatcher_S_PatchedModuleReader.this [] # call Java instance method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.open(java.lang.String) throws java.io.IOException': # public open_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.util.Optional) => fuzion.java.call_virtual (outcome (Java.java.util.Optional)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "open" "(Ljava/lang/String;)Ljava/util/Optional;" ModulePatcher_S_PatchedModuleReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.open_Ljava_7_lang_7_String_s_.this.arg0)] # call Java instance method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.read(java.lang.String) throws java.io.IOException': # public read_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.util.Optional) => fuzion.java.call_virtual (outcome (Java.java.util.Optional)) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "read" "(Ljava/lang/String;)Ljava/util/Optional;" ModulePatcher_S_PatchedModuleReader.this [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.read_Ljava_7_lang_7_String_s_.this.arg0)] # call Java instance method 'public void jdk.internal.module.ModulePatcher$PatchedModuleReader.release(java.nio.ByteBuffer)': # public release_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer) unit => fuzion.java.call_virtual (unit) "jdk.internal.module.ModulePatcher\$PatchedModuleReader" "release" "(Ljava/nio/ByteBuffer;)V" ModulePatcher_S_PatchedModuleReader.this [(Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.release_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)] # short-hand to call Java method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.find(java.lang.String) throws java.io.IOException': # public find(arg0 String) (outcome (Java.java.util.Optional)) => find_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.find.this.arg0 # short-hand to call Java method 'public jdk.internal.loader.Resource jdk.internal.module.ModulePatcher$PatchedModuleReader.findResource(java.lang.String) throws java.io.IOException': # public findResource(arg0 String) (outcome (Java.jdk.internal.loader.Resource)) => findResource_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.findResource.this.arg0 # short-hand to call Java method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.open(java.lang.String) throws java.io.IOException': # public open(arg0 String) (outcome (Java.java.util.Optional)) => open_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.open.this.arg0 # short-hand to call Java method 'public java.util.Optional jdk.internal.module.ModulePatcher$PatchedModuleReader.read(java.lang.String) throws java.io.IOException': # public read(arg0 String) (outcome (Java.java.util.Optional)) => read_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.read.this.arg0 # short-hand to call Java method 'public void jdk.internal.module.ModulePatcher$PatchedModuleReader.release(java.nio.ByteBuffer)': # public release(arg0 Java.java.nio.ByteBuffer) (unit) => release_Ljava_7_nio_7_ByteBuffer_s_ Java.jdk.internal.__k__module.ModulePatcher_S_PatchedModuleReader.release.this.arg0