software.amazon.cryptography.dbencryptionsdk.dynamodb

Class ToNative

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.ToNative

public class ToNative
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToNative()

Method Summary

Modifier and Type	Method and Description
static java.util.Map<java.lang.String,CryptoAction>	AttributeActions(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> dafnyValue)
static BeaconKeySource	BeaconKeySource(BeaconKeySource dafnyValue)
static BeaconVersion	BeaconVersion(BeaconVersion dafnyValue)
static java.util.List<BeaconVersion>	BeaconVersionList(dafny.DafnySequence<? extends BeaconVersion> dafnyValue)
static CompoundBeacon	CompoundBeacon(CompoundBeacon dafnyValue)
static java.util.List<CompoundBeacon>	CompoundBeaconList(dafny.DafnySequence<? extends CompoundBeacon> dafnyValue)
static Constructor	Constructor(Constructor dafnyValue)
static java.util.List<Constructor>	ConstructorList(dafny.DafnySequence<? extends Constructor> dafnyValue)
static ConstructorPart	ConstructorPart(ConstructorPart dafnyValue)
static java.util.List<ConstructorPart>	ConstructorPartList(dafny.DafnySequence<? extends ConstructorPart> dafnyValue)
static CreateDynamoDbEncryptionBranchKeyIdSupplierInput	CreateDynamoDbEncryptionBranchKeyIdSupplierInput(CreateDynamoDbEncryptionBranchKeyIdSupplierInput dafnyValue)
static CreateDynamoDbEncryptionBranchKeyIdSupplierOutput	CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(CreateDynamoDbEncryptionBranchKeyIdSupplierOutput dafnyValue)
static DynamoDbEncryption	DynamoDbEncryption(IDynamoDbEncryptionClient dafnyValue)
static DynamoDbEncryptionConfig	DynamoDbEncryptionConfig(DynamoDbEncryptionConfig dafnyValue)
static IDynamoDbKeyBranchKeyIdSupplier	DynamoDbKeyBranchKeyIdSupplier(IDynamoDbKeyBranchKeyIdSupplier dafnyValue)
static DynamoDbTableEncryptionConfig	DynamoDbTableEncryptionConfig(DynamoDbTableEncryptionConfig dafnyValue)
static java.util.Map<java.lang.String,DynamoDbTableEncryptionConfig>	DynamoDbTableEncryptionConfigList(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends DynamoDbTableEncryptionConfig> dafnyValue)
static DynamoDbTablesEncryptionConfig	DynamoDbTablesEncryptionConfig(DynamoDbTablesEncryptionConfig dafnyValue)
static EncryptedPart	EncryptedPart(EncryptedPart dafnyValue)
static java.util.List<EncryptedPart>	EncryptedPartsList(dafny.DafnySequence<? extends EncryptedPart> dafnyValue)
static CollectionOfErrors	Error(Error_CollectionOfErrors dafnyValue)
static DynamoDbEncryptionException	Error(Error_DynamoDbEncryptionException dafnyValue)
static OpaqueError	Error(Error_Opaque dafnyValue)
static java.lang.RuntimeException	Error(Error dafnyValue)
static GetBranchKeyIdFromDdbKeyInput	GetBranchKeyIdFromDdbKeyInput(GetBranchKeyIdFromDdbKeyInput dafnyValue)
static GetBranchKeyIdFromDdbKeyOutput	GetBranchKeyIdFromDdbKeyOutput(GetBranchKeyIdFromDdbKeyOutput dafnyValue)
static GetPrefix	GetPrefix(GetPrefix dafnyValue)
static GetSegment	GetSegment(GetSegment dafnyValue)
static GetSegments	GetSegments(GetSegments dafnyValue)
static GetSubstring	GetSubstring(GetSubstring dafnyValue)
static GetSuffix	GetSuffix(GetSuffix dafnyValue)
static Insert	Insert(Insert dafnyValue)
static ILegacyDynamoDbEncryptor	LegacyDynamoDbEncryptor(ILegacyDynamoDbEncryptor dafnyValue)
static LegacyOverride	LegacyOverride(LegacyOverride dafnyValue)
static LegacyPolicy	LegacyPolicy(LegacyPolicy dafnyValue)
static Lower	Lower(Lower dafnyValue)
static MultiKeyStore	MultiKeyStore(MultiKeyStore dafnyValue)
static PlaintextOverride	PlaintextOverride(PlaintextOverride dafnyValue)
static SearchConfig	SearchConfig(SearchConfig dafnyValue)
static SignedPart	SignedPart(SignedPart dafnyValue)
static java.util.List<SignedPart>	SignedPartsList(dafny.DafnySequence<? extends SignedPart> dafnyValue)
static SingleKeyStore	SingleKeyStore(SingleKeyStore dafnyValue)
static StandardBeacon	StandardBeacon(StandardBeacon dafnyValue)
static java.util.List<StandardBeacon>	StandardBeaconList(dafny.DafnySequence<? extends StandardBeacon> dafnyValue)
static Upper	Upper(Upper dafnyValue)
static VirtualField	VirtualField(VirtualField dafnyValue)
static java.util.List<VirtualField>	VirtualFieldList(dafny.DafnySequence<? extends VirtualField> dafnyValue)
static VirtualPart	VirtualPart(VirtualPart dafnyValue)
static java.util.List<VirtualPart>	VirtualPartList(dafny.DafnySequence<? extends VirtualPart> dafnyValue)
static VirtualTransform	VirtualTransform(VirtualTransform dafnyValue)
static java.util.List<VirtualTransform>	VirtualTransformList(dafny.DafnySequence<? extends VirtualTransform> 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 CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue)

