Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

Java/java/lang/__jString.fz


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

  # call Java instance method 'public java.lang.String[] java.lang.String.split(java.lang.String)':
  #
  public __jsplit_Ljava_7_lang_7_String_s_(arg0 String) fuzion.java.Array (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.lang.__jString)) "java.lang.String" "split" "(Ljava/lang/String;)[Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.__jsplit_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.lang.String[] java.lang.String.split(java.lang.String,int)':
  #
  public __jsplit_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) fuzion.java.Array (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.lang.__jString)) "java.lang.String" "split" "(Ljava/lang/String;I)[Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.__jsplit_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.__jsplit_Ljava_7_lang_7_String_s_I.this.arg1)]

  # call Java instance method 'public char java.lang.String.charAt(int)':
  #
  public charAt_I(arg0 i32) u16 =>
    fuzion.java.call_virtual (u16) "java.lang.String" "charAt" "(I)C" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.charAt_I.this.arg0)]

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

  # call Java instance method 'public int java.lang.String.codePointAt(int)':
  #
  public codePointAt_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "codePointAt" "(I)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.codePointAt_I.this.arg0)]

  # call Java instance method 'public int java.lang.String.codePointBefore(int)':
  #
  public codePointBefore_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "codePointBefore" "(I)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.codePointBefore_I.this.arg0)]

  # call Java instance method 'public int java.lang.String.codePointCount(int,int)':
  #
  public codePointCount_II(arg0 i32, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "codePointCount" "(II)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.codePointCount_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.codePointCount_II.this.arg1)]

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

  # call Java instance method 'public int java.lang.String.compareToIgnoreCase(java.lang.String)':
  #
  public compareToIgnoreCase_Ljava_7_lang_7_String_s_(arg0 String) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "compareToIgnoreCase" "(Ljava/lang/String;)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.compareToIgnoreCase_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public int java.lang.String.compareTo(java.lang.Object)':
  #
  public compareTo_Ljava_7_lang_7_Object_s_(arg0 Java.java.lang.Object) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "compareTo" "(Ljava/lang/Object;)I" __jString.this [(Java.java.lang.__jString.compareTo_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public int java.lang.String.compareTo(java.lang.String)':
  #
  public compareTo_Ljava_7_lang_7_String_s_(arg0 String) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "compareTo" "(Ljava/lang/String;)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.compareTo_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.contentEquals(java.lang.CharSequence)':
  #
  public contentEquals_Ljava_7_lang_7_CharSequence_s_(arg0 Java.java.lang.CharSequence) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "contentEquals" "(Ljava/lang/CharSequence;)Z" __jString.this [(Java.java.lang.__jString.contentEquals_Ljava_7_lang_7_CharSequence_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.contentEquals(java.lang.StringBuffer)':
  #
  public contentEquals_Ljava_7_lang_7_StringBuffer_s_(arg0 Java.java.lang.StringBuffer) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "contentEquals" "(Ljava/lang/StringBuffer;)Z" __jString.this [(Java.java.lang.__jString.contentEquals_Ljava_7_lang_7_StringBuffer_s_.this.arg0)]

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

  # call Java instance method 'public boolean java.lang.String.equalsIgnoreCase(java.lang.String)':
  #
  public equalsIgnoreCase_Ljava_7_lang_7_String_s_(arg0 String) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "equalsIgnoreCase" "(Ljava/lang/String;)Z" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.equalsIgnoreCase_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.lang.String java.lang.String.formatted(java.lang.Object[])':
  #
  public formatted__u00005b_Ljava_7_lang_7_Object_s_(arg0 Sequence (Java.java.lang.Object)) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "formatted" "([Ljava/lang/Object;)Ljava/lang/String;" __jString.this [(fuzion.java.array_to_java_object (Java.java.lang.Object) Java.java.lang.__jString.formatted__u00005b_Ljava_7_lang_7_Object_s_.this.arg0)]

  # call Java instance method 'public byte[] java.lang.String.getBytes()':
  #
  public getBytes fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.lang.String" "getBytes" "()[B" __jString.this []

  # call Java instance method 'public void java.lang.String.getBytes(int,int,byte[],int)':
  #
  public getBytes_II_u00005b_BI(arg0 i32, arg1 i32, arg2 Sequence (i8), arg3 i32) unit =>
    fuzion.java.call_virtual (unit) "java.lang.String" "getBytes" "(II[BI)V" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.getBytes_II_u00005b_BI.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.getBytes_II_u00005b_BI.this.arg1); (fuzion.java.array_to_java_object (i8) Java.java.lang.__jString.getBytes_II_u00005b_BI.this.arg2); (fuzion.java.i32_to_java_object Java.java.lang.__jString.getBytes_II_u00005b_BI.this.arg3)]

  # call Java instance method 'public byte[] java.lang.String.getBytes(java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public getBytes_Ljava_7_lang_7_String_s_(arg0 String) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "java.lang.String" "getBytes" "(Ljava/lang/String;)[B" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.getBytes_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public byte[] java.lang.String.getBytes(java.nio.charset.Charset)':
  #
  public getBytes_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.charset.Charset) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.lang.String" "getBytes" "(Ljava/nio/charset/Charset;)[B" __jString.this [(Java.java.lang.__jString.getBytes_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0)]

  # call Java instance method 'public void java.lang.String.getChars(int,int,char[],int)':
  #
  public getChars_II_u00005b_CI(arg0 i32, arg1 i32, arg2 Sequence (u16), arg3 i32) unit =>
    fuzion.java.call_virtual (unit) "java.lang.String" "getChars" "(II[CI)V" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.getChars_II_u00005b_CI.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.getChars_II_u00005b_CI.this.arg1); (fuzion.java.array_to_java_object (u16) Java.java.lang.__jString.getChars_II_u00005b_CI.this.arg2); (fuzion.java.i32_to_java_object Java.java.lang.__jString.getChars_II_u00005b_CI.this.arg3)]

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

  # call Java instance method 'public int java.lang.String.indexOf(int)':
  #
  public indexOf_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(I)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_I.this.arg0)]

  # call Java instance method 'public int java.lang.String.indexOf(int,int)':
  #
  public indexOf_II(arg0 i32, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(II)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_II.this.arg1)]

  # call Java instance method 'public int java.lang.String.indexOf(int,int,int)':
  #
  public indexOf_III(arg0 i32, arg1 i32, arg2 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(III)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_III.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_III.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_III.this.arg2)]

  # call Java instance method 'public int java.lang.String.indexOf(java.lang.String)':
  #
  public indexOf_Ljava_7_lang_7_String_s_(arg0 String) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(Ljava/lang/String;)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public int java.lang.String.indexOf(java.lang.String,int)':
  #
  public indexOf_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(Ljava/lang/String;I)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_I.this.arg1)]

  # call Java instance method 'public int java.lang.String.indexOf(java.lang.String,int,int)':
  #
  public indexOf_Ljava_7_lang_7_String_s_II(arg0 String, arg1 i32, arg2 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "indexOf" "(Ljava/lang/String;II)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString.indexOf_Ljava_7_lang_7_String_s_II.this.arg2)]

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

  # call Java instance method 'public boolean java.lang.String.isBlank()':
  #
  public isBlank bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "isBlank" "()Z" __jString.this []

  # call Java instance method 'public java.lang.String java.lang.String.concat(java.lang.String)':
  #
  public javaConcat_Ljava_7_lang_7_String_s_(arg0 String) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "concat" "(Ljava/lang/String;)Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.javaConcat_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.contains(java.lang.CharSequence)':
  #
  public javaContains_Ljava_7_lang_7_CharSequence_s_(arg0 Java.java.lang.CharSequence) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "contains" "(Ljava/lang/CharSequence;)Z" __jString.this [(Java.java.lang.__jString.javaContains_Ljava_7_lang_7_CharSequence_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.endsWith(java.lang.String)':
  #
  public javaEndsWith_Ljava_7_lang_7_String_s_(arg0 String) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "endsWith" "(Ljava/lang/String;)Z" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.javaEndsWith_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.isEmpty()':
  #
  public javaIsEmpty bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "isEmpty" "()Z" __jString.this []

  # call Java instance method 'public java.lang.String java.lang.String.replace(char,char)':
  #
  public javaReplace_CC(arg0 u16, arg1 u16) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "replace" "(CC)Ljava/lang/String;" __jString.this [(fuzion.java.u16_to_java_object Java.java.lang.__jString.javaReplace_CC.this.arg0); (fuzion.java.u16_to_java_object Java.java.lang.__jString.javaReplace_CC.this.arg1)]

  # call Java instance method 'public java.lang.String java.lang.String.replace(java.lang.CharSequence,java.lang.CharSequence)':
  #
  public javaReplace_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_CharSequence_s_(arg0 Java.java.lang.CharSequence, arg1 Java.java.lang.CharSequence) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "replace" "(Ljava/lang/CharSequence;Ljava/lang/CharSequence;)Ljava/lang/String;" __jString.this [(Java.java.lang.__jString.javaReplace_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_CharSequence_s_.this.arg0); (Java.java.lang.__jString.javaReplace_Ljava_7_lang_7_CharSequence_s_Ljava_7_lang_7_CharSequence_s_.this.arg1)]

  # call Java instance method 'public boolean java.lang.String.startsWith(java.lang.String)':
  #
  public javaStartsWith_Ljava_7_lang_7_String_s_(arg0 String) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "startsWith" "(Ljava/lang/String;)Z" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.javaStartsWith_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public boolean java.lang.String.startsWith(java.lang.String,int)':
  #
  public javaStartsWith_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "startsWith" "(Ljava/lang/String;I)Z" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.javaStartsWith_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.javaStartsWith_Ljava_7_lang_7_String_s_I.this.arg1)]

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

  # call Java instance method 'public java.lang.String java.lang.String.substring(int,int)':
  #
  public javaSubstring_II(arg0 i32, arg1 i32) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "substring" "(II)Ljava/lang/String;" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.javaSubstring_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.javaSubstring_II.this.arg1)]

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

  # call Java instance method 'public int java.lang.String.lastIndexOf(int)':
  #
  public lastIndexOf_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "lastIndexOf" "(I)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.lastIndexOf_I.this.arg0)]

  # call Java instance method 'public int java.lang.String.lastIndexOf(int,int)':
  #
  public lastIndexOf_II(arg0 i32, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "lastIndexOf" "(II)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.lastIndexOf_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.lastIndexOf_II.this.arg1)]

  # call Java instance method 'public int java.lang.String.lastIndexOf(java.lang.String)':
  #
  public lastIndexOf_Ljava_7_lang_7_String_s_(arg0 String) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "lastIndexOf" "(Ljava/lang/String;)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.lastIndexOf_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public int java.lang.String.lastIndexOf(java.lang.String,int)':
  #
  public lastIndexOf_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "lastIndexOf" "(Ljava/lang/String;I)I" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.lastIndexOf_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.lastIndexOf_Ljava_7_lang_7_String_s_I.this.arg1)]

  # call Java instance method 'public int java.lang.String.length()':
  #
  public length i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "length" "()I" __jString.this []

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

  # call Java instance method 'public boolean java.lang.String.matches(java.lang.String)':
  #
  public matches_Ljava_7_lang_7_String_s_(arg0 String) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "matches" "(Ljava/lang/String;)Z" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.matches_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public int java.lang.String.offsetByCodePoints(int,int)':
  #
  public offsetByCodePoints_II(arg0 i32, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.lang.String" "offsetByCodePoints" "(II)I" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.offsetByCodePoints_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.offsetByCodePoints_II.this.arg1)]

  # call Java instance method 'public boolean java.lang.String.regionMatches(int,java.lang.String,int,int)':
  #
  public regionMatches_ILjava_7_lang_7_String_s_II(arg0 i32, arg1 String, arg2 i32, arg3 i32) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "regionMatches" "(ILjava/lang/String;II)Z" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ILjava_7_lang_7_String_s_II.this.arg0); (fuzion.java.string_to_java_object Java.java.lang.__jString.regionMatches_ILjava_7_lang_7_String_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ILjava_7_lang_7_String_s_II.this.arg2); (fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ILjava_7_lang_7_String_s_II.this.arg3)]

  # call Java instance method 'public boolean java.lang.String.regionMatches(boolean,int,java.lang.String,int,int)':
  #
  public regionMatches_ZILjava_7_lang_7_String_s_II(arg0 bool, arg1 i32, arg2 String, arg3 i32, arg4 i32) bool =>
    fuzion.java.call_virtual (bool) "java.lang.String" "regionMatches" "(ZILjava/lang/String;II)Z" __jString.this [(fuzion.java.bool_to_java_object Java.java.lang.__jString.regionMatches_ZILjava_7_lang_7_String_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ZILjava_7_lang_7_String_s_II.this.arg1); (fuzion.java.string_to_java_object Java.java.lang.__jString.regionMatches_ZILjava_7_lang_7_String_s_II.this.arg2); (fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ZILjava_7_lang_7_String_s_II.this.arg3); (fuzion.java.i32_to_java_object Java.java.lang.__jString.regionMatches_ZILjava_7_lang_7_String_s_II.this.arg4)]

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

  # call Java instance method 'public java.lang.String java.lang.String.replaceAll(java.lang.String,java.lang.String)':
  #
  public replaceAll_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "replaceAll" "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.replaceAll_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.lang.__jString.replaceAll_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public java.lang.String java.lang.String.replaceFirst(java.lang.String,java.lang.String)':
  #
  public replaceFirst_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "replaceFirst" "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.replaceFirst_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.lang.__jString.replaceFirst_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public java.lang.String java.lang.String.resolveConstantDesc(java.lang.invoke.MethodHandles$Lookup)':
  #
  public resolveConstantDesc_Ljava_7_lang_7_invoke_7_MethodHandles_S_Lookup_s_(arg0 Java.java.lang.invoke.MethodHandles_S_Lookup) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.lang.String" "resolveConstantDesc" "(Ljava/lang/invoke/MethodHandles\$Lookup;)Ljava/lang/String;" __jString.this [(Java.java.lang.__jString.resolveConstantDesc_Ljava_7_lang_7_invoke_7_MethodHandles_S_Lookup_s_.this.arg0)]

  # call Java instance method 'public java.lang.String[] java.lang.String.splitWithDelimiters(java.lang.String,int)':
  #
  public splitWithDelimiters_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) fuzion.java.Array (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.lang.__jString)) "java.lang.String" "splitWithDelimiters" "(Ljava/lang/String;I)[Ljava/lang/String;" __jString.this [(fuzion.java.string_to_java_object Java.java.lang.__jString.splitWithDelimiters_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.splitWithDelimiters_Ljava_7_lang_7_String_s_I.this.arg1)]

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

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

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

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

  # call Java instance method 'public java.lang.CharSequence java.lang.String.subSequence(int,int)':
  #
  public subSequence_II(arg0 i32, arg1 i32) Java.java.lang.CharSequence =>
    fuzion.java.call_virtual (Java.java.lang.CharSequence) "java.lang.String" "subSequence" "(II)Ljava/lang/CharSequence;" __jString.this [(fuzion.java.i32_to_java_object Java.java.lang.__jString.subSequence_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.lang.__jString.subSequence_II.this.arg1)]

  # call Java instance method 'public char[] java.lang.String.toCharArray()':
  #
  public toCharArray fuzion.java.Array (u16) =>
    fuzion.java.call_virtual (fuzion.java.Array (u16)) "java.lang.String" "toCharArray" "()[C" __jString.this []

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

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

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

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

  # call Java instance method 'public java.lang.Object java.lang.String.transform(java.util.function.Function)':
  #
  public transform_Ljava_7_util_7_function_7_Function_s_(arg0 Java.java.util.function.Function) Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.lang.String" "transform" "(Ljava/util/function/Function;)Ljava/lang/Object;" __jString.this [(Java.java.lang.__jString.transform_Ljava_7_util_7_function_7_Function_s_.this.arg0)]

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

  # short-hand to call Java method 'public char java.lang.String.charAt(int)':
  #
  public charAt(arg0 i32) (u16) =>
    charAt_I Java.java.lang.__jString.charAt.this.arg0

  # short-hand to call Java method 'public int java.lang.String.codePointAt(int)':
  #
  public codePointAt(arg0 i32) (i32) =>
    codePointAt_I Java.java.lang.__jString.codePointAt.this.arg0

  # short-hand to call Java method 'public int java.lang.String.codePointBefore(int)':
  #
  public codePointBefore(arg0 i32) (i32) =>
    codePointBefore_I Java.java.lang.__jString.codePointBefore.this.arg0

  # short-hand to call Java method 'public int java.lang.String.codePointCount(int,int)':
  #
  public codePointCount(arg0 i32, arg1 i32) (i32) =>
    codePointCount_II Java.java.lang.__jString.codePointCount.this.arg0 Java.java.lang.__jString.codePointCount.this.arg1

  # short-hand to call Java method 'public int java.lang.String.compareTo(java.lang.String)':
  #
  public compareTo(arg0 String) (i32) =>
    compareTo_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.compareTo.this.arg0

  # short-hand to call Java method 'public int java.lang.String.compareToIgnoreCase(java.lang.String)':
  #
  public compareToIgnoreCase(arg0 String) (i32) =>
    compareToIgnoreCase_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.compareToIgnoreCase.this.arg0

  # short-hand to call Java method 'public java.lang.String java.lang.String.concat(java.lang.String)':
  #
  public javaConcat(arg0 String) (Java.java.lang.__jString) =>
    javaConcat_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.javaConcat.this.arg0

  # short-hand to call Java method 'public boolean java.lang.String.contains(java.lang.CharSequence)':
  #
  public javaContains(arg0 Java.java.lang.CharSequence) (bool) =>
    javaContains_Ljava_7_lang_7_CharSequence_s_ Java.java.lang.__jString.javaContains.this.arg0

  # short-hand to call Java method 'public boolean java.lang.String.contentEquals(java.lang.CharSequence)':
  #
  public contentEquals(arg0 Java.java.lang.CharSequence) (bool) =>
    contentEquals_Ljava_7_lang_7_CharSequence_s_ Java.java.lang.__jString.contentEquals.this.arg0

  # short-hand to call Java method 'public boolean java.lang.String.endsWith(java.lang.String)':
  #
  public javaEndsWith(arg0 String) (bool) =>
    javaEndsWith_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.javaEndsWith.this.arg0

  # short-hand to call Java method 'public boolean java.lang.String.equalsIgnoreCase(java.lang.String)':
  #
  public equalsIgnoreCase(arg0 String) (bool) =>
    equalsIgnoreCase_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.equalsIgnoreCase.this.arg0

  # short-hand to call Java method 'public java.lang.String java.lang.String.formatted(java.lang.Object[])':
  #
  public formatted(arg0 Sequence (Java.java.lang.Object)) (Java.java.lang.__jString) =>
    formatted__u00005b_Ljava_7_lang_7_Object_s_ Java.java.lang.__jString.formatted.this.arg0

  # short-hand to call Java method 'public byte[] java.lang.String.getBytes(java.lang.String) throws java.io.UnsupportedEncodingException':
  #
  public getBytes(arg0 String) (outcome (fuzion.java.Array (i8))) =>
    getBytes_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.getBytes.this.arg0

  # short-hand to call Java method 'public void java.lang.String.getBytes(int,int,byte[],int)':
  #
  public getBytes(arg0 i32, arg1 i32, arg2 Sequence (i8), arg3 i32) (unit) =>
    getBytes_II_u00005b_BI Java.java.lang.__jString.getBytes.this.arg0 Java.java.lang.__jString.getBytes.this.arg1 Java.java.lang.__jString.getBytes.this.arg2 Java.java.lang.__jString.getBytes.this.arg3

  # short-hand to call Java method 'public void java.lang.String.getChars(int,int,char[],int)':
  #
  public getChars(arg0 i32, arg1 i32, arg2 Sequence (u16), arg3 i32) (unit) =>
    getChars_II_u00005b_CI Java.java.lang.__jString.getChars.this.arg0 Java.java.lang.__jString.getChars.this.arg1 Java.java.lang.__jString.getChars.this.arg2 Java.java.lang.__jString.getChars.this.arg3

  # short-hand to call Java method 'public java.lang.String java.lang.String.indent(int)':
  #
  public indent(arg0 i32) (Java.java.lang.__jString) =>
    indent_I Java.java.lang.__jString.indent.this.arg0

  # short-hand to call Java method 'public int java.lang.String.indexOf(java.lang.String)':
  #
  public indexOf(arg0 String) (i32) =>
    indexOf_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.indexOf.this.arg0

  # short-hand to call Java method 'public int java.lang.String.indexOf(java.lang.String,int)':
  #
  public indexOf(arg0 String, arg1 i32) (i32) =>
    indexOf_Ljava_7_lang_7_String_s_I Java.java.lang.__jString.indexOf.this.arg0 Java.java.lang.__jString.indexOf.this.arg1

  # short-hand to call Java method 'public int java.lang.String.indexOf(java.lang.String,int,int)':
  #
  public indexOf(arg0 String, arg1 i32, arg2 i32) (i32) =>
    indexOf_Ljava_7_lang_7_String_s_II Java.java.lang.__jString.indexOf.this.arg0 Java.java.lang.__jString.indexOf.this.arg1 Java.java.lang.__jString.indexOf.this.arg2

  # short-hand to call Java method 'public int java.lang.String.lastIndexOf(java.lang.String)':
  #
  public lastIndexOf(arg0 String) (i32) =>
    lastIndexOf_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.lastIndexOf.this.arg0

  # short-hand to call Java method 'public int java.lang.String.lastIndexOf(java.lang.String,int)':
  #
  public lastIndexOf(arg0 String, arg1 i32) (i32) =>
    lastIndexOf_Ljava_7_lang_7_String_s_I Java.java.lang.__jString.lastIndexOf.this.arg0 Java.java.lang.__jString.lastIndexOf.this.arg1

  # short-hand to call Java method 'public boolean java.lang.String.matches(java.lang.String)':
  #
  public matches(arg0 String) (bool) =>
    matches_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.matches.this.arg0

  # short-hand to call Java method 'public int java.lang.String.offsetByCodePoints(int,int)':
  #
  public offsetByCodePoints(arg0 i32, arg1 i32) (i32) =>
    offsetByCodePoints_II Java.java.lang.__jString.offsetByCodePoints.this.arg0 Java.java.lang.__jString.offsetByCodePoints.this.arg1

  # short-hand to call Java method 'public boolean java.lang.String.regionMatches(int,java.lang.String,int,int)':
  #
  public regionMatches(arg0 i32, arg1 String, arg2 i32, arg3 i32) (bool) =>
    regionMatches_ILjava_7_lang_7_String_s_II Java.java.lang.__jString.regionMatches.this.arg0 Java.java.lang.__jString.regionMatches.this.arg1 Java.java.lang.__jString.regionMatches.this.arg2 Java.java.lang.__jString.regionMatches.this.arg3

  # short-hand to call Java method 'public boolean java.lang.String.regionMatches(boolean,int,java.lang.String,int,int)':
  #
  public regionMatches(arg0 bool, arg1 i32, arg2 String, arg3 i32, arg4 i32) (bool) =>
    regionMatches_ZILjava_7_lang_7_String_s_II Java.java.lang.__jString.regionMatches.this.arg0 Java.java.lang.__jString.regionMatches.this.arg1 Java.java.lang.__jString.regionMatches.this.arg2 Java.java.lang.__jString.regionMatches.this.arg3 Java.java.lang.__jString.regionMatches.this.arg4

  # short-hand to call Java method 'public java.lang.String java.lang.String.repeat(int)':
  #
  public repeat(arg0 i32) (Java.java.lang.__jString) =>
    repeat_I Java.java.lang.__jString.repeat.this.arg0

  # short-hand to call Java method 'public java.lang.String java.lang.String.replace(char,char)':
  #
  public javaReplace(arg0 u16, arg1 u16) (Java.java.lang.__jString) =>
    javaReplace_CC Java.java.lang.__jString.javaReplace.this.arg0 Java.java.lang.__jString.javaReplace.this.arg1

  # short-hand to call Java method 'public java.lang.String java.lang.String.replaceAll(java.lang.String,java.lang.String)':
  #
  public replaceAll(arg0 String, arg1 String) (Java.java.lang.__jString) =>
    replaceAll_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.replaceAll.this.arg0 Java.java.lang.__jString.replaceAll.this.arg1

  # short-hand to call Java method 'public java.lang.String java.lang.String.replaceFirst(java.lang.String,java.lang.String)':
  #
  public replaceFirst(arg0 String, arg1 String) (Java.java.lang.__jString) =>
    replaceFirst_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.replaceFirst.this.arg0 Java.java.lang.__jString.replaceFirst.this.arg1

  # short-hand to call Java method 'public java.lang.String java.lang.String.resolveConstantDesc(java.lang.invoke.MethodHandles$Lookup)':
  #
  public resolveConstantDesc(arg0 Java.java.lang.invoke.MethodHandles_S_Lookup) (Java.java.lang.__jString) =>
    resolveConstantDesc_Ljava_7_lang_7_invoke_7_MethodHandles_S_Lookup_s_ Java.java.lang.__jString.resolveConstantDesc.this.arg0

  # short-hand to call Java method 'public java.lang.String[] java.lang.String.split(java.lang.String)':
  #
  public __jsplit(arg0 String) (fuzion.java.Array (Java.java.lang.__jString)) =>
    __jsplit_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.__jsplit.this.arg0

  # short-hand to call Java method 'public java.lang.String[] java.lang.String.split(java.lang.String,int)':
  #
  public __jsplit(arg0 String, arg1 i32) (fuzion.java.Array (Java.java.lang.__jString)) =>
    __jsplit_Ljava_7_lang_7_String_s_I Java.java.lang.__jString.__jsplit.this.arg0 Java.java.lang.__jString.__jsplit.this.arg1

  # short-hand to call Java method 'public java.lang.String[] java.lang.String.splitWithDelimiters(java.lang.String,int)':
  #
  public splitWithDelimiters(arg0 String, arg1 i32) (fuzion.java.Array (Java.java.lang.__jString)) =>
    splitWithDelimiters_Ljava_7_lang_7_String_s_I Java.java.lang.__jString.splitWithDelimiters.this.arg0 Java.java.lang.__jString.splitWithDelimiters.this.arg1

  # short-hand to call Java method 'public boolean java.lang.String.startsWith(java.lang.String)':
  #
  public javaStartsWith(arg0 String) (bool) =>
    javaStartsWith_Ljava_7_lang_7_String_s_ Java.java.lang.__jString.javaStartsWith.this.arg0

  # short-hand to call Java method 'public boolean java.lang.String.startsWith(java.lang.String,int)':
  #
  public javaStartsWith(arg0 String, arg1 i32) (bool) =>
    javaStartsWith_Ljava_7_lang_7_String_s_I Java.java.lang.__jString.javaStartsWith.this.arg0 Java.java.lang.__jString.javaStartsWith.this.arg1

  # short-hand to call Java method 'public java.lang.CharSequence java.lang.String.subSequence(int,int)':
  #
  public subSequence(arg0 i32, arg1 i32) (Java.java.lang.CharSequence) =>
    subSequence_II Java.java.lang.__jString.subSequence.this.arg0 Java.java.lang.__jString.subSequence.this.arg1

  # short-hand to call Java method 'public java.lang.String java.lang.String.substring(int)':
  #
  public javaSubstring(arg0 i32) (Java.java.lang.__jString) =>
    javaSubstring_I Java.java.lang.__jString.javaSubstring.this.arg0

  # short-hand to call Java method 'public java.lang.String java.lang.String.substring(int,int)':
  #
  public javaSubstring(arg0 i32, arg1 i32) (Java.java.lang.__jString) =>
    javaSubstring_II Java.java.lang.__jString.javaSubstring.this.arg0 Java.java.lang.__jString.javaSubstring.this.arg1

  # short-hand to call Java method 'public java.lang.String java.lang.String.toLowerCase(java.util.Locale)':
  #
  public toLowerCase(arg0 Java.java.util.Locale) (Java.java.lang.__jString) =>
    toLowerCase_Ljava_7_util_7_Locale_s_ Java.java.lang.__jString.toLowerCase.this.arg0

  # short-hand to call Java method 'public java.lang.String java.lang.String.toUpperCase(java.util.Locale)':
  #
  public toUpperCase(arg0 Java.java.util.Locale) (Java.java.lang.__jString) =>
    toUpperCase_Ljava_7_util_7_Locale_s_ Java.java.lang.__jString.toUpperCase.this.arg0

  # short-hand to call Java method 'public java.lang.Object java.lang.String.transform(java.util.function.Function)':
  #
  public transform(arg0 Java.java.util.function.Function) (Java.java.lang.Object) =>
    transform_Ljava_7_util_7_function_7_Function_s_ Java.java.lang.__jString.transform.this.arg0