Java/jdk/internal/classfile/AttributedElement.fz

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

  # call Java instance method 'public abstract java.util.List jdk.internal.classfile.AttributedElement.attributes()':
  #
  public attributes Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "jdk.internal.classfile.AttributedElement" "attributes" "()Ljava/util/List;" AttributedElement.this []

  # call Java instance method 'public default java.util.Optional jdk.internal.classfile.AttributedElement.findAttribute(jdk.internal.classfile.AttributeMapper)':
  #
  public findAttribute_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_(arg0 Java.jdk.internal.classfile.AttributeMapper) Java.java.util.Optional =>
    fuzion.java.call_virtual (Java.java.util.Optional) "jdk.internal.classfile.AttributedElement" "findAttribute" "(Ljdk/internal/classfile/AttributeMapper;)Ljava/util/Optional;" AttributedElement.this [(Java.jdk.internal.classfile.AttributedElement.findAttribute_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_.this.arg0)]

  # call Java instance method 'public default java.util.List jdk.internal.classfile.AttributedElement.findAttributes(jdk.internal.classfile.AttributeMapper)':
  #
  public findAttributes_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_(arg0 Java.jdk.internal.classfile.AttributeMapper) Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "jdk.internal.classfile.AttributedElement" "findAttributes" "(Ljdk/internal/classfile/AttributeMapper;)Ljava/util/List;" AttributedElement.this [(Java.jdk.internal.classfile.AttributedElement.findAttributes_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_.this.arg0)]

  # short-hand to call Java method 'public default java.util.Optional jdk.internal.classfile.AttributedElement.findAttribute(jdk.internal.classfile.AttributeMapper)':
  #
  public findAttribute(arg0 Java.jdk.internal.classfile.AttributeMapper) (Java.java.util.Optional) =>
    findAttribute_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_ Java.jdk.internal.classfile.AttributedElement.findAttribute.this.arg0

  # short-hand to call Java method 'public default java.util.List jdk.internal.classfile.AttributedElement.findAttributes(jdk.internal.classfile.AttributeMapper)':
  #
  public findAttributes(arg0 Java.jdk.internal.classfile.AttributeMapper) (Java.java.util.List) =>
    findAttributes_Ljdk_7_internal_7_classfile_7_AttributeMapper_s_ Java.jdk.internal.classfile.AttributedElement.findAttributes.this.arg0