Java/java/nio/channels/SocketChannel.fz

# Fuzion interface to instance members of Java instance class 'java.nio.channels.SocketChannel'
#
# !!!!!!  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.SocketChannel(redef forbidden void) ref : Java.java.nio.channels.spi.AbstractSelectableChannel(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.bind(java.net.SocketAddress) throws java.io.IOException':
  #
  public bind_Ljava_7_net_7_SocketAddress_s_(arg0 Java.java.net.SocketAddress) outcome (Java.java.nio.channels.SocketChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SocketChannel)) "java.nio.channels.SocketChannel" "bind" "(Ljava/net/SocketAddress;)Ljava/nio/channels/SocketChannel;" SocketChannel.this [(Java.java.nio.channels.SocketChannel.bind_Ljava_7_net_7_SocketAddress_s_.this.arg0)]

  # call Java instance method 'public abstract boolean java.nio.channels.SocketChannel.connect(java.net.SocketAddress) throws java.io.IOException':
  #
  public connect_Ljava_7_net_7_SocketAddress_s_(arg0 Java.java.net.SocketAddress) outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.nio.channels.SocketChannel" "connect" "(Ljava/net/SocketAddress;)Z" SocketChannel.this [(Java.java.nio.channels.SocketChannel.connect_Ljava_7_net_7_SocketAddress_s_.this.arg0)]

  # call Java instance method 'public abstract boolean java.nio.channels.SocketChannel.finishConnect() throws java.io.IOException':
  #
  public finishConnect outcome (bool) =>
    fuzion.java.call_virtual (outcome (bool)) "java.nio.channels.SocketChannel" "finishConnect" "()Z" SocketChannel.this []

  # call Java instance method 'public abstract java.net.SocketAddress java.nio.channels.SocketChannel.getLocalAddress() throws java.io.IOException':
  #
  public getLocalAddress outcome (Java.java.net.SocketAddress) =>
    fuzion.java.call_virtual (outcome (Java.java.net.SocketAddress)) "java.nio.channels.SocketChannel" "getLocalAddress" "()Ljava/net/SocketAddress;" SocketChannel.this []

  # call Java instance method 'public abstract java.net.SocketAddress java.nio.channels.SocketChannel.getRemoteAddress() throws java.io.IOException':
  #
  public getRemoteAddress outcome (Java.java.net.SocketAddress) =>
    fuzion.java.call_virtual (outcome (Java.java.net.SocketAddress)) "java.nio.channels.SocketChannel" "getRemoteAddress" "()Ljava/net/SocketAddress;" SocketChannel.this []

  # call Java instance method 'public abstract boolean java.nio.channels.SocketChannel.isConnected()':
  #
  public isConnected bool =>
    fuzion.java.call_virtual (bool) "java.nio.channels.SocketChannel" "isConnected" "()Z" SocketChannel.this []

  # call Java instance method 'public abstract boolean java.nio.channels.SocketChannel.isConnectionPending()':
  #
  public isConnectionPending bool =>
    fuzion.java.call_virtual (bool) "java.nio.channels.SocketChannel" "isConnectionPending" "()Z" SocketChannel.this []

  # call Java instance method 'public abstract int java.nio.channels.SocketChannel.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.SocketChannel" "read" "(Ljava/nio/ByteBuffer;)I" SocketChannel.this [(Java.java.nio.channels.SocketChannel.read_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

  # call Java instance method 'public final long java.nio.channels.SocketChannel.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.SocketChannel" "read" "([Ljava/nio/ByteBuffer;)J" SocketChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.SocketChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

  # call Java instance method 'public abstract long java.nio.channels.SocketChannel.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.SocketChannel" "read" "([Ljava/nio/ByteBuffer;II)J" SocketChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.SocketChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.SocketChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.nio.channels.SocketChannel.read__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg2)]

  # call Java instance method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.setOption(java.net.SocketOption,java.lang.Object) throws java.io.IOException':
  #
  public setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_(arg0 Java.java.net.SocketOption, arg1 Java.java.lang.Object) outcome (Java.java.nio.channels.SocketChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SocketChannel)) "java.nio.channels.SocketChannel" "setOption" "(Ljava/net/SocketOption;Ljava/lang/Object;)Ljava/nio/channels/SocketChannel;" SocketChannel.this [(Java.java.nio.channels.SocketChannel.setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_.this.arg0); (Java.java.nio.channels.SocketChannel.setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_.this.arg1)]

  # call Java instance method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.shutdownInput() throws java.io.IOException':
  #
  public shutdownInput outcome (Java.java.nio.channels.SocketChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SocketChannel)) "java.nio.channels.SocketChannel" "shutdownInput" "()Ljava/nio/channels/SocketChannel;" SocketChannel.this []

  # call Java instance method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.shutdownOutput() throws java.io.IOException':
  #
  public shutdownOutput outcome (Java.java.nio.channels.SocketChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SocketChannel)) "java.nio.channels.SocketChannel" "shutdownOutput" "()Ljava/nio/channels/SocketChannel;" SocketChannel.this []

  # call Java instance method 'public abstract java.net.Socket java.nio.channels.SocketChannel.socket()':
  #
  public socket Java.java.net.Socket =>
    fuzion.java.call_virtual (Java.java.net.Socket) "java.nio.channels.SocketChannel" "socket" "()Ljava/net/Socket;" SocketChannel.this []

  # call Java instance method 'public abstract int java.nio.channels.SocketChannel.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.SocketChannel" "write" "(Ljava/nio/ByteBuffer;)I" SocketChannel.this [(Java.java.nio.channels.SocketChannel.write_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

  # call Java instance method 'public final long java.nio.channels.SocketChannel.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.SocketChannel" "write" "([Ljava/nio/ByteBuffer;)J" SocketChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.SocketChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

  # call Java instance method 'public abstract long java.nio.channels.SocketChannel.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.SocketChannel" "write" "([Ljava/nio/ByteBuffer;II)J" SocketChannel.this [(fuzion.java.array_to_java_object (Java.java.nio.ByteBuffer) Java.java.nio.channels.SocketChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.SocketChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.java.nio.channels.SocketChannel.write__u00005b_Ljava_7_nio_7_ByteBuffer_s_II.this.arg2)]

  # short-hand to call Java method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.bind(java.net.SocketAddress) throws java.io.IOException':
  #
  public bind(arg0 Java.java.net.SocketAddress) (outcome (Java.java.nio.channels.SocketChannel)) =>
    bind_Ljava_7_net_7_SocketAddress_s_ Java.java.nio.channels.SocketChannel.bind.this.arg0

  # short-hand to call Java method 'public abstract boolean java.nio.channels.SocketChannel.connect(java.net.SocketAddress) throws java.io.IOException':
  #
  public connect(arg0 Java.java.net.SocketAddress) (outcome (bool)) =>
    connect_Ljava_7_net_7_SocketAddress_s_ Java.java.nio.channels.SocketChannel.connect.this.arg0

  # short-hand to call Java method 'public abstract int java.nio.channels.SocketChannel.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.SocketChannel.read.this.arg0

  # short-hand to call Java method 'public abstract long java.nio.channels.SocketChannel.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.SocketChannel.read.this.arg0 Java.java.nio.channels.SocketChannel.read.this.arg1 Java.java.nio.channels.SocketChannel.read.this.arg2

  # short-hand to call Java method 'public abstract java.nio.channels.SocketChannel java.nio.channels.SocketChannel.setOption(java.net.SocketOption,java.lang.Object) throws java.io.IOException':
  #
  public setOption(arg0 Java.java.net.SocketOption, arg1 Java.java.lang.Object) (outcome (Java.java.nio.channels.SocketChannel)) =>
    setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_ Java.java.nio.channels.SocketChannel.setOption.this.arg0 Java.java.nio.channels.SocketChannel.setOption.this.arg1

  # short-hand to call Java method 'public final long java.nio.channels.SocketChannel.write(java.nio.ByteBuffer[]) throws java.io.IOException':
  #
  public write(arg0 Sequence (Java.java.nio.ByteBuffer)) (outcome (i64)) =>
    write__u00005b_Ljava_7_nio_7_ByteBuffer_s_ Java.java.nio.channels.SocketChannel.write.this.arg0

  # short-hand to call Java method 'public abstract long java.nio.channels.SocketChannel.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.SocketChannel.write.this.arg0 Java.java.nio.channels.SocketChannel.write.this.arg1 Java.java.nio.channels.SocketChannel.write.this.arg2