public class ToDafny
extends java.lang.Object
| Constructor and Description |
|---|
ToDafny() |
| Modifier and Type | Method and Description |
|---|---|
static DecryptItemInput |
DecryptItemInput(DecryptItemInput nativeValue) |
static DecryptItemOutput |
DecryptItemOutput(DecryptItemOutput nativeValue) |
static IDynamoDbItemEncryptorClient |
DynamoDbItemEncryptor(DynamoDbItemEncryptor nativeValue) |
static DynamoDbItemEncryptorConfig |
DynamoDbItemEncryptorConfig(DynamoDbItemEncryptorConfig nativeValue) |
static EncryptItemInput |
EncryptItemInput(EncryptItemInput nativeValue) |
static EncryptItemOutput |
EncryptItemOutput(EncryptItemOutput nativeValue) |
static Error |
Error(CollectionOfErrors nativeValue) |
static Error |
Error(DynamoDbItemEncryptorException nativeValue) |
static Error |
Error(OpaqueError nativeValue) |
static Error |
Error(java.lang.RuntimeException nativeValue) |
static ParsedHeader |
ParsedHeader(ParsedHeader nativeValue) |
public static Error Error(java.lang.RuntimeException nativeValue)
public static Error Error(OpaqueError nativeValue)
public static Error Error(CollectionOfErrors nativeValue)
public static DecryptItemInput DecryptItemInput(DecryptItemInput nativeValue)
public static DecryptItemOutput DecryptItemOutput(DecryptItemOutput nativeValue)
public static DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig(DynamoDbItemEncryptorConfig nativeValue)
public static EncryptItemInput EncryptItemInput(EncryptItemInput nativeValue)
public static EncryptItemOutput EncryptItemOutput(EncryptItemOutput nativeValue)
public static ParsedHeader ParsedHeader(ParsedHeader nativeValue)
public static Error Error(DynamoDbItemEncryptorException nativeValue)
public static IDynamoDbItemEncryptorClient DynamoDbItemEncryptor(DynamoDbItemEncryptor nativeValue)