Java/java/io/ObjectInput.fz
# Fuzion interface to instance members of Java instance class 'java.io.ObjectInput'
#
# !!!!!! 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.ObjectInput(forbidden void) ref : fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public abstract int java.io.ObjectInput.available() throws java.io.IOException':
#
public available outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.io.ObjectInput" "available" "()I" ObjectInput.this []
# call Java instance method 'public abstract void java.io.ObjectInput.close() throws java.io.IOException':
#
public close outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.io.ObjectInput" "close" "()V" ObjectInput.this []
# call Java instance method 'public abstract int java.io.ObjectInput.read() throws java.io.IOException':
#
public read outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.io.ObjectInput" "read" "()I" ObjectInput.this []
# call Java instance method 'public abstract java.lang.Object java.io.ObjectInput.readObject() throws java.lang.ClassNotFoundException,java.io.IOException':
#
public readObject outcome (Java.java.lang.Object) =>
fuzion.java.call_virtual (outcome (Java.java.lang.Object)) "java.io.ObjectInput" "readObject" "()Ljava/lang/Object;" ObjectInput.this []
# call Java instance method 'public abstract int java.io.ObjectInput.read(byte[]) throws java.io.IOException':
#
public read__u00005b_B(arg0 Sequence (i8)) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.io.ObjectInput" "read" "([B)I" ObjectInput.this [(fuzion.java.array_to_java_object (i8) Java.java.io.ObjectInput.read__u00005b_B.this.arg0)]
# call Java instance method 'public abstract int java.io.ObjectInput.read(byte[],int,int) throws java.io.IOException':
#
public read__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.io.ObjectInput" "read" "([BII)I" ObjectInput.this [(fuzion.java.array_to_java_object (i8) Java.java.io.ObjectInput.read__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.io.ObjectInput.read__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.io.ObjectInput.read__u00005b_BII.this.arg2)]
# call Java instance method 'public abstract long java.io.ObjectInput.skip(long) throws java.io.IOException':
#
public skip_J(arg0 i64) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.io.ObjectInput" "skip" "(J)J" ObjectInput.this [(fuzion.java.i64_to_java_object Java.java.io.ObjectInput.skip_J.this.arg0)]
# short-hand to call Java method 'public abstract int java.io.ObjectInput.read(byte[]) throws java.io.IOException':
#
public read(arg0 Sequence (i8)) (outcome (i32)) =>
read__u00005b_B Java.java.io.ObjectInput.read.this.arg0
# short-hand to call Java method 'public abstract int java.io.ObjectInput.read(byte[],int,int) throws java.io.IOException':
#
public read(arg0 Sequence (i8), arg1 i32, arg2 i32) (outcome (i32)) =>
read__u00005b_BII Java.java.io.ObjectInput.read.this.arg0 Java.java.io.ObjectInput.read.this.arg1 Java.java.io.ObjectInput.read.this.arg2
# short-hand to call Java method 'public abstract long java.io.ObjectInput.skip(long) throws java.io.IOException':
#
public skip(arg0 i64) (outcome (i64)) =>
skip_J Java.java.io.ObjectInput.skip.this.arg0