software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor

Class ToDafny

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.ToDafny

public class ToDafny
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToDafny()

Method Summary

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(OpaqueWithTextError nativeValue)
static Error	Error(java.lang.RuntimeException nativeValue)
static ParsedHeader	ParsedHeader(ParsedHeader nativeValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

ToDafny

public ToDafny()

Method Detail

Error

public static Error Error(java.lang.RuntimeException nativeValue)

Error

public static Error Error(OpaqueError nativeValue)

Error

public static Error Error(OpaqueWithTextError nativeValue)

Error

public static Error Error(CollectionOfErrors nativeValue)

DecryptItemInput

public static DecryptItemInput DecryptItemInput(DecryptItemInput nativeValue)

DecryptItemOutput

public static DecryptItemOutput DecryptItemOutput(DecryptItemOutput nativeValue)

DynamoDbItemEncryptorConfig

public static DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig(DynamoDbItemEncryptorConfig nativeValue)

EncryptItemInput

public static EncryptItemInput EncryptItemInput(EncryptItemInput nativeValue)

EncryptItemOutput

public static EncryptItemOutput EncryptItemOutput(EncryptItemOutput nativeValue)

ParsedHeader

public static ParsedHeader ParsedHeader(ParsedHeader nativeValue)

Error

public static Error Error(DynamoDbItemEncryptorException nativeValue)

DynamoDbItemEncryptor

public static IDynamoDbItemEncryptorClient DynamoDbItemEncryptor(DynamoDbItemEncryptor nativeValue)