Java/java/nio/channels/FileChannel.fz
# Fuzion interface to instance members of Java instance class 'java.nio.channels.FileChannel'
#
# !!!!!! 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.nio.channels.FileChannel(redef forbidden void) ref : Java.java.nio.channels.spi.AbstractInterruptibleChannel(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public abstract void java.nio.channels.FileChannel.force(boolean) throws java.io.IOException':
#
public force_Z(arg0 bool) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.nio.channels.FileChannel" "force" "(Z)V" FileChannel.this [(fuzion.java.bool_to_java_object Java.java.nio.channels.FileChannel.force_Z.this.arg0)]
# call Java instance method 'public final java.nio.channels.FileLock java.nio.channels.FileChannel.lock() throws java.io.IOException':
#
public lock outcome (Java.java.nio.channels.FileLock) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileLock)) "java.nio.channels.FileChannel" "lock" "()Ljava/nio/channels/FileLock;" FileChannel.this []
# call Java instance method 'public abstract java.nio.channels.FileLock java.nio.channels.FileChannel.lock(long,long,boolean) throws java.io.IOException':
#
public lock_JJZ(arg0 i64, arg1 i64, arg2 bool) outcome (Java.java.nio.channels.FileLock) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileLock)) "java.nio.channels.FileChannel" "lock" "(JJZ)Ljava/nio/channels/FileLock;" FileChannel.this [(fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.lock_JJZ.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.lock_JJZ.this.arg1); (fuzion.java.bool_to_java_object Java.java.nio.channels.FileChannel.lock_JJZ.this.arg2)]
# call Java instance method 'public abstract java.nio.MappedByteBuffer java.nio.channels.FileChannel.map(java.nio.channels.FileChannel$MapMode,long,long) throws java.io.IOException':
#
public map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJ(arg0 Java.java.nio.channels.FileChannel_S_MapMode, arg1 i64, arg2 i64) outcome (Java.java.nio.MappedByteBuffer) =>
fuzion.java.call_virtual (outcome (Java.java.nio.MappedByteBuffer)) "java.nio.channels.FileChannel" "map" "(Ljava/nio/channels/FileChannel\$MapMode;JJ)Ljava/nio/MappedByteBuffer;" FileChannel.this [(Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJ.this.arg1); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJ.this.arg2)]
# call Java instance method 'public java.lang.foreign.MemorySegment java.nio.channels.FileChannel.map(java.nio.channels.FileChannel$MapMode,long,long,java.lang.foreign.Arena) throws java.io.IOException':
#
public map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_(arg0 Java.java.nio.channels.FileChannel_S_MapMode, arg1 i64, arg2 i64, arg3 Java.java.lang.foreign.Arena) outcome (Java.java.lang.foreign.MemorySegment) =>
fuzion.java.call_virtual (outcome (Java.java.lang.foreign.MemorySegment)) "java.nio.channels.FileChannel" "map" "(Ljava/nio/channels/FileChannel\$MapMode;JJLjava/lang/foreign/Arena;)Ljava/lang/foreign/MemorySegment;" FileChannel.this [(Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_.this.arg1); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_.this.arg2); (Java.java.nio.channels.FileChannel.map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_.this.arg3)]
# call Java instance method 'public abstract long java.nio.channels.FileChannel.position() throws java.io.IOException':
#
public position outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "position" "()J" FileChannel.this []
# call Java instance method 'public abstract java.nio.channels.FileChannel java.nio.channels.FileChannel.position(long) throws java.io.IOException':
#
public position_J(arg0 i64) outcome (Java.java.nio.channels.FileChannel) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileChannel)) "java.nio.channels.FileChannel" "position" "(J)Ljava/nio/channels/FileChannel;" FileChannel.this [(fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.position_J.this.arg0)]
# call Java instance method 'public abstract int java.nio.channels.FileChannel.read(java.nio.ByteBuffer) throws java.io.IOException':
#
public read_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.nio.channels.FileChannel" "read" "(Ljava/nio/ByteBuffer;)I" FileChannel.this [(Java.java.nio.channels.FileChannel.read_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]
# call Java instance method 'public abstract int java.nio.channels.FileChannel.read(java.nio.ByteBuffer,long) throws java.io.IOException':
#
public read_Ljava_7_nio_7_ByteBuffer_s_J(arg0 Java.java.nio.ByteBuffer, arg1 i64) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.nio.channels.FileChannel" "read" "(Ljava/nio/ByteBuffer;J)I" FileChannel.this [(Java.java.nio.channels.FileChannel.read_Ljava_7_nio_7_ByteBuffer_s_J.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.read_Ljava_7_nio_7_ByteBuffer_s_J.this.arg1)]
# call Java instance method 'public final long java.nio.channels.FileChannel.read(java.nio.ByteBuffer[]) throws java.io.IOException':
#
public read__u00005b_Ljava_7_nio_7_ByteBuffer_s_(arg0 Sequence (Java.java.nio.ByteBuffer)) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "read" "([Ljava/nio/ByteBuffer;)J" FileChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.FileChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]
# call Java instance method 'public abstract long java.nio.channels.FileChannel.read(java.nio.ByteBuffer[],int,int) throws java.io.IOException':
#
public read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II(arg0 Sequence (Java.java.nio.ByteBuffer), arg1 i32, arg2 i32) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "read" "([Ljava/nio/ByteBuffer;II)J" FileChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.FileChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.FileChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.nio.channels.FileChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg2)]
# call Java instance method 'public abstract long java.nio.channels.FileChannel.size() throws java.io.IOException':
#
public size outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "size" "()J" FileChannel.this []
# call Java instance method 'public abstract long java.nio.channels.FileChannel.transferFrom(java.nio.channels.ReadableByteChannel,long,long) throws java.io.IOException':
#
public transferFrom_Ljava_7_nio_7_channels_7_ReadableByteChannel_s_JJ(arg0 Java.java.nio.channels.ReadableByteChannel, arg1 i64, arg2 i64) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "transferFrom" "(Ljava/nio/channels/ReadableByteChannel;JJ)J" FileChannel.this [(Java.java.nio.channels.FileChannel.transferFrom_Ljava_7_nio_7_channels_7_ReadableByteChannel_s_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.transferFrom_Ljava_7_nio_7_channels_7_ReadableByteChannel_s_JJ.this.arg1); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.transferFrom_Ljava_7_nio_7_channels_7_ReadableByteChannel_s_JJ.this.arg2)]
# call Java instance method 'public abstract long java.nio.channels.FileChannel.transferTo(long,long,java.nio.channels.WritableByteChannel) throws java.io.IOException':
#
public transferTo_JJLjava_7_nio_7_channels_7_WritableByteChannel_s_(arg0 i64, arg1 i64, arg2 Java.java.nio.channels.WritableByteChannel) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "transferTo" "(JJLjava/nio/channels/WritableByteChannel;)J" FileChannel.this [(fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.transferTo_JJLjava_7_nio_7_channels_7_WritableByteChannel_s_.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.transferTo_JJLjava_7_nio_7_channels_7_WritableByteChannel_s_.this.arg1); (Java.java.nio.channels.FileChannel.transferTo_JJLjava_7_nio_7_channels_7_WritableByteChannel_s_.this.arg2)]
# call Java instance method 'public abstract java.nio.channels.FileChannel java.nio.channels.FileChannel.truncate(long) throws java.io.IOException':
#
public truncate_J(arg0 i64) outcome (Java.java.nio.channels.FileChannel) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileChannel)) "java.nio.channels.FileChannel" "truncate" "(J)Ljava/nio/channels/FileChannel;" FileChannel.this [(fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.truncate_J.this.arg0)]
# call Java instance method 'public final java.nio.channels.FileLock java.nio.channels.FileChannel.tryLock() throws java.io.IOException':
#
public tryLock outcome (Java.java.nio.channels.FileLock) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileLock)) "java.nio.channels.FileChannel" "tryLock" "()Ljava/nio/channels/FileLock;" FileChannel.this []
# call Java instance method 'public abstract java.nio.channels.FileLock java.nio.channels.FileChannel.tryLock(long,long,boolean) throws java.io.IOException':
#
public tryLock_JJZ(arg0 i64, arg1 i64, arg2 bool) outcome (Java.java.nio.channels.FileLock) =>
fuzion.java.call_virtual (outcome (Java.java.nio.channels.FileLock)) "java.nio.channels.FileChannel" "tryLock" "(JJZ)Ljava/nio/channels/FileLock;" FileChannel.this [(fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.tryLock_JJZ.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.tryLock_JJZ.this.arg1); (fuzion.java.bool_to_java_object Java.java.nio.channels.FileChannel.tryLock_JJZ.this.arg2)]
# call Java instance method 'public abstract int java.nio.channels.FileChannel.write(java.nio.ByteBuffer) throws java.io.IOException':
#
public write_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.nio.channels.FileChannel" "write" "(Ljava/nio/ByteBuffer;)I" FileChannel.this [(Java.java.nio.channels.FileChannel.write_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]
# call Java instance method 'public abstract int java.nio.channels.FileChannel.write(java.nio.ByteBuffer,long) throws java.io.IOException':
#
public write_Ljava_7_nio_7_ByteBuffer_s_J(arg0 Java.java.nio.ByteBuffer, arg1 i64) outcome (i32) =>
fuzion.java.call_virtual (outcome (i32)) "java.nio.channels.FileChannel" "write" "(Ljava/nio/ByteBuffer;J)I" FileChannel.this [(Java.java.nio.channels.FileChannel.write_Ljava_7_nio_7_ByteBuffer_s_J.this.arg0); (fuzion.java.i64_to_java_object Java.java.nio.channels.FileChannel.write_Ljava_7_nio_7_ByteBuffer_s_J.this.arg1)]
# call Java instance method 'public final long java.nio.channels.FileChannel.write(java.nio.ByteBuffer[]) throws java.io.IOException':
#
public write__u00005b_Ljava_7_nio_7_ByteBuffer_s_(arg0 Sequence (Java.java.nio.ByteBuffer)) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "write" "([Ljava/nio/ByteBuffer;)J" FileChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.FileChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]
# call Java instance method 'public abstract long java.nio.channels.FileChannel.write(java.nio.ByteBuffer[],int,int) throws java.io.IOException':
#
public write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II(arg0 Sequence (Java.java.nio.ByteBuffer), arg1 i32, arg2 i32) outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.channels.FileChannel" "write" "([Ljava/nio/ByteBuffer;II)J" FileChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.FileChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.FileChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.nio.channels.FileChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg2)]
# short-hand to call Java method 'public abstract void java.nio.channels.FileChannel.force(boolean) throws java.io.IOException':
#
public force(arg0 bool) (outcome (unit)) =>
force_Z Java.java.nio.channels.FileChannel.force.this.arg0
# short-hand to call Java method 'public abstract java.nio.channels.FileLock java.nio.channels.FileChannel.lock(long,long,boolean) throws java.io.IOException':
#
public lock(arg0 i64, arg1 i64, arg2 bool) (outcome (Java.java.nio.channels.FileLock)) =>
lock_JJZ Java.java.nio.channels.FileChannel.lock.this.arg0 Java.java.nio.channels.FileChannel.lock.this.arg1 Java.java.nio.channels.FileChannel.lock.this.arg2
# short-hand to call Java method 'public abstract java.nio.MappedByteBuffer java.nio.channels.FileChannel.map(java.nio.channels.FileChannel$MapMode,long,long) throws java.io.IOException':
#
public map(arg0 Java.java.nio.channels.FileChannel_S_MapMode, arg1 i64, arg2 i64) (outcome (Java.java.nio.MappedByteBuffer)) =>
map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJ Java.java.nio.channels.FileChannel.map.this.arg0 Java.java.nio.channels.FileChannel.map.this.arg1 Java.java.nio.channels.FileChannel.map.this.arg2
# short-hand to call Java method 'public java.lang.foreign.MemorySegment java.nio.channels.FileChannel.map(java.nio.channels.FileChannel$MapMode,long,long,java.lang.foreign.Arena) throws java.io.IOException':
#
public map(arg0 Java.java.nio.channels.FileChannel_S_MapMode, arg1 i64, arg2 i64, arg3 Java.java.lang.foreign.Arena) (outcome (Java.java.lang.foreign.MemorySegment)) =>
map_Ljava_7_nio_7_channels_7_FileChannel_S_MapMode_s_JJLjava_7_lang_7_foreign_7_Arena_s_ Java.java.nio.channels.FileChannel.map.this.arg0 Java.java.nio.channels.FileChannel.map.this.arg1 Java.java.nio.channels.FileChannel.map.this.arg2 Java.java.nio.channels.FileChannel.map.this.arg3
# short-hand to call Java method 'public abstract java.nio.channels.FileChannel java.nio.channels.FileChannel.position(long) throws java.io.IOException':
#
public position(arg0 i64) (outcome (Java.java.nio.channels.FileChannel)) =>
position_J Java.java.nio.channels.FileChannel.position.this.arg0
# short-hand to call Java method 'public abstract int java.nio.channels.FileChannel.read(java.nio.ByteBuffer) throws java.io.IOException':
#
public read(arg0 Java.java.nio.ByteBuffer) (outcome (i32)) =>
read_Ljava_7_nio_7_ByteBuffer_s_ Java.java.nio.channels.FileChannel.read.this.arg0
# short-hand to call Java method 'public abstract int java.nio.channels.FileChannel.read(java.nio.ByteBuffer,long) throws java.io.IOException':
#
public read(arg0 Java.java.nio.ByteBuffer, arg1 i64) (outcome (i32)) =>
read_Ljava_7_nio_7_ByteBuffer_s_J Java.java.nio.channels.FileChannel.read.this.arg0 Java.java.nio.channels.FileChannel.read.this.arg1
# short-hand to call Java method 'public abstract long java.nio.channels.FileChannel.read(java.nio.ByteBuffer[],int,int) throws java.io.IOException':
#
public read(arg0 Sequence (Java.java.nio.ByteBuffer), arg1 i32, arg2 i32) (outcome (i64)) =>
read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II Java.java.nio.channels.FileChannel.read.this.arg0 Java.java.nio.channels.FileChannel.read.this.arg1 Java.java.nio.channels.FileChannel.read.this.arg2
# short-hand to call Java method 'public abstract long java.nio.channels.FileChannel.transferFrom(java.nio.channels.ReadableByteChannel,long,long) throws java.io.IOException':
#
public transferFrom(arg0 Java.java.nio.channels.ReadableByteChannel, arg1 i64, arg2 i64) (outcome (i64)) =>
transferFrom_Ljava_7_nio_7_channels_7_ReadableByteChannel_s_JJ Java.java.nio.channels.FileChannel.transferFrom.this.arg0 Java.java.nio.channels.FileChannel.transferFrom.this.arg1 Java.java.nio.channels.FileChannel.transferFrom.this.arg2
# short-hand to call Java method 'public abstract long java.nio.channels.FileChannel.transferTo(long,long,java.nio.channels.WritableByteChannel) throws java.io.IOException':
#
public transferTo(arg0 i64, arg1 i64, arg2 Java.java.nio.channels.WritableByteChannel) (outcome (i64)) =>
transferTo_JJLjava_7_nio_7_channels_7_WritableByteChannel_s_ Java.java.nio.channels.FileChannel.transferTo.this.arg0 Java.java.nio.channels.FileChannel.transferTo.this.arg1 Java.java.nio.channels.FileChannel.transferTo.this.arg2
# short-hand to call Java method 'public abstract java.nio.channels.FileChannel java.nio.channels.FileChannel.truncate(long) throws java.io.IOException':
#
public truncate(arg0 i64) (outcome (Java.java.nio.channels.FileChannel)) =>
truncate_J Java.java.nio.channels.FileChannel.truncate.this.arg0
# short-hand to call Java method 'public abstract java.nio.channels.FileLock java.nio.channels.FileChannel.tryLock(long,long,boolean) throws java.io.IOException':
#
public tryLock(arg0 i64, arg1 i64, arg2 bool) (outcome (Java.java.nio.channels.FileLock)) =>
tryLock_JJZ Java.java.nio.channels.FileChannel.tryLock.this.arg0 Java.java.nio.channels.FileChannel.tryLock.this.arg1 Java.java.nio.channels.FileChannel.tryLock.this.arg2
# short-hand to call Java method 'public abstract int java.nio.channels.FileChannel.write(java.nio.ByteBuffer) throws java.io.IOException':
#
public write(arg0 Java.java.nio.ByteBuffer) (outcome (i32)) =>
write_Ljava_7_nio_7_ByteBuffer_s_ Java.java.nio.channels.FileChannel.write.this.arg0
# short-hand to call Java method 'public abstract int java.nio.channels.FileChannel.write(java.nio.ByteBuffer,long) throws java.io.IOException':
#
public write(arg0 Java.java.nio.ByteBuffer, arg1 i64) (outcome (i32)) =>
write_Ljava_7_nio_7_ByteBuffer_s_J Java.java.nio.channels.FileChannel.write.this.arg0 Java.java.nio.channels.FileChannel.write.this.arg1
# short-hand to call Java method 'public abstract long java.nio.channels.FileChannel.write(java.nio.ByteBuffer[],int,int) throws java.io.IOException':
#
public write(arg0 Sequence (Java.java.nio.ByteBuffer), arg1 i32, arg2 i32) (outcome (i64)) =>
write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II Java.java.nio.channels.FileChannel.write.this.arg0 Java.java.nio.channels.FileChannel.write.this.arg1 Java.java.nio.channels.FileChannel.write.this.arg2