Java/java/text/AttributedString.fz

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

  # call Java instance method 'public void java.text.AttributedString.addAttribute(java.text.AttributedCharacterIterator$Attribute,java.lang.Object)':
  #
  public addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_(arg0 Java.java.text.AttributedCharacterIterator_S_Attribute, arg1 Java.java.lang.Object) unit =>
    fuzion.java.call_virtual (unit) "java.text.AttributedString" "addAttribute" "(Ljava/text/AttributedCharacterIterator\$Attribute;Ljava/lang/Object;)V" AttributedString.this [(Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_.this.arg0); (Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public void java.text.AttributedString.addAttribute(java.text.AttributedCharacterIterator$Attribute,java.lang.Object,int,int)':
  #
  public addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II(arg0 Java.java.text.AttributedCharacterIterator_S_Attribute, arg1 Java.java.lang.Object, arg2 i32, arg3 i32) unit =>
    fuzion.java.call_virtual (unit) "java.text.AttributedString" "addAttribute" "(Ljava/text/AttributedCharacterIterator\$Attribute;Ljava/lang/Object;II)V" AttributedString.this [(Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II.this.arg0); (Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II.this.arg2); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II.this.arg3)]

  # call Java instance method 'public void java.text.AttributedString.addAttributes(java.util.Map,int,int)':
  #
  public addAttributes_Ljava_7_util_7_Map_s_II(arg0 Java.java.util.Map, arg1 i32, arg2 i32) unit =>
    fuzion.java.call_virtual (unit) "java.text.AttributedString" "addAttributes" "(Ljava/util/Map;II)V" AttributedString.this [(Java.java.text.AttributedString.addAttributes_Ljava_7_util_7_Map_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.addAttributes_Ljava_7_util_7_Map_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.addAttributes_Ljava_7_util_7_Map_s_II.this.arg2)]

  # call Java instance method 'public java.text.AttributedCharacterIterator java.text.AttributedString.getIterator()':
  #
  public getIterator Java.java.text.AttributedCharacterIterator =>
    fuzion.java.call_virtual (Java.java.text.AttributedCharacterIterator) "java.text.AttributedString" "getIterator" "()Ljava/text/AttributedCharacterIterator;" AttributedString.this []

  # call Java instance method 'public java.text.AttributedCharacterIterator java.text.AttributedString.getIterator(java.text.AttributedCharacterIterator$Attribute[])':
  #
  public getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_(arg0 Sequence (Java.java.text.AttributedCharacterIterator_S_Attribute)) Java.java.text.AttributedCharacterIterator =>
    fuzion.java.call_virtual (Java.java.text.AttributedCharacterIterator) "java.text.AttributedString" "getIterator" "([Ljava/text/AttributedCharacterIterator\$Attribute;)Ljava/text/AttributedCharacterIterator;" AttributedString.this [(fuzion.java.array_to_java_object (Java.java.text.AttributedCharacterIterator_S_Attribute) Java.java.text.AttributedString.getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_.this.arg0)]

  # call Java instance method 'public java.text.AttributedCharacterIterator java.text.AttributedString.getIterator(java.text.AttributedCharacterIterator$Attribute[],int,int)':
  #
  public getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_II(arg0 Sequence (Java.java.text.AttributedCharacterIterator_S_Attribute), arg1 i32, arg2 i32) Java.java.text.AttributedCharacterIterator =>
    fuzion.java.call_virtual (Java.java.text.AttributedCharacterIterator) "java.text.AttributedString" "getIterator" "([Ljava/text/AttributedCharacterIterator\$Attribute;II)Ljava/text/AttributedCharacterIterator;" AttributedString.this [(fuzion.java.array_to_java_object (Java.java.text.AttributedCharacterIterator_S_Attribute) Java.java.text.AttributedString.getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.text.AttributedString.getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_II.this.arg2)]

  # short-hand to call Java method 'public void java.text.AttributedString.addAttribute(java.text.AttributedCharacterIterator$Attribute,java.lang.Object)':
  #
  public addAttribute(arg0 Java.java.text.AttributedCharacterIterator_S_Attribute, arg1 Java.java.lang.Object) (unit) =>
    addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_ Java.java.text.AttributedString.addAttribute.this.arg0 Java.java.text.AttributedString.addAttribute.this.arg1

  # short-hand to call Java method 'public void java.text.AttributedString.addAttribute(java.text.AttributedCharacterIterator$Attribute,java.lang.Object,int,int)':
  #
  public addAttribute(arg0 Java.java.text.AttributedCharacterIterator_S_Attribute, arg1 Java.java.lang.Object, arg2 i32, arg3 i32) (unit) =>
    addAttribute_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_Ljava_7_lang_7_Object_s_II Java.java.text.AttributedString.addAttribute.this.arg0 Java.java.text.AttributedString.addAttribute.this.arg1 Java.java.text.AttributedString.addAttribute.this.arg2 Java.java.text.AttributedString.addAttribute.this.arg3

  # short-hand to call Java method 'public void java.text.AttributedString.addAttributes(java.util.Map,int,int)':
  #
  public addAttributes(arg0 Java.java.util.Map, arg1 i32, arg2 i32) (unit) =>
    addAttributes_Ljava_7_util_7_Map_s_II Java.java.text.AttributedString.addAttributes.this.arg0 Java.java.text.AttributedString.addAttributes.this.arg1 Java.java.text.AttributedString.addAttributes.this.arg2

  # short-hand to call Java method 'public java.text.AttributedCharacterIterator java.text.AttributedString.getIterator(java.text.AttributedCharacterIterator$Attribute[])':
  #
  public getIterator(arg0 Sequence (Java.java.text.AttributedCharacterIterator_S_Attribute)) (Java.java.text.AttributedCharacterIterator) =>
    getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_ Java.java.text.AttributedString.getIterator.this.arg0

  # short-hand to call Java method 'public java.text.AttributedCharacterIterator java.text.AttributedString.getIterator(java.text.AttributedCharacterIterator$Attribute[],int,int)':
  #
  public getIterator(arg0 Sequence (Java.java.text.AttributedCharacterIterator_S_Attribute), arg1 i32, arg2 i32) (Java.java.text.AttributedCharacterIterator) =>
    getIterator__u00005b_Ljava_7_text_7_AttributedCharacterIterator_S_Attribute_s_II Java.java.text.AttributedString.getIterator.this.arg0 Java.java.text.AttributedString.getIterator.this.arg1 Java.java.text.AttributedString.getIterator.this.arg2