Java/java/security/IdentityScope.fz

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

  # call Java instance method 'public abstract void java.security.IdentityScope.addIdentity(java.security.Identity) throws java.security.KeyManagementException':
  #
  public addIdentity_Ljava_7_security_7_Identity_s_(arg0 Java.java.security.Identity) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.security.IdentityScope" "addIdentity" "(Ljava/security/Identity;)V" IdentityScope.this [(Java.java.security.IdentityScope.addIdentity_Ljava_7_security_7_Identity_s_.this.arg0)]

  # call Java instance method 'public abstract java.security.Identity java.security.IdentityScope.getIdentity(java.lang.String)':
  #
  public getIdentity_Ljava_7_lang_7_String_s_(arg0 String) Java.java.security.Identity =>
    fuzion.java.call_virtual (Java.java.security.Identity) "java.security.IdentityScope" "getIdentity" "(Ljava/lang/String;)Ljava/security/Identity;" IdentityScope.this [(fuzion.java.string_to_java_object Java.java.security.IdentityScope.getIdentity_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public java.security.Identity java.security.IdentityScope.getIdentity(java.security.Principal)':
  #
  public getIdentity_Ljava_7_security_7_Principal_s_(arg0 Java.java.security.Principal) Java.java.security.Identity =>
    fuzion.java.call_virtual (Java.java.security.Identity) "java.security.IdentityScope" "getIdentity" "(Ljava/security/Principal;)Ljava/security/Identity;" IdentityScope.this [(Java.java.security.IdentityScope.getIdentity_Ljava_7_security_7_Principal_s_.this.arg0)]

  # call Java instance method 'public abstract java.security.Identity java.security.IdentityScope.getIdentity(java.security.PublicKey)':
  #
  public getIdentity_Ljava_7_security_7_PublicKey_s_(arg0 Java.java.security.PublicKey) Java.java.security.Identity =>
    fuzion.java.call_virtual (Java.java.security.Identity) "java.security.IdentityScope" "getIdentity" "(Ljava/security/PublicKey;)Ljava/security/Identity;" IdentityScope.this [(Java.java.security.IdentityScope.getIdentity_Ljava_7_security_7_PublicKey_s_.this.arg0)]

  # call Java instance method 'public abstract java.util.Enumeration java.security.IdentityScope.identities()':
  #
  public identities Java.java.util.Enumeration =>
    fuzion.java.call_virtual (Java.java.util.Enumeration) "java.security.IdentityScope" "identities" "()Ljava/util/Enumeration;" IdentityScope.this []

  # call Java instance method 'public abstract void java.security.IdentityScope.removeIdentity(java.security.Identity) throws java.security.KeyManagementException':
  #
  public removeIdentity_Ljava_7_security_7_Identity_s_(arg0 Java.java.security.Identity) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.security.IdentityScope" "removeIdentity" "(Ljava/security/Identity;)V" IdentityScope.this [(Java.java.security.IdentityScope.removeIdentity_Ljava_7_security_7_Identity_s_.this.arg0)]

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

  # short-hand to call Java method 'public abstract void java.security.IdentityScope.addIdentity(java.security.Identity) throws java.security.KeyManagementException':
  #
  public addIdentity(arg0 Java.java.security.Identity) (outcome (unit)) =>
    addIdentity_Ljava_7_security_7_Identity_s_ Java.java.security.IdentityScope.addIdentity.this.arg0

  # short-hand to call Java method 'public abstract java.security.Identity java.security.IdentityScope.getIdentity(java.lang.String)':
  #
  public getIdentity(arg0 String) (Java.java.security.Identity) =>
    getIdentity_Ljava_7_lang_7_String_s_ Java.java.security.IdentityScope.getIdentity.this.arg0

  # short-hand to call Java method 'public abstract void java.security.IdentityScope.removeIdentity(java.security.Identity) throws java.security.KeyManagementException':
  #
  public removeIdentity(arg0 Java.java.security.Identity) (outcome (unit)) =>
    removeIdentity_Ljava_7_security_7_Identity_s_ Java.java.security.IdentityScope.removeIdentity.this.arg0