public class EcdhWrapKeyMaterial extends java.lang.Object implements WrapMaterial<EcdhWrapInfo>, Actions_Compile.ActionWithResult<WrapInput,WrapOutput<EcdhWrapInfo>,Error>, Actions_Compile.Action<WrapInput,Wrappers_Compile.Result<WrapOutput<EcdhWrapInfo>,Error>>
| 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 and Description |
|---|
EcdhWrapKeyMaterial() |
| 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<EcdhWrapKeyMaterial> |
_typeDescriptor() |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
crypto() |
dafny.DafnySequence<? extends java.lang.Byte> |
fixedInfo() |
Wrappers_Compile.Result<WrapOutput<EcdhWrapInfo>,Error> |
Invoke(WrapInput input) |
dafny.DafnySequence<? extends java.lang.Byte> |
sharedSecret() |
java.lang.String |
toString() |
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _crypto
public dafny.DafnySequence<? extends java.lang.Byte> _fixedInfo
public dafny.DafnySequence<? extends java.lang.Byte> _sharedSecret
public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> sharedSecret,
dafny.DafnySequence<? extends java.lang.Byte> fixedInfo,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
public Wrappers_Compile.Result<WrapOutput<EcdhWrapInfo>,Error> Invoke(WrapInput input)
Invoke in interface Actions_Compile.Action<WrapInput,Wrappers_Compile.Result<WrapOutput<EcdhWrapInfo>,Error>>public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto()
public dafny.DafnySequence<? extends java.lang.Byte> fixedInfo()
public dafny.DafnySequence<? extends java.lang.Byte> sharedSecret()
public static dafny.TypeDescriptor<EcdhWrapKeyMaterial> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object