software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms

Class ToNative

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.ToNative

public class ToNative
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToNative()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ToNative

public ToNative()

Method Detail

Error

public static OpaqueError Error(Error_Opaque dafnyValue)

Error

public static OpaqueWithTextError Error(Error_OpaqueWithText dafnyValue)

Error

public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue)

Error

public static DynamoDbEncryptionTransformsException Error(Error_DynamoDbEncryptionTransformsException dafnyValue)

Error

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

BatchExecuteStatementInputTransformInput

public static BatchExecuteStatementInputTransformInput BatchExecuteStatementInputTransformInput(BatchExecuteStatementInputTransformInput dafnyValue)

BatchExecuteStatementInputTransformOutput

public static BatchExecuteStatementInputTransformOutput BatchExecuteStatementInputTransformOutput(BatchExecuteStatementInputTransformOutput dafnyValue)

BatchExecuteStatementOutputTransformInput

public static BatchExecuteStatementOutputTransformInput BatchExecuteStatementOutputTransformInput(BatchExecuteStatementOutputTransformInput dafnyValue)

BatchExecuteStatementOutputTransformOutput

public static BatchExecuteStatementOutputTransformOutput BatchExecuteStatementOutputTransformOutput(BatchExecuteStatementOutputTransformOutput dafnyValue)

BatchGetItemInputTransformInput

public static BatchGetItemInputTransformInput BatchGetItemInputTransformInput(BatchGetItemInputTransformInput dafnyValue)

BatchGetItemInputTransformOutput

public static BatchGetItemInputTransformOutput BatchGetItemInputTransformOutput(BatchGetItemInputTransformOutput dafnyValue)

BatchGetItemOutputTransformInput

public static BatchGetItemOutputTransformInput BatchGetItemOutputTransformInput(BatchGetItemOutputTransformInput dafnyValue)

BatchGetItemOutputTransformOutput

public static BatchGetItemOutputTransformOutput BatchGetItemOutputTransformOutput(BatchGetItemOutputTransformOutput dafnyValue)

BatchWriteItemInputTransformInput

public static BatchWriteItemInputTransformInput BatchWriteItemInputTransformInput(BatchWriteItemInputTransformInput dafnyValue)

BatchWriteItemInputTransformOutput

public static BatchWriteItemInputTransformOutput BatchWriteItemInputTransformOutput(BatchWriteItemInputTransformOutput dafnyValue)

BatchWriteItemOutputTransformInput

public static BatchWriteItemOutputTransformInput BatchWriteItemOutputTransformInput(BatchWriteItemOutputTransformInput dafnyValue)

BatchWriteItemOutputTransformOutput

public static BatchWriteItemOutputTransformOutput BatchWriteItemOutputTransformOutput(BatchWriteItemOutputTransformOutput dafnyValue)

DeleteItemInputTransformInput

public static DeleteItemInputTransformInput DeleteItemInputTransformInput(DeleteItemInputTransformInput dafnyValue)

DeleteItemInputTransformOutput

public static DeleteItemInputTransformOutput DeleteItemInputTransformOutput(DeleteItemInputTransformOutput dafnyValue)

DeleteItemOutputTransformInput

public static DeleteItemOutputTransformInput DeleteItemOutputTransformInput(DeleteItemOutputTransformInput dafnyValue)

DeleteItemOutputTransformOutput

public static DeleteItemOutputTransformOutput DeleteItemOutputTransformOutput(DeleteItemOutputTransformOutput dafnyValue)

ExecuteStatementInputTransformInput

public static ExecuteStatementInputTransformInput ExecuteStatementInputTransformInput(ExecuteStatementInputTransformInput dafnyValue)

ExecuteStatementInputTransformOutput

public static ExecuteStatementInputTransformOutput ExecuteStatementInputTransformOutput(ExecuteStatementInputTransformOutput dafnyValue)

ExecuteStatementOutputTransformInput

public static ExecuteStatementOutputTransformInput ExecuteStatementOutputTransformInput(ExecuteStatementOutputTransformInput dafnyValue)

ExecuteStatementOutputTransformOutput

public static ExecuteStatementOutputTransformOutput ExecuteStatementOutputTransformOutput(ExecuteStatementOutputTransformOutput dafnyValue)

ExecuteTransactionInputTransformInput

public static ExecuteTransactionInputTransformInput ExecuteTransactionInputTransformInput(ExecuteTransactionInputTransformInput dafnyValue)

ExecuteTransactionInputTransformOutput

public static ExecuteTransactionInputTransformOutput ExecuteTransactionInputTransformOutput(ExecuteTransactionInputTransformOutput dafnyValue)

ExecuteTransactionOutputTransformInput

public static ExecuteTransactionOutputTransformInput ExecuteTransactionOutputTransformInput(ExecuteTransactionOutputTransformInput dafnyValue)

ExecuteTransactionOutputTransformOutput

public static ExecuteTransactionOutputTransformOutput ExecuteTransactionOutputTransformOutput(ExecuteTransactionOutputTransformOutput dafnyValue)

