Java/sun/nio/ch/NioSocketImpl.fz

# Fuzion interface to instance members of Java instance class 'sun.nio.ch.NioSocketImpl'
#
# !!!!!!  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.sun.nio.ch.NioSocketImpl(redef forbidden void) ref : Java.java.net.SocketImpl(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public java.lang.Object sun.nio.ch.NioSocketImpl.getOption(int) throws java.net.SocketException':
  #
  public getOption_I(arg0 i32) outcome (Java.java.lang.Object) =>
    fuzion.java.call_virtual (outcome (Java.java.lang.Object)) "sun.nio.ch.NioSocketImpl" "getOption" "(I)Ljava/lang/Object;" NioSocketImpl.this [(fuzion.java.i32_to_java_object Java.sun.nio.ch.NioSocketImpl.getOption_I.this.arg0)]

  # call Java instance method 'public void sun.nio.ch.NioSocketImpl.setOption(int,java.lang.Object) throws java.net.SocketException':
  #
  public setOption_ILjava_7_lang_7_Object_s_(arg0 i32, arg1 Java.java.lang.Object) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "sun.nio.ch.NioSocketImpl" "setOption" "(ILjava/lang/Object;)V" NioSocketImpl.this [(fuzion.java.i32_to_java_object Java.sun.nio.ch.NioSocketImpl.setOption_ILjava_7_lang_7_Object_s_.this.arg0); (Java.sun.nio.ch.NioSocketImpl.setOption_ILjava_7_lang_7_Object_s_.this.arg1)]

  # short-hand to call Java method 'public java.lang.Object sun.nio.ch.NioSocketImpl.getOption(int) throws java.net.SocketException':
  #
  public getOption(arg0 i32) (outcome (Java.java.lang.Object)) =>
    getOption_I Java.sun.nio.ch.NioSocketImpl.getOption.this.arg0

  # short-hand to call Java method 'public void sun.nio.ch.NioSocketImpl.setOption(int,java.lang.Object) throws java.net.SocketException':
  #
  public setOption(arg0 i32, arg1 Java.java.lang.Object) (outcome (unit)) =>
    setOption_ILjava_7_lang_7_Object_s_ Java.sun.nio.ch.NioSocketImpl.setOption.this.arg0 Java.sun.nio.ch.NioSocketImpl.setOption.this.arg1