software.amazon.cryptography.materialproviders

Class ToNative

java.lang.Object

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

Error

public static EntryAlreadyExists Error(Error_EntryAlreadyExists dafnyValue)

Error

public static EntryDoesNotExist Error(Error_EntryDoesNotExist dafnyValue)

Error

public static InvalidAlgorithmSuiteInfo Error(Error_InvalidAlgorithmSuiteInfo dafnyValue)

Error

public static InvalidAlgorithmSuiteInfoOnDecrypt Error(Error_InvalidAlgorithmSuiteInfoOnDecrypt dafnyValue)

Error

public static InvalidAlgorithmSuiteInfoOnEncrypt Error(Error_InvalidAlgorithmSuiteInfoOnEncrypt dafnyValue)

Error

public static InvalidDecryptionMaterials Error(Error_InvalidDecryptionMaterials dafnyValue)

Error

public static InvalidDecryptionMaterialsTransition Error(Error_InvalidDecryptionMaterialsTransition dafnyValue)

Error

public static InvalidEncryptionMaterials Error(Error_InvalidEncryptionMaterials dafnyValue)

Error

public static InvalidEncryptionMaterialsTransition Error(Error_InvalidEncryptionMaterialsTransition dafnyValue)

Error

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

AlgorithmSuiteInfo

public static AlgorithmSuiteInfo AlgorithmSuiteInfo(AlgorithmSuiteInfo dafnyValue)

CreateAwsKmsDiscoveryKeyringInput

public static CreateAwsKmsDiscoveryKeyringInput CreateAwsKmsDiscoveryKeyringInput(CreateAwsKmsDiscoveryKeyringInput dafnyValue)

CreateAwsKmsDiscoveryMultiKeyringInput

public static CreateAwsKmsDiscoveryMultiKeyringInput CreateAwsKmsDiscoveryMultiKeyringInput(CreateAwsKmsDiscoveryMultiKeyringInput dafnyValue)

CreateAwsKmsHierarchicalKeyringInput

public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyringInput(CreateAwsKmsHierarchicalKeyringInput dafnyValue)

CreateAwsKmsKeyringInput

public static CreateAwsKmsKeyringInput CreateAwsKmsKeyringInput(CreateAwsKmsKeyringInput dafnyValue)

CreateAwsKmsMrkDiscoveryKeyringInput

public static CreateAwsKmsMrkDiscoveryKeyringInput CreateAwsKmsMrkDiscoveryKeyringInput(CreateAwsKmsMrkDiscoveryKeyringInput dafnyValue)

CreateAwsKmsMrkDiscoveryMultiKeyringInput

public static CreateAwsKmsMrkDiscoveryMultiKeyringInput CreateAwsKmsMrkDiscoveryMultiKeyringInput(CreateAwsKmsMrkDiscoveryMultiKeyringInput dafnyValue)

CreateAwsKmsMrkKeyringInput

public static CreateAwsKmsMrkKeyringInput CreateAwsKmsMrkKeyringInput(CreateAwsKmsMrkKeyringInput dafnyValue)

CreateAwsKmsMrkMultiKeyringInput

public static CreateAwsKmsMrkMultiKeyringInput CreateAwsKmsMrkMultiKeyringInput(CreateAwsKmsMrkMultiKeyringInput dafnyValue)

CreateAwsKmsMultiKeyringInput

public static CreateAwsKmsMultiKeyringInput CreateAwsKmsMultiKeyringInput(CreateAwsKmsMultiKeyringInput dafnyValue)

CreateAwsKmsRsaKeyringInput

public static CreateAwsKmsRsaKeyringInput CreateAwsKmsRsaKeyringInput(CreateAwsKmsRsaKeyringInput dafnyValue)

CreateCryptographicMaterialsCacheInput

public static CreateCryptographicMaterialsCacheInput CreateCryptographicMaterialsCacheInput(CreateCryptographicMaterialsCacheInput dafnyValue)

CreateDefaultClientSupplierInput

public static CreateDefaultClientSupplierInput CreateDefaultClientSupplierInput(CreateDefaultClientSupplierInput dafnyValue)

CreateDefaultCryptographicMaterialsManagerInput

public static CreateDefaultCryptographicMaterialsManagerInput CreateDefaultCryptographicMaterialsManagerInput(CreateDefaultCryptographicMaterialsManagerInput dafnyValue)

CreateMultiKeyringInput

public static CreateMultiKeyringInput CreateMultiKeyringInput(CreateMultiKeyringInput dafnyValue)