GetItemInputTransformInput

public static GetItemInputTransformInput GetItemInputTransformInput(GetItemInputTransformInput dafnyValue)

GetItemInputTransformOutput

public static GetItemInputTransformOutput GetItemInputTransformOutput(GetItemInputTransformOutput dafnyValue)

GetItemOutputTransformInput

public static GetItemOutputTransformInput GetItemOutputTransformInput(GetItemOutputTransformInput dafnyValue)

GetItemOutputTransformOutput

public static GetItemOutputTransformOutput GetItemOutputTransformOutput(GetItemOutputTransformOutput dafnyValue)

PutItemInputTransformInput

public static PutItemInputTransformInput PutItemInputTransformInput(PutItemInputTransformInput dafnyValue)

PutItemInputTransformOutput

public static PutItemInputTransformOutput PutItemInputTransformOutput(PutItemInputTransformOutput dafnyValue)

PutItemOutputTransformInput

public static PutItemOutputTransformInput PutItemOutputTransformInput(PutItemOutputTransformInput dafnyValue)

PutItemOutputTransformOutput

public static PutItemOutputTransformOutput PutItemOutputTransformOutput(PutItemOutputTransformOutput dafnyValue)

QueryInputTransformInput

public static QueryInputTransformInput QueryInputTransformInput(QueryInputTransformInput dafnyValue)

QueryInputTransformOutput

public static QueryInputTransformOutput QueryInputTransformOutput(QueryInputTransformOutput dafnyValue)

QueryOutputTransformInput

public static QueryOutputTransformInput QueryOutputTransformInput(QueryOutputTransformInput dafnyValue)

QueryOutputTransformOutput

public static QueryOutputTransformOutput QueryOutputTransformOutput(QueryOutputTransformOutput dafnyValue)

ResolveAttributesInput

public static ResolveAttributesInput ResolveAttributesInput(ResolveAttributesInput dafnyValue)

ResolveAttributesOutput

public static ResolveAttributesOutput ResolveAttributesOutput(ResolveAttributesOutput dafnyValue)

ScanInputTransformInput

public static ScanInputTransformInput ScanInputTransformInput(ScanInputTransformInput dafnyValue)

ScanInputTransformOutput

public static ScanInputTransformOutput ScanInputTransformOutput(ScanInputTransformOutput dafnyValue)

ScanOutputTransformInput

public static ScanOutputTransformInput ScanOutputTransformInput(ScanOutputTransformInput dafnyValue)

ScanOutputTransformOutput

public static ScanOutputTransformOutput ScanOutputTransformOutput(ScanOutputTransformOutput dafnyValue)

TransactGetItemsInputTransformInput

public static TransactGetItemsInputTransformInput TransactGetItemsInputTransformInput(TransactGetItemsInputTransformInput dafnyValue)

TransactGetItemsInputTransformOutput

public static TransactGetItemsInputTransformOutput TransactGetItemsInputTransformOutput(TransactGetItemsInputTransformOutput dafnyValue)

TransactGetItemsOutputTransformInput

public static TransactGetItemsOutputTransformInput TransactGetItemsOutputTransformInput(TransactGetItemsOutputTransformInput dafnyValue)

TransactGetItemsOutputTransformOutput

public static TransactGetItemsOutputTransformOutput TransactGetItemsOutputTransformOutput(TransactGetItemsOutputTransformOutput dafnyValue)

TransactWriteItemsInputTransformInput

public static TransactWriteItemsInputTransformInput TransactWriteItemsInputTransformInput(TransactWriteItemsInputTransformInput dafnyValue)

TransactWriteItemsInputTransformOutput

public static TransactWriteItemsInputTransformOutput TransactWriteItemsInputTransformOutput(TransactWriteItemsInputTransformOutput dafnyValue)

TransactWriteItemsOutputTransformInput

public static TransactWriteItemsOutputTransformInput TransactWriteItemsOutputTransformInput(TransactWriteItemsOutputTransformInput dafnyValue)

TransactWriteItemsOutputTransformOutput

public static TransactWriteItemsOutputTransformOutput TransactWriteItemsOutputTransformOutput(TransactWriteItemsOutputTransformOutput dafnyValue)

UpdateItemInputTransformInput

public static UpdateItemInputTransformInput UpdateItemInputTransformInput(UpdateItemInputTransformInput dafnyValue)

UpdateItemInputTransformOutput

public static UpdateItemInputTransformOutput UpdateItemInputTransformOutput(UpdateItemInputTransformOutput dafnyValue)

UpdateItemOutputTransformInput

public static UpdateItemOutputTransformInput UpdateItemOutputTransformInput(UpdateItemOutputTransformInput dafnyValue)

UpdateItemOutputTransformOutput

public static UpdateItemOutputTransformOutput UpdateItemOutputTransformOutput(UpdateItemOutputTransformOutput dafnyValue)

StringMap

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

DynamoDbEncryptionTransforms

public static DynamoDbEncryptionTransforms DynamoDbEncryptionTransforms(IDynamoDbEncryptionTransformsClient dafnyValue)