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
last changed: 2024-03-07