Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

Java/javax/crypto/Cipher.fz


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

  # call Java instance method 'public final byte[] javax.crypto.Cipher.doFinal() throws javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "javax.crypto.Cipher" "doFinal" "()[B" Cipher.this []

  # call Java instance method 'public final int javax.crypto.Cipher.doFinal(java.nio.ByteBuffer,java.nio.ByteBuffer) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.nio.ByteBuffer) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "doFinal" "(Ljava/nio/ByteBuffer;Ljava/nio/ByteBuffer;)I" Cipher.this [(Java.javax.crypto.Cipher.doFinal_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_.this.arg0); (Java.javax.crypto.Cipher.doFinal_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_.this.arg1)]

  # call Java instance method 'public final byte[] javax.crypto.Cipher.doFinal(byte[]) throws javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal__u00005b_B(arg0 Sequence (i8)) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "javax.crypto.Cipher" "doFinal" "([B)[B" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_B.this.arg0)]

  # call Java instance method 'public final int javax.crypto.Cipher.doFinal(byte[],int) throws javax.crypto.IllegalBlockSizeException,javax.crypto.ShortBufferException,javax.crypto.BadPaddingException':
  #
  public doFinal__u00005b_BI(arg0 Sequence (i8), arg1 i32) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "doFinal" "([BI)I" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BI.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BI.this.arg1)]

  # call Java instance method 'public final byte[] javax.crypto.Cipher.doFinal(byte[],int,int) throws javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "javax.crypto.Cipher" "doFinal" "([BII)[B" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII.this.arg2)]

  # call Java instance method 'public final int javax.crypto.Cipher.doFinal(byte[],int,int,byte[]) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal__u00005b_BII_u00005b_B(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8)) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "doFinal" "([BII[B)I" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_B.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_B.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_B.this.arg2); (fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_B.this.arg3)]

  # call Java instance method 'public final int javax.crypto.Cipher.doFinal(byte[],int,int,byte[],int) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal__u00005b_BII_u00005b_BI(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8), arg4 i32) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "doFinal" "([BII[BI)I" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_BI.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_BI.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_BI.this.arg2); (fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_BI.this.arg3); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.doFinal__u00005b_BII_u00005b_BI.this.arg4)]

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

  # call Java instance method 'public final int javax.crypto.Cipher.getBlockSize()':
  #
  public getBlockSize i32 =>
    fuzion.java.call_virtual (i32) "javax.crypto.Cipher" "getBlockSize" "()I" Cipher.this []

  # call Java instance method 'public final javax.crypto.ExemptionMechanism javax.crypto.Cipher.getExemptionMechanism()':
  #
  public getExemptionMechanism Java.javax.crypto.ExemptionMechanism =>
    fuzion.java.call_virtual (Java.javax.crypto.ExemptionMechanism) "javax.crypto.Cipher" "getExemptionMechanism" "()Ljavax/crypto/ExemptionMechanism;" Cipher.this []

  # call Java instance method 'public final byte[] javax.crypto.Cipher.getIV()':
  #
  public getIV fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "javax.crypto.Cipher" "getIV" "()[B" Cipher.this []

  # call Java instance method 'public final int javax.crypto.Cipher.getOutputSize(int)':
  #
  public getOutputSize_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "javax.crypto.Cipher" "getOutputSize" "(I)I" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.getOutputSize_I.this.arg0)]

  # call Java instance method 'public final java.security.AlgorithmParameters javax.crypto.Cipher.getParameters()':
  #
  public getParameters Java.java.security.AlgorithmParameters =>
    fuzion.java.call_virtual (Java.java.security.AlgorithmParameters) "javax.crypto.Cipher" "getParameters" "()Ljava/security/AlgorithmParameters;" Cipher.this []

  # call Java instance method 'public final java.security.Provider javax.crypto.Cipher.getProvider()':
  #
  public getProvider Java.java.security.Provider =>
    fuzion.java.call_virtual (Java.java.security.Provider) "javax.crypto.Cipher" "getProvider" "()Ljava/security/Provider;" Cipher.this []

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key) throws java.security.InvalidKeyException':
  #
  public init_ILjava_7_security_7_Key_s_(arg0 i32, arg1 Java.java.security.Key) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_.this.arg1)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.AlgorithmParameters) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.AlgorithmParameters) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;Ljava/security/AlgorithmParameters;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_.this.arg2)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.AlgorithmParameters,java.security.SecureRandom) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_Ljava_7_security_7_SecureRandom_s_(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.AlgorithmParameters, arg3 Java.java.security.SecureRandom) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;Ljava/security/AlgorithmParameters;Ljava/security/SecureRandom;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_Ljava_7_security_7_SecureRandom_s_.this.arg2); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_Ljava_7_security_7_SecureRandom_s_.this.arg3)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.SecureRandom) throws java.security.InvalidKeyException':
  #
  public init_ILjava_7_security_7_Key_s_Ljava_7_security_7_SecureRandom_s_(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.SecureRandom) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;Ljava/security/SecureRandom;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_SecureRandom_s_.this.arg2)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.spec.AlgorithmParameterSpec) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.spec.AlgorithmParameterSpec) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;Ljava/security/spec/AlgorithmParameterSpec;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_.this.arg2)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.spec.AlgorithmParameterSpec, arg3 Java.java.security.SecureRandom) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/Key;Ljava/security/spec/AlgorithmParameterSpec;Ljava/security/SecureRandom;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg2); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_.this.arg3)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.cert.Certificate) throws java.security.InvalidKeyException':
  #
  public init_ILjava_7_security_7_cert_7_Certificate_s_(arg0 i32, arg1 Java.java.security.cert.Certificate) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/cert/Certificate;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_cert_7_Certificate_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_cert_7_Certificate_s_.this.arg1)]

  # call Java instance method 'public final void javax.crypto.Cipher.init(int,java.security.cert.Certificate,java.security.SecureRandom) throws java.security.InvalidKeyException':
  #
  public init_ILjava_7_security_7_cert_7_Certificate_s_Ljava_7_security_7_SecureRandom_s_(arg0 i32, arg1 Java.java.security.cert.Certificate, arg2 Java.java.security.SecureRandom) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "javax.crypto.Cipher" "init" "(ILjava/security/cert/Certificate;Ljava/security/SecureRandom;)V" Cipher.this [(fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.init_ILjava_7_security_7_cert_7_Certificate_s_Ljava_7_security_7_SecureRandom_s_.this.arg0); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_cert_7_Certificate_s_Ljava_7_security_7_SecureRandom_s_.this.arg1); (Java.javax.crypto.Cipher.init_ILjava_7_security_7_cert_7_Certificate_s_Ljava_7_security_7_SecureRandom_s_.this.arg2)]

  # call Java instance method 'public final java.security.Key javax.crypto.Cipher.unwrap(byte[],java.lang.String,int) throws java.security.InvalidKeyException,java.security.NoSuchAlgorithmException':
  #
  public unwrap__u00005b_BLjava_7_lang_7_String_s_I(arg0 Sequence (i8), arg1 String, arg2 i32) outcome (Java.java.security.Key) =>
    fuzion.java.call_virtual (outcome (Java.java.security.Key)) "javax.crypto.Cipher" "unwrap" "([BLjava/lang/String;I)Ljava/security/Key;" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.unwrap__u00005b_BLjava_7_lang_7_String_s_I.this.arg0); (fuzion.java.string_to_java_object Java.javax.crypto.Cipher.unwrap__u00005b_BLjava_7_lang_7_String_s_I.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.unwrap__u00005b_BLjava_7_lang_7_String_s_I.this.arg2)]

  # call Java instance method 'public final void javax.crypto.Cipher.updateAAD(java.nio.ByteBuffer)':
  #
  public updateAAD_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer) unit =>
    fuzion.java.call_virtual (unit) "javax.crypto.Cipher" "updateAAD" "(Ljava/nio/ByteBuffer;)V" Cipher.this [(Java.javax.crypto.Cipher.updateAAD_Ljava_7_nio_7_ByteBuffer_s_.this.arg0)]

  # call Java instance method 'public final void javax.crypto.Cipher.updateAAD(byte[])':
  #
  public updateAAD__u00005b_B(arg0 Sequence (i8)) unit =>
    fuzion.java.call_virtual (unit) "javax.crypto.Cipher" "updateAAD" "([B)V" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.updateAAD__u00005b_B.this.arg0)]

  # call Java instance method 'public final void javax.crypto.Cipher.updateAAD(byte[],int,int)':
  #
  public updateAAD__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) unit =>
    fuzion.java.call_virtual (unit) "javax.crypto.Cipher" "updateAAD" "([BII)V" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.updateAAD__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.updateAAD__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.updateAAD__u00005b_BII.this.arg2)]

  # call Java instance method 'public final int javax.crypto.Cipher.update(java.nio.ByteBuffer,java.nio.ByteBuffer) throws javax.crypto.ShortBufferException':
  #
  public update_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.nio.ByteBuffer) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "update" "(Ljava/nio/ByteBuffer;Ljava/nio/ByteBuffer;)I" Cipher.this [(Java.javax.crypto.Cipher.update_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_.this.arg0); (Java.javax.crypto.Cipher.update_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_.this.arg1)]

  # call Java instance method 'public final byte[] javax.crypto.Cipher.update(byte[])':
  #
  public update__u00005b_B(arg0 Sequence (i8)) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "javax.crypto.Cipher" "update" "([B)[B" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_B.this.arg0)]

  # call Java instance method 'public final byte[] javax.crypto.Cipher.update(byte[],int,int)':
  #
  public update__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "javax.crypto.Cipher" "update" "([BII)[B" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII.this.arg2)]

  # call Java instance method 'public final int javax.crypto.Cipher.update(byte[],int,int,byte[]) throws javax.crypto.ShortBufferException':
  #
  public update__u00005b_BII_u00005b_B(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8)) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "update" "([BII[B)I" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_B.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_B.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_B.this.arg2); (fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_B.this.arg3)]

  # call Java instance method 'public final int javax.crypto.Cipher.update(byte[],int,int,byte[],int) throws javax.crypto.ShortBufferException':
  #
  public update__u00005b_BII_u00005b_BI(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8), arg4 i32) outcome (i32) =>
    fuzion.java.call_virtual (outcome (i32)) "javax.crypto.Cipher" "update" "([BII[BI)I" Cipher.this [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_BI.this.arg0); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_BI.this.arg1); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_BI.this.arg2); (fuzion.java.array_to_java_object (i8) Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_BI.this.arg3); (fuzion.java.i32_to_java_object Java.javax.crypto.Cipher.update__u00005b_BII_u00005b_BI.this.arg4)]

  # call Java instance method 'public final byte[] javax.crypto.Cipher.wrap(java.security.Key) throws javax.crypto.IllegalBlockSizeException,java.security.InvalidKeyException':
  #
  public wrap_Ljava_7_security_7_Key_s_(arg0 Java.java.security.Key) outcome (fuzion.java.Array (i8)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (i8))) "javax.crypto.Cipher" "wrap" "(Ljava/security/Key;)[B" Cipher.this [(Java.javax.crypto.Cipher.wrap_Ljava_7_security_7_Key_s_.this.arg0)]

  # short-hand to call Java method 'public final byte[] javax.crypto.Cipher.doFinal(byte[]) throws javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal(arg0 Sequence (i8)) (outcome (fuzion.java.Array (i8))) =>
    doFinal__u00005b_B Java.javax.crypto.Cipher.doFinal.this.arg0

  # short-hand to call Java method 'public final int javax.crypto.Cipher.doFinal(java.nio.ByteBuffer,java.nio.ByteBuffer) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.nio.ByteBuffer) (outcome (i32)) =>
    doFinal_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_ Java.javax.crypto.Cipher.doFinal.this.arg0 Java.javax.crypto.Cipher.doFinal.this.arg1

  # short-hand to call Java method 'public final byte[] javax.crypto.Cipher.doFinal(byte[],int,int) throws javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal(arg0 Sequence (i8), arg1 i32, arg2 i32) (outcome (fuzion.java.Array (i8))) =>
    doFinal__u00005b_BII Java.javax.crypto.Cipher.doFinal.this.arg0 Java.javax.crypto.Cipher.doFinal.this.arg1 Java.javax.crypto.Cipher.doFinal.this.arg2

  # short-hand to call Java method 'public final int javax.crypto.Cipher.doFinal(byte[],int,int,byte[]) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8)) (outcome (i32)) =>
    doFinal__u00005b_BII_u00005b_B Java.javax.crypto.Cipher.doFinal.this.arg0 Java.javax.crypto.Cipher.doFinal.this.arg1 Java.javax.crypto.Cipher.doFinal.this.arg2 Java.javax.crypto.Cipher.doFinal.this.arg3

  # short-hand to call Java method 'public final int javax.crypto.Cipher.doFinal(byte[],int,int,byte[],int) throws javax.crypto.ShortBufferException,javax.crypto.IllegalBlockSizeException,javax.crypto.BadPaddingException':
  #
  public doFinal(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8), arg4 i32) (outcome (i32)) =>
    doFinal__u00005b_BII_u00005b_BI Java.javax.crypto.Cipher.doFinal.this.arg0 Java.javax.crypto.Cipher.doFinal.this.arg1 Java.javax.crypto.Cipher.doFinal.this.arg2 Java.javax.crypto.Cipher.doFinal.this.arg3 Java.javax.crypto.Cipher.doFinal.this.arg4

  # short-hand to call Java method 'public final int javax.crypto.Cipher.getOutputSize(int)':
  #
  public getOutputSize(arg0 i32) (i32) =>
    getOutputSize_I Java.javax.crypto.Cipher.getOutputSize.this.arg0

  # short-hand to call Java method 'public final void javax.crypto.Cipher.init(int,java.security.Key) throws java.security.InvalidKeyException':
  #
  public init(arg0 i32, arg1 Java.java.security.Key) (outcome (unit)) =>
    init_ILjava_7_security_7_Key_s_ Java.javax.crypto.Cipher.init.this.arg0 Java.javax.crypto.Cipher.init.this.arg1

  # short-hand to call Java method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.AlgorithmParameters) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.AlgorithmParameters) (outcome (unit)) =>
    init_ILjava_7_security_7_Key_s_Ljava_7_security_7_AlgorithmParameters_s_ Java.javax.crypto.Cipher.init.this.arg0 Java.javax.crypto.Cipher.init.this.arg1 Java.javax.crypto.Cipher.init.this.arg2

  # short-hand to call Java method 'public final void javax.crypto.Cipher.init(int,java.security.Key,java.security.spec.AlgorithmParameterSpec,java.security.SecureRandom) throws java.security.InvalidKeyException,java.security.InvalidAlgorithmParameterException':
  #
  public init(arg0 i32, arg1 Java.java.security.Key, arg2 Java.java.security.spec.AlgorithmParameterSpec, arg3 Java.java.security.SecureRandom) (outcome (unit)) =>
    init_ILjava_7_security_7_Key_s_Ljava_7_security_7_spec_7_AlgorithmParameterSpec_s_Ljava_7_security_7_SecureRandom_s_ Java.javax.crypto.Cipher.init.this.arg0 Java.javax.crypto.Cipher.init.this.arg1 Java.javax.crypto.Cipher.init.this.arg2 Java.javax.crypto.Cipher.init.this.arg3

  # short-hand to call Java method 'public final java.security.Key javax.crypto.Cipher.unwrap(byte[],java.lang.String,int) throws java.security.InvalidKeyException,java.security.NoSuchAlgorithmException':
  #
  public unwrap(arg0 Sequence (i8), arg1 String, arg2 i32) (outcome (Java.java.security.Key)) =>
    unwrap__u00005b_BLjava_7_lang_7_String_s_I Java.javax.crypto.Cipher.unwrap.this.arg0 Java.javax.crypto.Cipher.unwrap.this.arg1 Java.javax.crypto.Cipher.unwrap.this.arg2

  # short-hand to call Java method 'public final byte[] javax.crypto.Cipher.update(byte[])':
  #
  public update(arg0 Sequence (i8)) (fuzion.java.Array (i8)) =>
    update__u00005b_B Java.javax.crypto.Cipher.update.this.arg0

  # short-hand to call Java method 'public final int javax.crypto.Cipher.update(java.nio.ByteBuffer,java.nio.ByteBuffer) throws javax.crypto.ShortBufferException':
  #
  public update(arg0 Java.java.nio.ByteBuffer, arg1 Java.java.nio.ByteBuffer) (outcome (i32)) =>
    update_Ljava_7_nio_7_ByteBuffer_s_Ljava_7_nio_7_ByteBuffer_s_ Java.javax.crypto.Cipher.update.this.arg0 Java.javax.crypto.Cipher.update.this.arg1

  # short-hand to call Java method 'public final byte[] javax.crypto.Cipher.update(byte[],int,int)':
  #
  public update(arg0 Sequence (i8), arg1 i32, arg2 i32) (fuzion.java.Array (i8)) =>
    update__u00005b_BII Java.javax.crypto.Cipher.update.this.arg0 Java.javax.crypto.Cipher.update.this.arg1 Java.javax.crypto.Cipher.update.this.arg2

  # short-hand to call Java method 'public final int javax.crypto.Cipher.update(byte[],int,int,byte[]) throws javax.crypto.ShortBufferException':
  #
  public update(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8)) (outcome (i32)) =>
    update__u00005b_BII_u00005b_B Java.javax.crypto.Cipher.update.this.arg0 Java.javax.crypto.Cipher.update.this.arg1 Java.javax.crypto.Cipher.update.this.arg2 Java.javax.crypto.Cipher.update.this.arg3

  # short-hand to call Java method 'public final int javax.crypto.Cipher.update(byte[],int,int,byte[],int) throws javax.crypto.ShortBufferException':
  #
  public update(arg0 Sequence (i8), arg1 i32, arg2 i32, arg3 Sequence (i8), arg4 i32) (outcome (i32)) =>
    update__u00005b_BII_u00005b_BI Java.javax.crypto.Cipher.update.this.arg0 Java.javax.crypto.Cipher.update.this.arg1 Java.javax.crypto.Cipher.update.this.arg2 Java.javax.crypto.Cipher.update.this.arg3 Java.javax.crypto.Cipher.update.this.arg4

  # short-hand to call Java method 'public final void javax.crypto.Cipher.updateAAD(byte[])':
  #
  public updateAAD(arg0 Sequence (i8)) (unit) =>
    updateAAD__u00005b_B Java.javax.crypto.Cipher.updateAAD.this.arg0

  # short-hand to call Java method 'public final void javax.crypto.Cipher.updateAAD(byte[],int,int)':
  #
  public updateAAD(arg0 Sequence (i8), arg1 i32, arg2 i32) (unit) =>
    updateAAD__u00005b_BII Java.javax.crypto.Cipher.updateAAD.this.arg0 Java.javax.crypto.Cipher.updateAAD.this.arg1 Java.javax.crypto.Cipher.updateAAD.this.arg2

  # short-hand to call Java method 'public final byte[] javax.crypto.Cipher.wrap(java.security.Key) throws javax.crypto.IllegalBlockSizeException,java.security.InvalidKeyException':
  #
  public wrap(arg0 Java.java.security.Key) (outcome (fuzion.java.Array (i8))) =>
    wrap_Ljava_7_security_7_Key_s_ Java.javax.crypto.Cipher.wrap.this.arg0