Java/jdk/internal/__k__module/ModulePatcher.fz

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

  # call Java instance method 'public boolean jdk.internal.module.ModulePatcher.hasPatches()':
  #
  public hasPatches bool =>
    fuzion.java.call_virtual (bool) "jdk.internal.module.ModulePatcher" "hasPatches" "()Z" ModulePatcher.this []

  # call Java instance method 'public java.lang.module.ModuleReference jdk.internal.module.ModulePatcher.patchIfNeeded(java.lang.module.ModuleReference)':
  #
  public patchIfNeeded_Ljava_7_lang_7_module_7_ModuleReference_s_(arg0 Java.java.lang.__k__module.ModuleReference) Java.java.lang.__k__module.ModuleReference =>
    fuzion.java.call_virtual (Java.java.lang.__k__module.ModuleReference) "jdk.internal.module.ModulePatcher" "patchIfNeeded" "(Ljava/lang/module/ModuleReference;)Ljava/lang/module/ModuleReference;" ModulePatcher.this [(Java.jdk.internal.__k__module.ModulePatcher.patchIfNeeded_Ljava_7_lang_7_module_7_ModuleReference_s_.this.arg0)]

  # short-hand to call Java method 'public java.lang.module.ModuleReference jdk.internal.module.ModulePatcher.patchIfNeeded(java.lang.module.ModuleReference)':
  #
  public patchIfNeeded(arg0 Java.java.lang.__k__module.ModuleReference) (Java.java.lang.__k__module.ModuleReference) =>
    patchIfNeeded_Ljava_7_lang_7_module_7_ModuleReference_s_ Java.jdk.internal.__k__module.ModulePatcher.patchIfNeeded.this.arg0