RawAESKeyring_Compile

Class __default

java.lang.Object

RawAESKeyring_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static java.math.BigInteger	AUTH__TAG__LEN__LEN()
static software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput	DeserializeEDKCiphertext(dafny.DafnySequence<? extends java.lang.Byte> ciphertext, java.math.BigInteger tagLen)
static java.math.BigInteger	IV__LEN__LEN()
static dafny.DafnySequence<? extends java.lang.Byte>	SerializeEDKCiphertext(software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput encOutput)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

DeserializeEDKCiphertext

public static software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput DeserializeEDKCiphertext(dafny.DafnySequence<? extends java.lang.Byte> ciphertext,
                                                                                                                    java.math.BigInteger tagLen)

SerializeEDKCiphertext

public static dafny.DafnySequence<? extends java.lang.Byte> SerializeEDKCiphertext(software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput encOutput)

AUTH__TAG__LEN__LEN

public static java.math.BigInteger AUTH__TAG__LEN__LEN()

IV__LEN__LEN

public static java.math.BigInteger IV__LEN__LEN()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object