Java/java/io/Console.fz

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

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

  # call Java instance method 'public void java.io.Console.flush()':
  #
  public flush unit =>
    fuzion.java.call_virtual (unit) "java.io.Console" "flush" "()V" Console.this []

  # call Java instance method 'public java.io.Console java.io.Console.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.io.Console =>
    fuzion.java.call_virtual (Java.java.io.Console) "java.io.Console" "format" "(Ljava/lang/String;[Ljava/lang/Object;)Ljava/io/Console;" Console.this [(fuzion.java.string_to_java_object Java.java.io.Console.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.io.Console.format_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public java.io.Console java.io.Console.printf(java.lang.String,java.lang.Object[])':
  #
  public printf_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_(arg0 String, arg1 Sequence (Java.java.lang.Object)) Java.java.io.Console =>
    fuzion.java.call_virtual (Java.java.io.Console) "java.io.Console" "printf" "(Ljava/lang/String;[Ljava/lang/Object;)Ljava/io/Console;" Console.this [(fuzion.java.string_to_java_object Java.java.io.Console.printf_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.io.Console.printf_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1)]

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

  # call Java instance method 'public java.lang.String java.io.Console.readLine(java.lang.String,java.lang.Object[])':
  #
  public readLine_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_virtual (Java.java.lang.__jString) "java.io.Console" "readLine" "(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;" Console.this [(fuzion.java.string_to_java_object Java.java.io.Console.readLine_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.io.Console.readLine_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public char[] java.io.Console.readPassword()':
  #
  public readPassword fuzion.java.Array (u16) =>
    fuzion.java.call_virtual (fuzion.java.Array (u16)) "java.io.Console" "readPassword" "()[C" Console.this []

  # call Java instance method 'public char[] java.io.Console.readPassword(java.lang.String,java.lang.Object[])':
  #
  public readPassword_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_(arg0 String, arg1 Sequence (Java.java.lang.Object)) fuzion.java.Array (u16) =>
    fuzion.java.call_virtual (fuzion.java.Array (u16)) "java.io.Console" "readPassword" "(Ljava/lang/String;[Ljava/lang/Object;)[C" Console.this [(fuzion.java.string_to_java_object Java.java.io.Console.readPassword_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.io.Console.readPassword_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public java.io.Reader java.io.Console.reader()':
  #
  public reader Java.java.io.Reader =>
    fuzion.java.call_virtual (Java.java.io.Reader) "java.io.Console" "reader" "()Ljava/io/Reader;" Console.this []

  # call Java instance method 'public java.io.PrintWriter java.io.Console.writer()':
  #
  public writer Java.java.io.PrintWriter =>
    fuzion.java.call_virtual (Java.java.io.PrintWriter) "java.io.Console" "writer" "()Ljava/io/PrintWriter;" Console.this []

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

  # short-hand to call Java method 'public java.io.Console java.io.Console.printf(java.lang.String,java.lang.Object[])':
  #
  public printf(arg0 String, arg1 Sequence (Java.java.lang.Object)) (Java.java.io.Console) =>
    printf_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_ Java.java.io.Console.printf.this.arg0 Java.java.io.Console.printf.this.arg1

  # short-hand to call Java method 'public java.lang.String java.io.Console.readLine(java.lang.String,java.lang.Object[])':
  #
  public readLine(arg0 String, arg1 Sequence (Java.java.lang.Object)) (Java.java.lang.__jString) =>
    readLine_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_ Java.java.io.Console.readLine.this.arg0 Java.java.io.Console.readLine.this.arg1

  # short-hand to call Java method 'public char[] java.io.Console.readPassword(java.lang.String,java.lang.Object[])':
  #
  public readPassword(arg0 String, arg1 Sequence (Java.java.lang.Object)) (fuzion.java.Array (u16)) =>
    readPassword_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_Object_s_ Java.java.io.Console.readPassword.this.arg0 Java.java.io.Console.readPassword.this.arg1