Java/java/lang/__jString_static.fz

# Fuzion interface to static members of Java class 'java.lang.String'
#
# !!!!!!  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.lang.__jString_static is

  # call Java static method 'public static java.lang.String java.lang.String.copyValueOf(char[])':
  #
  public copyValueOf__u00005b_C(arg0 Sequence (u16)) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "copyValueOf" "([C)Ljava/lang/String;" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.copyValueOf__u00005b_C.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.copyValueOf(char[],int,int)':
  #
  public copyValueOf__u00005b_CII(arg0 Sequence (u16), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "copyValueOf" "([CII)Ljava/lang/String;" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.copyValueOf__u00005b_CII.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.copyValueOf__u00005b_CII.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.copyValueOf__u00005b_CII.this.arg2)]

  # call Java static method 'public static java.lang.String java.lang.String.format(java.lang.String,java.lang.Object[])':
  #
  public format_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_(arg0 String, arg1 Sequence (Java.java.lang.Object)) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "format" "(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;" [(fuzion.java.string_to_java_object Java.java.lang.__jString_static.format_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.lang.Object) Java.java.lang.__jString_static.format_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java static method 'public static java.lang.String java.lang.String.format(java.util.Locale,java.lang.String,java.lang.Object[])':
  #
  public format_Ljava_7_util_7_Locale_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_(arg0 Java.java.util.Locale, arg1 String, arg2 Sequence (Java.java.lang.Object)) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "format" "(Ljava/util/Locale;Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;" [(Java.java.lang.__jString_static.format_Ljava_7_util_7_Locale_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.lang.__jString_static.format_Ljava_7_util_7_Locale_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.lang.Object) Java.java.lang.__jString_static.format_Ljava_7_util_7_Locale_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg2)]

  # call Java static method 'public static java.lang.String java.lang.String.join(java.lang.CharSequence,java.lang.Iterable)':
  #
  public join_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_Iterable_s_(arg0 Java.java.lang.CharSequence, arg1 Java.java.lang.Iterable) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "join" "(Ljava/lang/CharSequence;Ljava/lang/Iterable;)Ljava/lang/String;" [(Java.java.lang.__jString_static.join_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_Iterable_s_.this.arg0); (Java.java.lang.__jString_static.join_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_Iterable_s_.this.arg1)]

  # call Java static method 'public static java.lang.String java.lang.String.join(java.lang.CharSequence,java.lang.CharSequence[])':
  #
  public join_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_lang_7_CharSequence_s_(arg0 Java.java.lang.CharSequence, arg1 Sequence (Java.java.lang.CharSequence)) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "join" "(Ljava/lang/CharSequence;[Ljava/lang/CharSequence;)Ljava/lang/String;" [(Java.java.lang.__jString_static.join_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_lang_7_CharSequence_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.lang.CharSequence) Java.java.lang.__jString_static.join_Ljava_7_lang_7_CharSequence_s__u00005b_Ljava_7_lang_7_CharSequence_s_.this.arg1)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(char)':
  #
  public valueOf_C(arg0 u16) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(C)Ljava/lang/String;" [(fuzion.java.u16_to_java_object Java.java.lang.__jString_static.valueOf_C.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(double)':
  #
  public valueOf_D(arg0 f64) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(D)Ljava/lang/String;" [(fuzion.java.f64_to_java_object Java.java.lang.__jString_static.valueOf_D.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(float)':
  #
  public valueOf_F(arg0 f32) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(F)Ljava/lang/String;" [(fuzion.java.f32_to_java_object Java.java.lang.__jString_static.valueOf_F.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(int)':
  #
  public valueOf_I(arg0 i32) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(I)Ljava/lang/String;" [(fuzion.java.i32_to_java_object Java.java.lang.__jString_static.valueOf_I.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(long)':
  #
  public valueOf_J(arg0 i64) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(J)Ljava/lang/String;" [(fuzion.java.i64_to_java_object Java.java.lang.__jString_static.valueOf_J.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(java.lang.Object)':
  #
  public valueOf_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(Ljava/lang/Object;)Ljava/lang/String;" [(Java.java.lang.__jString_static.valueOf_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(boolean)':
  #
  public valueOf_Z(arg0 bool) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "(Z)Ljava/lang/String;" [(fuzion.java.bool_to_java_object Java.java.lang.__jString_static.valueOf_Z.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(char[])':
  #
  public valueOf__u00005b_C(arg0 Sequence (u16)) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "([C)Ljava/lang/String;" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.valueOf__u00005b_C.this.arg0)]

  # call Java static method 'public static java.lang.String java.lang.String.valueOf(char[],int,int)':
  #
  public valueOf__u00005b_CII(arg0 Sequence (u16), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "java.lang.String" "valueOf" "([CII)Ljava/lang/String;" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.valueOf__u00005b_CII.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.valueOf__u00005b_CII.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.valueOf__u00005b_CII.this.arg2)]

  # short-hand to call Java method 'public static java.lang.String java.lang.String.copyValueOf(char[])':
  #
  public copyValueOf(arg0 Sequence (u16)) (Java.java.lang.__jString) =>
    copyValueOf__u00005b_C Java.java.lang.__jString_static.copyValueOf.this.arg0

  # short-hand to call Java method 'public static java.lang.String java.lang.String.copyValueOf(char[],int,int)':
  #
  public copyValueOf(arg0 Sequence (u16), arg1 i32, arg2 i32) (Java.java.lang.__jString) =>
    copyValueOf__u00005b_CII Java.java.lang.__jString_static.copyValueOf.this.arg0 Java.java.lang.__jString_static.copyValueOf.this.arg1 Java.java.lang.__jString_static.copyValueOf.this.arg2

  # short-hand to call Java method 'public static java.lang.String java.lang.String.format(java.lang.String,java.lang.Object[])':
  #
  public format(arg0 String, arg1 Sequence (Java.java.lang.Object)) (Java.java.lang.__jString) =>
    format_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_ Java.java.lang.__jString_static.format.this.arg0 Java.java.lang.__jString_static.format.this.arg1

  # short-hand to call Java method 'public static java.lang.String java.lang.String.format(java.util.Locale,java.lang.String,java.lang.Object[])':
  #
  public format(arg0 Java.java.util.Locale, arg1 String, arg2 Sequence (Java.java.lang.Object)) (Java.java.lang.__jString) =>
    format_Ljava_7_util_7_Locale_s_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_ Java.java.lang.__jString_static.format.this.arg0 Java.java.lang.__jString_static.format.this.arg1 Java.java.lang.__jString_static.format.this.arg2

  # short-hand to call Java method 'public static java.lang.String java.lang.String.join(java.lang.CharSequence,java.lang.Iterable)':
  #
  public join(arg0 Java.java.lang.CharSequence, arg1 Java.java.lang.Iterable) (Java.java.lang.__jString) =>
    join_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_Iterable_s_ Java.java.lang.__jString_static.join.this.arg0 Java.java.lang.__jString_static.join.this.arg1

  # short-hand to call Java method 'public static java.lang.String java.lang.String.valueOf(java.lang.Object)':
  #
  public valueOf(arg0 Java.java.lang.Object) (Java.java.lang.__jString) =>
    valueOf_Ljava_7_lang_7_Object_s_ Java.java.lang.__jString_static.valueOf.this.arg0

  # short-hand to call Java method 'public static java.lang.String java.lang.String.valueOf(char[],int,int)':
  #
  public valueOf(arg0 Sequence (u16), arg1 i32, arg2 i32) (Java.java.lang.__jString) =>
    valueOf__u00005b_CII Java.java.lang.__jString_static.valueOf.this.arg0 Java.java.lang.__jString_static.valueOf.this.arg1 Java.java.lang.__jString_static.valueOf.this.arg2

  # read static Java field 'public static final java.util.Comparator java.lang.String.CASE_INSENSITIVE_ORDER':
  #
  public CASE__INSENSITIVE__ORDER Java.java.util.Comparator =>
    fuzion.java.get_static_field (Java.java.util.Comparator) "java.lang.String" "CASE_INSENSITIVE_ORDER"

  # call Java constructor 'public java.lang.String(java.lang.StringBuilder)':
  #
  public new_Ljava_7_lang_7_StringBuilder_s_(arg0 Java.java.lang.StringBuilder) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "(Ljava/lang/StringBuilder;)V" [(Java.java.lang.__jString_static.new_Ljava_7_lang_7_StringBuilder_s_.this.arg0)]

  # call Java constructor 'public java.lang.String(byte[],int,int,java.nio.charset.Charset)':
  #
  public new__u00005b_BIILjava_7_nio_7_charset_7_Charset_s_(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Java.java.nio.charset.Charset) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([BIILjava/nio/charset/Charset;)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BIILjava_7_nio_7_charset_7_Charset_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIILjava_7_nio_7_charset_7_Charset_s_.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIILjava_7_nio_7_charset_7_Charset_s_.this.arg2); (Java.java.lang.__jString_static.new__u00005b_BIILjava_7_nio_7_charset_7_Charset_s_.this.arg3)]

  # call Java constructor 'public java.lang.String(byte[],java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public new__u00005b_BLjava_7_lang_7_String_s_(arg0 Sequence (i8), arg1 String) outcome (Java.java.lang.__jString) =>
    fuzion.java.call_constructor (outcome (Java.java.lang.__jString)) "java.lang.String" "([BLjava/lang/String;)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BLjava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.lang.__jString_static.new__u00005b_BLjava_7_lang_7_String_s_.this.arg1)]

  # call Java constructor 'public java.lang.String(byte[],java.nio.charset.Charset)':
  #
  public new__u00005b_BLjava_7_nio_7_charset_7_Charset_s_(arg0 Sequence (i8), arg1 Java.java.nio.charset.Charset) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([BLjava/nio/charset/Charset;)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BLjava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.java.lang.__jString_static.new__u00005b_BLjava_7_nio_7_charset_7_Charset_s_.this.arg1)]

  # call Java constructor 'public java.lang.String(byte[],int,int)':
  #
  public new__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([BII)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BII.this.arg2)]

  # call Java constructor 'public java.lang.String(byte[])':
  #
  public new__u00005b_B(arg0 Sequence (i8)) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([B)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_B.this.arg0)]

  # call Java constructor 'public java.lang.String(java.lang.StringBuffer)':
  #
  public new_Ljava_7_lang_7_StringBuffer_s_(arg0 Java.java.lang.StringBuffer) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "(Ljava/lang/StringBuffer;)V" [(Java.java.lang.__jString_static.new_Ljava_7_lang_7_StringBuffer_s_.this.arg0)]

  # call Java constructor 'public java.lang.String(char[],int,int)':
  #
  public new__u00005b_CII(arg0 Sequence (u16), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([CII)V" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.new__u00005b_CII.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_CII.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_CII.this.arg2)]

  # call Java constructor 'public java.lang.String(char[])':
  #
  public new__u00005b_C(arg0 Sequence (u16)) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([C)V" [(fuzion.java.array_to_java_object (u16) Java.java.lang.__jString_static.new__u00005b_C.this.arg0)]

  # call Java constructor 'public java.lang.String(java.lang.String)':
  #
  public new_Ljava_7_lang_7_String_s_(arg0 String) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "(Ljava/lang/String;)V" [(fuzion.java.string_to_java_object Java.java.lang.__jString_static.new_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java constructor 'public java.lang.String()':
  #
  public new Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "()V" []

  # call Java constructor 'public java.lang.String(byte[],int,int,java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public new__u00005b_BIILjava_7_lang_7_String_s_(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 String) outcome (Java.java.lang.__jString) =>
    fuzion.java.call_constructor (outcome (Java.java.lang.__jString)) "java.lang.String" "([BIILjava/lang/String;)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BIILjava_7_lang_7_String_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIILjava_7_lang_7_String_s_.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIILjava_7_lang_7_String_s_.this.arg2); (fuzion.java.string_to_java_object Java.java.lang.__jString_static.new__u00005b_BIILjava_7_lang_7_String_s_.this.arg3)]

  # call Java constructor 'public java.lang.String(byte[],int)':
  #
  public new__u00005b_BI(arg0 Sequence (i8), arg1 i32) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([BI)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BI.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BI.this.arg1)]

  # call Java constructor 'public java.lang.String(byte[],int,int,int)':
  #
  public new__u00005b_BIII(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 i32) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([BIII)V" [(fuzion.java.array_to_java_object (i8) Java.java.lang.__jString_static.new__u00005b_BIII.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIII.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIII.this.arg2); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_BIII.this.arg3)]

  # call Java constructor 'public java.lang.String(int[],int,int)':
  #
  public new__u00005b_III(arg0 Sequence (i32), arg1 i32, arg2 i32) Java.java.lang.__jString =>
    fuzion.java.call_constructor (Java.java.lang.__jString) "java.lang.String" "([III)V" [(fuzion.java.array_to_java_object (i32) Java.java.lang.__jString_static.new__u00005b_III.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_III.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString_static.new__u00005b_III.this.arg2)]

  # short-hand to call Java constructor 'public java.lang.String(java.lang.String)':
  #
  public new(arg0 String) (Java.java.lang.__jString) =>
    new_Ljava_7_lang_7_String_s_ Java.java.lang.__jString_static.new.this.arg0

  # short-hand to call Java constructor 'public java.lang.String(byte[],java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public new(arg0 Sequence (i8), arg1 String) (outcome (Java.java.lang.__jString)) =>
    new__u00005b_BLjava_7_lang_7_String_s_ Java.java.lang.__jString_static.new.this.arg0 Java.java.lang.__jString_static.new.this.arg1

  # short-hand to call Java constructor 'public java.lang.String(byte[],int,int)':
  #
  public new(arg0 Sequence (i8), arg1 i32, arg2 i32) (Java.java.lang.__jString) =>
    new__u00005b_BII Java.java.lang.__jString_static.new.this.arg0 Java.java.lang.__jString_static.new.this.arg1 Java.java.lang.__jString_static.new.this.arg2

  # short-hand to call Java constructor 'public java.lang.String(byte[],int,int,java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public new(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 String) (outcome (Java.java.lang.__jString)) =>
    new__u00005b_BIILjava_7_lang_7_String_s_ Java.java.lang.__jString_static.new.this.arg0 Java.java.lang.__jString_static.new.this.arg1 Java.java.lang.__jString_static.new.this.arg2 Java.java.lang.__jString_static.new.this.arg3