CreateRawAesKeyringInput

public static CreateRawAesKeyringInput CreateRawAesKeyringInput(CreateRawAesKeyringInput dafnyValue)

CreateRawRsaKeyringInput

public static CreateRawRsaKeyringInput CreateRawRsaKeyringInput(CreateRawRsaKeyringInput dafnyValue)

CreateRequiredEncryptionContextCMMInput

public static CreateRequiredEncryptionContextCMMInput CreateRequiredEncryptionContextCMMInput(CreateRequiredEncryptionContextCMMInput dafnyValue)

DecryptionMaterials

public static DecryptionMaterials DecryptionMaterials(DecryptionMaterials dafnyValue)

DecryptMaterialsInput

public static DecryptMaterialsInput DecryptMaterialsInput(DecryptMaterialsInput dafnyValue)

DecryptMaterialsOutput

public static DecryptMaterialsOutput DecryptMaterialsOutput(DecryptMaterialsOutput dafnyValue)

DefaultCache

public static DefaultCache DefaultCache(DefaultCache dafnyValue)

DeleteCacheEntryInput

public static DeleteCacheEntryInput DeleteCacheEntryInput(DeleteCacheEntryInput dafnyValue)

DIRECT_KEY_WRAPPING

public static DIRECT_KEY_WRAPPING DIRECT_KEY_WRAPPING(DIRECT__KEY__WRAPPING dafnyValue)

DiscoveryFilter

public static DiscoveryFilter DiscoveryFilter(DiscoveryFilter dafnyValue)

ECDSA

public static ECDSA ECDSA(ECDSA dafnyValue)

EncryptedDataKey

public static EncryptedDataKey EncryptedDataKey(EncryptedDataKey dafnyValue)

EncryptionMaterials

public static EncryptionMaterials EncryptionMaterials(EncryptionMaterials dafnyValue)

GetAlgorithmSuiteInfoInput

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

GetBranchKeyIdInput

public static GetBranchKeyIdInput GetBranchKeyIdInput(GetBranchKeyIdInput dafnyValue)

GetBranchKeyIdOutput

public static GetBranchKeyIdOutput GetBranchKeyIdOutput(GetBranchKeyIdOutput dafnyValue)

GetCacheEntryInput

public static GetCacheEntryInput GetCacheEntryInput(GetCacheEntryInput dafnyValue)

GetCacheEntryOutput

public static GetCacheEntryOutput GetCacheEntryOutput(GetCacheEntryOutput dafnyValue)

GetClientInput

public static GetClientInput GetClientInput(GetClientInput dafnyValue)

GetEncryptionMaterialsInput

public static GetEncryptionMaterialsInput GetEncryptionMaterialsInput(GetEncryptionMaterialsInput dafnyValue)

GetEncryptionMaterialsOutput

public static GetEncryptionMaterialsOutput GetEncryptionMaterialsOutput(GetEncryptionMaterialsOutput dafnyValue)

HKDF

public static HKDF HKDF(HKDF dafnyValue)

IDENTITY

public static IDENTITY IDENTITY(IDENTITY dafnyValue)

InitializeDecryptionMaterialsInput

public static InitializeDecryptionMaterialsInput InitializeDecryptionMaterialsInput(InitializeDecryptionMaterialsInput dafnyValue)

InitializeEncryptionMaterialsInput

public static InitializeEncryptionMaterialsInput InitializeEncryptionMaterialsInput(InitializeEncryptionMaterialsInput dafnyValue)

IntermediateKeyWrapping

public static IntermediateKeyWrapping IntermediateKeyWrapping(IntermediateKeyWrapping dafnyValue)

MaterialProvidersConfig

public static MaterialProvidersConfig MaterialProvidersConfig(MaterialProvidersConfig dafnyValue)

MultiThreadedCache

public static MultiThreadedCache MultiThreadedCache(MultiThreadedCache dafnyValue)

NoCache

public static NoCache NoCache(NoCache dafnyValue)

None

public static None None(None dafnyValue)

OnDecryptInput

public static OnDecryptInput OnDecryptInput(OnDecryptInput dafnyValue)

OnDecryptOutput

public static OnDecryptOutput OnDecryptOutput(OnDecryptOutput dafnyValue)

OnEncryptInput

public static OnEncryptInput OnEncryptInput(OnEncryptInput dafnyValue)

OnEncryptOutput

public static OnEncryptOutput OnEncryptOutput(OnEncryptOutput dafnyValue)