Error

public static DynamoDbEncryptionException Error(Error_DynamoDbEncryptionException dafnyValue)

Error

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

BeaconVersion

public static BeaconVersion BeaconVersion(BeaconVersion dafnyValue)

CompoundBeacon

public static CompoundBeacon CompoundBeacon(CompoundBeacon dafnyValue)

Constructor

public static Constructor Constructor(Constructor dafnyValue)

ConstructorPart

public static ConstructorPart ConstructorPart(ConstructorPart dafnyValue)

CreateDynamoDbEncryptionBranchKeyIdSupplierInput

public static CreateDynamoDbEncryptionBranchKeyIdSupplierInput CreateDynamoDbEncryptionBranchKeyIdSupplierInput(CreateDynamoDbEncryptionBranchKeyIdSupplierInput dafnyValue)

CreateDynamoDbEncryptionBranchKeyIdSupplierOutput

public static CreateDynamoDbEncryptionBranchKeyIdSupplierOutput CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(CreateDynamoDbEncryptionBranchKeyIdSupplierOutput dafnyValue)

DynamoDbEncryptionConfig

public static DynamoDbEncryptionConfig DynamoDbEncryptionConfig(DynamoDbEncryptionConfig dafnyValue)

DynamoDbTableEncryptionConfig

public static DynamoDbTableEncryptionConfig DynamoDbTableEncryptionConfig(DynamoDbTableEncryptionConfig dafnyValue)

DynamoDbTablesEncryptionConfig

public static DynamoDbTablesEncryptionConfig DynamoDbTablesEncryptionConfig(DynamoDbTablesEncryptionConfig dafnyValue)

EncryptedPart

public static EncryptedPart EncryptedPart(EncryptedPart dafnyValue)

GetBranchKeyIdFromDdbKeyInput

public static GetBranchKeyIdFromDdbKeyInput GetBranchKeyIdFromDdbKeyInput(GetBranchKeyIdFromDdbKeyInput dafnyValue)

GetBranchKeyIdFromDdbKeyOutput

public static GetBranchKeyIdFromDdbKeyOutput GetBranchKeyIdFromDdbKeyOutput(GetBranchKeyIdFromDdbKeyOutput dafnyValue)

GetPrefix

public static GetPrefix GetPrefix(GetPrefix dafnyValue)

