IntermediateKeyWrapping_Compile

Class __default

java.lang.Object

IntermediateKeyWrapping_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 Wrappers_Compile.Result<PdkEncryptionAndSymmetricSigningKeys,Error>	DeriveKeysFromIntermediateMaterial(dafny.DafnySequence<? extends java.lang.Byte> intermediateMaterial, AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static Wrappers_Compile.Result<DeserializedIntermediateWrappedMaterial,Error>	DeserializeIntermediateWrappedMaterial(dafny.DafnySequence<? extends java.lang.Byte> material, AlgorithmSuiteInfo algSuite)
static <__T> Wrappers_Compile.Result<IntermediateGenerateAndWrapOutput<__T>,Error>	IntermediateGenerateAndWrap(dafny.TypeDescriptor<__T> _td___T, GenerateAndWrapMaterial<__T> generateAndWrap, AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)
static <__T> Wrappers_Compile.Result<IntermediateUnwrapOutput<__T>,Error>	IntermediateUnwrap(dafny.TypeDescriptor<__T> _td___T, UnwrapMaterial<__T> unwrap, dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial, AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)
static <__T> Wrappers_Compile.Result<IntermediateWrapOutput<__T>,Error>	IntermediateWrap(dafny.TypeDescriptor<__T> _td___T, GenerateAndWrapMaterial<__T> generateAndWrap, dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey, AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)
static dafny.DafnySequence<? extends java.lang.Byte>	KEYWRAP__ENC__INFO()
static dafny.DafnySequence<? extends java.lang.Byte>	KEYWRAP__MAC__INFO()
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

IntermediateUnwrap

public static <__T> Wrappers_Compile.Result<IntermediateUnwrapOutput<__T>,Error> IntermediateUnwrap(dafny.TypeDescriptor<__T> _td___T,
                                                                                                    UnwrapMaterial<__T> unwrap,
                                                                                                    dafny.DafnySequence<? extends java.lang.Byte> wrappedMaterial,
                                                                                                    AlgorithmSuiteInfo algorithmSuite,
                                                                                                    dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)

IntermediateWrap

public static <__T> Wrappers_Compile.Result<IntermediateWrapOutput<__T>,Error> IntermediateWrap(dafny.TypeDescriptor<__T> _td___T,
                                                                                                GenerateAndWrapMaterial<__T> generateAndWrap,
                                                                                                dafny.DafnySequence<? extends java.lang.Byte> plaintextDataKey,
                                                                                                AlgorithmSuiteInfo algorithmSuite,
                                                                                                dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)

IntermediateGenerateAndWrap

public static <__T> Wrappers_Compile.Result<IntermediateGenerateAndWrapOutput<__T>,Error> IntermediateGenerateAndWrap(dafny.TypeDescriptor<__T> _td___T,
                                                                                                                      GenerateAndWrapMaterial<__T> generateAndWrap,
                                                                                                                      AlgorithmSuiteInfo algorithmSuite,
                                                                                                                      dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext)

DeserializeIntermediateWrappedMaterial

public static Wrappers_Compile.Result<DeserializedIntermediateWrappedMaterial,Error> DeserializeIntermediateWrappedMaterial(dafny.DafnySequence<? extends java.lang.Byte> material,
                                                                                                                            AlgorithmSuiteInfo algSuite)

DeriveKeysFromIntermediateMaterial

public static Wrappers_Compile.Result<PdkEncryptionAndSymmetricSigningKeys,Error> DeriveKeysFromIntermediateMaterial(dafny.DafnySequence<? extends java.lang.Byte> intermediateMaterial,
                                                                                                                     AlgorithmSuiteInfo algorithmSuite,
                                                                                                                     dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                                                                                                                     software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

KEYWRAP__MAC__INFO

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

KEYWRAP__ENC__INFO

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object