public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| 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) |
public static Wrappers_Compile.Result<GetCacheEntryOutput,Error> getEntry(ICryptographicMaterialsCache cmc, GetCacheEntryInput input)
public static Wrappers_Compile.Result<dafny.Tuple0,Error> putEntry(ICryptographicMaterialsCache cmc, PutCacheEntryInput input)
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)
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)
public static dafny.DafnySequence<? extends java.lang.Byte> SerializeEDKCiphertext(software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput encOutput)
public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)
public static int AES__256__ENC__KEY__LENGTH()
public static int AES__256__ENC__TAG__LENGTH()
public static int AES__256__ENC__IV__LENGTH()
public static software.amazon.cryptography.primitives.internaldafny.types.AES__GCM AES__256__ENC__ALG()
public static int H__WRAP__SALT__LEN()
public static int H__WRAP__NONCE__LEN()
public static int EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX()
public static int EDK__CIPHERTEXT__VERSION__LENGTH()
public static int EDK__CIPHERTEXT__VERSION__INDEX()
public static int EXPECTED__EDK__CIPHERTEXT__OVERHEAD()
public static int DERIVED__BRANCH__KEY__EXPECTED__LENGTH()
public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE()
public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__STORE__GSI()
public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__FIELD()
public static dafny.DafnySequence<? extends java.lang.Character> VERSION__FIELD()
public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__IDENTIFIER__FIELD()
public static dafny.DafnySequence<? extends java.lang.Character> KEY__CONDITION__EXPRESSION()
public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> EXPRESSION__ATTRIBUTE__NAMES()
public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY()
public static dafny.DafnySequence<? extends java.lang.Character> EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY()
public java.lang.String toString()
toString in class java.lang.Object