RequiredEncryptionContextCMM_Compile

Class RequiredEncryptionContextCMM

java.lang.Object

RequiredEncryptionContextCMM_Compile.RequiredEncryptionContextCMM

All Implemented Interfaces:

VerifiableInterface, ICryptographicMaterialsManager

public class RequiredEncryptionContextCMM
extends java.lang.Object
implements VerifiableInterface, ICryptographicMaterialsManager

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	_requiredEncryptionContextKeys
ICryptographicMaterialsManager	_underlyingCMM

Constructor Summary

Constructors

Constructor and Description
RequiredEncryptionContextCMM()

Method Summary

Modifier and Type	Method and Description
void	__ctor(ICryptographicMaterialsManager inputCMM, dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Byte>> inputKeys)
static dafny.TypeDescriptor<RequiredEncryptionContextCMM>	_typeDescriptor()
Wrappers_Compile.Result<DecryptMaterialsOutput,Error>	DecryptMaterials_k(DecryptMaterialsInput input)
Wrappers_Compile.Result<DecryptMaterialsOutput,Error>	DecryptMaterials(DecryptMaterialsInput input)
Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error>	GetEncryptionMaterials_k(GetEncryptionMaterialsInput input)
Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error>	GetEncryptionMaterials(GetEncryptionMaterialsInput input)
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	requiredEncryptionContextKeys()
java.lang.String	toString()
ICryptographicMaterialsManager	underlyingCMM()

Methods inherited from class java.lang.Object

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

Field Detail

_underlyingCMM

public ICryptographicMaterialsManager _underlyingCMM

_requiredEncryptionContextKeys

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

Constructor Detail

RequiredEncryptionContextCMM

public RequiredEncryptionContextCMM()

Method Detail

GetEncryptionMaterials

public Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials(GetEncryptionMaterialsInput input)

Specified by:

GetEncryptionMaterials in interface ICryptographicMaterialsManager

DecryptMaterials

public Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials(DecryptMaterialsInput input)

Specified by:

DecryptMaterials in interface ICryptographicMaterialsManager

__ctor

public void __ctor(ICryptographicMaterialsManager inputCMM,
                   dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Byte>> inputKeys)

GetEncryptionMaterials_k

public Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials_k(GetEncryptionMaterialsInput input)

Specified by:

GetEncryptionMaterials_k in interface ICryptographicMaterialsManager

DecryptMaterials_k

public Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials_k(DecryptMaterialsInput input)

Specified by:

DecryptMaterials_k in interface ICryptographicMaterialsManager

underlyingCMM

public ICryptographicMaterialsManager underlyingCMM()

requiredEncryptionContextKeys

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

_typeDescriptor

public static dafny.TypeDescriptor<RequiredEncryptionContextCMM> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object