PutCacheEntryInput

public static PutCacheEntryInput PutCacheEntryInput(PutCacheEntryInput dafnyValue)

SingleThreadedCache

public static SingleThreadedCache SingleThreadedCache(SingleThreadedCache dafnyValue)

StormTrackingCache

public static StormTrackingCache StormTrackingCache(StormTrackingCache dafnyValue)

UpdateUsageMetadataInput

public static UpdateUsageMetadataInput UpdateUsageMetadataInput(UpdateUsageMetadataInput dafnyValue)

ValidateCommitmentPolicyOnDecryptInput

public static ValidateCommitmentPolicyOnDecryptInput ValidateCommitmentPolicyOnDecryptInput(ValidateCommitmentPolicyOnDecryptInput dafnyValue)

ValidateCommitmentPolicyOnEncryptInput

public static ValidateCommitmentPolicyOnEncryptInput ValidateCommitmentPolicyOnEncryptInput(ValidateCommitmentPolicyOnEncryptInput dafnyValue)

ValidDecryptionMaterialsTransitionInput

public static ValidDecryptionMaterialsTransitionInput ValidDecryptionMaterialsTransitionInput(ValidDecryptionMaterialsTransitionInput dafnyValue)

ValidEncryptionMaterialsTransitionInput

public static ValidEncryptionMaterialsTransitionInput ValidEncryptionMaterialsTransitionInput(ValidEncryptionMaterialsTransitionInput dafnyValue)

AesWrappingAlg

public static AesWrappingAlg AesWrappingAlg(AesWrappingAlg dafnyValue)

DBEAlgorithmSuiteId

public static DBEAlgorithmSuiteId DBEAlgorithmSuiteId(DBEAlgorithmSuiteId dafnyValue)

DBECommitmentPolicy

public static DBECommitmentPolicy DBECommitmentPolicy(DBECommitmentPolicy dafnyValue)

ESDKAlgorithmSuiteId

public static ESDKAlgorithmSuiteId ESDKAlgorithmSuiteId(ESDKAlgorithmSuiteId dafnyValue)

ESDKCommitmentPolicy

public static ESDKCommitmentPolicy ESDKCommitmentPolicy(ESDKCommitmentPolicy dafnyValue)

PaddingScheme

public static PaddingScheme PaddingScheme(PaddingScheme dafnyValue)

AlgorithmSuiteId

public static AlgorithmSuiteId AlgorithmSuiteId(AlgorithmSuiteId dafnyValue)

CacheType

public static CacheType CacheType(CacheType dafnyValue)

CommitmentPolicy

public static CommitmentPolicy CommitmentPolicy(CommitmentPolicy dafnyValue)

DerivationAlgorithm

public static DerivationAlgorithm DerivationAlgorithm(DerivationAlgorithm dafnyValue)

EdkWrappingAlgorithm

public static EdkWrappingAlgorithm EdkWrappingAlgorithm(EdkWrappingAlgorithm dafnyValue)

Encrypt

public static Encrypt Encrypt(Encrypt dafnyValue)

Materials

public static Materials Materials(Materials dafnyValue)

SignatureAlgorithm

public static SignatureAlgorithm SignatureAlgorithm(SignatureAlgorithm dafnyValue)

SymmetricSignatureAlgorithm

public static SymmetricSignatureAlgorithm SymmetricSignatureAlgorithm(SymmetricSignatureAlgorithm dafnyValue)

AccountIdList

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

EncryptedDataKeyList

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

EncryptionContextKeys

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

GrantTokenList

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

KeyringList

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

KmsKeyIdList

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

RegionList

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

SymmetricSigningKeyList

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

EncryptionContext

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

BranchKeyIdSupplier

public static IBranchKeyIdSupplier BranchKeyIdSupplier(IBranchKeyIdSupplier dafnyValue)

ClientSupplier

public static IClientSupplier ClientSupplier(IClientSupplier dafnyValue)

CryptographicMaterialsCache

public static ICryptographicMaterialsCache CryptographicMaterialsCache(ICryptographicMaterialsCache dafnyValue)

CryptographicMaterialsManager

public static ICryptographicMaterialsManager CryptographicMaterialsManager(ICryptographicMaterialsManager dafnyValue)

Keyring

public static IKeyring Keyring(IKeyring dafnyValue)

AwsCryptographicMaterialProviders

public static MaterialProviders AwsCryptographicMaterialProviders(IAwsCryptographicMaterialProvidersClient dafnyValue)