AwsKmsHierarchicalKeyring_Compile

Class __default

java.lang.Object

AwsKmsHierarchicalKeyring_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 software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	AES__256__ENC__ALG()
static int	AES__256__ENC__IV__LENGTH()
static int	AES__256__ENC__KEY__LENGTH()
static int	AES__256__ENC__TAG__LENGTH()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__FIELD()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__IDENTIFIER__FIELD()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__STORE__GSI()
static int	DERIVED__BRANCH__KEY__EXPECTED__LENGTH()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	DeriveEncryptionKeyFromBranchKey(dafny.DafnySequence<? extends java.lang.Byte> branchKey, dafny.DafnySequence<? extends java.lang.Byte> salt, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> purpose, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static Error	E(dafny.DafnySequence<? extends java.lang.Character> s)
static int	EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX()
static int	EDK__CIPHERTEXT__VERSION__INDEX()
static int	EDK__CIPHERTEXT__VERSION__LENGTH()
static int	EXPECTED__EDK__CIPHERTEXT__OVERHEAD()
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>	EXPRESSION__ATTRIBUTE__NAMES()
static dafny.DafnySequence<? extends java.lang.Character>	EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY()
static dafny.DafnySequence<? extends java.lang.Character>	EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY()
static dafny.DafnySequence<? extends java.lang.Character>	EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE()
static Wrappers_Compile.Result<GetCacheEntryOutput,Error>	getEntry(ICryptographicMaterialsCache cmc, GetCacheEntryInput input)
static int	H__WRAP__NONCE__LEN()
static int	H__WRAP__SALT__LEN()
static dafny.DafnySequence<? extends java.lang.Character>	KEY__CONDITION__EXPRESSION()
static Wrappers_Compile.Result<dafny.Tuple0,Error>	putEntry(ICryptographicMaterialsCache cmc, PutCacheEntryInput input)
static dafny.DafnySequence<? extends java.lang.Byte>	SerializeEDKCiphertext(software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput encOutput)
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	VERSION__FIELD()
static dafny.DafnySequence<? extends java.lang.Byte>	WrappingAad(dafny.DafnySequence<? extends java.lang.Byte> branchKeyId, dafny.DafnySequence<? extends java.lang.Byte> branchKeyVersion, dafny.DafnySequence<? extends java.lang.Byte> aad)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

getEntry

public static Wrappers_Compile.Result<GetCacheEntryOutput,Error> getEntry(ICryptographicMaterialsCache cmc,
                                                                          GetCacheEntryInput input)

putEntry

public static Wrappers_Compile.Result<dafny.Tuple0,Error> putEntry(ICryptographicMaterialsCache cmc,
                                                                   PutCacheEntryInput input)

DeriveEncryptionKeyFromBranchKey

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> DeriveEncryptionKeyFromBranchKey(dafny.DafnySequence<? extends java.lang.Byte> branchKey,
                                                                                                                            dafny.DafnySequence<? extends java.lang.Byte> salt,
                                                                                                                            Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> purpose,
                                                                                                                            software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

WrappingAad

public static dafny.DafnySequence<? extends java.lang.Byte> WrappingAad(dafny.DafnySequence<? extends java.lang.Byte> branchKeyId,
                                                                        dafny.DafnySequence<? extends java.lang.Byte> branchKeyVersion,
                                                                        dafny.DafnySequence<? extends java.lang.Byte> aad)

SerializeEDKCiphertext

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

E

public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)

AES__256__ENC__KEY__LENGTH

public static int AES__256__ENC__KEY__LENGTH()

AES__256__ENC__TAG__LENGTH

public static int AES__256__ENC__TAG__LENGTH()

AES__256__ENC__IV__LENGTH

public static int AES__256__ENC__IV__LENGTH()

AES__256__ENC__ALG

public static software.amazon.cryptography.primitives.internaldafny.types.AES__GCM AES__256__ENC__ALG()

H__WRAP__SALT__LEN

public static int H__WRAP__SALT__LEN()

H__WRAP__NONCE__LEN

public static int H__WRAP__NONCE__LEN()

EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX

public static int EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX()

EDK__CIPHERTEXT__VERSION__LENGTH

public static int EDK__CIPHERTEXT__VERSION__LENGTH()

EDK__CIPHERTEXT__VERSION__INDEX

public static int EDK__CIPHERTEXT__VERSION__INDEX()

EXPECTED__EDK__CIPHERTEXT__OVERHEAD

public static int EXPECTED__EDK__CIPHERTEXT__OVERHEAD()

DERIVED__BRANCH__KEY__EXPECTED__LENGTH

public static int DERIVED__BRANCH__KEY__EXPECTED__LENGTH()

EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE

public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE()

BRANCH__KEY__STORE__GSI

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__STORE__GSI()

BRANCH__KEY__FIELD

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__FIELD()

VERSION__FIELD

public static dafny.DafnySequence<? extends java.lang.Character> VERSION__FIELD()

BRANCH__KEY__IDENTIFIER__FIELD

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__IDENTIFIER__FIELD()

KEY__CONDITION__EXPRESSION

public static dafny.DafnySequence<? extends java.lang.Character> KEY__CONDITION__EXPRESSION()

EXPRESSION__ATTRIBUTE__NAMES

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> EXPRESSION__ATTRIBUTE__NAMES()

EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY

public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY()

EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY

public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object