Java/java/util/spi/ToolProvider.fz

# Fuzion interface to instance members of Java instance class 'java.util.spi.ToolProvider'
#
# !!!!!!  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.util.spi.ToolProvider(forbidden void) ref : fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public default java.util.Optional java.util.spi.ToolProvider.description()':
  #
  public description Java.java.util.Optional =>
    fuzion.java.call_virtual (Java.java.util.Optional) "java.util.spi.ToolProvider" "description" "()Ljava/util/Optional;" ToolProvider.this []

  # call Java instance method 'public abstract java.lang.String java.util.spi.ToolProvider.name()':
  #
  public name Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.spi.ToolProvider" "name" "()Ljava/lang/String;" ToolProvider.this []

  # call Java instance method 'public default int java.util.spi.ToolProvider.run(java.io.PrintStream,java.io.PrintStream,java.lang.String[])':
  #
  public run_Ljava_7_io_7_PrintStream_s_Ljava_7_io_7_PrintStream_s__u00005b_Ljava_7_lang_7_String_s_(arg0 Java.java.io.PrintStream, arg1 Java.java.io.PrintStream, arg2 Sequence (Java.java.lang.__jString)) i32 =>
    fuzion.java.call_virtual (i32) "java.util.spi.ToolProvider" "run" "(Ljava/io/PrintStream;Ljava/io/PrintStream;[Ljava/lang/String;)I" ToolProvider.this [(Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintStream_s_Ljava_7_io_7_PrintStream_s__u00005b_Ljava_7_lang_7_String_s_.this.arg0); (Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintStream_s_Ljava_7_io_7_PrintStream_s__u00005b_Ljava_7_lang_7_String_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.lang.__jString) Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintStream_s_Ljava_7_io_7_PrintStream_s__u00005b_Ljava_7_lang_7_String_s_.this.arg2)]

  # call Java instance method 'public abstract int java.util.spi.ToolProvider.run(java.io.PrintWriter,java.io.PrintWriter,java.lang.String[])':
  #
  public run_Ljava_7_io_7_PrintWriter_s_Ljava_7_io_7_PrintWriter_s__u00005b_Ljava_7_lang_7_String_s_(arg0 Java.java.io.PrintWriter, arg1 Java.java.io.PrintWriter, arg2 Sequence (Java.java.lang.__jString)) i32 =>
    fuzion.java.call_virtual (i32) "java.util.spi.ToolProvider" "run" "(Ljava/io/PrintWriter;Ljava/io/PrintWriter;[Ljava/lang/String;)I" ToolProvider.this [(Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintWriter_s_Ljava_7_io_7_PrintWriter_s__u00005b_Ljava_7_lang_7_String_s_.this.arg0); (Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintWriter_s_Ljava_7_io_7_PrintWriter_s__u00005b_Ljava_7_lang_7_String_s_.this.arg1); (fuzion.java.array_to_java_object (Java.java.lang.__jString) Java.java.util.spi.ToolProvider.run_Ljava_7_io_7_PrintWriter_s_Ljava_7_io_7_PrintWriter_s__u00005b_Ljava_7_lang_7_String_s_.this.arg2)]

  # short-hand to call Java method 'public default int java.util.spi.ToolProvider.run(java.io.PrintStream,java.io.PrintStream,java.lang.String[])':
  #
  public run(arg0 Java.java.io.PrintStream, arg1 Java.java.io.PrintStream, arg2 Sequence (Java.java.lang.__jString)) (i32) =>
    run_Ljava_7_io_7_PrintStream_s_Ljava_7_io_7_PrintStream_s__u00005b_Ljava_7_lang_7_String_s_ Java.java.util.spi.ToolProvider.run.this.arg0 Java.java.util.spi.ToolProvider.run.this.arg1 Java.java.util.spi.ToolProvider.run.this.arg2