Java/java/nio/charset/Charset.fz

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

  # call Java instance method 'public final java.util.Set java.nio.charset.Charset.aliases()':
  #
  public aliases Java.java.util.Set =>
    fuzion.java.call_virtual (Java.java.util.Set) "java.nio.charset.Charset" "aliases" "()Ljava/util/Set;" Charset.this []

  # call Java instance method 'public boolean java.nio.charset.Charset.canEncode()':
  #
  public canEncode bool =>
    fuzion.java.call_virtual (bool) "java.nio.charset.Charset" "canEncode" "()Z" Charset.this []

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

  # call Java instance method 'public final int java.nio.charset.Charset.compareTo(java.nio.charset.Charset)':
  #
  public compareTo_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.charset.Charset) i32 =>
    fuzion.java.call_virtual (i32) "java.nio.charset.Charset" "compareTo" "(Ljava/nio/charset/Charset;)I" Charset.this [(Java.java.nio.charset.Charset.compareTo_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0)]

  # call Java instance method 'public abstract boolean java.nio.charset.Charset.contains(java.nio.charset.Charset)':
  #
  public contains_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.nio.charset.Charset) bool =>
    fuzion.java.call_virtual (bool) "java.nio.charset.Charset" "contains" "(Ljava/nio/charset/Charset;)Z" Charset.this [(Java.java.nio.charset.Charset.contains_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0)]

  # call Java instance method 'public final java.nio.CharBuffer java.nio.charset.Charset.decode(java.nio.ByteBuffer)':
  #
  public decode_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer) Java.java.nio.CharBuffer =>
    fuzion.java.call_virtual (Java.java.nio.CharBuffer) "java.nio.charset.Charset" "decode" "(Ljava/nio/ByteBuffer;)Ljava/nio/CharBuffer;" Charset.this [(Java.java.nio.charset.Charset.decode_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

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

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

  # call Java instance method 'public final java.nio.ByteBuffer java.nio.charset.Charset.encode(java.lang.String)':
  #
  public encode_Ljava_7_lang_7_String_s_(arg0 String) Java.java.nio.ByteBuffer =>
    fuzion.java.call_virtual (Java.java.nio.ByteBuffer) "java.nio.charset.Charset" "encode" "(Ljava/lang/String;)Ljava/nio/ByteBuffer;" Charset.this [(fuzion.java.string_to_java_object Java.java.nio.charset.Charset.encode_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public final java.nio.ByteBuffer java.nio.charset.Charset.encode(java.nio.CharBuffer)':
  #
  public encode_Ljava_7_nio_7_CharBuffer_s_(arg0 Java.java.nio.CharBuffer) Java.java.nio.ByteBuffer =>
    fuzion.java.call_virtual (Java.java.nio.ByteBuffer) "java.nio.charset.Charset" "encode" "(Ljava/nio/CharBuffer;)Ljava/nio/ByteBuffer;" Charset.this [(Java.java.nio.charset.Charset.encode_Ljava_7_nio_7_CharBuffer_s_.this.arg0)]

  # call Java instance method 'public final boolean java.nio.charset.Charset.isRegistered()':
  #
  public isRegistered bool =>
    fuzion.java.call_virtual (bool) "java.nio.charset.Charset" "isRegistered" "()Z" Charset.this []

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

  # call Java instance method 'public abstract java.nio.charset.CharsetDecoder java.nio.charset.Charset.newDecoder()':
  #
  public newDecoder Java.java.nio.charset.CharsetDecoder =>
    fuzion.java.call_virtual (Java.java.nio.charset.CharsetDecoder) "java.nio.charset.Charset" "newDecoder" "()Ljava/nio/charset/CharsetDecoder;" Charset.this []

  # call Java instance method 'public abstract java.nio.charset.CharsetEncoder java.nio.charset.Charset.newEncoder()':
  #
  public newEncoder Java.java.nio.charset.CharsetEncoder =>
    fuzion.java.call_virtual (Java.java.nio.charset.CharsetEncoder) "java.nio.charset.Charset" "newEncoder" "()Ljava/nio/charset/CharsetEncoder;" Charset.this []

  # short-hand to call Java method 'public int java.nio.charset.Charset.compareTo(java.lang.Object)':
  #
  public compareTo(arg0 Java.java.lang.Object) (i32) =>
    compareTo_Ljava_7_lang_7_Object_s_ Java.java.nio.charset.Charset.compareTo.this.arg0

  # short-hand to call Java method 'public abstract boolean java.nio.charset.Charset.contains(java.nio.charset.Charset)':
  #
  public contains(arg0 Java.java.nio.charset.Charset) (bool) =>
    contains_Ljava_7_nio_7_charset_7_Charset_s_ Java.java.nio.charset.Charset.contains.this.arg0

  # short-hand to call Java method 'public final java.nio.CharBuffer java.nio.charset.Charset.decode(java.nio.ByteBuffer)':
  #
  public decode(arg0 Java.java.nio.ByteBuffer) (Java.java.nio.CharBuffer) =>
    decode_Ljava_7_nio_7_ByteBuffer_s_ Java.java.nio.charset.Charset.decode.this.arg0

  # short-hand to call Java method 'public java.lang.String java.nio.charset.Charset.displayName(java.util.Locale)':
  #
  public displayName(arg0 Java.java.util.Locale) (Java.java.lang.__jString) =>
    displayName_Ljava_7_util_7_Locale_s_ Java.java.nio.charset.Charset.displayName.this.arg0

  # short-hand to call Java method 'public final java.nio.ByteBuffer java.nio.charset.Charset.encode(java.lang.String)':
  #
  public encode(arg0 String) (Java.java.nio.ByteBuffer) =>
    encode_Ljava_7_lang_7_String_s_ Java.java.nio.charset.Charset.encode.this.arg0