Java/java/io/RandomAccessFile.fz

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

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

  # call Java instance method 'public final java.nio.channels.FileChannel java.io.RandomAccessFile.getChannel()':
  #
  public getChannel Java.java.nio.channels.FileChannel =>
    fuzion.java.call_virtual (Java.java.nio.channels.FileChannel) "java.io.RandomAccessFile" "getChannel" "()Ljava/nio/channels/FileChannel;" RandomAccessFile.this []

  # call Java instance method 'public final java.io.FileDescriptor java.io.RandomAccessFile.getFD() throws java.io.IOException':
  #
  public getFD outcome (Java.java.io.FileDescriptor) =>
    fuzion.java.call_virtual (outcome (Java.java.io.FileDescriptor)) "java.io.RandomAccessFile" "getFD" "()Ljava/io/FileDescriptor;" RandomAccessFile.this []

  # call Java instance method 'public native long java.io.RandomAccessFile.getFilePointer() throws java.io.IOException':
  #
  public getFilePointer outcome (i64) =>
    fuzion.java.call_virtual (outcome (i64)) "java.io.RandomAccessFile" "getFilePointer" "()J" RandomAccessFile.this []

  # call Java instance method 'public long java.io.RandomAccessFile.length() throws java.io.IOException':
  #
  public length outcome (i64) =>
    fuzion.java.call_virtual (outcome (i64)) "java.io.RandomAccessFile" "length" "()J" RandomAccessFile.this []

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

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

  # call Java instance method 'public final byte java.io.RandomAccessFile.readByte() throws java.io.IOException':
  #
  public readByte outcome (i8) =>
    fuzion.java.call_virtual (outcome (i8)) "java.io.RandomAccessFile" "readByte" "()B" RandomAccessFile.this []

  # call Java instance method 'public final char java.io.RandomAccessFile.readChar() throws java.io.IOException':
  #
  public readChar outcome (u16) =>
    fuzion.java.call_virtual (outcome (u16)) "java.io.RandomAccessFile" "readChar" "()C" RandomAccessFile.this []

  # call Java instance method 'public final double java.io.RandomAccessFile.readDouble() throws java.io.IOException':
  #
  public readDouble outcome (f64) =>
    fuzion.java.call_virtual (outcome (f64)) "java.io.RandomAccessFile" "readDouble" "()D" RandomAccessFile.this []

  # call Java instance method 'public final float java.io.RandomAccessFile.readFloat() throws java.io.IOException':
  #
  public readFloat outcome (f32) =>
    fuzion.java.call_virtual (outcome (f32)) "java.io.RandomAccessFile" "readFloat" "()F" RandomAccessFile.this []

  # call Java instance method 'public final void java.io.RandomAccessFile.readFully(byte[]) throws java.io.IOException':
  #
  public readFully__u00005b_B(arg0 Sequence (i8)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "readFully" "([B)V" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.readFully__u00005b_B.this.arg0)]

  # call Java instance method 'public final void java.io.RandomAccessFile.readFully(byte[],int,int) throws java.io.IOException':
  #
  public readFully__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "readFully" "([BII)V" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.readFully__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.readFully__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.readFully__u00005b_BII.this.arg2)]

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

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

  # call Java instance method 'public final long java.io.RandomAccessFile.readLong() throws java.io.IOException':
  #
  public readLong outcome (i64) =>
    fuzion.java.call_virtual (outcome (i64)) "java.io.RandomAccessFile" "readLong" "()J" RandomAccessFile.this []

  # call Java instance method 'public final short java.io.RandomAccessFile.readShort() throws java.io.IOException':
  #
  public readShort outcome (i16) =>
    fuzion.java.call_virtual (outcome (i16)) "java.io.RandomAccessFile" "readShort" "()S" RandomAccessFile.this []

  # call Java instance method 'public final java.lang.String java.io.RandomAccessFile.readUTF() throws java.io.IOException':
  #
  public readUTF outcome (Java.java.lang.__jString) =>
    fuzion.java.call_virtual (outcome (Java.java.lang.__jString)) "java.io.RandomAccessFile" "readUTF" "()Ljava/lang/String;" RandomAccessFile.this []

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

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

  # call Java instance method 'public int java.io.RandomAccessFile.read(byte[]) throws java.io.IOException':
  #
  public read__u00005b_B(arg0 Sequence (i8)) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.RandomAccessFile" "read" "([B)I" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.read__u00005b_B.this.arg0)]

  # call Java instance method 'public int java.io.RandomAccessFile.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.RandomAccessFile" "read" "([BII)I" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.read__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.read__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.read__u00005b_BII.this.arg2)]

  # call Java instance method 'public void java.io.RandomAccessFile.seek(long) throws java.io.IOException':
  #
  public seek_J(arg0 i64) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "seek" "(J)V" RandomAccessFile.this [(fuzion.java.i64_to_java_object Java.java.io.RandomAccessFile.seek_J.this.arg0)]

  # call Java instance method 'public void java.io.RandomAccessFile.setLength(long) throws java.io.IOException':
  #
  public setLength_J(arg0 i64) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "setLength" "(J)V" RandomAccessFile.this [(fuzion.java.i64_to_java_object Java.java.io.RandomAccessFile.setLength_J.this.arg0)]

  # call Java instance method 'public int java.io.RandomAccessFile.skipBytes(int) throws java.io.IOException':
  #
  public skipBytes_I(arg0 i32) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.io.RandomAccessFile" "skipBytes" "(I)I" RandomAccessFile.this [(fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.skipBytes_I.this.arg0)]

  # call Java instance method 'public final void java.io.RandomAccessFile.writeBoolean(boolean) throws java.io.IOException':
  #
  public writeBoolean_Z(arg0 bool) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeBoolean" "(Z)V" RandomAccessFile.this [(fuzion.java.bool_to_java_object Java.java.io.RandomAccessFile.writeBoolean_Z.this.arg0)]

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

  # call Java instance method 'public final void java.io.RandomAccessFile.writeBytes(java.lang.String) throws java.io.IOException':
  #
  public writeBytes_Ljava_7_lang_7_String_s_(arg0 String) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeBytes" "(Ljava/lang/String;)V" RandomAccessFile.this [(fuzion.java.string_to_java_object Java.java.io.RandomAccessFile.writeBytes_Ljava_7_lang_7_String_s_.this.arg0)]

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

  # call Java instance method 'public final void java.io.RandomAccessFile.writeChars(java.lang.String) throws java.io.IOException':
  #
  public writeChars_Ljava_7_lang_7_String_s_(arg0 String) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeChars" "(Ljava/lang/String;)V" RandomAccessFile.this [(fuzion.java.string_to_java_object Java.java.io.RandomAccessFile.writeChars_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public final void java.io.RandomAccessFile.writeDouble(double) throws java.io.IOException':
  #
  public writeDouble_D(arg0 f64) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeDouble" "(D)V" RandomAccessFile.this [(fuzion.java.f64_to_java_object Java.java.io.RandomAccessFile.writeDouble_D.this.arg0)]

  # call Java instance method 'public final void java.io.RandomAccessFile.writeFloat(float) throws java.io.IOException':
  #
  public writeFloat_F(arg0 f32) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeFloat" "(F)V" RandomAccessFile.this [(fuzion.java.f32_to_java_object Java.java.io.RandomAccessFile.writeFloat_F.this.arg0)]

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

  # call Java instance method 'public final void java.io.RandomAccessFile.writeLong(long) throws java.io.IOException':
  #
  public writeLong_J(arg0 i64) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeLong" "(J)V" RandomAccessFile.this [(fuzion.java.i64_to_java_object Java.java.io.RandomAccessFile.writeLong_J.this.arg0)]

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

  # call Java instance method 'public final void java.io.RandomAccessFile.writeUTF(java.lang.String) throws java.io.IOException':
  #
  public writeUTF_Ljava_7_lang_7_String_s_(arg0 String) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "writeUTF" "(Ljava/lang/String;)V" RandomAccessFile.this [(fuzion.java.string_to_java_object Java.java.io.RandomAccessFile.writeUTF_Ljava_7_lang_7_String_s_.this.arg0)]

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

  # call Java instance method 'public void java.io.RandomAccessFile.write(byte[]) throws java.io.IOException':
  #
  public write__u00005b_B(arg0 Sequence (i8)) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "write" "([B)V" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.write__u00005b_B.this.arg0)]

  # call Java instance method 'public void java.io.RandomAccessFile.write(byte[],int,int) throws java.io.IOException':
  #
  public write__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.io.RandomAccessFile" "write" "([BII)V" RandomAccessFile.this [(fuzion.java.array_to_java_object (i8) Java.java.io.RandomAccessFile.write__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.write__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.io.RandomAccessFile.write__u00005b_BII.this.arg2)]

  # short-hand to call Java method 'public int java.io.RandomAccessFile.read(byte[]) throws java.io.IOException':
  #
  public read(arg0 Sequence (i8)) (outcome (i32)) =>
    read__u00005b_B Java.java.io.RandomAccessFile.read.this.arg0

  # short-hand to call Java method 'public int java.io.RandomAccessFile.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.RandomAccessFile.read.this.arg0 Java.java.io.RandomAccessFile.read.this.arg1 Java.java.io.RandomAccessFile.read.this.arg2

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.readFully(byte[]) throws java.io.IOException':
  #
  public readFully(arg0 Sequence (i8)) (outcome (unit)) =>
    readFully__u00005b_B Java.java.io.RandomAccessFile.readFully.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.readFully(byte[],int,int) throws java.io.IOException':
  #
  public readFully(arg0 Sequence (i8), arg1 i32, arg2 i32) (outcome (unit)) =>
    readFully__u00005b_BII Java.java.io.RandomAccessFile.readFully.this.arg0 Java.java.io.RandomAccessFile.readFully.this.arg1 Java.java.io.RandomAccessFile.readFully.this.arg2

  # short-hand to call Java method 'public void java.io.RandomAccessFile.seek(long) throws java.io.IOException':
  #
  public seek(arg0 i64) (outcome (unit)) =>
    seek_J Java.java.io.RandomAccessFile.seek.this.arg0

  # short-hand to call Java method 'public void java.io.RandomAccessFile.setLength(long) throws java.io.IOException':
  #
  public setLength(arg0 i64) (outcome (unit)) =>
    setLength_J Java.java.io.RandomAccessFile.setLength.this.arg0

  # short-hand to call Java method 'public int java.io.RandomAccessFile.skipBytes(int) throws java.io.IOException':
  #
  public skipBytes(arg0 i32) (outcome (i32)) =>
    skipBytes_I Java.java.io.RandomAccessFile.skipBytes.this.arg0

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

  # short-hand to call Java method 'public void java.io.RandomAccessFile.write(byte[],int,int) throws java.io.IOException':
  #
  public write(arg0 Sequence (i8), arg1 i32, arg2 i32) (outcome (unit)) =>
    write__u00005b_BII Java.java.io.RandomAccessFile.write.this.arg0 Java.java.io.RandomAccessFile.write.this.arg1 Java.java.io.RandomAccessFile.write.this.arg2

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeBoolean(boolean) throws java.io.IOException':
  #
  public writeBoolean(arg0 bool) (outcome (unit)) =>
    writeBoolean_Z Java.java.io.RandomAccessFile.writeBoolean.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeByte(int) throws java.io.IOException':
  #
  public writeByte(arg0 i32) (outcome (unit)) =>
    writeByte_I Java.java.io.RandomAccessFile.writeByte.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeBytes(java.lang.String) throws java.io.IOException':
  #
  public writeBytes(arg0 String) (outcome (unit)) =>
    writeBytes_Ljava_7_lang_7_String_s_ Java.java.io.RandomAccessFile.writeBytes.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeChar(int) throws java.io.IOException':
  #
  public writeChar(arg0 i32) (outcome (unit)) =>
    writeChar_I Java.java.io.RandomAccessFile.writeChar.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeChars(java.lang.String) throws java.io.IOException':
  #
  public writeChars(arg0 String) (outcome (unit)) =>
    writeChars_Ljava_7_lang_7_String_s_ Java.java.io.RandomAccessFile.writeChars.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeDouble(double) throws java.io.IOException':
  #
  public writeDouble(arg0 f64) (outcome (unit)) =>
    writeDouble_D Java.java.io.RandomAccessFile.writeDouble.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeFloat(float) throws java.io.IOException':
  #
  public writeFloat(arg0 f32) (outcome (unit)) =>
    writeFloat_F Java.java.io.RandomAccessFile.writeFloat.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeInt(int) throws java.io.IOException':
  #
  public writeInt(arg0 i32) (outcome (unit)) =>
    writeInt_I Java.java.io.RandomAccessFile.writeInt.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeLong(long) throws java.io.IOException':
  #
  public writeLong(arg0 i64) (outcome (unit)) =>
    writeLong_J Java.java.io.RandomAccessFile.writeLong.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeShort(int) throws java.io.IOException':
  #
  public writeShort(arg0 i32) (outcome (unit)) =>
    writeShort_I Java.java.io.RandomAccessFile.writeShort.this.arg0

  # short-hand to call Java method 'public final void java.io.RandomAccessFile.writeUTF(java.lang.String) throws java.io.IOException':
  #
  public writeUTF(arg0 String) (outcome (unit)) =>
    writeUTF_Ljava_7_lang_7_String_s_ Java.java.io.RandomAccessFile.writeUTF.this.arg0