software.amazon.cryptography.dbencryptionsdk.dynamodb

Class ToDafny

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.ToDafny

public class ToDafny
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToDafny()

Method Summary

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

BeaconVersion

public static BeaconVersion BeaconVersion(BeaconVersion nativeValue)

CompoundBeacon

public static CompoundBeacon CompoundBeacon(CompoundBeacon nativeValue)

Constructor

public static Constructor Constructor(Constructor nativeValue)

ConstructorPart

public static ConstructorPart ConstructorPart(ConstructorPart nativeValue)

CreateDynamoDbEncryptionBranchKeyIdSupplierInput

public static CreateDynamoDbEncryptionBranchKeyIdSupplierInput CreateDynamoDbEncryptionBranchKeyIdSupplierInput(CreateDynamoDbEncryptionBranchKeyIdSupplierInput nativeValue)

CreateDynamoDbEncryptionBranchKeyIdSupplierOutput

public static CreateDynamoDbEncryptionBranchKeyIdSupplierOutput CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(CreateDynamoDbEncryptionBranchKeyIdSupplierOutput nativeValue)

DynamoDbEncryptionConfig

public static DynamoDbEncryptionConfig DynamoDbEncryptionConfig(DynamoDbEncryptionConfig nativeValue)

DynamoDbTableEncryptionConfig

public static DynamoDbTableEncryptionConfig DynamoDbTableEncryptionConfig(DynamoDbTableEncryptionConfig nativeValue)

DynamoDbTablesEncryptionConfig

public static DynamoDbTablesEncryptionConfig DynamoDbTablesEncryptionConfig(DynamoDbTablesEncryptionConfig nativeValue)

EncryptedPart

public static EncryptedPart EncryptedPart(EncryptedPart nativeValue)

GetBranchKeyIdFromDdbKeyInput

public static GetBranchKeyIdFromDdbKeyInput GetBranchKeyIdFromDdbKeyInput(GetBranchKeyIdFromDdbKeyInput nativeValue)

GetBranchKeyIdFromDdbKeyOutput

public static GetBranchKeyIdFromDdbKeyOutput GetBranchKeyIdFromDdbKeyOutput(GetBranchKeyIdFromDdbKeyOutput nativeValue)

GetPrefix

public static GetPrefix GetPrefix(GetPrefix nativeValue)

GetSegment

public static GetSegment GetSegment(GetSegment nativeValue)

GetSegments

public static GetSegments GetSegments(GetSegments nativeValue)

GetSubstring

public static GetSubstring GetSubstring(GetSubstring nativeValue)

GetSuffix

public static GetSuffix GetSuffix(GetSuffix nativeValue)

Insert

public static Insert Insert(Insert nativeValue)

LegacyOverride

public static LegacyOverride LegacyOverride(LegacyOverride nativeValue)

Lower

public static Lower Lower(Lower nativeValue)

MultiKeyStore

public static MultiKeyStore MultiKeyStore(MultiKeyStore nativeValue)

SearchConfig

public static SearchConfig SearchConfig(SearchConfig nativeValue)

SignedPart

public static SignedPart SignedPart(SignedPart nativeValue)

SingleKeyStore

public static SingleKeyStore SingleKeyStore(SingleKeyStore nativeValue)

StandardBeacon

public static StandardBeacon StandardBeacon(StandardBeacon nativeValue)

Upper

public static Upper Upper(Upper nativeValue)

VirtualField

public static VirtualField VirtualField(VirtualField nativeValue)

VirtualPart

public static VirtualPart VirtualPart(VirtualPart nativeValue)

Error

public static Error Error(DynamoDbEncryptionException nativeValue)

LegacyPolicy

public static LegacyPolicy LegacyPolicy(LegacyPolicy nativeValue)

PlaintextOverride

public static PlaintextOverride PlaintextOverride(PlaintextOverride nativeValue)

BeaconKeySource

public static BeaconKeySource BeaconKeySource(BeaconKeySource nativeValue)

VirtualTransform

public static VirtualTransform VirtualTransform(VirtualTransform nativeValue)

BeaconVersionList

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

CompoundBeaconList

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

ConstructorList

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

ConstructorPartList

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

EncryptedPartsList

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

SignedPartsList

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

StandardBeaconList

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

VirtualFieldList

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

VirtualPartList

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

VirtualTransformList

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

AttributeActions

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

DynamoDbTableEncryptionConfigList

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

DynamoDbKeyBranchKeyIdSupplier

public static IDynamoDbKeyBranchKeyIdSupplier DynamoDbKeyBranchKeyIdSupplier(IDynamoDbKeyBranchKeyIdSupplier nativeValue)

LegacyDynamoDbEncryptor

public static ILegacyDynamoDbEncryptor LegacyDynamoDbEncryptor(ILegacyDynamoDbEncryptor nativeValue)

DynamoDbEncryption

public static IDynamoDbEncryptionClient DynamoDbEncryption(DynamoDbEncryption nativeValue)