EcdhEdkWrapping_Compile

Class EcdhUnwrap

java.lang.Object

EcdhEdkWrapping_Compile.EcdhUnwrap

All Implemented Interfaces:

Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<EcdhUnwrapInfo>,Error>>, Actions_Compile.ActionWithResult<UnwrapInput,UnwrapOutput<EcdhUnwrapInfo>,Error>, UnwrapMaterial<EcdhUnwrapInfo>

public class EcdhUnwrap
extends java.lang.Object
implements UnwrapMaterial<EcdhUnwrapInfo>, Actions_Compile.ActionWithResult<UnwrapInput,UnwrapOutput<EcdhUnwrapInfo>,Error>, Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<EcdhUnwrapInfo>,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_crypto
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec	_curveSpec
dafny.DafnySequence<? extends java.lang.Byte>	_keyringVersion
dafny.DafnySequence<? extends java.lang.Byte>	_recipientPublicKey
dafny.DafnySequence<? extends java.lang.Byte>	_senderPublicKey
dafny.DafnySequence<? extends java.lang.Byte>	_sharedSecret

Constructor Summary

Constructors

Constructor and Description
EcdhUnwrap()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey, dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey, dafny.DafnySequence<? extends java.lang.Byte> sharedSecret, dafny.DafnySequence<? extends java.lang.Byte> keyringVersion, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static dafny.TypeDescriptor<EcdhUnwrap>	_typeDescriptor()
boolean	commitmentKeyCheck(dafny.DafnySequence<? extends java.lang.Byte> calculatedCommitmentKey, dafny.DafnySequence<? extends java.lang.Byte> serializedCommitmentKey)
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	crypto()
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec	curveSpec()
Wrappers_Compile.Result<UnwrapOutput<EcdhUnwrapInfo>,Error>	Invoke(UnwrapInput input)
dafny.DafnySequence<? extends java.lang.Byte>	keyringVersion()
dafny.DafnySequence<? extends java.lang.Byte>	recipientPublicKey()
dafny.DafnySequence<? extends java.lang.Byte>	senderPublicKey()
dafny.DafnySequence<? extends java.lang.Byte>	sharedSecret()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_senderPublicKey

public dafny.DafnySequence<? extends java.lang.Byte> _senderPublicKey

_recipientPublicKey

public dafny.DafnySequence<? extends java.lang.Byte> _recipientPublicKey

_sharedSecret

public dafny.DafnySequence<? extends java.lang.Byte> _sharedSecret

_keyringVersion

public dafny.DafnySequence<? extends java.lang.Byte> _keyringVersion

_curveSpec

public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec _curveSpec

_crypto

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _crypto

Constructor Detail

EcdhUnwrap

public EcdhUnwrap()

Method Detail

__ctor

public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey,
                   dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey,
                   dafny.DafnySequence<? extends java.lang.Byte> sharedSecret,
                   dafny.DafnySequence<? extends java.lang.Byte> keyringVersion,
                   software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

Invoke

public Wrappers_Compile.Result<UnwrapOutput<EcdhUnwrapInfo>,Error> Invoke(UnwrapInput input)

Specified by:

Invoke in interface Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<EcdhUnwrapInfo>,Error>>

commitmentKeyCheck

public boolean commitmentKeyCheck(dafny.DafnySequence<? extends java.lang.Byte> calculatedCommitmentKey,
                                  dafny.DafnySequence<? extends java.lang.Byte> serializedCommitmentKey)

senderPublicKey

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

recipientPublicKey

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

sharedSecret

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

keyringVersion

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

curveSpec

public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec()

crypto

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto()

_typeDescriptor

public static dafny.TypeDescriptor<EcdhUnwrap> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object