Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

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