Java/sun/net/www/protocol/mailto/Handler.fz

# Fuzion interface to instance members of Java instance class 'sun.net.www.protocol.mailto.Handler'
#
# !!!!!!  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.net.www.protocol.mailto.Handler(redef forbidden void) ref : Java.java.net.URLStreamHandler(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public java.net.URLConnection sun.net.www.protocol.mailto.Handler.openConnection(java.net.URL)':
  #
  public openConnection_Ljava_7_net_7_URL_s_(arg0 Java.java.net.URL) Java.java.net.URLConnection =>
    fuzion.java.call_virtual (Java.java.net.URLConnection) "sun.net.www.protocol.mailto.Handler" "openConnection" "(Ljava/net/URL;)Ljava/net/URLConnection;" Handler.this [(Java.sun.net.www.protocol.mailto.Handler.openConnection_Ljava_7_net_7_URL_s_.this.arg0)]

  # call Java instance method 'public void sun.net.www.protocol.mailto.Handler.parseURL(java.net.URL,java.lang.String,int,int)':
  #
  public parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II(arg0 Java.java.net.URL, arg1 String, arg2 i32, arg3 i32) unit =>
    fuzion.java.call_virtual (unit) "sun.net.www.protocol.mailto.Handler" "parseURL" "(Ljava/net/URL;Ljava/lang/String;II)V" Handler.this [(Java.sun.net.www.protocol.mailto.Handler.parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II.this.arg0); (fuzion.java.string_to_java_object Java.sun.net.www.protocol.mailto.Handler.parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.sun.net.www.protocol.mailto.Handler.parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II.this.arg2); (fuzion.java.i32_to_java_object Java.sun.net.www.protocol.mailto.Handler.parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II.this.arg3)]

  # short-hand to call Java method 'public java.net.URLConnection sun.net.www.protocol.mailto.Handler.openConnection(java.net.URL)':
  #
  public openConnection(arg0 Java.java.net.URL) (Java.java.net.URLConnection) =>
    openConnection_Ljava_7_net_7_URL_s_ Java.sun.net.www.protocol.mailto.Handler.openConnection.this.arg0

  # short-hand to call Java method 'public void sun.net.www.protocol.mailto.Handler.parseURL(java.net.URL,java.lang.String,int,int)':
  #
  public parseURL(arg0 Java.java.net.URL, arg1 String, arg2 i32, arg3 i32) (unit) =>
    parseURL_Ljava_7_net_7_URL_s_Ljava_7_lang_7_String_s_II Java.sun.net.www.protocol.mailto.Handler.parseURL.this.arg0 Java.sun.net.www.protocol.mailto.Handler.parseURL.this.arg1 Java.sun.net.www.protocol.mailto.Handler.parseURL.this.arg2 Java.sun.net.www.protocol.mailto.Handler.parseURL.this.arg3