public class ToDafny
extends java.lang.Object
| Constructor and Description |
|---|
ToDafny() |
public static Error Error(java.lang.RuntimeException nativeValue)
public static Error Error(OpaqueError nativeValue)
public static Error Error(CollectionOfErrors nativeValue)
public static BatchExecuteStatementInputTransformInput BatchExecuteStatementInputTransformInput(BatchExecuteStatementInputTransformInput nativeValue)
public static BatchExecuteStatementInputTransformOutput BatchExecuteStatementInputTransformOutput(BatchExecuteStatementInputTransformOutput nativeValue)
public static BatchExecuteStatementOutputTransformInput BatchExecuteStatementOutputTransformInput(BatchExecuteStatementOutputTransformInput nativeValue)
public static BatchExecuteStatementOutputTransformOutput BatchExecuteStatementOutputTransformOutput(BatchExecuteStatementOutputTransformOutput nativeValue)
public static BatchGetItemInputTransformInput BatchGetItemInputTransformInput(BatchGetItemInputTransformInput nativeValue)
public static BatchGetItemInputTransformOutput BatchGetItemInputTransformOutput(BatchGetItemInputTransformOutput nativeValue)
public static BatchGetItemOutputTransformInput BatchGetItemOutputTransformInput(BatchGetItemOutputTransformInput nativeValue)
public static BatchGetItemOutputTransformOutput BatchGetItemOutputTransformOutput(BatchGetItemOutputTransformOutput nativeValue)
public static BatchWriteItemInputTransformInput BatchWriteItemInputTransformInput(BatchWriteItemInputTransformInput nativeValue)
public static BatchWriteItemInputTransformOutput BatchWriteItemInputTransformOutput(BatchWriteItemInputTransformOutput nativeValue)
public static BatchWriteItemOutputTransformInput BatchWriteItemOutputTransformInput(BatchWriteItemOutputTransformInput nativeValue)
public static BatchWriteItemOutputTransformOutput BatchWriteItemOutputTransformOutput(BatchWriteItemOutputTransformOutput nativeValue)
public static DeleteItemInputTransformInput DeleteItemInputTransformInput(DeleteItemInputTransformInput nativeValue)
public static DeleteItemInputTransformOutput DeleteItemInputTransformOutput(DeleteItemInputTransformOutput nativeValue)
public static DeleteItemOutputTransformInput DeleteItemOutputTransformInput(DeleteItemOutputTransformInput nativeValue)
public static DeleteItemOutputTransformOutput DeleteItemOutputTransformOutput(DeleteItemOutputTransformOutput nativeValue)
public static ExecuteStatementInputTransformInput ExecuteStatementInputTransformInput(ExecuteStatementInputTransformInput nativeValue)
public static ExecuteStatementInputTransformOutput ExecuteStatementInputTransformOutput(ExecuteStatementInputTransformOutput nativeValue)
public static ExecuteStatementOutputTransformInput ExecuteStatementOutputTransformInput(ExecuteStatementOutputTransformInput nativeValue)
public static ExecuteStatementOutputTransformOutput ExecuteStatementOutputTransformOutput(ExecuteStatementOutputTransformOutput nativeValue)
public static ExecuteTransactionInputTransformInput ExecuteTransactionInputTransformInput(ExecuteTransactionInputTransformInput nativeValue)
public static ExecuteTransactionInputTransformOutput ExecuteTransactionInputTransformOutput(ExecuteTransactionInputTransformOutput nativeValue)
public static ExecuteTransactionOutputTransformInput ExecuteTransactionOutputTransformInput(ExecuteTransactionOutputTransformInput nativeValue)
public static ExecuteTransactionOutputTransformOutput ExecuteTransactionOutputTransformOutput(ExecuteTransactionOutputTransformOutput nativeValue)
public static GetItemInputTransformInput GetItemInputTransformInput(GetItemInputTransformInput nativeValue)
public static GetItemInputTransformOutput GetItemInputTransformOutput(GetItemInputTransformOutput nativeValue)
public static GetItemOutputTransformInput GetItemOutputTransformInput(GetItemOutputTransformInput nativeValue)
public static GetItemOutputTransformOutput GetItemOutputTransformOutput(GetItemOutputTransformOutput nativeValue)
public static PutItemInputTransformInput PutItemInputTransformInput(PutItemInputTransformInput nativeValue)
public static PutItemInputTransformOutput PutItemInputTransformOutput(PutItemInputTransformOutput nativeValue)
public static PutItemOutputTransformInput PutItemOutputTransformInput(PutItemOutputTransformInput nativeValue)
public static PutItemOutputTransformOutput PutItemOutputTransformOutput(PutItemOutputTransformOutput nativeValue)
public static QueryInputTransformInput QueryInputTransformInput(QueryInputTransformInput nativeValue)
public static QueryInputTransformOutput QueryInputTransformOutput(QueryInputTransformOutput nativeValue)
public static QueryOutputTransformInput QueryOutputTransformInput(QueryOutputTransformInput nativeValue)
public static QueryOutputTransformOutput QueryOutputTransformOutput(QueryOutputTransformOutput nativeValue)
public static ScanInputTransformInput ScanInputTransformInput(ScanInputTransformInput nativeValue)
public static ScanInputTransformOutput ScanInputTransformOutput(ScanInputTransformOutput nativeValue)
public static ScanOutputTransformInput ScanOutputTransformInput(ScanOutputTransformInput nativeValue)
public static ScanOutputTransformOutput ScanOutputTransformOutput(ScanOutputTransformOutput nativeValue)
public static TransactGetItemsInputTransformInput TransactGetItemsInputTransformInput(TransactGetItemsInputTransformInput nativeValue)
public static TransactGetItemsInputTransformOutput TransactGetItemsInputTransformOutput(TransactGetItemsInputTransformOutput nativeValue)
public static TransactGetItemsOutputTransformInput TransactGetItemsOutputTransformInput(TransactGetItemsOutputTransformInput nativeValue)
public static TransactGetItemsOutputTransformOutput TransactGetItemsOutputTransformOutput(TransactGetItemsOutputTransformOutput nativeValue)
public static TransactWriteItemsInputTransformInput TransactWriteItemsInputTransformInput(TransactWriteItemsInputTransformInput nativeValue)
public static TransactWriteItemsInputTransformOutput TransactWriteItemsInputTransformOutput(TransactWriteItemsInputTransformOutput nativeValue)
public static TransactWriteItemsOutputTransformInput TransactWriteItemsOutputTransformInput(TransactWriteItemsOutputTransformInput nativeValue)
public static TransactWriteItemsOutputTransformOutput TransactWriteItemsOutputTransformOutput(TransactWriteItemsOutputTransformOutput nativeValue)
public static UpdateItemInputTransformInput UpdateItemInputTransformInput(UpdateItemInputTransformInput nativeValue)
public static UpdateItemInputTransformOutput UpdateItemInputTransformOutput(UpdateItemInputTransformOutput nativeValue)
public static UpdateItemOutputTransformInput UpdateItemOutputTransformInput(UpdateItemOutputTransformInput nativeValue)
public static UpdateItemOutputTransformOutput UpdateItemOutputTransformOutput(UpdateItemOutputTransformOutput nativeValue)
public static Error Error(DynamoDbEncryptionTransformsException nativeValue)
public static IDynamoDbEncryptionTransformsClient DynamoDbEncryptionTransforms(DynamoDbEncryptionTransforms nativeValue)