AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations_Compile

Class __default

java.lang.Object

AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static Wrappers_Compile.Result<BatchExecuteStatementInputTransformOutput,Error>	BatchExecuteStatementInputTransform(Config config, BatchExecuteStatementInputTransformInput input)
static Wrappers_Compile.Result<BatchExecuteStatementOutputTransformOutput,Error>	BatchExecuteStatementOutputTransform(Config config, BatchExecuteStatementOutputTransformInput input)
static Wrappers_Compile.Result<BatchGetItemInputTransformOutput,Error>	BatchGetItemInputTransform(Config config, BatchGetItemInputTransformInput input)
static Wrappers_Compile.Result<BatchGetItemOutputTransformOutput,Error>	BatchGetItemOutputTransform(Config config, BatchGetItemOutputTransformInput input)
static Wrappers_Compile.Result<BatchWriteItemInputTransformOutput,Error>	BatchWriteItemInputTransform(Config config, BatchWriteItemInputTransformInput input)
static Wrappers_Compile.Result<BatchWriteItemOutputTransformOutput,Error>	BatchWriteItemOutputTransform(Config config, BatchWriteItemOutputTransformInput input)
static Wrappers_Compile.Result<DeleteItemInputTransformOutput,Error>	DeleteItemInputTransform(Config config, DeleteItemInputTransformInput input)
static Wrappers_Compile.Result<DeleteItemOutputTransformOutput,Error>	DeleteItemOutputTransform(Config config, DeleteItemOutputTransformInput input)
static Wrappers_Compile.Result<ExecuteStatementInputTransformOutput,Error>	ExecuteStatementInputTransform(Config config, ExecuteStatementInputTransformInput input)
static Wrappers_Compile.Result<ExecuteStatementOutputTransformOutput,Error>	ExecuteStatementOutputTransform(Config config, ExecuteStatementOutputTransformInput input)
static Wrappers_Compile.Result<ExecuteTransactionInputTransformOutput,Error>	ExecuteTransactionInputTransform(Config config, ExecuteTransactionInputTransformInput input)
static Wrappers_Compile.Result<ExecuteTransactionOutputTransformOutput,Error>	ExecuteTransactionOutputTransform(Config config, ExecuteTransactionOutputTransformInput input)
static Wrappers_Compile.Result<GetItemInputTransformOutput,Error>	GetItemInputTransform(Config config, GetItemInputTransformInput input)
static Wrappers_Compile.Result<GetItemOutputTransformOutput,Error>	GetItemOutputTransform(Config config, GetItemOutputTransformInput input)
static Wrappers_Compile.Result<PutItemInputTransformOutput,Error>	PutItemInputTransform(Config config, PutItemInputTransformInput input)
static Wrappers_Compile.Result<PutItemOutputTransformOutput,Error>	PutItemOutputTransform(Config config, PutItemOutputTransformInput input)
static Wrappers_Compile.Result<QueryInputTransformOutput,Error>	QueryInputTransform(Config config, QueryInputTransformInput input)
static Wrappers_Compile.Result<QueryOutputTransformOutput,Error>	QueryOutputTransform(Config config, QueryOutputTransformInput input)
static Wrappers_Compile.Result<ScanInputTransformOutput,Error>	ScanInputTransform(Config config, ScanInputTransformInput input)
static Wrappers_Compile.Result<ScanOutputTransformOutput,Error>	ScanOutputTransform(Config config, ScanOutputTransformInput input)
java.lang.String	toString()
static Wrappers_Compile.Result<TransactGetItemsInputTransformOutput,Error>	TransactGetItemsInputTransform(Config config, TransactGetItemsInputTransformInput input)
static Wrappers_Compile.Result<TransactGetItemsOutputTransformOutput,Error>	TransactGetItemsOutputTransform(Config config, TransactGetItemsOutputTransformInput input)
static Wrappers_Compile.Result<TransactWriteItemsInputTransformOutput,Error>	TransactWriteItemsInputTransform(Config config, TransactWriteItemsInputTransformInput input)
static Wrappers_Compile.Result<TransactWriteItemsOutputTransformOutput,Error>	TransactWriteItemsOutputTransform(Config config, TransactWriteItemsOutputTransformInput input)
static Wrappers_Compile.Result<UpdateItemInputTransformOutput,Error>	UpdateItemInputTransform(Config config, UpdateItemInputTransformInput input)
static Wrappers_Compile.Result<UpdateItemOutputTransformOutput,Error>	UpdateItemOutputTransform(Config config, UpdateItemOutputTransformInput input)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

PutItemInputTransform

public static Wrappers_Compile.Result<PutItemInputTransformOutput,Error> PutItemInputTransform(Config config,
                                                                                               PutItemInputTransformInput input)

PutItemOutputTransform

public static Wrappers_Compile.Result<PutItemOutputTransformOutput,Error> PutItemOutputTransform(Config config,
                                                                                                 PutItemOutputTransformInput input)

GetItemInputTransform

public static Wrappers_Compile.Result<GetItemInputTransformOutput,Error> GetItemInputTransform(Config config,
                                                                                               GetItemInputTransformInput input)

GetItemOutputTransform

