Java/java/security/Provider.fz

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

  # call Java instance method 'public java.security.Provider java.security.Provider.configure(java.lang.String)':
  #
  public configure_Ljava_7_lang_7_String_s_(arg0 String) Java.java.security.Provider =>
    fuzion.java.call_virtual (Java.java.security.Provider) "java.security.Provider" "configure" "(Ljava/lang/String;)Ljava/security/Provider;" Provider.this [(fuzion.java.string_to_java_object Java.java.security.Provider.configure_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.lang.String java.security.Provider.getInfo()':
  #
  public getInfo Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.security.Provider" "getInfo" "()Ljava/lang/String;" Provider.this []

  # call Java instance method 'public java.lang.String java.security.Provider.getName()':
  #
  public getName Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.security.Provider" "getName" "()Ljava/lang/String;" Provider.this []

  # call Java instance method 'public java.security.Provider$Service java.security.Provider.getService(java.lang.String,java.lang.String)':
  #
  public getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.security.Provider_S_Service =>
    fuzion.java.call_virtual (Java.java.security.Provider_S_Service) "java.security.Provider" "getService" "(Ljava/lang/String;Ljava/lang/String;)Ljava/security/Provider\$Service;" Provider.this [(fuzion.java.string_to_java_object Java.java.security.Provider.getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.security.Provider.getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public java.util.Set java.security.Provider.getServices()':
  #
  public getServices Java.java.util.Set =>
    fuzion.java.call_virtual (Java.java.util.Set) "java.security.Provider" "getServices" "()Ljava/util/Set;" Provider.this []

  # call Java instance method 'public double java.security.Provider.getVersion()':
  #
  public getVersion f64 =>
    fuzion.java.call_virtual (f64) "java.security.Provider" "getVersion" "()D" Provider.this []

  # call Java instance method 'public java.lang.String java.security.Provider.getVersionStr()':
  #
  public getVersionStr Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.security.Provider" "getVersionStr" "()Ljava/lang/String;" Provider.this []

  # call Java instance method 'public boolean java.security.Provider.isConfigured()':
  #
  public isConfigured bool =>
    fuzion.java.call_virtual (bool) "java.security.Provider" "isConfigured" "()Z" Provider.this []

  # short-hand to call Java method 'public java.security.Provider java.security.Provider.configure(java.lang.String)':
  #
  public configure(arg0 String) (Java.java.security.Provider) =>
    configure_Ljava_7_lang_7_String_s_ Java.java.security.Provider.configure.this.arg0

  # short-hand to call Java method 'public java.security.Provider$Service java.security.Provider.getService(java.lang.String,java.lang.String)':
  #
  public getService(arg0 String, arg1 String) (Java.java.security.Provider_S_Service) =>
    getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.security.Provider.getService.this.arg0 Java.java.security.Provider.getService.this.arg1