Java/java/nio/channels/DatagramChannel.fz

# Fuzion interface to instance members of Java instance class 'java.nio.channels.DatagramChannel'
#
# !!!!!!  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.DatagramChannel(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.DatagramChannel java.nio.channels.DatagramChannel.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.DatagramChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.DatagramChannel)) "java.nio.channels.DatagramChannel" "bind" "(Ljava/net/SocketAddress;)Ljava/nio/channels/DatagramChannel;" DatagramChannel.this [(Java.java.nio.channels.DatagramChannel.bind_Ljava_7_net_7_SocketAddress_s_.this.arg0)]

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

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

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

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

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

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

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

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

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

  # call Java instance method 'public abstract int java.nio.channels.DatagramChannel.send(java.nio.ByteBuffer,java.net.SocketAddress) throws java.io.IOException':
  #
  public send_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_net_7_SocketAddress_s_(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.net.SocketAddress) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "java.nio.channels.DatagramChannel" "send" "(Ljava/nio/ByteBuffer;Ljava/net/SocketAddress;)I" DatagramChannel.this [(Java.java.nio.channels.DatagramChannel.send_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_net_7_SocketAddress_s_.this.arg0); (Java.java.nio.channels.DatagramChannel.send_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_net_7_SocketAddress_s_.this.arg1)]

  # call Java instance method 'public abstract java.nio.channels.DatagramChannel java.nio.channels.DatagramChannel.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.DatagramChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.DatagramChannel)) "java.nio.channels.DatagramChannel" "setOption" "(Ljava/net/SocketOption;Ljava/lang/Object;)Ljava/nio/channels/DatagramChannel;" DatagramChannel.this [(Java.java.nio.channels.DatagramChannel.setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_.this.arg0); (Java.java.nio.channels.DatagramChannel.setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_.this.arg1)]

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

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

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

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

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

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

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

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

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

  # short-hand to call Java method 'public abstract int java.nio.channels.DatagramChannel.send(java.nio.ByteBuffer,java.net.SocketAddress) throws java.io.IOException':
  #
  public send(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.net.SocketAddress) (outcome (i32)) =>
    send_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_net_7_SocketAddress_s_ Java.java.nio.channels.DatagramChannel.send.this.arg0 Java.java.nio.channels.DatagramChannel.send.this.arg1

  # short-hand to call Java method 'public abstract java.nio.channels.DatagramChannel java.nio.channels.DatagramChannel.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.DatagramChannel)) =>
    setOption_Ljava_7_net_7_SocketOption_s_Ljava_7_lang_7_Object_s_ Java.java.nio.channels.DatagramChannel.setOption.this.arg0 Java.java.nio.channels.DatagramChannel.setOption.this.arg1

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

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