Java/java/util/HexFormat.fz

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

  # call Java instance method 'public java.lang.String java.util.HexFormat.prefix()':
  #
  public __k__prefix Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "prefix" "()Ljava/lang/String;" HexFormat.this []

  # call Java instance method 'public java.lang.String java.util.HexFormat.delimiter()':
  #
  public delimiter Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "delimiter" "()Ljava/lang/String;" HexFormat.this []

  # call Java instance method 'public java.lang.Appendable java.util.HexFormat.formatHex(java.lang.Appendable,byte[])':
  #
  public formatHex_Ljava_7_lang_7_Appendable_s__u00005b_B(arg0 Java.java.lang.Appendable, arg1 Sequence (i8)) Java.java.lang.Appendable =>
    fuzion.java.call_virtual (Java.java.lang.Appendable) "java.util.HexFormat" "formatHex" "(Ljava/lang/Appendable;[B)Ljava/lang/Appendable;" HexFormat.this [(Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_B.this.arg0); (fuzion.java.array_to_java_object (i8) Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_B.this.arg1)]

  # call Java instance method 'public java.lang.Appendable java.util.HexFormat.formatHex(java.lang.Appendable,byte[],int,int)':
  #
  public formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII(arg0 Java.java.lang.Appendable, arg1 Sequence (i8), arg2 i32, arg3 i32) Java.java.lang.Appendable =>
    fuzion.java.call_virtual (Java.java.lang.Appendable) "java.util.HexFormat" "formatHex" "(Ljava/lang/Appendable;[BII)Ljava/lang/Appendable;" HexFormat.this [(Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII.this.arg0); (fuzion.java.array_to_java_object (i8) Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII.this.arg2); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII.this.arg3)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.formatHex(byte[])':
  #
  public formatHex__u00005b_B(arg0 Sequence (i8)) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "formatHex" "([B)Ljava/lang/String;" HexFormat.this [(fuzion.java.array_to_java_object (i8) Java.java.util.HexFormat.formatHex__u00005b_B.this.arg0)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.formatHex(byte[],int,int)':
  #
  public formatHex__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "formatHex" "([BII)Ljava/lang/String;" HexFormat.this [(fuzion.java.array_to_java_object (i8) Java.java.util.HexFormat.formatHex__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.formatHex__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.formatHex__u00005b_BII.this.arg2)]

  # call Java instance method 'public boolean java.util.HexFormat.isUpperCase()':
  #
  public isUpperCase bool =>
    fuzion.java.call_virtual (bool) "java.util.HexFormat" "isUpperCase" "()Z" HexFormat.this []

  # call Java instance method 'public byte[] java.util.HexFormat.parseHex(java.lang.CharSequence)':
  #
  public parseHex_Ljava_7_lang_7_CharSequence_s_(arg0 Java.java.lang.CharSequence) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.util.HexFormat" "parseHex" "(Ljava/lang/CharSequence;)[B" HexFormat.this [(Java.java.util.HexFormat.parseHex_Ljava_7_lang_7_CharSequence_s_.this.arg0)]

  # call Java instance method 'public byte[] java.util.HexFormat.parseHex(java.lang.CharSequence,int,int)':
  #
  public parseHex_Ljava_7_lang_7_CharSequence_s_II(arg0 Java.java.lang.CharSequence, arg1 i32, arg2 i32) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.util.HexFormat" "parseHex" "(Ljava/lang/CharSequence;II)[B" HexFormat.this [(Java.java.util.HexFormat.parseHex_Ljava_7_lang_7_CharSequence_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.parseHex_Ljava_7_lang_7_CharSequence_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.parseHex_Ljava_7_lang_7_CharSequence_s_II.this.arg2)]

  # call Java instance method 'public byte[] java.util.HexFormat.parseHex(char[],int,int)':
  #
  public parseHex__u00005b_CII(arg0 Sequence (u16), arg1 i32, arg2 i32) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.util.HexFormat" "parseHex" "([CII)[B" HexFormat.this [(fuzion.java.array_to_java_object (u16) Java.java.util.HexFormat.parseHex__u00005b_CII.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.parseHex__u00005b_CII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.parseHex__u00005b_CII.this.arg2)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.suffix()':
  #
  public suffix Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "suffix" "()Ljava/lang/String;" HexFormat.this []

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(byte)':
  #
  public toHexDigits_B(arg0 i8) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(B)Ljava/lang/String;" HexFormat.this [(fuzion.java.i8_to_java_object Java.java.util.HexFormat.toHexDigits_B.this.arg0)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(char)':
  #
  public toHexDigits_C(arg0 u16) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(C)Ljava/lang/String;" HexFormat.this [(fuzion.java.u16_to_java_object Java.java.util.HexFormat.toHexDigits_C.this.arg0)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(int)':
  #
  public toHexDigits_I(arg0 i32) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(I)Ljava/lang/String;" HexFormat.this [(fuzion.java.i32_to_java_object Java.java.util.HexFormat.toHexDigits_I.this.arg0)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(long)':
  #
  public toHexDigits_J(arg0 i64) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(J)Ljava/lang/String;" HexFormat.this [(fuzion.java.i64_to_java_object Java.java.util.HexFormat.toHexDigits_J.this.arg0)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(long,int)':
  #
  public toHexDigits_JI(arg0 i64, arg1 i32) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(JI)Ljava/lang/String;" HexFormat.this [(fuzion.java.i64_to_java_object Java.java.util.HexFormat.toHexDigits_JI.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.HexFormat.toHexDigits_JI.this.arg1)]

  # call Java instance method 'public java.lang.Appendable java.util.HexFormat.toHexDigits(java.lang.Appendable,byte)':
  #
  public toHexDigits_Ljava_7_lang_7_Appendable_s_B(arg0 Java.java.lang.Appendable, arg1 i8) Java.java.lang.Appendable =>
    fuzion.java.call_virtual (Java.java.lang.Appendable) "java.util.HexFormat" "toHexDigits" "(Ljava/lang/Appendable;B)Ljava/lang/Appendable;" HexFormat.this [(Java.java.util.HexFormat.toHexDigits_Ljava_7_lang_7_Appendable_s_B.this.arg0); (fuzion.java.i8_to_java_object Java.java.util.HexFormat.toHexDigits_Ljava_7_lang_7_Appendable_s_B.this.arg1)]

  # call Java instance method 'public java.lang.String java.util.HexFormat.toHexDigits(short)':
  #
  public toHexDigits_S(arg0 i16) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.HexFormat" "toHexDigits" "(S)Ljava/lang/String;" HexFormat.this [(fuzion.java.i16_to_java_object Java.java.util.HexFormat.toHexDigits_S.this.arg0)]

  # call Java instance method 'public char java.util.HexFormat.toHighHexDigit(int)':
  #
  public toHighHexDigit_I(arg0 i32) u16 =>
    fuzion.java.call_virtual (u16) "java.util.HexFormat" "toHighHexDigit" "(I)C" HexFormat.this [(fuzion.java.i32_to_java_object Java.java.util.HexFormat.toHighHexDigit_I.this.arg0)]

  # call Java instance method 'public char java.util.HexFormat.toLowHexDigit(int)':
  #
  public toLowHexDigit_I(arg0 i32) u16 =>
    fuzion.java.call_virtual (u16) "java.util.HexFormat" "toLowHexDigit" "(I)C" HexFormat.this [(fuzion.java.i32_to_java_object Java.java.util.HexFormat.toLowHexDigit_I.this.arg0)]

  # call Java instance method 'public java.util.HexFormat java.util.HexFormat.withDelimiter(java.lang.String)':
  #
  public withDelimiter_Ljava_7_lang_7_String_s_(arg0 String) Java.java.util.HexFormat =>
    fuzion.java.call_virtual (Java.java.util.HexFormat) "java.util.HexFormat" "withDelimiter" "(Ljava/lang/String;)Ljava/util/HexFormat;" HexFormat.this [(fuzion.java.string_to_java_object Java.java.util.HexFormat.withDelimiter_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.util.HexFormat java.util.HexFormat.withLowerCase()':
  #
  public withLowerCase Java.java.util.HexFormat =>
    fuzion.java.call_virtual (Java.java.util.HexFormat) "java.util.HexFormat" "withLowerCase" "()Ljava/util/HexFormat;" HexFormat.this []

  # call Java instance method 'public java.util.HexFormat java.util.HexFormat.withPrefix(java.lang.String)':
  #
  public withPrefix_Ljava_7_lang_7_String_s_(arg0 String) Java.java.util.HexFormat =>
    fuzion.java.call_virtual (Java.java.util.HexFormat) "java.util.HexFormat" "withPrefix" "(Ljava/lang/String;)Ljava/util/HexFormat;" HexFormat.this [(fuzion.java.string_to_java_object Java.java.util.HexFormat.withPrefix_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.util.HexFormat java.util.HexFormat.withSuffix(java.lang.String)':
  #
  public withSuffix_Ljava_7_lang_7_String_s_(arg0 String) Java.java.util.HexFormat =>
    fuzion.java.call_virtual (Java.java.util.HexFormat) "java.util.HexFormat" "withSuffix" "(Ljava/lang/String;)Ljava/util/HexFormat;" HexFormat.this [(fuzion.java.string_to_java_object Java.java.util.HexFormat.withSuffix_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.util.HexFormat java.util.HexFormat.withUpperCase()':
  #
  public withUpperCase Java.java.util.HexFormat =>
    fuzion.java.call_virtual (Java.java.util.HexFormat) "java.util.HexFormat" "withUpperCase" "()Ljava/util/HexFormat;" HexFormat.this []

  # short-hand to call Java method 'public java.lang.String java.util.HexFormat.formatHex(byte[])':
  #
  public formatHex(arg0 Sequence (i8)) (Java.java.lang.__jString) =>
    formatHex__u00005b_B Java.java.util.HexFormat.formatHex.this.arg0

  # short-hand to call Java method 'public java.lang.Appendable java.util.HexFormat.formatHex(java.lang.Appendable,byte[])':
  #
  public formatHex(arg0 Java.java.lang.Appendable, arg1 Sequence (i8)) (Java.java.lang.Appendable) =>
    formatHex_Ljava_7_lang_7_Appendable_s__u00005b_B Java.java.util.HexFormat.formatHex.this.arg0 Java.java.util.HexFormat.formatHex.this.arg1

  # short-hand to call Java method 'public java.lang.String java.util.HexFormat.formatHex(byte[],int,int)':
  #
  public formatHex(arg0 Sequence (i8), arg1 i32, arg2 i32) (Java.java.lang.__jString) =>
    formatHex__u00005b_BII Java.java.util.HexFormat.formatHex.this.arg0 Java.java.util.HexFormat.formatHex.this.arg1 Java.java.util.HexFormat.formatHex.this.arg2

  # short-hand to call Java method 'public java.lang.Appendable java.util.HexFormat.formatHex(java.lang.Appendable,byte[],int,int)':
  #
  public formatHex(arg0 Java.java.lang.Appendable, arg1 Sequence (i8), arg2 i32, arg3 i32) (Java.java.lang.Appendable) =>
    formatHex_Ljava_7_lang_7_Appendable_s__u00005b_BII Java.java.util.HexFormat.formatHex.this.arg0 Java.java.util.HexFormat.formatHex.this.arg1 Java.java.util.HexFormat.formatHex.this.arg2 Java.java.util.HexFormat.formatHex.this.arg3

  # short-hand to call Java method 'public byte[] java.util.HexFormat.parseHex(java.lang.CharSequence)':
  #
  public parseHex(arg0 Java.java.lang.CharSequence) (fuzion.java.Array (i8)) =>
    parseHex_Ljava_7_lang_7_CharSequence_s_ Java.java.util.HexFormat.parseHex.this.arg0

  # short-hand to call Java method 'public byte[] java.util.HexFormat.parseHex(java.lang.CharSequence,int,int)':
  #
  public parseHex(arg0 Java.java.lang.CharSequence, arg1 i32, arg2 i32) (fuzion.java.Array (i8)) =>
    parseHex_Ljava_7_lang_7_CharSequence_s_II Java.java.util.HexFormat.parseHex.this.arg0 Java.java.util.HexFormat.parseHex.this.arg1 Java.java.util.HexFormat.parseHex.this.arg2

  # short-hand to call Java method 'public java.lang.String java.util.HexFormat.toHexDigits(char)':
  #
  public toHexDigits(arg0 u16) (Java.java.lang.__jString) =>
    toHexDigits_C Java.java.util.HexFormat.toHexDigits.this.arg0

  # short-hand to call Java method 'public java.lang.Appendable java.util.HexFormat.toHexDigits(java.lang.Appendable,byte)':
  #
  public toHexDigits(arg0 Java.java.lang.Appendable, arg1 i8) (Java.java.lang.Appendable) =>
    toHexDigits_Ljava_7_lang_7_Appendable_s_B Java.java.util.HexFormat.toHexDigits.this.arg0 Java.java.util.HexFormat.toHexDigits.this.arg1

  # short-hand to call Java method 'public char java.util.HexFormat.toHighHexDigit(int)':
  #
  public toHighHexDigit(arg0 i32) (u16) =>
    toHighHexDigit_I Java.java.util.HexFormat.toHighHexDigit.this.arg0

  # short-hand to call Java method 'public char java.util.HexFormat.toLowHexDigit(int)':
  #
  public toLowHexDigit(arg0 i32) (u16) =>
    toLowHexDigit_I Java.java.util.HexFormat.toLowHexDigit.this.arg0

  # short-hand to call Java method 'public java.util.HexFormat java.util.HexFormat.withDelimiter(java.lang.String)':
  #
  public withDelimiter(arg0 String) (Java.java.util.HexFormat) =>
    withDelimiter_Ljava_7_lang_7_String_s_ Java.java.util.HexFormat.withDelimiter.this.arg0

  # short-hand to call Java method 'public java.util.HexFormat java.util.HexFormat.withPrefix(java.lang.String)':
  #
  public withPrefix(arg0 String) (Java.java.util.HexFormat) =>
    withPrefix_Ljava_7_lang_7_String_s_ Java.java.util.HexFormat.withPrefix.this.arg0

  # short-hand to call Java method 'public java.util.HexFormat java.util.HexFormat.withSuffix(java.lang.String)':
  #
  public withSuffix(arg0 String) (Java.java.util.HexFormat) =>
    withSuffix_Ljava_7_lang_7_String_s_ Java.java.util.HexFormat.withSuffix.this.arg0