public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| 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() |
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)
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)
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)
public static Wrappers_Compile.Result<DeserializedIntermediateWrappedMaterial,Error> DeserializeIntermediateWrappedMaterial(dafny.DafnySequence<? extends java.lang.Byte> material, AlgorithmSuiteInfo algSuite)
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)
public static dafny.DafnySequence<? extends java.lang.Byte> KEYWRAP__MAC__INFO()
public static dafny.DafnySequence<? extends java.lang.Byte> KEYWRAP__ENC__INFO()
public java.lang.String toString()
toString in class java.lang.Object