DefaultCMM_Compile

Class DefaultCMM

java.lang.Object

DefaultCMM_Compile.DefaultCMM

All Implemented Interfaces:

VerifiableInterface, ICryptographicMaterialsManager

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

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
IKeyring	_keyring

Constructor Summary

Constructors

Constructor and Description
DefaultCMM()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<DefaultCMM>	_typeDescriptor()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
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)
IKeyring	keyring()
void	OfKeyring(IKeyring k, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient c)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_keyring

public IKeyring _keyring

_cryptoPrimitives

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

Constructor Detail

DefaultCMM

public DefaultCMM()

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

OfKeyring

public void OfKeyring(IKeyring k,
                      software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient c)

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

keyring

public IKeyring keyring()

cryptoPrimitives

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

_typeDescriptor

public static dafny.TypeDescriptor<DefaultCMM> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object