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
last changed: 2024-03-07