public class DynamoDbItemEncryptorClient extends java.lang.Object implements IDynamoDbItemEncryptorClient
| Constructor and Description |
|---|
DynamoDbItemEncryptorClient() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(Config config) |
static dafny.TypeDescriptor<DynamoDbItemEncryptorClient> |
_typeDescriptor() |
Config |
config() |
Wrappers_Compile.Result<DecryptItemOutput,Error> |
DecryptItem(DecryptItemInput input) |
Wrappers_Compile.Result<EncryptItemOutput,Error> |
EncryptItem(EncryptItemInput input) |
java.lang.String |
toString() |
public Config _config
public void __ctor(Config config)
public Wrappers_Compile.Result<EncryptItemOutput,Error> EncryptItem(EncryptItemInput input)
EncryptItem in interface IDynamoDbItemEncryptorClientpublic Wrappers_Compile.Result<DecryptItemOutput,Error> DecryptItem(DecryptItemInput input)
DecryptItem in interface IDynamoDbItemEncryptorClientpublic Config config()
public static dafny.TypeDescriptor<DynamoDbItemEncryptorClient> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object