public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> |
Crypt(EncryptionSelector mode,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> key,
PartialHeader head,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data) |
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> |
CryptList(EncryptionSelector mode,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> input) |
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> |
Decrypt(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> key,
PartialHeader head,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data) |
static Wrappers_Compile.Result<StructuredData,Error> |
DecryptTerminal(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey,
int offset,
dafny.DafnySequence<? extends java.lang.Byte> path,
StructuredDataTerminal data) |
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> |
Encrypt(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> key,
PartialHeader head,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data) |
static Wrappers_Compile.Result<StructuredData,Error> |
EncryptTerminal(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey,
int offset,
dafny.DafnySequence<? extends java.lang.Byte> path,
StructuredDataTerminal data) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> |
FieldKey(dafny.DafnySequence<? extends java.lang.Byte> HKDFOutput,
int offset) |
static dafny.DafnySequence<? extends java.lang.Byte> |
FieldKeyNonce(int offset) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> |
GetCommitKey(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg,
dafny.DafnySequence<? extends java.lang.Byte> key,
dafny.DafnySequence<? extends java.lang.Byte> msgID) |
static dafny.DafnySequence<? extends java.lang.Byte> |
LABEL__COMMITMENT__KEY() |
static dafny.DafnySequence<? extends java.lang.Byte> |
LABEL__ENCRYPTION__KEY() |
java.lang.String |
toString() |
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> FieldKey(dafny.DafnySequence<? extends java.lang.Byte> HKDFOutput, int offset)
public static dafny.DafnySequence<? extends java.lang.Byte> FieldKeyNonce(int offset)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> GetCommitKey(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends java.lang.Byte> msgID)
public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> Encrypt(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> key, PartialHeader head, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data)
public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> Decrypt(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> key, PartialHeader head, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data)
public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> Crypt(EncryptionSelector mode, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> key, PartialHeader head, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data)
public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData>,Error> CryptList(EncryptionSelector mode, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fieldNames, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> input)
public static Wrappers_Compile.Result<StructuredData,Error> EncryptTerminal(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey, int offset, dafny.DafnySequence<? extends java.lang.Byte> path, StructuredDataTerminal data)
public static Wrappers_Compile.Result<StructuredData,Error> DecryptTerminal(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo alg, dafny.DafnySequence<? extends java.lang.Byte> fieldRootKey, int offset, dafny.DafnySequence<? extends java.lang.Byte> path, StructuredDataTerminal data)
public static dafny.DafnySequence<? extends java.lang.Byte> LABEL__COMMITMENT__KEY()
public static dafny.DafnySequence<? extends java.lang.Byte> LABEL__ENCRYPTION__KEY()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object