Java/java/io/Reader.fz

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

  # call Java instance method 'public abstract void java.io.Reader.close() throws java.io.IOException':
  #
  public close outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.Reader" "close" "()V" Reader.this []

  # call Java instance method 'public boolean java.io.Reader.markSupported()':
  #
  public markSupported bool =>
    fuzion.java.call_virtual (bool) "java.io.Reader" "markSupported" "()Z" Reader.this []

  # call Java instance method 'public void java.io.Reader.mark(int) throws java.io.IOException':
  #
  public mark_I(arg0 i32) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.Reader" "mark" "(I)V" Reader.this [(fuzion.java.i32_to_java_object Java.java.io.Reader.mark_I.this.arg0)]

  # call Java instance method 'public int java.io.Reader.read() throws java.io.IOException':
  #
  public read outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.Reader" "read" "()I" Reader.this []

  # call Java instance method 'public int java.io.Reader.read(java.nio.CharBuffer) throws java.io.IOException':
  #
  public read_Ljava_7_nio_7_CharBuffer_s_(arg0 Java.java.nio.CharBuffer) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.Reader" "read" "(Ljava/nio/CharBuffer;)I" Reader.this [(Java.java.io.Reader.read_Ljava_7_nio_7_CharBuffer_s_.this.arg0)]

  # call Java instance method 'public int java.io.Reader.read(char[]) throws java.io.IOException':
  #
  public read__u00005b_C(arg0 Sequence (u16)) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.Reader" "read" "([C)I" Reader.this [(fuzion.java.array_to_java_object (u16) Java.java.io.Reader.read__u00005b_C.this.arg0)]

  # call Java instance method 'public abstract int java.io.Reader.read(char[],int,int) throws java.io.IOException':
  #
  public read__u00005b_CII(arg0 Sequence (u16), arg1 i32, arg2 i32) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.Reader" "read" "([CII)I" Reader.this [(fuzion.java.array_to_java_object (u16) Java.java.io.Reader.read__u00005b_CII.this.arg0); (fuzion.java.i32_to_java_object Java.java.io.Reader.read__u00005b_CII.this.arg1); (fuzion.java.i32_to_java_object Java.java.io.Reader.read__u00005b_CII.this.arg2)]

  # call Java instance method 'public boolean java.io.Reader.ready() throws java.io.IOException':
  #
  public ready outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.io.Reader" "ready" "()Z" Reader.this []

  # call Java instance method 'public void java.io.Reader.reset() throws java.io.IOException':
  #
  public reset outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.Reader" "reset" "()V" Reader.this []

  # call Java instance method 'public long java.io.Reader.skip(long) throws java.io.IOException':
  #
  public skip_J(arg0 i64) outcome (i64) =>
    fuzion.java.call_virtual (outcome (i64)) "java.io.Reader" "skip" "(J)J" Reader.this [(fuzion.java.i64_to_java_object Java.java.io.Reader.skip_J.this.arg0)]

  # call Java instance method 'public long java.io.Reader.transferTo(java.io.Writer) throws java.io.IOException':
  #
  public transferTo_Ljava_7_io_7_Writer_s_(arg0 Java.java.io.Writer) outcome (i64) =>
    fuzion.java.call_virtual (outcome (i64)) "java.io.Reader" "transferTo" "(Ljava/io/Writer;)J" Reader.this [(Java.java.io.Reader.transferTo_Ljava_7_io_7_Writer_s_.this.arg0)]

  # short-hand to call Java method 'public void java.io.Reader.mark(int) throws java.io.IOException':
  #
  public mark(arg0 i32) (outcome (unit)) =>
    mark_I Java.java.io.Reader.mark.this.arg0

  # short-hand to call Java method 'public int java.io.Reader.read(java.nio.CharBuffer) throws java.io.IOException':
  #
  public read(arg0 Java.java.nio.CharBuffer) (outcome (i32)) =>
    read_Ljava_7_nio_7_CharBuffer_s_ Java.java.io.Reader.read.this.arg0

  # short-hand to call Java method 'public abstract int java.io.Reader.read(char[],int,int) throws java.io.IOException':
  #
  public read(arg0 Sequence (u16), arg1 i32, arg2 i32) (outcome (i32)) =>
    read__u00005b_CII Java.java.io.Reader.read.this.arg0 Java.java.io.Reader.read.this.arg1 Java.java.io.Reader.read.this.arg2

  # short-hand to call Java method 'public long java.io.Reader.skip(long) throws java.io.IOException':
  #
  public skip(arg0 i64) (outcome (i64)) =>
    skip_J Java.java.io.Reader.skip.this.arg0

  # short-hand to call Java method 'public long java.io.Reader.transferTo(java.io.Writer) throws java.io.IOException':
  #
  public transferTo(arg0 Java.java.io.Writer) (outcome (i64)) =>
    transferTo_Ljava_7_io_7_Writer_s_ Java.java.io.Reader.transferTo.this.arg0