Java/javax/crypto/KEM.fz

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

  # call Java instance method 'public java.lang.String javax.crypto.KEM.getAlgorithm()':
  #
  public getAlgorithm Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "javax.crypto.KEM" "getAlgorithm" "()Ljava/lang/String;" KEM.this []

  # call Java instance method 'public javax.crypto.KEM$Decapsulator javax.crypto.KEM.newDecapsulator(java.security.PrivateKey) throws java.security.InvalidKeyException':
  #
  public newDecapsulator_Ljava_7_security_7_PrivateKey_s_(arg0 Java.java.security.PrivateKey) outcome (Java.javax.crypto.KEM_S_Decapsulator) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEM_S_Decapsulator)) "javax.crypto.KEM" "newDecapsulator" "(Ljava/security/PrivateKey;)Ljavax/crypto/KEM\$Decapsulator;" KEM.this [(Java.javax.crypto.KEM.newDecapsulator_Ljava_7_security_7_PrivateKey_s_.this.arg0)]

  # call Java instance method 'public javax.crypto.KEM$Decapsulator javax.crypto.KEM.newDecapsulator(java.security.PrivateKey,java.security.spec.AlgorithmParameterSpec) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public newDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_(arg0 Java.java.security.PrivateKey, arg1 Java.java.security.spec.AlgorithmParameterSpec) outcome (Java.javax.crypto.KEM_S_Decapsulator) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEM_S_Decapsulator)) "javax.crypto.KEM" "newDecapsulator" "(Ljava/security/PrivateKey;Ljava/security/spec/AlgorithmParameterSpec;)Ljavax/crypto/KEM\$Decapsulator;" KEM.this [(Java.javax.crypto.KEM.newDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg0); (Java.javax.crypto.KEM.newDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg1)]

  # call Java instance method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey) throws java.security.InvalidKeyException':
  #
  public newEncapsulator_Ljava_7_security_7_PublicKey_s_(arg0 Java.java.security.PublicKey) outcome (Java.javax.crypto.KEM_S_Encapsulator) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEM_S_Encapsulator)) "javax.crypto.KEM" "newEncapsulator" "(Ljava/security/PublicKey;)Ljavax/crypto/KEM\$Encapsulator;" KEM.this [(Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_.this.arg0)]

  # call Java instance method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey,java.security.SecureRandom) throws java.security.InvalidKeyException':
  #
  public newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_SecureRandom_s_(arg0 Java.java.security.PublicKey, arg1 Java.java.security.SecureRandom) outcome (Java.javax.crypto.KEM_S_Encapsulator) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEM_S_Encapsulator)) "javax.crypto.KEM" "newEncapsulator" "(Ljava/security/PublicKey;Ljava/security/SecureRandom;)Ljavax/crypto/KEM\$Encapsulator;" KEM.this [(Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_SecureRandom_s_.this.arg1)]

  # call Java instance method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_(arg0 Java.java.security.PublicKey, arg1 Java.java.security.spec.AlgorithmParameterSpec, arg2 Java.java.security.SecureRandom) outcome (Java.javax.crypto.KEM_S_Encapsulator) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEM_S_Encapsulator)) "javax.crypto.KEM" "newEncapsulator" "(Ljava/security/PublicKey;Ljava/security/spec/AlgorithmParameterSpec;Ljava/security/SecureRandom;)Ljavax/crypto/KEM\$Encapsulator;" KEM.this [(Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.javax.crypto.KEM.newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg2)]

  # short-hand to call Java method 'public javax.crypto.KEM$Decapsulator javax.crypto.KEM.newDecapsulator(java.security.PrivateKey) throws java.security.InvalidKeyException':
  #
  public newDecapsulator(arg0 Java.java.security.PrivateKey) (outcome (Java.javax.crypto.KEM_S_Decapsulator)) =>
    newDecapsulator_Ljava_7_security_7_PrivateKey_s_ Java.javax.crypto.KEM.newDecapsulator.this.arg0

  # short-hand to call Java method 'public javax.crypto.KEM$Decapsulator javax.crypto.KEM.newDecapsulator(java.security.PrivateKey,java.security.spec.AlgorithmParameterSpec) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public newDecapsulator(arg0 Java.java.security.PrivateKey, arg1 Java.java.security.spec.AlgorithmParameterSpec) (outcome (Java.javax.crypto.KEM_S_Decapsulator)) =>
    newDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_ Java.javax.crypto.KEM.newDecapsulator.this.arg0 Java.javax.crypto.KEM.newDecapsulator.this.arg1

  # short-hand to call Java method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey) throws java.security.InvalidKeyException':
  #
  public newEncapsulator(arg0 Java.java.security.PublicKey) (outcome (Java.javax.crypto.KEM_S_Encapsulator)) =>
    newEncapsulator_Ljava_7_security_7_PublicKey_s_ Java.javax.crypto.KEM.newEncapsulator.this.arg0

  # short-hand to call Java method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey,java.security.SecureRandom) throws java.security.InvalidKeyException':
  #
  public newEncapsulator(arg0 Java.java.security.PublicKey, arg1 Java.java.security.SecureRandom) (outcome (Java.javax.crypto.KEM_S_Encapsulator)) =>
    newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_SecureRandom_s_ Java.javax.crypto.KEM.newEncapsulator.this.arg0 Java.javax.crypto.KEM.newEncapsulator.this.arg1

  # short-hand to call Java method 'public javax.crypto.KEM$Encapsulator javax.crypto.KEM.newEncapsulator(java.security.PublicKey,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public newEncapsulator(arg0 Java.java.security.PublicKey, arg1 Java.java.security.spec.AlgorithmParameterSpec, arg2 Java.java.security.SecureRandom) (outcome (Java.javax.crypto.KEM_S_Encapsulator)) =>
    newEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_ Java.javax.crypto.KEM.newEncapsulator.this.arg0 Java.javax.crypto.KEM.newEncapsulator.this.arg1 Java.javax.crypto.KEM.newEncapsulator.this.arg2