software.amazon.cryptography.materialproviders

Class ToDafny

java.lang.Object

software.amazon.cryptography.materialproviders.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.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	AccountIdList(java.util.List<java.lang.String> nativeValue)
static AesWrappingAlg	AesWrappingAlg(AesWrappingAlg nativeValue)
static AlgorithmSuiteId	AlgorithmSuiteId(AlgorithmSuiteId nativeValue)
static AlgorithmSuiteInfo	AlgorithmSuiteInfo(AlgorithmSuiteInfo nativeValue)
static IAwsCryptographicMaterialProvidersClient	AwsCryptographicMaterialProviders(MaterialProviders nativeValue)
static IBranchKeyIdSupplier	BranchKeyIdSupplier(IBranchKeyIdSupplier nativeValue)
static CacheType	CacheType(CacheType nativeValue)
static IClientSupplier	ClientSupplier(IClientSupplier nativeValue)
static CommitmentPolicy	CommitmentPolicy(CommitmentPolicy nativeValue)
static CreateAwsKmsDiscoveryKeyringInput	CreateAwsKmsDiscoveryKeyringInput(CreateAwsKmsDiscoveryKeyringInput nativeValue)
static CreateAwsKmsDiscoveryMultiKeyringInput	CreateAwsKmsDiscoveryMultiKeyringInput(CreateAwsKmsDiscoveryMultiKeyringInput nativeValue)
static CreateAwsKmsHierarchicalKeyringInput	CreateAwsKmsHierarchicalKeyringInput(CreateAwsKmsHierarchicalKeyringInput nativeValue)
static CreateAwsKmsKeyringInput	CreateAwsKmsKeyringInput(CreateAwsKmsKeyringInput nativeValue)
static CreateAwsKmsMrkDiscoveryKeyringInput	CreateAwsKmsMrkDiscoveryKeyringInput(CreateAwsKmsMrkDiscoveryKeyringInput nativeValue)
static CreateAwsKmsMrkDiscoveryMultiKeyringInput	CreateAwsKmsMrkDiscoveryMultiKeyringInput(CreateAwsKmsMrkDiscoveryMultiKeyringInput nativeValue)
static CreateAwsKmsMrkKeyringInput	CreateAwsKmsMrkKeyringInput(CreateAwsKmsMrkKeyringInput nativeValue)
static CreateAwsKmsMrkMultiKeyringInput	CreateAwsKmsMrkMultiKeyringInput(CreateAwsKmsMrkMultiKeyringInput nativeValue)
static CreateAwsKmsMultiKeyringInput	CreateAwsKmsMultiKeyringInput(CreateAwsKmsMultiKeyringInput nativeValue)
static CreateAwsKmsRsaKeyringInput	CreateAwsKmsRsaKeyringInput(CreateAwsKmsRsaKeyringInput nativeValue)
static CreateCryptographicMaterialsCacheInput	CreateCryptographicMaterialsCacheInput(CreateCryptographicMaterialsCacheInput nativeValue)
static CreateDefaultClientSupplierInput	CreateDefaultClientSupplierInput(CreateDefaultClientSupplierInput nativeValue)
static CreateDefaultCryptographicMaterialsManagerInput	CreateDefaultCryptographicMaterialsManagerInput(CreateDefaultCryptographicMaterialsManagerInput nativeValue)
static CreateMultiKeyringInput	CreateMultiKeyringInput(CreateMultiKeyringInput nativeValue)
static CreateRawAesKeyringInput	CreateRawAesKeyringInput(CreateRawAesKeyringInput nativeValue)
static CreateRawRsaKeyringInput	CreateRawRsaKeyringInput(CreateRawRsaKeyringInput nativeValue)
static CreateRequiredEncryptionContextCMMInput	CreateRequiredEncryptionContextCMMInput(CreateRequiredEncryptionContextCMMInput nativeValue)
static ICryptographicMaterialsCache	CryptographicMaterialsCache(ICryptographicMaterialsCache nativeValue)
static ICryptographicMaterialsManager	CryptographicMaterialsManager(ICryptographicMaterialsManager nativeValue)
static DBEAlgorithmSuiteId	DBEAlgorithmSuiteId(DBEAlgorithmSuiteId nativeValue)
static DBECommitmentPolicy	DBECommitmentPolicy(DBECommitmentPolicy nativeValue)
static DecryptionMaterials	DecryptionMaterials(DecryptionMaterials nativeValue)
static DecryptMaterialsInput	DecryptMaterialsInput(DecryptMaterialsInput nativeValue)
static DecryptMaterialsOutput	DecryptMaterialsOutput(DecryptMaterialsOutput nativeValue)
static DefaultCache	DefaultCache(DefaultCache nativeValue)
static DeleteCacheEntryInput	DeleteCacheEntryInput(DeleteCacheEntryInput nativeValue)
static DerivationAlgorithm	DerivationAlgorithm(DerivationAlgorithm nativeValue)
static DIRECT__KEY__WRAPPING	DIRECT_KEY_WRAPPING(DIRECT_KEY_WRAPPING nativeValue)
static DiscoveryFilter	DiscoveryFilter(DiscoveryFilter nativeValue)
static ECDSA	ECDSA(ECDSA nativeValue)
static EdkWrappingAlgorithm	EdkWrappingAlgorithm(EdkWrappingAlgorithm nativeValue)
static Encrypt	Encrypt(Encrypt nativeValue)
static EncryptedDataKey	EncryptedDataKey(EncryptedDataKey nativeValue)
static dafny.DafnySequence<? extends EncryptedDataKey>	EncryptedDataKeyList(java.util.List<EncryptedDataKey> nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	EncryptionContext(java.util.Map<java.lang.String,java.lang.String> nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	EncryptionContextKeys(java.util.List<java.lang.String> nativeValue)
static EncryptionMaterials	EncryptionMaterials(EncryptionMaterials nativeValue)
static Error	Error(AwsCryptographicMaterialProvidersException nativeValue)
static Error	Error(CollectionOfErrors nativeValue)
static Error	Error(EntryAlreadyExists nativeValue)
static Error	Error(EntryDoesNotExist nativeValue)
static Error	Error(InvalidAlgorithmSuiteInfo nativeValue)
static Error	Error(InvalidAlgorithmSuiteInfoOnDecrypt nativeValue)
static Error	Error(InvalidAlgorithmSuiteInfoOnEncrypt nativeValue)
static Error	Error(InvalidDecryptionMaterials nativeValue)
static Error	Error(InvalidDecryptionMaterialsTransition nativeValue)
static Error	Error(InvalidEncryptionMaterials nativeValue)
static Error	Error(InvalidEncryptionMaterialsTransition nativeValue)
static Error	Error(OpaqueError nativeValue)
static Error	Error(java.lang.RuntimeException nativeValue)
static ESDKAlgorithmSuiteId	ESDKAlgorithmSuiteId(ESDKAlgorithmSuiteId nativeValue)
static ESDKCommitmentPolicy	ESDKCommitmentPolicy(ESDKCommitmentPolicy nativeValue)
static dafny.DafnySequence<? extends java.lang.Byte>	GetAlgorithmSuiteInfoInput(java.nio.ByteBuffer nativeValue)
static GetBranchKeyIdInput	GetBranchKeyIdInput(GetBranchKeyIdInput nativeValue)
static GetBranchKeyIdOutput	GetBranchKeyIdOutput(GetBranchKeyIdOutput nativeValue)
static GetCacheEntryInput	GetCacheEntryInput(GetCacheEntryInput nativeValue)
static GetCacheEntryOutput	GetCacheEntryOutput(GetCacheEntryOutput nativeValue)
static GetClientInput	GetClientInput(GetClientInput nativeValue)
static GetEncryptionMaterialsInput	GetEncryptionMaterialsInput(GetEncryptionMaterialsInput nativeValue)
static GetEncryptionMaterialsOutput	GetEncryptionMaterialsOutput(GetEncryptionMaterialsOutput nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	GrantTokenList(java.util.List<java.lang.String> nativeValue)
static HKDF	HKDF(HKDF nativeValue)
static IDENTITY	IDENTITY(IDENTITY nativeValue)
static InitializeDecryptionMaterialsInput	InitializeDecryptionMaterialsInput(InitializeDecryptionMaterialsInput nativeValue)
static InitializeEncryptionMaterialsInput	InitializeEncryptionMaterialsInput(InitializeEncryptionMaterialsInput nativeValue)
static IntermediateKeyWrapping	IntermediateKeyWrapping(IntermediateKeyWrapping nativeValue)
static IKeyring	Keyring(IKeyring nativeValue)
static dafny.DafnySequence<? extends IKeyring>	KeyringList(java.util.List<IKeyring> nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	KmsKeyIdList(java.util.List<java.lang.String> nativeValue)
static MaterialProvidersConfig	MaterialProvidersConfig(MaterialProvidersConfig nativeValue)
static Materials	Materials(Materials nativeValue)
static MultiThreadedCache	MultiThreadedCache(MultiThreadedCache nativeValue)
static NoCache	NoCache(NoCache nativeValue)
static None	None(None nativeValue)
static OnDecryptInput	OnDecryptInput(OnDecryptInput nativeValue)
static OnDecryptOutput	OnDecryptOutput(OnDecryptOutput nativeValue)
static OnEncryptInput	OnEncryptInput(OnEncryptInput nativeValue)
static OnEncryptOutput	OnEncryptOutput(OnEncryptOutput nativeValue)
static PaddingScheme	PaddingScheme(PaddingScheme nativeValue)
static PutCacheEntryInput	PutCacheEntryInput(PutCacheEntryInput nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	RegionList(java.util.List<java.lang.String> nativeValue)
static SignatureAlgorithm	SignatureAlgorithm(SignatureAlgorithm nativeValue)
static SingleThreadedCache	SingleThreadedCache(SingleThreadedCache nativeValue)
static StormTrackingCache	StormTrackingCache(StormTrackingCache nativeValue)
static SymmetricSignatureAlgorithm	SymmetricSignatureAlgorithm(SymmetricSignatureAlgorithm nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	SymmetricSigningKeyList(java.util.List<java.nio.ByteBuffer> nativeValue)
static UpdateUsageMetadataInput	UpdateUsageMetadataInput(UpdateUsageMetadataInput nativeValue)
static ValidateCommitmentPolicyOnDecryptInput	ValidateCommitmentPolicyOnDecryptInput(ValidateCommitmentPolicyOnDecryptInput nativeValue)
static ValidateCommitmentPolicyOnEncryptInput	ValidateCommitmentPolicyOnEncryptInput(ValidateCommitmentPolicyOnEncryptInput nativeValue)
static ValidDecryptionMaterialsTransitionInput	ValidDecryptionMaterialsTransitionInput(ValidDecryptionMaterialsTransitionInput nativeValue)
static ValidEncryptionMaterialsTransitionInput	ValidEncryptionMaterialsTransitionInput(ValidEncryptionMaterialsTransitionInput 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)

AlgorithmSuiteInfo

public static AlgorithmSuiteInfo AlgorithmSuiteInfo(AlgorithmSuiteInfo nativeValue)

CreateAwsKmsDiscoveryKeyringInput

public static CreateAwsKmsDiscoveryKeyringInput CreateAwsKmsDiscoveryKeyringInput(CreateAwsKmsDiscoveryKeyringInput nativeValue)

CreateAwsKmsDiscoveryMultiKeyringInput

public static CreateAwsKmsDiscoveryMultiKeyringInput CreateAwsKmsDiscoveryMultiKeyringInput(CreateAwsKmsDiscoveryMultiKeyringInput nativeValue)

CreateAwsKmsHierarchicalKeyringInput

public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyringInput(CreateAwsKmsHierarchicalKeyringInput nativeValue)

CreateAwsKmsKeyringInput

public static CreateAwsKmsKeyringInput CreateAwsKmsKeyringInput(CreateAwsKmsKeyringInput nativeValue)

CreateAwsKmsMrkDiscoveryKeyringInput

public static CreateAwsKmsMrkDiscoveryKeyringInput CreateAwsKmsMrkDiscoveryKeyringInput(CreateAwsKmsMrkDiscoveryKeyringInput nativeValue)

CreateAwsKmsMrkDiscoveryMultiKeyringInput

public static CreateAwsKmsMrkDiscoveryMultiKeyringInput CreateAwsKmsMrkDiscoveryMultiKeyringInput(CreateAwsKmsMrkDiscoveryMultiKeyringInput nativeValue)

CreateAwsKmsMrkKeyringInput

public static CreateAwsKmsMrkKeyringInput CreateAwsKmsMrkKeyringInput(CreateAwsKmsMrkKeyringInput nativeValue)

CreateAwsKmsMrkMultiKeyringInput

public static CreateAwsKmsMrkMultiKeyringInput CreateAwsKmsMrkMultiKeyringInput(CreateAwsKmsMrkMultiKeyringInput nativeValue)

CreateAwsKmsMultiKeyringInput

public static CreateAwsKmsMultiKeyringInput CreateAwsKmsMultiKeyringInput(CreateAwsKmsMultiKeyringInput nativeValue)

CreateAwsKmsRsaKeyringInput

public static CreateAwsKmsRsaKeyringInput CreateAwsKmsRsaKeyringInput(CreateAwsKmsRsaKeyringInput nativeValue)

CreateCryptographicMaterialsCacheInput

public static CreateCryptographicMaterialsCacheInput CreateCryptographicMaterialsCacheInput(CreateCryptographicMaterialsCacheInput nativeValue)

CreateDefaultClientSupplierInput

public static CreateDefaultClientSupplierInput CreateDefaultClientSupplierInput(CreateDefaultClientSupplierInput nativeValue)

CreateDefaultCryptographicMaterialsManagerInput

public static CreateDefaultCryptographicMaterialsManagerInput CreateDefaultCryptographicMaterialsManagerInput(CreateDefaultCryptographicMaterialsManagerInput nativeValue)

CreateMultiKeyringInput

public static CreateMultiKeyringInput CreateMultiKeyringInput(CreateMultiKeyringInput nativeValue)

CreateRawAesKeyringInput

public static CreateRawAesKeyringInput CreateRawAesKeyringInput(CreateRawAesKeyringInput nativeValue)

CreateRawRsaKeyringInput

public static CreateRawRsaKeyringInput CreateRawRsaKeyringInput(CreateRawRsaKeyringInput nativeValue)

CreateRequiredEncryptionContextCMMInput

public static CreateRequiredEncryptionContextCMMInput CreateRequiredEncryptionContextCMMInput(CreateRequiredEncryptionContextCMMInput nativeValue)

DecryptionMaterials

public static DecryptionMaterials DecryptionMaterials(DecryptionMaterials nativeValue)

DecryptMaterialsInput

public static DecryptMaterialsInput DecryptMaterialsInput(DecryptMaterialsInput nativeValue)

DecryptMaterialsOutput

public static DecryptMaterialsOutput DecryptMaterialsOutput(DecryptMaterialsOutput nativeValue)

DefaultCache

public static DefaultCache DefaultCache(DefaultCache nativeValue)

DeleteCacheEntryInput

public static DeleteCacheEntryInput DeleteCacheEntryInput(DeleteCacheEntryInput nativeValue)

DIRECT_KEY_WRAPPING

public static DIRECT__KEY__WRAPPING DIRECT_KEY_WRAPPING(DIRECT_KEY_WRAPPING nativeValue)

DiscoveryFilter

public static DiscoveryFilter DiscoveryFilter(DiscoveryFilter nativeValue)

ECDSA

public static ECDSA ECDSA(ECDSA nativeValue)

EncryptedDataKey

public static EncryptedDataKey EncryptedDataKey(EncryptedDataKey nativeValue)

EncryptionMaterials

public static EncryptionMaterials EncryptionMaterials(EncryptionMaterials nativeValue)

GetAlgorithmSuiteInfoInput

public static dafny.DafnySequence<? extends java.lang.Byte> GetAlgorithmSuiteInfoInput(java.nio.ByteBuffer nativeValue)

GetBranchKeyIdInput

public static GetBranchKeyIdInput GetBranchKeyIdInput(GetBranchKeyIdInput nativeValue)

GetBranchKeyIdOutput

public static GetBranchKeyIdOutput GetBranchKeyIdOutput(GetBranchKeyIdOutput nativeValue)

GetCacheEntryInput

public static GetCacheEntryInput GetCacheEntryInput(GetCacheEntryInput nativeValue)

GetCacheEntryOutput

public static GetCacheEntryOutput GetCacheEntryOutput(GetCacheEntryOutput nativeValue)

GetClientInput

public static GetClientInput GetClientInput(GetClientInput nativeValue)

GetEncryptionMaterialsInput

public static GetEncryptionMaterialsInput GetEncryptionMaterialsInput(GetEncryptionMaterialsInput nativeValue)

GetEncryptionMaterialsOutput

public static GetEncryptionMaterialsOutput GetEncryptionMaterialsOutput(GetEncryptionMaterialsOutput nativeValue)

HKDF

public static HKDF HKDF(HKDF nativeValue)

IDENTITY

public static IDENTITY IDENTITY(IDENTITY nativeValue)

InitializeDecryptionMaterialsInput

public static InitializeDecryptionMaterialsInput InitializeDecryptionMaterialsInput(InitializeDecryptionMaterialsInput nativeValue)

InitializeEncryptionMaterialsInput

public static InitializeEncryptionMaterialsInput InitializeEncryptionMaterialsInput(InitializeEncryptionMaterialsInput nativeValue)

IntermediateKeyWrapping

public static IntermediateKeyWrapping IntermediateKeyWrapping(IntermediateKeyWrapping nativeValue)

MaterialProvidersConfig

public static MaterialProvidersConfig MaterialProvidersConfig(MaterialProvidersConfig nativeValue)

MultiThreadedCache

public static MultiThreadedCache MultiThreadedCache(MultiThreadedCache nativeValue)

NoCache

public static NoCache NoCache(NoCache nativeValue)

None

public static None None(None nativeValue)

OnDecryptInput

public static OnDecryptInput OnDecryptInput(OnDecryptInput nativeValue)

OnDecryptOutput

public static OnDecryptOutput OnDecryptOutput(OnDecryptOutput nativeValue)

OnEncryptInput

public static OnEncryptInput OnEncryptInput(OnEncryptInput nativeValue)

OnEncryptOutput

public static OnEncryptOutput OnEncryptOutput(OnEncryptOutput nativeValue)

PutCacheEntryInput

public static PutCacheEntryInput PutCacheEntryInput(PutCacheEntryInput nativeValue)

SingleThreadedCache

public static SingleThreadedCache SingleThreadedCache(SingleThreadedCache nativeValue)

StormTrackingCache

public static StormTrackingCache StormTrackingCache(StormTrackingCache nativeValue)

UpdateUsageMetadataInput

public static UpdateUsageMetadataInput UpdateUsageMetadataInput(UpdateUsageMetadataInput nativeValue)

ValidateCommitmentPolicyOnDecryptInput

public static ValidateCommitmentPolicyOnDecryptInput ValidateCommitmentPolicyOnDecryptInput(ValidateCommitmentPolicyOnDecryptInput nativeValue)

ValidateCommitmentPolicyOnEncryptInput

public static ValidateCommitmentPolicyOnEncryptInput ValidateCommitmentPolicyOnEncryptInput(ValidateCommitmentPolicyOnEncryptInput nativeValue)

ValidDecryptionMaterialsTransitionInput

public static ValidDecryptionMaterialsTransitionInput ValidDecryptionMaterialsTransitionInput(ValidDecryptionMaterialsTransitionInput nativeValue)

ValidEncryptionMaterialsTransitionInput

public static ValidEncryptionMaterialsTransitionInput ValidEncryptionMaterialsTransitionInput(ValidEncryptionMaterialsTransitionInput nativeValue)

Error

public static Error Error(AwsCryptographicMaterialProvidersException nativeValue)

Error

public static Error Error(EntryAlreadyExists nativeValue)

Error

public static Error Error(EntryDoesNotExist nativeValue)

Error

public static Error Error(InvalidAlgorithmSuiteInfo nativeValue)

Error

public static Error Error(InvalidAlgorithmSuiteInfoOnDecrypt nativeValue)

Error

public static Error Error(InvalidAlgorithmSuiteInfoOnEncrypt nativeValue)

Error

public static Error Error(InvalidDecryptionMaterials nativeValue)

Error

public static Error Error(InvalidDecryptionMaterialsTransition nativeValue)

Error

public static Error Error(InvalidEncryptionMaterials nativeValue)

Error

public static Error Error(InvalidEncryptionMaterialsTransition nativeValue)

AesWrappingAlg

public static AesWrappingAlg AesWrappingAlg(AesWrappingAlg nativeValue)

DBEAlgorithmSuiteId

public static DBEAlgorithmSuiteId DBEAlgorithmSuiteId(DBEAlgorithmSuiteId nativeValue)

DBECommitmentPolicy

public static DBECommitmentPolicy DBECommitmentPolicy(DBECommitmentPolicy nativeValue)

ESDKAlgorithmSuiteId

public static ESDKAlgorithmSuiteId ESDKAlgorithmSuiteId(ESDKAlgorithmSuiteId nativeValue)

ESDKCommitmentPolicy

public static ESDKCommitmentPolicy ESDKCommitmentPolicy(ESDKCommitmentPolicy nativeValue)

PaddingScheme

public static PaddingScheme PaddingScheme(PaddingScheme nativeValue)

AlgorithmSuiteId

public static AlgorithmSuiteId AlgorithmSuiteId(AlgorithmSuiteId nativeValue)

CacheType

public static CacheType CacheType(CacheType nativeValue)

CommitmentPolicy

public static CommitmentPolicy CommitmentPolicy(CommitmentPolicy nativeValue)

DerivationAlgorithm

public static DerivationAlgorithm DerivationAlgorithm(DerivationAlgorithm nativeValue)

EdkWrappingAlgorithm

public static EdkWrappingAlgorithm EdkWrappingAlgorithm(EdkWrappingAlgorithm nativeValue)

Encrypt

public static Encrypt Encrypt(Encrypt nativeValue)

Materials

public static Materials Materials(Materials nativeValue)

SignatureAlgorithm

public static SignatureAlgorithm SignatureAlgorithm(SignatureAlgorithm nativeValue)

SymmetricSignatureAlgorithm

public static SymmetricSignatureAlgorithm SymmetricSignatureAlgorithm(SymmetricSignatureAlgorithm nativeValue)

AccountIdList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> AccountIdList(java.util.List<java.lang.String> nativeValue)

EncryptedDataKeyList

public static dafny.DafnySequence<? extends EncryptedDataKey> EncryptedDataKeyList(java.util.List<EncryptedDataKey> nativeValue)

EncryptionContextKeys

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> EncryptionContextKeys(java.util.List<java.lang.String> nativeValue)

GrantTokenList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> GrantTokenList(java.util.List<java.lang.String> nativeValue)

KeyringList

public static dafny.DafnySequence<? extends IKeyring> KeyringList(java.util.List<IKeyring> nativeValue)

KmsKeyIdList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> KmsKeyIdList(java.util.List<java.lang.String> nativeValue)

RegionList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> RegionList(java.util.List<java.lang.String> nativeValue)

SymmetricSigningKeyList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> SymmetricSigningKeyList(java.util.List<java.nio.ByteBuffer> nativeValue)

EncryptionContext

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> EncryptionContext(java.util.Map<java.lang.String,java.lang.String> nativeValue)

BranchKeyIdSupplier

public static IBranchKeyIdSupplier BranchKeyIdSupplier(IBranchKeyIdSupplier nativeValue)

ClientSupplier

public static IClientSupplier ClientSupplier(IClientSupplier nativeValue)

CryptographicMaterialsCache

public static ICryptographicMaterialsCache CryptographicMaterialsCache(ICryptographicMaterialsCache nativeValue)

CryptographicMaterialsManager

public static ICryptographicMaterialsManager CryptographicMaterialsManager(ICryptographicMaterialsManager nativeValue)

Keyring

public static IKeyring Keyring(IKeyring nativeValue)

AwsCryptographicMaterialProviders

public static IAwsCryptographicMaterialProvidersClient AwsCryptographicMaterialProviders(MaterialProviders nativeValue)