RawECDHKeyring_Compile

Class OnDecryptEcdhDataKeyFilter

java.lang.Object

RawECDHKeyring_Compile.OnDecryptEcdhDataKeyFilter

All Implemented Interfaces:

Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<java.lang.Boolean,Error>>, Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,java.lang.Boolean,Error>

public class OnDecryptEcdhDataKeyFilter
extends java.lang.Object
implements Actions_Compile.DeterministicActionWithResult<EncryptedDataKey,java.lang.Boolean,Error>, Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<java.lang.Boolean,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Byte>	_compressedRecipientPublicKey
dafny.DafnySequence<? extends java.lang.Byte>	_compressedSenderPublicKey
RawEcdhStaticConfigurations	_keyAgreementScheme

Constructor Summary

Constructors

Constructor and Description
OnDecryptEcdhDataKeyFilter()

Method Summary

Modifier and Type	Method and Description
void	__ctor(RawEcdhStaticConfigurations keyAgreementScheme, dafny.DafnySequence<? extends java.lang.Byte> compressedRecipientPublicKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> compressedSenderPublicKey)
static dafny.TypeDescriptor<OnDecryptEcdhDataKeyFilter>	_typeDescriptor()
dafny.DafnySequence<? extends java.lang.Byte>	compressedRecipientPublicKey()
dafny.DafnySequence<? extends java.lang.Byte>	compressedSenderPublicKey()
Wrappers_Compile.Result<java.lang.Boolean,Error>	Invoke(EncryptedDataKey edk)
RawEcdhStaticConfigurations	keyAgreementScheme()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_keyAgreementScheme

public RawEcdhStaticConfigurations _keyAgreementScheme

_compressedRecipientPublicKey

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

_compressedSenderPublicKey

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

Constructor Detail

OnDecryptEcdhDataKeyFilter

public OnDecryptEcdhDataKeyFilter()

Method Detail

__ctor

public void __ctor(RawEcdhStaticConfigurations keyAgreementScheme,
                   dafny.DafnySequence<? extends java.lang.Byte> compressedRecipientPublicKey,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> compressedSenderPublicKey)

Invoke

public Wrappers_Compile.Result<java.lang.Boolean,Error> Invoke(EncryptedDataKey edk)

Specified by:

Invoke in interface Actions_Compile.DeterministicAction<EncryptedDataKey,Wrappers_Compile.Result<java.lang.Boolean,Error>>

keyAgreementScheme

public RawEcdhStaticConfigurations keyAgreementScheme()

compressedRecipientPublicKey

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

compressedSenderPublicKey

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

_typeDescriptor

public static dafny.TypeDescriptor<OnDecryptEcdhDataKeyFilter> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object