Java/jdk/internal/__k__module/ModuleInfo_S_Attributes.fz

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

  # call Java instance method 'public java.lang.module.ModuleDescriptor jdk.internal.module.ModuleInfo$Attributes.descriptor()':
  #
  public descriptor Java.java.lang.__k__module.ModuleDescriptor =>
    fuzion.java.call_virtual (Java.java.lang.__k__module.ModuleDescriptor) "jdk.internal.module.ModuleInfo\$Attributes" "descriptor" "()Ljava/lang/module/ModuleDescriptor;" ModuleInfo_S_Attributes.this []

  # call Java instance method 'public jdk.internal.module.ModuleResolution jdk.internal.module.ModuleInfo$Attributes.moduleResolution()':
  #
  public moduleResolution Java.jdk.internal.__k__module.ModuleResolution =>
    fuzion.java.call_virtual (Java.jdk.internal.__k__module.ModuleResolution) "jdk.internal.module.ModuleInfo\$Attributes" "moduleResolution" "()Ljdk/internal/module/ModuleResolution;" ModuleInfo_S_Attributes.this []

  # call Java instance method 'public jdk.internal.module.ModuleHashes jdk.internal.module.ModuleInfo$Attributes.recordedHashes()':
  #
  public recordedHashes Java.jdk.internal.__k__module.ModuleHashes =>
    fuzion.java.call_virtual (Java.jdk.internal.__k__module.ModuleHashes) "jdk.internal.module.ModuleInfo\$Attributes" "recordedHashes" "()Ljdk/internal/module/ModuleHashes;" ModuleInfo_S_Attributes.this []

  # call Java instance method 'public jdk.internal.module.ModuleTarget jdk.internal.module.ModuleInfo$Attributes.target()':
  #
  public target Java.jdk.internal.__k__module.ModuleTarget =>
    fuzion.java.call_virtual (Java.jdk.internal.__k__module.ModuleTarget) "jdk.internal.module.ModuleInfo\$Attributes" "target" "()Ljdk/internal/module/ModuleTarget;" ModuleInfo_S_Attributes.this []