software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms

Class ToDafny

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.ToDafny

public class ToDafny
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToDafny()

Method Summary

Modifier and Type	Method and Description
static BatchExecuteStatementInputTransformInput	BatchExecuteStatementInputTransformInput(BatchExecuteStatementInputTransformInput nativeValue)
static BatchExecuteStatementInputTransformOutput	BatchExecuteStatementInputTransformOutput(BatchExecuteStatementInputTransformOutput nativeValue)
static BatchExecuteStatementOutputTransformInput	BatchExecuteStatementOutputTransformInput(BatchExecuteStatementOutputTransformInput nativeValue)
static BatchExecuteStatementOutputTransformOutput	BatchExecuteStatementOutputTransformOutput(BatchExecuteStatementOutputTransformOutput nativeValue)
static BatchGetItemInputTransformInput	BatchGetItemInputTransformInput(BatchGetItemInputTransformInput nativeValue)
static BatchGetItemInputTransformOutput	BatchGetItemInputTransformOutput(BatchGetItemInputTransformOutput nativeValue)
static BatchGetItemOutputTransformInput	BatchGetItemOutputTransformInput(BatchGetItemOutputTransformInput nativeValue)
static BatchGetItemOutputTransformOutput	BatchGetItemOutputTransformOutput(BatchGetItemOutputTransformOutput nativeValue)
static BatchWriteItemInputTransformInput	BatchWriteItemInputTransformInput(BatchWriteItemInputTransformInput nativeValue)
static BatchWriteItemInputTransformOutput	BatchWriteItemInputTransformOutput(BatchWriteItemInputTransformOutput nativeValue)
static BatchWriteItemOutputTransformInput	BatchWriteItemOutputTransformInput(BatchWriteItemOutputTransformInput nativeValue)
static BatchWriteItemOutputTransformOutput	BatchWriteItemOutputTransformOutput(BatchWriteItemOutputTransformOutput nativeValue)
static DeleteItemInputTransformInput	DeleteItemInputTransformInput(DeleteItemInputTransformInput nativeValue)
static DeleteItemInputTransformOutput	DeleteItemInputTransformOutput(DeleteItemInputTransformOutput nativeValue)
static DeleteItemOutputTransformInput	DeleteItemOutputTransformInput(DeleteItemOutputTransformInput nativeValue)
static DeleteItemOutputTransformOutput	DeleteItemOutputTransformOutput(DeleteItemOutputTransformOutput nativeValue)
static IDynamoDbEncryptionTransformsClient	DynamoDbEncryptionTransforms(DynamoDbEncryptionTransforms nativeValue)
static Error	Error(CollectionOfErrors nativeValue)
static Error	Error(DynamoDbEncryptionTransformsException nativeValue)
static Error	Error(OpaqueError nativeValue)
static Error	Error(OpaqueWithTextError nativeValue)
static Error	Error(java.lang.RuntimeException nativeValue)
static ExecuteStatementInputTransformInput	ExecuteStatementInputTransformInput(ExecuteStatementInputTransformInput nativeValue)
static ExecuteStatementInputTransformOutput	ExecuteStatementInputTransformOutput(ExecuteStatementInputTransformOutput nativeValue)
static ExecuteStatementOutputTransformInput	ExecuteStatementOutputTransformInput(ExecuteStatementOutputTransformInput nativeValue)
static ExecuteStatementOutputTransformOutput	ExecuteStatementOutputTransformOutput(ExecuteStatementOutputTransformOutput nativeValue)
static ExecuteTransactionInputTransformInput	ExecuteTransactionInputTransformInput(ExecuteTransactionInputTransformInput nativeValue)
static ExecuteTransactionInputTransformOutput	ExecuteTransactionInputTransformOutput(ExecuteTransactionInputTransformOutput nativeValue)
static ExecuteTransactionOutputTransformInput	ExecuteTransactionOutputTransformInput(ExecuteTransactionOutputTransformInput nativeValue)
static ExecuteTransactionOutputTransformOutput	ExecuteTransactionOutputTransformOutput(ExecuteTransactionOutputTransformOutput nativeValue)
static GetItemInputTransformInput	GetItemInputTransformInput(GetItemInputTransformInput nativeValue)
static GetItemInputTransformOutput	GetItemInputTransformOutput(GetItemInputTransformOutput nativeValue)
static GetItemOutputTransformInput	GetItemOutputTransformInput(GetItemOutputTransformInput nativeValue)
static GetItemOutputTransformOutput	GetItemOutputTransformOutput(GetItemOutputTransformOutput nativeValue)
static PutItemInputTransformInput	PutItemInputTransformInput(PutItemInputTransformInput nativeValue)
static PutItemInputTransformOutput	PutItemInputTransformOutput(PutItemInputTransformOutput nativeValue)
static PutItemOutputTransformInput	PutItemOutputTransformInput(PutItemOutputTransformInput nativeValue)
static PutItemOutputTransformOutput	PutItemOutputTransformOutput(PutItemOutputTransformOutput nativeValue)
static QueryInputTransformInput	QueryInputTransformInput(QueryInputTransformInput nativeValue)
static QueryInputTransformOutput	QueryInputTransformOutput(QueryInputTransformOutput nativeValue)
static QueryOutputTransformInput	QueryOutputTransformInput(QueryOutputTransformInput nativeValue)
static QueryOutputTransformOutput	QueryOutputTransformOutput(QueryOutputTransformOutput nativeValue)
static ResolveAttributesInput	ResolveAttributesInput(ResolveAttributesInput nativeValue)
static ResolveAttributesOutput	ResolveAttributesOutput(ResolveAttributesOutput nativeValue)
static ScanInputTransformInput	ScanInputTransformInput(ScanInputTransformInput nativeValue)
static ScanInputTransformOutput	ScanInputTransformOutput(ScanInputTransformOutput nativeValue)
static ScanOutputTransformInput	ScanOutputTransformInput(ScanOutputTransformInput nativeValue)
static ScanOutputTransformOutput	ScanOutputTransformOutput(ScanOutputTransformOutput nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>	StringMap(java.util.Map<java.lang.String,java.lang.String> nativeValue)
static TransactGetItemsInputTransformInput	TransactGetItemsInputTransformInput(TransactGetItemsInputTransformInput nativeValue)
static TransactGetItemsInputTransformOutput	TransactGetItemsInputTransformOutput(TransactGetItemsInputTransformOutput nativeValue)
static TransactGetItemsOutputTransformInput	TransactGetItemsOutputTransformInput(TransactGetItemsOutputTransformInput nativeValue)
static TransactGetItemsOutputTransformOutput	TransactGetItemsOutputTransformOutput(TransactGetItemsOutputTransformOutput nativeValue)
static TransactWriteItemsInputTransformInput	TransactWriteItemsInputTransformInput(TransactWriteItemsInputTransformInput nativeValue)
static TransactWriteItemsInputTransformOutput	TransactWriteItemsInputTransformOutput(TransactWriteItemsInputTransformOutput nativeValue)
static TransactWriteItemsOutputTransformInput	TransactWriteItemsOutputTransformInput(TransactWriteItemsOutputTransformInput nativeValue)
static TransactWriteItemsOutputTransformOutput	TransactWriteItemsOutputTransformOutput(TransactWriteItemsOutputTransformOutput nativeValue)
static UpdateItemInputTransformInput	UpdateItemInputTransformInput(UpdateItemInputTransformInput nativeValue)
static UpdateItemInputTransformOutput	UpdateItemInputTransformOutput(UpdateItemInputTransformOutput nativeValue)
static UpdateItemOutputTransformInput	UpdateItemOutputTransformInput(UpdateItemOutputTransformInput nativeValue)
static UpdateItemOutputTransformOutput	UpdateItemOutputTransformOutput(UpdateItemOutputTransformOutput 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)

BatchExecuteStatementInputTransformInput

public static BatchExecuteStatementInputTransformInput BatchExecuteStatementInputTransformInput(BatchExecuteStatementInputTransformInput nativeValue)

BatchExecuteStatementInputTransformOutput

public static BatchExecuteStatementInputTransformOutput BatchExecuteStatementInputTransformOutput(BatchExecuteStatementInputTransformOutput nativeValue)

BatchExecuteStatementOutputTransformInput

public static BatchExecuteStatementOutputTransformInput BatchExecuteStatementOutputTransformInput(BatchExecuteStatementOutputTransformInput nativeValue)

BatchExecuteStatementOutputTransformOutput

public static BatchExecuteStatementOutputTransformOutput BatchExecuteStatementOutputTransformOutput(BatchExecuteStatementOutputTransformOutput nativeValue)

BatchGetItemInputTransformInput

public static BatchGetItemInputTransformInput BatchGetItemInputTransformInput(BatchGetItemInputTransformInput nativeValue)

BatchGetItemInputTransformOutput

public static BatchGetItemInputTransformOutput BatchGetItemInputTransformOutput(BatchGetItemInputTransformOutput nativeValue)

BatchGetItemOutputTransformInput

public static BatchGetItemOutputTransformInput BatchGetItemOutputTransformInput(BatchGetItemOutputTransformInput nativeValue)

BatchGetItemOutputTransformOutput

public static BatchGetItemOutputTransformOutput BatchGetItemOutputTransformOutput(BatchGetItemOutputTransformOutput nativeValue)

BatchWriteItemInputTransformInput

public static BatchWriteItemInputTransformInput BatchWriteItemInputTransformInput(BatchWriteItemInputTransformInput nativeValue)

BatchWriteItemInputTransformOutput

public static BatchWriteItemInputTransformOutput BatchWriteItemInputTransformOutput(BatchWriteItemInputTransformOutput nativeValue)

BatchWriteItemOutputTransformInput

public static BatchWriteItemOutputTransformInput BatchWriteItemOutputTransformInput(BatchWriteItemOutputTransformInput nativeValue)

BatchWriteItemOutputTransformOutput

public static BatchWriteItemOutputTransformOutput BatchWriteItemOutputTransformOutput(BatchWriteItemOutputTransformOutput nativeValue)

DeleteItemInputTransformInput

public static DeleteItemInputTransformInput DeleteItemInputTransformInput(DeleteItemInputTransformInput nativeValue)

DeleteItemInputTransformOutput

public static DeleteItemInputTransformOutput DeleteItemInputTransformOutput(DeleteItemInputTransformOutput nativeValue)

DeleteItemOutputTransformInput

public static DeleteItemOutputTransformInput DeleteItemOutputTransformInput(DeleteItemOutputTransformInput nativeValue)

DeleteItemOutputTransformOutput

public static DeleteItemOutputTransformOutput DeleteItemOutputTransformOutput(DeleteItemOutputTransformOutput nativeValue)

ExecuteStatementInputTransformInput

public static ExecuteStatementInputTransformInput ExecuteStatementInputTransformInput(ExecuteStatementInputTransformInput nativeValue)

ExecuteStatementInputTransformOutput

public static ExecuteStatementInputTransformOutput ExecuteStatementInputTransformOutput(ExecuteStatementInputTransformOutput nativeValue)

ExecuteStatementOutputTransformInput

public static ExecuteStatementOutputTransformInput ExecuteStatementOutputTransformInput(ExecuteStatementOutputTransformInput nativeValue)

ExecuteStatementOutputTransformOutput

public static ExecuteStatementOutputTransformOutput ExecuteStatementOutputTransformOutput(ExecuteStatementOutputTransformOutput nativeValue)

ExecuteTransactionInputTransformInput

public static ExecuteTransactionInputTransformInput ExecuteTransactionInputTransformInput(ExecuteTransactionInputTransformInput nativeValue)

ExecuteTransactionInputTransformOutput

public static ExecuteTransactionInputTransformOutput ExecuteTransactionInputTransformOutput(ExecuteTransactionInputTransformOutput nativeValue)

ExecuteTransactionOutputTransformInput

public static ExecuteTransactionOutputTransformInput ExecuteTransactionOutputTransformInput(ExecuteTransactionOutputTransformInput nativeValue)

ExecuteTransactionOutputTransformOutput

public static ExecuteTransactionOutputTransformOutput ExecuteTransactionOutputTransformOutput(ExecuteTransactionOutputTransformOutput nativeValue)

GetItemInputTransformInput

public static GetItemInputTransformInput GetItemInputTransformInput(GetItemInputTransformInput nativeValue)

GetItemInputTransformOutput

public static GetItemInputTransformOutput GetItemInputTransformOutput(GetItemInputTransformOutput nativeValue)

GetItemOutputTransformInput

public static GetItemOutputTransformInput GetItemOutputTransformInput(GetItemOutputTransformInput nativeValue)

GetItemOutputTransformOutput

public static GetItemOutputTransformOutput GetItemOutputTransformOutput(GetItemOutputTransformOutput nativeValue)

PutItemInputTransformInput

public static PutItemInputTransformInput PutItemInputTransformInput(PutItemInputTransformInput nativeValue)

PutItemInputTransformOutput

public static PutItemInputTransformOutput PutItemInputTransformOutput(PutItemInputTransformOutput nativeValue)

PutItemOutputTransformInput

public static PutItemOutputTransformInput PutItemOutputTransformInput(PutItemOutputTransformInput nativeValue)

PutItemOutputTransformOutput

public static PutItemOutputTransformOutput PutItemOutputTransformOutput(PutItemOutputTransformOutput nativeValue)

QueryInputTransformInput

public static QueryInputTransformInput QueryInputTransformInput(QueryInputTransformInput nativeValue)

QueryInputTransformOutput

public static QueryInputTransformOutput QueryInputTransformOutput(QueryInputTransformOutput nativeValue)

QueryOutputTransformInput

public static QueryOutputTransformInput QueryOutputTransformInput(QueryOutputTransformInput nativeValue)

QueryOutputTransformOutput

public static QueryOutputTransformOutput QueryOutputTransformOutput(QueryOutputTransformOutput nativeValue)

ResolveAttributesInput

public static ResolveAttributesInput ResolveAttributesInput(ResolveAttributesInput nativeValue)

ResolveAttributesOutput

public static ResolveAttributesOutput ResolveAttributesOutput(ResolveAttributesOutput nativeValue)

ScanInputTransformInput

public static ScanInputTransformInput ScanInputTransformInput(ScanInputTransformInput nativeValue)

ScanInputTransformOutput

public static ScanInputTransformOutput ScanInputTransformOutput(ScanInputTransformOutput nativeValue)

ScanOutputTransformInput

public static ScanOutputTransformInput ScanOutputTransformInput(ScanOutputTransformInput nativeValue)

ScanOutputTransformOutput

public static ScanOutputTransformOutput ScanOutputTransformOutput(ScanOutputTransformOutput nativeValue)

TransactGetItemsInputTransformInput

public static TransactGetItemsInputTransformInput TransactGetItemsInputTransformInput(TransactGetItemsInputTransformInput nativeValue)

TransactGetItemsInputTransformOutput

public static TransactGetItemsInputTransformOutput TransactGetItemsInputTransformOutput(TransactGetItemsInputTransformOutput nativeValue)

TransactGetItemsOutputTransformInput

public static TransactGetItemsOutputTransformInput TransactGetItemsOutputTransformInput(TransactGetItemsOutputTransformInput nativeValue)

TransactGetItemsOutputTransformOutput

public static TransactGetItemsOutputTransformOutput TransactGetItemsOutputTransformOutput(TransactGetItemsOutputTransformOutput nativeValue)

TransactWriteItemsInputTransformInput

public static TransactWriteItemsInputTransformInput TransactWriteItemsInputTransformInput(TransactWriteItemsInputTransformInput nativeValue)

TransactWriteItemsInputTransformOutput

public static TransactWriteItemsInputTransformOutput TransactWriteItemsInputTransformOutput(TransactWriteItemsInputTransformOutput nativeValue)

TransactWriteItemsOutputTransformInput

public static TransactWriteItemsOutputTransformInput TransactWriteItemsOutputTransformInput(TransactWriteItemsOutputTransformInput nativeValue)

TransactWriteItemsOutputTransformOutput

public static TransactWriteItemsOutputTransformOutput TransactWriteItemsOutputTransformOutput(TransactWriteItemsOutputTransformOutput nativeValue)

UpdateItemInputTransformInput

public static UpdateItemInputTransformInput UpdateItemInputTransformInput(UpdateItemInputTransformInput nativeValue)

UpdateItemInputTransformOutput

public static UpdateItemInputTransformOutput UpdateItemInputTransformOutput(UpdateItemInputTransformOutput nativeValue)

UpdateItemOutputTransformInput

public static UpdateItemOutputTransformInput UpdateItemOutputTransformInput(UpdateItemOutputTransformInput nativeValue)

UpdateItemOutputTransformOutput

public static UpdateItemOutputTransformOutput UpdateItemOutputTransformOutput(UpdateItemOutputTransformOutput nativeValue)

Error

public static Error Error(DynamoDbEncryptionTransformsException nativeValue)

StringMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> StringMap(java.util.Map<java.lang.String,java.lang.String> nativeValue)

DynamoDbEncryptionTransforms

public static IDynamoDbEncryptionTransformsClient DynamoDbEncryptionTransforms(DynamoDbEncryptionTransforms nativeValue)