public class DefaultCMM extends java.lang.Object implements VerifiableInterface, ICryptographicMaterialsManager
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
_cryptoPrimitives |
IKeyring |
_keyring |
| Constructor and Description |
|---|
DefaultCMM() |
| 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() |
public IKeyring _keyring
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials(GetEncryptionMaterialsInput input)
GetEncryptionMaterials in interface ICryptographicMaterialsManagerpublic Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials(DecryptMaterialsInput input)
DecryptMaterials in interface ICryptographicMaterialsManagerpublic void OfKeyring(IKeyring k, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient c)
public Wrappers_Compile.Result<GetEncryptionMaterialsOutput,Error> GetEncryptionMaterials_k(GetEncryptionMaterialsInput input)
GetEncryptionMaterials_k in interface ICryptographicMaterialsManagerpublic Wrappers_Compile.Result<DecryptMaterialsOutput,Error> DecryptMaterials_k(DecryptMaterialsInput input)
DecryptMaterials_k in interface ICryptographicMaterialsManagerpublic IKeyring keyring()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public static dafny.TypeDescriptor<DefaultCMM> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object