GetSegment

public static GetSegment GetSegment(GetSegment dafnyValue)

GetSegments

public static GetSegments GetSegments(GetSegments dafnyValue)

GetSubstring

public static GetSubstring GetSubstring(GetSubstring dafnyValue)

GetSuffix

public static GetSuffix GetSuffix(GetSuffix dafnyValue)

Insert

public static Insert Insert(Insert dafnyValue)

LegacyOverride

public static LegacyOverride LegacyOverride(LegacyOverride dafnyValue)

Lower

public static Lower Lower(Lower dafnyValue)

MultiKeyStore

public static MultiKeyStore MultiKeyStore(MultiKeyStore dafnyValue)

SearchConfig

public static SearchConfig SearchConfig(SearchConfig dafnyValue)

SignedPart

public static SignedPart SignedPart(SignedPart dafnyValue)

SingleKeyStore

public static SingleKeyStore SingleKeyStore(SingleKeyStore dafnyValue)

StandardBeacon

public static StandardBeacon StandardBeacon(StandardBeacon dafnyValue)

Upper

public static Upper Upper(Upper dafnyValue)

VirtualField

public static VirtualField VirtualField(VirtualField dafnyValue)

VirtualPart

public static VirtualPart VirtualPart(VirtualPart dafnyValue)

LegacyPolicy

public static LegacyPolicy LegacyPolicy(LegacyPolicy dafnyValue)

PlaintextOverride

public static PlaintextOverride PlaintextOverride(PlaintextOverride dafnyValue)

BeaconKeySource

public static BeaconKeySource BeaconKeySource(BeaconKeySource dafnyValue)

VirtualTransform

public static VirtualTransform VirtualTransform(VirtualTransform dafnyValue)

BeaconVersionList

public static java.util.List<BeaconVersion> BeaconVersionList(dafny.DafnySequence<? extends BeaconVersion> dafnyValue)

CompoundBeaconList

public static java.util.List<CompoundBeacon> CompoundBeaconList(dafny.DafnySequence<? extends CompoundBeacon> dafnyValue)

ConstructorList

public static java.util.List<Constructor> ConstructorList(dafny.DafnySequence<? extends Constructor> dafnyValue)

ConstructorPartList

public static java.util.List<ConstructorPart> ConstructorPartList(dafny.DafnySequence<? extends ConstructorPart> dafnyValue)

EncryptedPartsList

public static java.util.List<EncryptedPart> EncryptedPartsList(dafny.DafnySequence<? extends EncryptedPart> dafnyValue)

SignedPartsList

public static java.util.List<SignedPart> SignedPartsList(dafny.DafnySequence<? extends SignedPart> dafnyValue)

StandardBeaconList

public static java.util.List<StandardBeacon> StandardBeaconList(dafny.DafnySequence<? extends StandardBeacon> dafnyValue)

VirtualFieldList

public static java.util.List<VirtualField> VirtualFieldList(dafny.DafnySequence<? extends VirtualField> dafnyValue)

VirtualPartList

public static java.util.List<VirtualPart> VirtualPartList(dafny.DafnySequence<? extends VirtualPart> dafnyValue)

VirtualTransformList

public static java.util.List<VirtualTransform> VirtualTransformList(dafny.DafnySequence<? extends VirtualTransform> dafnyValue)

AttributeActions

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

DynamoDbTableEncryptionConfigList

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

DynamoDbKeyBranchKeyIdSupplier

public static IDynamoDbKeyBranchKeyIdSupplier DynamoDbKeyBranchKeyIdSupplier(IDynamoDbKeyBranchKeyIdSupplier dafnyValue)

LegacyDynamoDbEncryptor

public static ILegacyDynamoDbEncryptor LegacyDynamoDbEncryptor(ILegacyDynamoDbEncryptor dafnyValue)

DynamoDbEncryption

public static DynamoDbEncryption DynamoDbEncryption(IDynamoDbEncryptionClient dafnyValue)