public static Wrappers_Compile.Result<GetItemOutputTransformOutput,Error> GetItemOutputTransform(Config config,
                                                                                                 GetItemOutputTransformInput input)

UpdateItemInputTransform

public static Wrappers_Compile.Result<UpdateItemInputTransformOutput,Error> UpdateItemInputTransform(Config config,
                                                                                                     UpdateItemInputTransformInput input)

UpdateItemOutputTransform

public static Wrappers_Compile.Result<UpdateItemOutputTransformOutput,Error> UpdateItemOutputTransform(Config config,
                                                                                                       UpdateItemOutputTransformInput input)

BatchWriteItemInputTransform

public static Wrappers_Compile.Result<BatchWriteItemInputTransformOutput,Error> BatchWriteItemInputTransform(Config config,
                                                                                                             BatchWriteItemInputTransformInput input)

BatchWriteItemOutputTransform

public static Wrappers_Compile.Result<BatchWriteItemOutputTransformOutput,Error> BatchWriteItemOutputTransform(Config config,
                                                                                                               BatchWriteItemOutputTransformInput input)

TransactWriteItemsInputTransform

public static Wrappers_Compile.Result<TransactWriteItemsInputTransformOutput,Error> TransactWriteItemsInputTransform(Config config,
                                                                                                                     TransactWriteItemsInputTransformInput input)

TransactWriteItemsOutputTransform

public static Wrappers_Compile.Result<TransactWriteItemsOutputTransformOutput,Error> TransactWriteItemsOutputTransform(Config config,
                                                                                                                       TransactWriteItemsOutputTransformInput input)

BatchGetItemInputTransform

public static Wrappers_Compile.Result<BatchGetItemInputTransformOutput,Error> BatchGetItemInputTransform(Config config,
                                                                                                         BatchGetItemInputTransformInput input)

BatchGetItemOutputTransform

public static Wrappers_Compile.Result<BatchGetItemOutputTransformOutput,Error> BatchGetItemOutputTransform(Config config,
                                                                                                           BatchGetItemOutputTransformInput input)

ScanInputTransform

public static Wrappers_Compile.Result<ScanInputTransformOutput,Error> ScanInputTransform(Config config,
                                                                                         ScanInputTransformInput input)

ScanOutputTransform

public static Wrappers_Compile.Result<ScanOutputTransformOutput,Error> ScanOutputTransform(Config config,
                                                                                           ScanOutputTransformInput input)

QueryInputTransform

public static Wrappers_Compile.Result<QueryInputTransformOutput,Error> QueryInputTransform(Config config,
                                                                                           QueryInputTransformInput input)

QueryOutputTransform

public static Wrappers_Compile.Result<QueryOutputTransformOutput,Error> QueryOutputTransform(Config config,
                                                                                             QueryOutputTransformInput input)

TransactGetItemsInputTransform

public static Wrappers_Compile.Result<TransactGetItemsInputTransformOutput,Error> TransactGetItemsInputTransform(Config config,
                                                                                                                 TransactGetItemsInputTransformInput input)

TransactGetItemsOutputTransform

public static Wrappers_Compile.Result<TransactGetItemsOutputTransformOutput,Error> TransactGetItemsOutputTransform(Config config,
                                                                                                                   TransactGetItemsOutputTransformInput input)

DeleteItemInputTransform

public static Wrappers_Compile.Result<DeleteItemInputTransformOutput,Error> DeleteItemInputTransform(Config config,
                                                                                                     DeleteItemInputTransformInput input)

DeleteItemOutputTransform

public static Wrappers_Compile.Result<DeleteItemOutputTransformOutput,Error> DeleteItemOutputTransform(Config config,
                                                                                                       DeleteItemOutputTransformInput input)

ExecuteStatementInputTransform

public static Wrappers_Compile.Result<ExecuteStatementInputTransformOutput,Error> ExecuteStatementInputTransform(Config config,
                                                                                                                 ExecuteStatementInputTransformInput input)

ExecuteStatementOutputTransform

public static Wrappers_Compile.Result<ExecuteStatementOutputTransformOutput,Error> ExecuteStatementOutputTransform(Config config,
                                                                                                                   ExecuteStatementOutputTransformInput input)

BatchExecuteStatementInputTransform

public static Wrappers_Compile.Result<BatchExecuteStatementInputTransformOutput,Error> BatchExecuteStatementInputTransform(Config config,
                                                                                                                           BatchExecuteStatementInputTransformInput input)

BatchExecuteStatementOutputTransform

public static Wrappers_Compile.Result<BatchExecuteStatementOutputTransformOutput,Error> BatchExecuteStatementOutputTransform(Config config,
                                                                                                                             BatchExecuteStatementOutputTransformInput input)

ExecuteTransactionInputTransform

public static Wrappers_Compile.Result<ExecuteTransactionInputTransformOutput,Error> ExecuteTransactionInputTransform(Config config,
                                                                                                                     ExecuteTransactionInputTransformInput input)

ExecuteTransactionOutputTransform

public static Wrappers_Compile.Result<ExecuteTransactionOutputTransformOutput,Error> ExecuteTransactionOutputTransform(Config config,
                                                                                                                       ExecuteTransactionOutputTransformInput input)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object