Java/com/sun/crypto/provider/DHKEM.fz

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

  # call Java instance method 'public javax.crypto.KEMSpi$DecapsulatorSpi com.sun.crypto.provider.DHKEM.engineNewDecapsulator(java.security.PrivateKey,java.security.spec.AlgorithmParameterSpec) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public engineNewDecapsulator_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.KEMSpi_S_DecapsulatorSpi) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEMSpi_S_DecapsulatorSpi)) "com.sun.crypto.provider.DHKEM" "engineNewDecapsulator" "(Ljava/security/PrivateKey;Ljava/security/spec/AlgorithmParameterSpec;)Ljavax/crypto/KEMSpi\$DecapsulatorSpi;" DHKEM.this [(Java.com.sun.crypto.provider.DHKEM.engineNewDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg0); (Java.com.sun.crypto.provider.DHKEM.engineNewDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg1)]

  # call Java instance method 'public javax.crypto.KEMSpi$EncapsulatorSpi com.sun.crypto.provider.DHKEM.engineNewEncapsulator(java.security.PublicKey,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public engineNewEncapsulator_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.KEMSpi_S_EncapsulatorSpi) =>
    fuzion.java.call_virtual (outcome (Java.javax.crypto.KEMSpi_S_EncapsulatorSpi)) "com.sun.crypto.provider.DHKEM" "engineNewEncapsulator" "(Ljava/security/PublicKey;Ljava/security/spec/AlgorithmParameterSpec;Ljava/security/SecureRandom;)Ljavax/crypto/KEMSpi\$EncapsulatorSpi;" DHKEM.this [(Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator_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.KEMSpi$DecapsulatorSpi com.sun.crypto.provider.DHKEM.engineNewDecapsulator(java.security.PrivateKey,java.security.spec.AlgorithmParameterSpec) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public engineNewDecapsulator(arg0 Java.java.security.PrivateKey, arg1 Java.java.security.spec.AlgorithmParameterSpec) (outcome (Java.javax.crypto.KEMSpi_S_DecapsulatorSpi)) =>
    engineNewDecapsulator_Ljava_7_security_7_PrivateKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_ Java.com.sun.crypto.provider.DHKEM.engineNewDecapsulator.this.arg0 Java.com.sun.crypto.provider.DHKEM.engineNewDecapsulator.this.arg1

  # short-hand to call Java method 'public javax.crypto.KEMSpi$EncapsulatorSpi com.sun.crypto.provider.DHKEM.engineNewEncapsulator(java.security.PublicKey,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidAlgorithmParameterException,java.security.InvalidKeyException':
  #
  public engineNewEncapsulator(arg0 Java.java.security.PublicKey, arg1 Java.java.security.spec.AlgorithmParameterSpec, arg2 Java.java.security.SecureRandom) (outcome (Java.javax.crypto.KEMSpi_S_EncapsulatorSpi)) =>
    engineNewEncapsulator_Ljava_7_security_7_PublicKey_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_ Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator.this.arg0 Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator.this.arg1 Java.com.sun.crypto.provider.DHKEM.engineNewEncapsulator.this.arg2