Java/java/nio/channels/SelectableChannel.fz

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

  # call Java instance method 'public abstract java.lang.Object java.nio.channels.SelectableChannel.blockingLock()':
  #
  public blockingLock Java.java.lang.Object =>
    fuzion.java.call_virtual (Java.java.lang.Object) "java.nio.channels.SelectableChannel" "blockingLock" "()Ljava/lang/Object;" SelectableChannel.this []

  # call Java instance method 'public abstract java.nio.channels.SelectableChannel java.nio.channels.SelectableChannel.configureBlocking(boolean) throws java.io.IOException':
  #
  public configureBlocking_Z(arg0 bool) outcome (Java.java.nio.channels.SelectableChannel) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SelectableChannel)) "java.nio.channels.SelectableChannel" "configureBlocking" "(Z)Ljava/nio/channels/SelectableChannel;" SelectableChannel.this [(fuzion.java.bool_to_java_object Java.java.nio.channels.SelectableChannel.configureBlocking_Z.this.arg0)]

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

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

  # call Java instance method 'public abstract java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.keyFor(java.nio.channels.Selector)':
  #
  public keyFor_Ljava_7_nio_7_channels_7_Selector_s_(arg0 Java.java.nio.channels.Selector) Java.java.nio.channels.SelectionKey =>
    fuzion.java.call_virtual (Java.java.nio.channels.SelectionKey) "java.nio.channels.SelectableChannel" "keyFor" "(Ljava/nio/channels/Selector;)Ljava/nio/channels/SelectionKey;" SelectableChannel.this [(Java.java.nio.channels.SelectableChannel.keyFor_Ljava_7_nio_7_channels_7_Selector_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.channels.spi.SelectorProvider java.nio.channels.SelectableChannel.provider()':
  #
  public provider Java.java.nio.channels.spi.SelectorProvider =>
    fuzion.java.call_virtual (Java.java.nio.channels.spi.SelectorProvider) "java.nio.channels.SelectableChannel" "provider" "()Ljava/nio/channels/spi/SelectorProvider;" SelectableChannel.this []

  # call Java instance method 'public final java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.register(java.nio.channels.Selector,int) throws java.nio.channels.ClosedChannelException':
  #
  public register_Ljava_7_nio_7_channels_7_Selector_s_I(arg0 Java.java.nio.channels.Selector, arg1 i32) outcome (Java.java.nio.channels.SelectionKey) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SelectionKey)) "java.nio.channels.SelectableChannel" "register" "(Ljava/nio/channels/Selector;I)Ljava/nio/channels/SelectionKey;" SelectableChannel.this [(Java.java.nio.channels.SelectableChannel.register_Ljava_7_nio_7_channels_7_Selector_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.SelectableChannel.register_Ljava_7_nio_7_channels_7_Selector_s_I.this.arg1)]

  # call Java instance method 'public abstract java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.register(java.nio.channels.Selector,int,java.lang.Object) throws java.nio.channels.ClosedChannelException':
  #
  public register_Ljava_7_nio_7_channels_7_Selector_s_ILjava_7_lang_7_Object_s_(arg0 Java.java.nio.channels.Selector, arg1 i32, arg2 Java.java.lang.Object) outcome (Java.java.nio.channels.SelectionKey) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.channels.SelectionKey)) "java.nio.channels.SelectableChannel" "register" "(Ljava/nio/channels/Selector;ILjava/lang/Object;)Ljava/nio/channels/SelectionKey;" SelectableChannel.this [(Java.java.nio.channels.SelectableChannel.register_Ljava_7_nio_7_channels_7_Selector_s_ILjava_7_lang_7_Object_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.nio.channels.SelectableChannel.register_Ljava_7_nio_7_channels_7_Selector_s_ILjava_7_lang_7_Object_s_.this.arg1); (Java.java.nio.channels.SelectableChannel.register_Ljava_7_nio_7_channels_7_Selector_s_ILjava_7_lang_7_Object_s_.this.arg2)]

  # call Java instance method 'public abstract int java.nio.channels.SelectableChannel.validOps()':
  #
  public validOps i32 =>
    fuzion.java.call_virtual (i32) "java.nio.channels.SelectableChannel" "validOps" "()I" SelectableChannel.this []

  # short-hand to call Java method 'public abstract java.nio.channels.SelectableChannel java.nio.channels.SelectableChannel.configureBlocking(boolean) throws java.io.IOException':
  #
  public configureBlocking(arg0 bool) (outcome (Java.java.nio.channels.SelectableChannel)) =>
    configureBlocking_Z Java.java.nio.channels.SelectableChannel.configureBlocking.this.arg0

  # short-hand to call Java method 'public abstract java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.keyFor(java.nio.channels.Selector)':
  #
  public keyFor(arg0 Java.java.nio.channels.Selector) (Java.java.nio.channels.SelectionKey) =>
    keyFor_Ljava_7_nio_7_channels_7_Selector_s_ Java.java.nio.channels.SelectableChannel.keyFor.this.arg0

  # short-hand to call Java method 'public final java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.register(java.nio.channels.Selector,int) throws java.nio.channels.ClosedChannelException':
  #
  public register(arg0 Java.java.nio.channels.Selector, arg1 i32) (outcome (Java.java.nio.channels.SelectionKey)) =>
    register_Ljava_7_nio_7_channels_7_Selector_s_I Java.java.nio.channels.SelectableChannel.register.this.arg0 Java.java.nio.channels.SelectableChannel.register.this.arg1

  # short-hand to call Java method 'public abstract java.nio.channels.SelectionKey java.nio.channels.SelectableChannel.register(java.nio.channels.Selector,int,java.lang.Object) throws java.nio.channels.ClosedChannelException':
  #
  public register(arg0 Java.java.nio.channels.Selector, arg1 i32, arg2 Java.java.lang.Object) (outcome (Java.java.nio.channels.SelectionKey)) =>
    register_Ljava_7_nio_7_channels_7_Selector_s_ILjava_7_lang_7_Object_s_ Java.java.nio.channels.SelectableChannel.register.this.arg0 Java.java.nio.channels.SelectableChannel.register.this.arg1 Java.java.nio.channels.SelectableChannel.register.this.arg2