StructuredEncryptionCrypt_Compile

Class __default

java.lang.Object

StructuredEncryptionCrypt_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 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()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

FieldKey

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> FieldKey(dafny.DafnySequence<? extends java.lang.Byte> HKDFOutput,
                                                                                                    int offset)

FieldKeyNonce

public static dafny.DafnySequence<? extends java.lang.Byte> FieldKeyNonce(int offset)

GetCommitKey

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)

Encrypt

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)

Decrypt

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)

Crypt

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)

CryptList

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)

EncryptTerminal

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)

DecryptTerminal

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)

LABEL__COMMITMENT__KEY

public static dafny.DafnySequence<? extends java.lang.Byte> LABEL__COMMITMENT__KEY()

LABEL__ENCRYPTION__KEY

public static dafny.DafnySequence<? extends java.lang.Byte> LABEL__ENCRYPTION__KEY()

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object