Java/sun/security/jca/ProviderList.fz

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

  # call Java instance method 'public int sun.security.jca.ProviderList.getIndex(java.lang.String)':
  #
  public getIndex_Ljava_7_lang_7_String_s_(arg0 String) i32 =>
    fuzion.java.call_virtual (i32) "sun.security.jca.ProviderList" "getIndex" "(Ljava/lang/String;)I" ProviderList.this [(fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getIndex_Ljava_7_lang_7_String_s_.this.arg0)]

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

  # call Java instance method 'public java.security.Provider$Service sun.security.jca.ProviderList.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) "sun.security.jca.ProviderList" "getService" "(Ljava/lang/String;Ljava/lang/String;)Ljava/security/Provider\$Service;" ProviderList.this [(fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getService_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public java.util.List sun.security.jca.ProviderList.getServices(java.lang.String,java.lang.String)':
  #
  public getServices_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "sun.security.jca.ProviderList" "getServices" "(Ljava/lang/String;Ljava/lang/String;)Ljava/util/List;" ProviderList.this [(fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getServices_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getServices_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public java.util.List sun.security.jca.ProviderList.getServices(java.lang.String,java.util.List)':
  #
  public getServices_Ljava_7_lang_7_String_s_Ljava_7_util_7_List_s_(arg0 String, arg1 Java.java.util.List) Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "sun.security.jca.ProviderList" "getServices" "(Ljava/lang/String;Ljava/util/List;)Ljava/util/List;" ProviderList.this [(fuzion.java.string_to_java_object Java.sun.security.jca.ProviderList.getServices_Ljava_7_lang_7_String_s_Ljava_7_util_7_List_s_.this.arg0); (Java.sun.security.jca.ProviderList.getServices_Ljava_7_lang_7_String_s_Ljava_7_util_7_List_s_.this.arg1)]

  # call Java instance method 'public java.util.List sun.security.jca.ProviderList.getServices(java.util.List)':
  #
  public getServices_Ljava_7_util_7_List_s_(arg0 Java.java.util.List) Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "sun.security.jca.ProviderList" "getServices" "(Ljava/util/List;)Ljava/util/List;" ProviderList.this [(Java.sun.security.jca.ProviderList.getServices_Ljava_7_util_7_List_s_.this.arg0)]

  # call Java instance method 'public java.util.List sun.security.jca.ProviderList.providers()':
  #
  public providers Java.java.util.List =>
    fuzion.java.call_virtual (Java.java.util.List) "sun.security.jca.ProviderList" "providers" "()Ljava/util/List;" ProviderList.this []

  # call Java instance method 'public int sun.security.jca.ProviderList.size()':
  #
  public size i32 =>
    fuzion.java.call_virtual (i32) "sun.security.jca.ProviderList" "size" "()I" ProviderList.this []

  # call Java instance method 'public java.security.Provider[] sun.security.jca.ProviderList.toArray()':
  #
  public toArray fuzion.java.Array (Java.java.security.Provider) =>
    fuzion.java.call_virtual (fuzion.java.Array (Java.java.security.Provider)) "sun.security.jca.ProviderList" "toArray" "()[Ljava/security/Provider;" ProviderList.this []

  # short-hand to call Java method 'public int sun.security.jca.ProviderList.getIndex(java.lang.String)':
  #
  public getIndex(arg0 String) (i32) =>
    getIndex_Ljava_7_lang_7_String_s_ Java.sun.security.jca.ProviderList.getIndex.this.arg0

  # short-hand to call Java method 'public java.security.Provider sun.security.jca.ProviderList.getProvider(java.lang.String)':
  #
  public getProvider(arg0 String) (Java.java.security.Provider) =>
    getProvider_Ljava_7_lang_7_String_s_ Java.sun.security.jca.ProviderList.getProvider.this.arg0

  # short-hand to call Java method 'public java.security.Provider$Service sun.security.jca.ProviderList.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.sun.security.jca.ProviderList.getService.this.arg0 Java.sun.security.jca.ProviderList.getService.this.arg1

  # short-hand to call Java method 'public java.util.List sun.security.jca.ProviderList.getServices(java.util.List)':
  #
  public getServices(arg0 Java.java.util.List) (Java.java.util.List) =>
    getServices_Ljava_7_util_7_List_s_ Java.sun.security.jca.ProviderList.getServices.this.arg0

  # short-hand to call Java method 'public java.util.List sun.security.jca.ProviderList.getServices(java.lang.String,java.lang.String)':
  #
  public getServices(arg0 String, arg1 String) (Java.java.util.List) =>
    getServices_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.sun.security.jca.ProviderList.getServices.this.arg0 Java.sun.security.jca.ProviderList.getServices.this.arg1