EcdhEdkWrapping_Compile

Class EcdhGenerateAndWrapKeyMaterial

java.lang.Object

EcdhEdkWrapping_Compile.EcdhGenerateAndWrapKeyMaterial

All Implemented Interfaces:

Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<EcdhWrapInfo>,Error>>, Actions_Compile.ActionWithResult<GenerateAndWrapInput,GenerateAndWrapOutput<EcdhWrapInfo>,Error>, GenerateAndWrapMaterial<EcdhWrapInfo>

public class EcdhGenerateAndWrapKeyMaterial
extends java.lang.Object
implements GenerateAndWrapMaterial<EcdhWrapInfo>, Actions_Compile.ActionWithResult<GenerateAndWrapInput,GenerateAndWrapOutput<EcdhWrapInfo>,Error>, Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<EcdhWrapInfo>,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_crypto
dafny.DafnySequence<? extends java.lang.Byte>	_fixedInfo
dafny.DafnySequence<? extends java.lang.Byte>	_sharedSecret

Constructor Summary

Constructors

Constructor and Description
EcdhGenerateAndWrapKeyMaterial()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> sharedSecret, dafny.DafnySequence<? extends java.lang.Byte> fixedInfo, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static dafny.TypeDescriptor<EcdhGenerateAndWrapKeyMaterial>	_typeDescriptor()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	crypto()
dafny.DafnySequence<? extends java.lang.Byte>	fixedInfo()
Wrappers_Compile.Result<GenerateAndWrapOutput<EcdhWrapInfo>,Error>	Invoke(GenerateAndWrapInput input)
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

_crypto

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

_sharedSecret

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

_fixedInfo

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

Constructor Detail

EcdhGenerateAndWrapKeyMaterial

public EcdhGenerateAndWrapKeyMaterial()

Method Detail

__ctor

public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> sharedSecret,
                   dafny.DafnySequence<? extends java.lang.Byte> fixedInfo,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

Invoke

public Wrappers_Compile.Result<GenerateAndWrapOutput<EcdhWrapInfo>,Error> Invoke(GenerateAndWrapInput input)

Specified by:

Invoke in interface Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<EcdhWrapInfo>,Error>>

crypto

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

sharedSecret

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

fixedInfo

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

_typeDescriptor

public static dafny.TypeDescriptor<EcdhGenerateAndWrapKeyMaterial> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object