public class DecryptSingleEncryptedDataKey extends java.lang.Object implements Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>, Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
_cryptoPrimitives |
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec |
_curveSpec |
RawEcdhStaticConfigurations |
_keyAgreementScheme |
DecryptionMaterials |
_materials |
dafny.DafnySequence<? extends java.lang.Byte> |
_recipientPublicKey |
dafny.DafnySequence<? extends java.lang.Byte> |
_senderPublicKey |
| Constructor and Description |
|---|
DecryptSingleEncryptedDataKey() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(DecryptionMaterials materials,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives,
dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey,
dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey,
RawEcdhStaticConfigurations keyAgreementScheme,
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec) |
static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> |
_typeDescriptor() |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
cryptoPrimitives() |
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec |
curveSpec() |
Wrappers_Compile.Result<DecryptionMaterials,Error> |
Invoke(EncryptedDataKey edk) |
RawEcdhStaticConfigurations |
keyAgreementScheme() |
DecryptionMaterials |
materials() |
dafny.DafnySequence<? extends java.lang.Byte> |
recipientPublicKey() |
dafny.DafnySequence<? extends java.lang.Byte> |
senderPublicKey() |
java.lang.String |
toString() |
public DecryptionMaterials _materials
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public dafny.DafnySequence<? extends java.lang.Byte> _recipientPublicKey
public dafny.DafnySequence<? extends java.lang.Byte> _senderPublicKey
public RawEcdhStaticConfigurations _keyAgreementScheme
public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec _curveSpec
public void __ctor(DecryptionMaterials materials, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives, dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey, dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey, RawEcdhStaticConfigurations keyAgreementScheme, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec)
public Wrappers_Compile.Result<DecryptionMaterials,Error> Invoke(EncryptedDataKey edk)
Invoke in interface Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>public DecryptionMaterials materials()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey()
public dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey()
public RawEcdhStaticConfigurations keyAgreementScheme()
public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec()
public static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object