AwsCryptographyMaterialProvidersTypes

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 52 Imported by: 18

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AesWrappingAlg_ = CompanionStruct_AesWrappingAlg_{}
View Source 
var Companion_AlgorithmSuiteId_ = CompanionStruct_AlgorithmSuiteId_{}
View Source 
var Companion_AlgorithmSuiteInfo_ = CompanionStruct_AlgorithmSuiteInfo_{}
View Source 
var Companion_CacheType_ = CompanionStruct_CacheType_{}
View Source 
var Companion_CommitmentPolicy_ = CompanionStruct_CommitmentPolicy_{}
View Source 
var Companion_CountingNumber_ = CompanionStruct_CountingNumber_{}
View Source 
var Companion_CreateAwsKmsDiscoveryKeyringInput_ = CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_{}
View Source 
var Companion_CreateAwsKmsDiscoveryMultiKeyringInput_ = CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_{}
View Source 
var Companion_CreateAwsKmsEcdhKeyringInput_ = CompanionStruct_CreateAwsKmsEcdhKeyringInput_{}
View Source 
var Companion_CreateAwsKmsHierarchicalKeyringInput_ = CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_{}
View Source 
var Companion_CreateAwsKmsKeyringInput_ = CompanionStruct_CreateAwsKmsKeyringInput_{}
View Source 
var Companion_CreateAwsKmsMrkDiscoveryKeyringInput_ = CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_{}
View Source 
var Companion_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ = CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_{}
View Source 
var Companion_CreateAwsKmsMrkKeyringInput_ = CompanionStruct_CreateAwsKmsMrkKeyringInput_{}
View Source 
var Companion_CreateAwsKmsMrkMultiKeyringInput_ = CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_{}
View Source 
var Companion_CreateAwsKmsMultiKeyringInput_ = CompanionStruct_CreateAwsKmsMultiKeyringInput_{}
View Source 
var Companion_CreateAwsKmsRsaKeyringInput_ = CompanionStruct_CreateAwsKmsRsaKeyringInput_{}
View Source 
var Companion_CreateCryptographicMaterialsCacheInput_ = CompanionStruct_CreateCryptographicMaterialsCacheInput_{}
View Source 
var Companion_CreateDefaultClientSupplierInput_ = CompanionStruct_CreateDefaultClientSupplierInput_{}
View Source 
var Companion_CreateDefaultCryptographicMaterialsManagerInput_ = CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_{}
View Source 
var Companion_CreateMultiKeyringInput_ = CompanionStruct_CreateMultiKeyringInput_{}
View Source 
var Companion_CreateRawAesKeyringInput_ = CompanionStruct_CreateRawAesKeyringInput_{}
View Source 
var Companion_CreateRawEcdhKeyringInput_ = CompanionStruct_CreateRawEcdhKeyringInput_{}
View Source 
var Companion_CreateRawRsaKeyringInput_ = CompanionStruct_CreateRawRsaKeyringInput_{}
View Source 
var Companion_CreateRequiredEncryptionContextCMMInput_ = CompanionStruct_CreateRequiredEncryptionContextCMMInput_{}
View Source 
var Companion_DBEAlgorithmSuiteId_ = CompanionStruct_DBEAlgorithmSuiteId_{}
View Source 
var Companion_DBECommitmentPolicy_ = CompanionStruct_DBECommitmentPolicy_{}
View Source 
var Companion_DIRECT__KEY__WRAPPING_ = CompanionStruct_DIRECT__KEY__WRAPPING_{}
View Source 
var Companion_DafnyCallEvent_ = CompanionStruct_DafnyCallEvent_{}
View Source 
var Companion_DecryptMaterialsInput_ = CompanionStruct_DecryptMaterialsInput_{}
View Source 
var Companion_DecryptMaterialsOutput_ = CompanionStruct_DecryptMaterialsOutput_{}
View Source 
var Companion_DecryptionMaterials_ = CompanionStruct_DecryptionMaterials_{}
View Source 
var Companion_DefaultCache_ = CompanionStruct_DefaultCache_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_DeleteCacheEntryInput_ = CompanionStruct_DeleteCacheEntryInput_{}
View Source 
var Companion_DerivationAlgorithm_ = CompanionStruct_DerivationAlgorithm_{}
View Source 
var Companion_DiscoveryFilter_ = CompanionStruct_DiscoveryFilter_{}
View Source 
var Companion_DummySubsetType_ = CompanionStruct_DummySubsetType_{}
View Source 
var Companion_ECDSA_ = CompanionStruct_ECDSA_{}
View Source 
var Companion_ESDKAlgorithmSuiteId_ = CompanionStruct_ESDKAlgorithmSuiteId_{}
View Source 
var Companion_ESDKCommitmentPolicy_ = CompanionStruct_ESDKCommitmentPolicy_{}
View Source 
var Companion_EdkWrappingAlgorithm_ = CompanionStruct_EdkWrappingAlgorithm_{}
View Source 
var Companion_Encrypt_ = CompanionStruct_Encrypt_{}
View Source 
var Companion_EncryptedDataKey_ = CompanionStruct_EncryptedDataKey_{}
View Source 
var Companion_EncryptionMaterials_ = CompanionStruct_EncryptionMaterials_{}
View Source 
var Companion_EphemeralPrivateKeyToStaticPublicKeyInput_ = CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_{}
View Source 
var Companion_Error_ = CompanionStruct_Error_{}
View Source 
var Companion_GetBranchKeyIdInput_ = CompanionStruct_GetBranchKeyIdInput_{}
View Source 
var Companion_GetBranchKeyIdOutput_ = CompanionStruct_GetBranchKeyIdOutput_{}
View Source 
var Companion_GetCacheEntryInput_ = CompanionStruct_GetCacheEntryInput_{}
View Source 
var Companion_GetCacheEntryOutput_ = CompanionStruct_GetCacheEntryOutput_{}
View Source 
var Companion_GetClientInput_ = CompanionStruct_GetClientInput_{}
View Source 
var Companion_GetEncryptionMaterialsInput_ = CompanionStruct_GetEncryptionMaterialsInput_{}
View Source 
var Companion_GetEncryptionMaterialsOutput_ = CompanionStruct_GetEncryptionMaterialsOutput_{}
View Source 
var Companion_HKDF_ = CompanionStruct_HKDF_{}
View Source 
var Companion_IAwsCryptographicMaterialProvidersClientCallHistory_ = CompanionStruct_IAwsCryptographicMaterialProvidersClientCallHistory_{}
View Source 
var Companion_IAwsCryptographicMaterialProvidersClient_ = CompanionStruct_IAwsCryptographicMaterialProvidersClient_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_IBranchKeyIdSupplierCallHistory_ = CompanionStruct_IBranchKeyIdSupplierCallHistory_{}
View Source 
var Companion_IBranchKeyIdSupplier_ = CompanionStruct_IBranchKeyIdSupplier_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_IClientSupplierCallHistory_ = CompanionStruct_IClientSupplierCallHistory_{}
View Source 
var Companion_IClientSupplier_ = CompanionStruct_IClientSupplier_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_ICryptographicMaterialsCacheCallHistory_ = CompanionStruct_ICryptographicMaterialsCacheCallHistory_{}
View Source 
var Companion_ICryptographicMaterialsCache_ = CompanionStruct_ICryptographicMaterialsCache_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_ICryptographicMaterialsManagerCallHistory_ = CompanionStruct_ICryptographicMaterialsManagerCallHistory_{}
View Source 
var Companion_ICryptographicMaterialsManager_ = CompanionStruct_ICryptographicMaterialsManager_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_IDENTITY_ = CompanionStruct_IDENTITY_{}
View Source 
var Companion_IKeyringCallHistory_ = CompanionStruct_IKeyringCallHistory_{}
View Source 
var Companion_IKeyring_ = CompanionStruct_IKeyring_{
	TraitID_: &_dafny.TraitID{},
}
View Source 
var Companion_InitializeDecryptionMaterialsInput_ = CompanionStruct_InitializeDecryptionMaterialsInput_{}
View Source 
var Companion_InitializeEncryptionMaterialsInput_ = CompanionStruct_InitializeEncryptionMaterialsInput_{}
View Source 
var Companion_IntermediateKeyWrapping_ = CompanionStruct_IntermediateKeyWrapping_{}
View Source 
var Companion_KeyAgreementScheme_ = CompanionStruct_KeyAgreementScheme_{}
View Source 
var Companion_KmsEcdhStaticConfigurations_ = CompanionStruct_KmsEcdhStaticConfigurations_{}
View Source 
var Companion_KmsPrivateKeyToStaticPublicKeyInput_ = CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_{}
View Source 
var Companion_KmsPublicKeyDiscoveryInput_ = CompanionStruct_KmsPublicKeyDiscoveryInput_{}
View Source 
var Companion_MaterialProvidersConfig_ = CompanionStruct_MaterialProvidersConfig_{}
View Source 
var Companion_Materials_ = CompanionStruct_Materials_{}
View Source 
var Companion_MultiThreadedCache_ = CompanionStruct_MultiThreadedCache_{}
View Source 
var Companion_NoCache_ = CompanionStruct_NoCache_{}
View Source 
var Companion_None_ = CompanionStruct_None_{}
View Source 
var Companion_OnDecryptInput_ = CompanionStruct_OnDecryptInput_{}
View Source 
var Companion_OnDecryptOutput_ = CompanionStruct_OnDecryptOutput_{}
View Source 
var Companion_OnEncryptInput_ = CompanionStruct_OnEncryptInput_{}
View Source 
var Companion_OnEncryptOutput_ = CompanionStruct_OnEncryptOutput_{}
View Source 
var Companion_OpaqueError_ = CompanionStruct_OpaqueError_{}
View Source 
var Companion_PaddingScheme_ = CompanionStruct_PaddingScheme_{}
View Source 
var Companion_PositiveInteger_ = CompanionStruct_PositiveInteger_{}
View Source 
var Companion_PositiveLong_ = CompanionStruct_PositiveLong_{}
View Source 
var Companion_PublicKeyDiscoveryInput_ = CompanionStruct_PublicKeyDiscoveryInput_{}
View Source 
var Companion_PutCacheEntryInput_ = CompanionStruct_PutCacheEntryInput_{}
View Source 
var Companion_RawEcdhStaticConfigurations_ = CompanionStruct_RawEcdhStaticConfigurations_{}
View Source 
var Companion_RawPrivateKeyToStaticPublicKeyInput_ = CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_{}
View Source 
var Companion_SignatureAlgorithm_ = CompanionStruct_SignatureAlgorithm_{}
View Source 
var Companion_SingleThreadedCache_ = CompanionStruct_SingleThreadedCache_{}
View Source 
var Companion_StaticConfigurations_ = CompanionStruct_StaticConfigurations_{}
View Source 
var Companion_StormTrackingCache_ = CompanionStruct_StormTrackingCache_{}
View Source 
var Companion_SymmetricSignatureAlgorithm_ = CompanionStruct_SymmetricSignatureAlgorithm_{}
View Source 
var Companion_TimeUnits_ = CompanionStruct_TimeUnits_{}
View Source 
var Companion_UpdateUsageMetadataInput_ = CompanionStruct_UpdateUsageMetadataInput_{}
View Source 
var Companion_ValidDecryptionMaterialsTransitionInput_ = CompanionStruct_ValidDecryptionMaterialsTransitionInput_{}
View Source 
var Companion_ValidEncryptionMaterialsTransitionInput_ = CompanionStruct_ValidEncryptionMaterialsTransitionInput_{}
View Source 
var Companion_ValidateCommitmentPolicyOnDecryptInput_ = CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_{}
View Source 
var Companion_ValidateCommitmentPolicyOnEncryptInput_ = CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_{}

Functions

func Type_AesWrappingAlg_ 

func Type_AesWrappingAlg_() _dafny.TypeDescriptor

func Type_AlgorithmSuiteId_ 

func Type_AlgorithmSuiteId_() _dafny.TypeDescriptor

func Type_AlgorithmSuiteInfo_ 

func Type_AlgorithmSuiteInfo_() _dafny.TypeDescriptor

func Type_CacheType_ 

func Type_CacheType_() _dafny.TypeDescriptor

func Type_CommitmentPolicy_ 

func Type_CommitmentPolicy_() _dafny.TypeDescriptor

func Type_CountingNumber_ 

func Type_CountingNumber_() _dafny.TypeDescriptor

func Type_CreateAwsKmsDiscoveryKeyringInput_ 

func Type_CreateAwsKmsDiscoveryKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsDiscoveryMultiKeyringInput_ 

func Type_CreateAwsKmsDiscoveryMultiKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsEcdhKeyringInput_ 

func Type_CreateAwsKmsEcdhKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsHierarchicalKeyringInput_ 

func Type_CreateAwsKmsHierarchicalKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsKeyringInput_ 

func Type_CreateAwsKmsKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsMrkDiscoveryKeyringInput_ 

func Type_CreateAwsKmsMrkDiscoveryKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ 

func Type_CreateAwsKmsMrkDiscoveryMultiKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsMrkKeyringInput_ 

func Type_CreateAwsKmsMrkKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsMrkMultiKeyringInput_ 

func Type_CreateAwsKmsMrkMultiKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsMultiKeyringInput_ 

func Type_CreateAwsKmsMultiKeyringInput_() _dafny.TypeDescriptor

func Type_CreateAwsKmsRsaKeyringInput_ 

func Type_CreateAwsKmsRsaKeyringInput_() _dafny.TypeDescriptor

func Type_CreateCryptographicMaterialsCacheInput_ 

func Type_CreateCryptographicMaterialsCacheInput_() _dafny.TypeDescriptor

func Type_CreateDefaultClientSupplierInput_ 

func Type_CreateDefaultClientSupplierInput_() _dafny.TypeDescriptor

func Type_CreateDefaultCryptographicMaterialsManagerInput_ 

func Type_CreateDefaultCryptographicMaterialsManagerInput_() _dafny.TypeDescriptor

func Type_CreateMultiKeyringInput_ 

func Type_CreateMultiKeyringInput_() _dafny.TypeDescriptor

func Type_CreateRawAesKeyringInput_ 

func Type_CreateRawAesKeyringInput_() _dafny.TypeDescriptor

func Type_CreateRawEcdhKeyringInput_ 

func Type_CreateRawEcdhKeyringInput_() _dafny.TypeDescriptor

func Type_CreateRawRsaKeyringInput_ 

func Type_CreateRawRsaKeyringInput_() _dafny.TypeDescriptor

func Type_CreateRequiredEncryptionContextCMMInput_ 

func Type_CreateRequiredEncryptionContextCMMInput_() _dafny.TypeDescriptor

func Type_DBEAlgorithmSuiteId_ 

func Type_DBEAlgorithmSuiteId_() _dafny.TypeDescriptor

func Type_DBECommitmentPolicy_ 

func Type_DBECommitmentPolicy_() _dafny.TypeDescriptor

func Type_DIRECT__KEY__WRAPPING_ 

func Type_DIRECT__KEY__WRAPPING_() _dafny.TypeDescriptor

func Type_DafnyCallEvent_ 

func Type_DafnyCallEvent_(Type_I_ _dafny.TypeDescriptor, Type_O_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_DecryptMaterialsInput_ 

func Type_DecryptMaterialsInput_() _dafny.TypeDescriptor

func Type_DecryptMaterialsOutput_ 

func Type_DecryptMaterialsOutput_() _dafny.TypeDescriptor

func Type_DecryptionMaterials_ 

func Type_DecryptionMaterials_() _dafny.TypeDescriptor

func Type_DefaultCache_ 

func Type_DefaultCache_() _dafny.TypeDescriptor

func Type_DeleteCacheEntryInput_ 

func Type_DeleteCacheEntryInput_() _dafny.TypeDescriptor

func Type_DerivationAlgorithm_ 

func Type_DerivationAlgorithm_() _dafny.TypeDescriptor

func Type_DiscoveryFilter_ 

func Type_DiscoveryFilter_() _dafny.TypeDescriptor

func Type_DummySubsetType_ 

func Type_DummySubsetType_() _dafny.TypeDescriptor

func Type_ECDSA_ 

func Type_ECDSA_() _dafny.TypeDescriptor

func Type_ESDKAlgorithmSuiteId_ 

func Type_ESDKAlgorithmSuiteId_() _dafny.TypeDescriptor

func Type_ESDKCommitmentPolicy_ 

func Type_ESDKCommitmentPolicy_() _dafny.TypeDescriptor

func Type_EdkWrappingAlgorithm_ 

func Type_EdkWrappingAlgorithm_() _dafny.TypeDescriptor

func Type_Encrypt_ 

func Type_Encrypt_() _dafny.TypeDescriptor

func Type_EncryptedDataKey_ 

func Type_EncryptedDataKey_() _dafny.TypeDescriptor

func Type_EncryptionMaterials_ 

func Type_EncryptionMaterials_() _dafny.TypeDescriptor

func Type_EphemeralPrivateKeyToStaticPublicKeyInput_ 

func Type_EphemeralPrivateKeyToStaticPublicKeyInput_() _dafny.TypeDescriptor

func Type_Error_ 

func Type_Error_() _dafny.TypeDescriptor

func Type_GetBranchKeyIdInput_ 

func Type_GetBranchKeyIdInput_() _dafny.TypeDescriptor

func Type_GetBranchKeyIdOutput_ 

func Type_GetBranchKeyIdOutput_() _dafny.TypeDescriptor

func Type_GetCacheEntryInput_ 

func Type_GetCacheEntryInput_() _dafny.TypeDescriptor

func Type_GetCacheEntryOutput_ 

func Type_GetCacheEntryOutput_() _dafny.TypeDescriptor

func Type_GetClientInput_ 

func Type_GetClientInput_() _dafny.TypeDescriptor

func Type_GetEncryptionMaterialsInput_ 

func Type_GetEncryptionMaterialsInput_() _dafny.TypeDescriptor

func Type_GetEncryptionMaterialsOutput_ 

func Type_GetEncryptionMaterialsOutput_() _dafny.TypeDescriptor

func Type_HKDF_ 

func Type_HKDF_() _dafny.TypeDescriptor

func Type_IAwsCryptographicMaterialProvidersClientCallHistory_ 

func Type_IAwsCryptographicMaterialProvidersClientCallHistory_() _dafny.TypeDescriptor

func Type_IBranchKeyIdSupplierCallHistory_ 

func Type_IBranchKeyIdSupplierCallHistory_() _dafny.TypeDescriptor

func Type_IClientSupplierCallHistory_ 

func Type_IClientSupplierCallHistory_() _dafny.TypeDescriptor

func Type_ICryptographicMaterialsCacheCallHistory_ 

func Type_ICryptographicMaterialsCacheCallHistory_() _dafny.TypeDescriptor

func Type_ICryptographicMaterialsManagerCallHistory_ 

func Type_ICryptographicMaterialsManagerCallHistory_() _dafny.TypeDescriptor

func Type_IDENTITY_ 

func Type_IDENTITY_() _dafny.TypeDescriptor

func Type_IKeyringCallHistory_ 

func Type_IKeyringCallHistory_() _dafny.TypeDescriptor

func Type_InitializeDecryptionMaterialsInput_ 

func Type_InitializeDecryptionMaterialsInput_() _dafny.TypeDescriptor

func Type_InitializeEncryptionMaterialsInput_ 

func Type_InitializeEncryptionMaterialsInput_() _dafny.TypeDescriptor

func Type_IntermediateKeyWrapping_ 

func Type_IntermediateKeyWrapping_() _dafny.TypeDescriptor

func Type_KeyAgreementScheme_ 

func Type_KeyAgreementScheme_() _dafny.TypeDescriptor

func Type_KmsEcdhStaticConfigurations_ 

func Type_KmsEcdhStaticConfigurations_() _dafny.TypeDescriptor

func Type_KmsPrivateKeyToStaticPublicKeyInput_ 

func Type_KmsPrivateKeyToStaticPublicKeyInput_() _dafny.TypeDescriptor

func Type_KmsPublicKeyDiscoveryInput_ 

func Type_KmsPublicKeyDiscoveryInput_() _dafny.TypeDescriptor

func Type_MaterialProvidersConfig_ 

func Type_MaterialProvidersConfig_() _dafny.TypeDescriptor

func Type_Materials_ 

func Type_Materials_() _dafny.TypeDescriptor

func Type_MultiThreadedCache_ 

func Type_MultiThreadedCache_() _dafny.TypeDescriptor

func Type_NoCache_ 

func Type_NoCache_() _dafny.TypeDescriptor

func Type_None_ 

func Type_None_() _dafny.TypeDescriptor

func Type_OnDecryptInput_ 

func Type_OnDecryptInput_() _dafny.TypeDescriptor

func Type_OnDecryptOutput_ 

func Type_OnDecryptOutput_() _dafny.TypeDescriptor

func Type_OnEncryptInput_ 

func Type_OnEncryptInput_() _dafny.TypeDescriptor

func Type_OnEncryptOutput_ 

func Type_OnEncryptOutput_() _dafny.TypeDescriptor

func Type_OpaqueError_ 

func Type_OpaqueError_() _dafny.TypeDescriptor

func Type_PaddingScheme_ 

func Type_PaddingScheme_() _dafny.TypeDescriptor

func Type_PositiveInteger_ 

func Type_PositiveInteger_() _dafny.TypeDescriptor

func Type_PositiveLong_ 

func Type_PositiveLong_() _dafny.TypeDescriptor

func Type_PublicKeyDiscoveryInput_ 

func Type_PublicKeyDiscoveryInput_() _dafny.TypeDescriptor

func Type_PutCacheEntryInput_ 

func Type_PutCacheEntryInput_() _dafny.TypeDescriptor

func Type_RawEcdhStaticConfigurations_ 

func Type_RawEcdhStaticConfigurations_() _dafny.TypeDescriptor

func Type_RawPrivateKeyToStaticPublicKeyInput_ 

func Type_RawPrivateKeyToStaticPublicKeyInput_() _dafny.TypeDescriptor

func Type_SignatureAlgorithm_ 

func Type_SignatureAlgorithm_() _dafny.TypeDescriptor

func Type_SingleThreadedCache_ 

func Type_SingleThreadedCache_() _dafny.TypeDescriptor

func Type_StaticConfigurations_ 

func Type_StaticConfigurations_() _dafny.TypeDescriptor

func Type_StormTrackingCache_ 

func Type_StormTrackingCache_() _dafny.TypeDescriptor

func Type_SymmetricSignatureAlgorithm_ 

func Type_SymmetricSignatureAlgorithm_() _dafny.TypeDescriptor

func Type_TimeUnits_ 

func Type_TimeUnits_() _dafny.TypeDescriptor

func Type_UpdateUsageMetadataInput_ 

func Type_UpdateUsageMetadataInput_() _dafny.TypeDescriptor

func Type_ValidDecryptionMaterialsTransitionInput_ 

func Type_ValidDecryptionMaterialsTransitionInput_() _dafny.TypeDescriptor

func Type_ValidEncryptionMaterialsTransitionInput_ 

func Type_ValidEncryptionMaterialsTransitionInput_() _dafny.TypeDescriptor

func Type_ValidateCommitmentPolicyOnDecryptInput_ 

func Type_ValidateCommitmentPolicyOnDecryptInput_() _dafny.TypeDescriptor

func Type_ValidateCommitmentPolicyOnEncryptInput_ 

func Type_ValidateCommitmentPolicyOnEncryptInput_() _dafny.TypeDescriptor

Types

type AesWrappingAlg 

type AesWrappingAlg struct {
	Data_AesWrappingAlg_
}

Definition of datatype AesWrappingAlg

func (AesWrappingAlg) Equals 

func (_this AesWrappingAlg) Equals(other AesWrappingAlg) bool

func (AesWrappingAlg) EqualsGeneric 

func (_this AesWrappingAlg) EqualsGeneric(other interface{}) bool

func (AesWrappingAlg) Get_ 

func (_this AesWrappingAlg) Get_() Data_AesWrappingAlg_

func (AesWrappingAlg) Is_ALG__AES128__GCM__IV12__TAG16 

func (_this AesWrappingAlg) Is_ALG__AES128__GCM__IV12__TAG16() bool

func (AesWrappingAlg) Is_ALG__AES192__GCM__IV12__TAG16 

func (_this AesWrappingAlg) Is_ALG__AES192__GCM__IV12__TAG16() bool

func (AesWrappingAlg) Is_ALG__AES256__GCM__IV12__TAG16 

func (_this AesWrappingAlg) Is_ALG__AES256__GCM__IV12__TAG16() bool

func (AesWrappingAlg) ParentTraits_ 

func (_this AesWrappingAlg) ParentTraits_() []*_dafny.TraitID

func (AesWrappingAlg) String 

func (_this AesWrappingAlg) String() string

type AesWrappingAlg_ALG__AES128__GCM__IV12__TAG16 

type AesWrappingAlg_ALG__AES128__GCM__IV12__TAG16 struct {
}

type AesWrappingAlg_ALG__AES192__GCM__IV12__TAG16 

type AesWrappingAlg_ALG__AES192__GCM__IV12__TAG16 struct {
}

type AesWrappingAlg_ALG__AES256__GCM__IV12__TAG16 

type AesWrappingAlg_ALG__AES256__GCM__IV12__TAG16 struct {
}

type AlgorithmSuiteId 

type AlgorithmSuiteId struct {
	Data_AlgorithmSuiteId_
}

Definition of datatype AlgorithmSuiteId

func (AlgorithmSuiteId) Dtor_DBE 

func (_this AlgorithmSuiteId) Dtor_DBE() DBEAlgorithmSuiteId

func (AlgorithmSuiteId) Dtor_ESDK 

func (_this AlgorithmSuiteId) Dtor_ESDK() ESDKAlgorithmSuiteId

func (AlgorithmSuiteId) Equals 

func (_this AlgorithmSuiteId) Equals(other AlgorithmSuiteId) bool

func (AlgorithmSuiteId) EqualsGeneric 

func (_this AlgorithmSuiteId) EqualsGeneric(other interface{}) bool

func (AlgorithmSuiteId) Get_ 

func (_this AlgorithmSuiteId) Get_() Data_AlgorithmSuiteId_

func (AlgorithmSuiteId) Is_DBE 

func (_this AlgorithmSuiteId) Is_DBE() bool

func (AlgorithmSuiteId) Is_ESDK 

func (_this AlgorithmSuiteId) Is_ESDK() bool

func (AlgorithmSuiteId) ParentTraits_ 

func (_this AlgorithmSuiteId) ParentTraits_() []*_dafny.TraitID

func (AlgorithmSuiteId) String 

func (_this AlgorithmSuiteId) String() string

type AlgorithmSuiteId_DBE 

type AlgorithmSuiteId_DBE struct {
	DBE DBEAlgorithmSuiteId
}

type AlgorithmSuiteId_ESDK 

type AlgorithmSuiteId_ESDK struct {
	ESDK ESDKAlgorithmSuiteId
}

type AlgorithmSuiteInfo 

type AlgorithmSuiteInfo struct {
	Data_AlgorithmSuiteInfo_
}

Definition of datatype AlgorithmSuiteInfo

func (AlgorithmSuiteInfo) Dtor_binaryId 

func (_this AlgorithmSuiteInfo) Dtor_binaryId() _dafny.Sequence

func (AlgorithmSuiteInfo) Dtor_commitment 

func (_this AlgorithmSuiteInfo) Dtor_commitment() DerivationAlgorithm

func (AlgorithmSuiteInfo) Dtor_edkWrapping 

func (_this AlgorithmSuiteInfo) Dtor_edkWrapping() EdkWrappingAlgorithm

func (AlgorithmSuiteInfo) Dtor_encrypt 

func (_this AlgorithmSuiteInfo) Dtor_encrypt() Encrypt

func (AlgorithmSuiteInfo) Dtor_id 

func (_this AlgorithmSuiteInfo) Dtor_id() AlgorithmSuiteId

func (AlgorithmSuiteInfo) Dtor_kdf 

func (_this AlgorithmSuiteInfo) Dtor_kdf() DerivationAlgorithm

func (AlgorithmSuiteInfo) Dtor_messageVersion 

func (_this AlgorithmSuiteInfo) Dtor_messageVersion() int32

func (AlgorithmSuiteInfo) Dtor_signature 

func (_this AlgorithmSuiteInfo) Dtor_signature() SignatureAlgorithm

func (AlgorithmSuiteInfo) Dtor_symmetricSignature 

func (_this AlgorithmSuiteInfo) Dtor_symmetricSignature() SymmetricSignatureAlgorithm

func (AlgorithmSuiteInfo) Equals 

func (_this AlgorithmSuiteInfo) Equals(other AlgorithmSuiteInfo) bool

func (AlgorithmSuiteInfo) EqualsGeneric 

func (_this AlgorithmSuiteInfo) EqualsGeneric(other interface{}) bool

func (AlgorithmSuiteInfo) Get_ 

func (_this AlgorithmSuiteInfo) Get_() Data_AlgorithmSuiteInfo_

func (AlgorithmSuiteInfo) Is_AlgorithmSuiteInfo 

func (_this AlgorithmSuiteInfo) Is_AlgorithmSuiteInfo() bool

func (AlgorithmSuiteInfo) ParentTraits_ 

func (_this AlgorithmSuiteInfo) ParentTraits_() []*_dafny.TraitID

func (AlgorithmSuiteInfo) String 

func (_this AlgorithmSuiteInfo) String() string

type AlgorithmSuiteInfo_AlgorithmSuiteInfo 

type AlgorithmSuiteInfo_AlgorithmSuiteInfo struct {
	Id                 AlgorithmSuiteId
	BinaryId           _dafny.Sequence
	MessageVersion     int32
	Encrypt            Encrypt
	Kdf                DerivationAlgorithm
	Commitment         DerivationAlgorithm
	Signature          SignatureAlgorithm
	SymmetricSignature SymmetricSignatureAlgorithm
	EdkWrapping        EdkWrappingAlgorithm
}

type CacheType 

type CacheType struct {
	Data_CacheType_
}

Definition of datatype CacheType

func (CacheType) Dtor_Default 

func (_this CacheType) Dtor_Default() DefaultCache

func (CacheType) Dtor_MultiThreaded 

func (_this CacheType) Dtor_MultiThreaded() MultiThreadedCache

func (CacheType) Dtor_No 

func (_this CacheType) Dtor_No() NoCache

func (CacheType) Dtor_Shared 

func (_this CacheType) Dtor_Shared() ICryptographicMaterialsCache

func (CacheType) Dtor_SingleThreaded 

func (_this CacheType) Dtor_SingleThreaded() SingleThreadedCache

func (CacheType) Dtor_StormTracking 

func (_this CacheType) Dtor_StormTracking() StormTrackingCache

func (CacheType) Equals 

func (_this CacheType) Equals(other CacheType) bool

func (CacheType) EqualsGeneric 

func (_this CacheType) EqualsGeneric(other interface{}) bool

func (CacheType) Get_ 

func (_this CacheType) Get_() Data_CacheType_

func (CacheType) Is_Default 

func (_this CacheType) Is_Default() bool

func (CacheType) Is_MultiThreaded 

func (_this CacheType) Is_MultiThreaded() bool

func (CacheType) Is_No 

func (_this CacheType) Is_No() bool

func (CacheType) Is_Shared 

func (_this CacheType) Is_Shared() bool

func (CacheType) Is_SingleThreaded 

func (_this CacheType) Is_SingleThreaded() bool

func (CacheType) Is_StormTracking 

func (_this CacheType) Is_StormTracking() bool

func (CacheType) ParentTraits_ 

func (_this CacheType) ParentTraits_() []*_dafny.TraitID

func (CacheType) String 

func (_this CacheType) String() string

type CacheType_Default 

type CacheType_Default struct {
	Default DefaultCache
}

type CacheType_MultiThreaded 

type CacheType_MultiThreaded struct {
	MultiThreaded MultiThreadedCache
}

type CacheType_No 

type CacheType_No struct {
	No NoCache
}

type CacheType_Shared 

type CacheType_Shared struct {
	Shared ICryptographicMaterialsCache
}

type CacheType_SingleThreaded 

type CacheType_SingleThreaded struct {
	SingleThreaded SingleThreadedCache
}

type CacheType_StormTracking 

type CacheType_StormTracking struct {
	StormTracking StormTrackingCache
}

type CommitmentPolicy 

type CommitmentPolicy struct {
	Data_CommitmentPolicy_
}

Definition of datatype CommitmentPolicy

func (CommitmentPolicy) Dtor_DBE 

func (_this CommitmentPolicy) Dtor_DBE() DBECommitmentPolicy

func (CommitmentPolicy) Dtor_ESDK 

func (_this CommitmentPolicy) Dtor_ESDK() ESDKCommitmentPolicy

func (CommitmentPolicy) Equals 

func (_this CommitmentPolicy) Equals(other CommitmentPolicy) bool

func (CommitmentPolicy) EqualsGeneric 

func (_this CommitmentPolicy) EqualsGeneric(other interface{}) bool

func (CommitmentPolicy) Get_ 

func (_this CommitmentPolicy) Get_() Data_CommitmentPolicy_

func (CommitmentPolicy) Is_DBE 

func (_this CommitmentPolicy) Is_DBE() bool

func (CommitmentPolicy) Is_ESDK 

func (_this CommitmentPolicy) Is_ESDK() bool

func (CommitmentPolicy) ParentTraits_ 

func (_this CommitmentPolicy) ParentTraits_() []*_dafny.TraitID

func (CommitmentPolicy) String 

func (_this CommitmentPolicy) String() string

type CommitmentPolicy_DBE 

type CommitmentPolicy_DBE struct {
	DBE DBECommitmentPolicy
}

type CommitmentPolicy_ESDK 

type CommitmentPolicy_ESDK struct {
	ESDK ESDKCommitmentPolicy
}

type CompanionStruct_AesWrappingAlg_ 

type CompanionStruct_AesWrappingAlg_ struct {
}

func (CompanionStruct_AesWrappingAlg_) AllSingletonConstructors 

func (_ CompanionStruct_AesWrappingAlg_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES128__GCM__IV12__TAG16_ 

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES128__GCM__IV12__TAG16_() AesWrappingAlg

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES192__GCM__IV12__TAG16_ 

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES192__GCM__IV12__TAG16_() AesWrappingAlg

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES256__GCM__IV12__TAG16_ 

func (CompanionStruct_AesWrappingAlg_) Create_ALG__AES256__GCM__IV12__TAG16_() AesWrappingAlg

func (CompanionStruct_AesWrappingAlg_) Default 

func (CompanionStruct_AesWrappingAlg_) Default() AesWrappingAlg

type CompanionStruct_AlgorithmSuiteId_ 

type CompanionStruct_AlgorithmSuiteId_ struct {
}

func (CompanionStruct_AlgorithmSuiteId_) Create_DBE_ 

func (CompanionStruct_AlgorithmSuiteId_) Create_DBE_(DBE DBEAlgorithmSuiteId) AlgorithmSuiteId

func (CompanionStruct_AlgorithmSuiteId_) Create_ESDK_ 

func (CompanionStruct_AlgorithmSuiteId_) Create_ESDK_(ESDK ESDKAlgorithmSuiteId) AlgorithmSuiteId

func (CompanionStruct_AlgorithmSuiteId_) Default 

func (CompanionStruct_AlgorithmSuiteId_) Default() AlgorithmSuiteId

type CompanionStruct_AlgorithmSuiteInfo_ 

type CompanionStruct_AlgorithmSuiteInfo_ struct {
}

func (CompanionStruct_AlgorithmSuiteInfo_) Create_AlgorithmSuiteInfo_ 

func (CompanionStruct_AlgorithmSuiteInfo_) Create_AlgorithmSuiteInfo_(Id AlgorithmSuiteId, BinaryId _dafny.Sequence, MessageVersion int32, Encrypt Encrypt, Kdf DerivationAlgorithm, Commitment DerivationAlgorithm, Signature SignatureAlgorithm, SymmetricSignature SymmetricSignatureAlgorithm, EdkWrapping EdkWrappingAlgorithm) AlgorithmSuiteInfo

func (CompanionStruct_AlgorithmSuiteInfo_) Default 

func (CompanionStruct_AlgorithmSuiteInfo_) Default() AlgorithmSuiteInfo

type CompanionStruct_CacheType_ 

type CompanionStruct_CacheType_ struct {
}

func (CompanionStruct_CacheType_) Create_Default_ 

func (CompanionStruct_CacheType_) Create_Default_(Default DefaultCache) CacheType

func (CompanionStruct_CacheType_) Create_MultiThreaded_ 

func (CompanionStruct_CacheType_) Create_MultiThreaded_(MultiThreaded MultiThreadedCache) CacheType

func (CompanionStruct_CacheType_) Create_No_ 

func (CompanionStruct_CacheType_) Create_No_(No NoCache) CacheType

func (CompanionStruct_CacheType_) Create_Shared_ 

func (CompanionStruct_CacheType_) Create_Shared_(Shared ICryptographicMaterialsCache) CacheType

func (CompanionStruct_CacheType_) Create_SingleThreaded_ 

func (CompanionStruct_CacheType_) Create_SingleThreaded_(SingleThreaded SingleThreadedCache) CacheType

func (CompanionStruct_CacheType_) Create_StormTracking_ 

func (CompanionStruct_CacheType_) Create_StormTracking_(StormTracking StormTrackingCache) CacheType

func (CompanionStruct_CacheType_) Default 

func (CompanionStruct_CacheType_) Default() CacheType

type CompanionStruct_CommitmentPolicy_ 

type CompanionStruct_CommitmentPolicy_ struct {
}

func (CompanionStruct_CommitmentPolicy_) Create_DBE_ 

func (CompanionStruct_CommitmentPolicy_) Create_DBE_(DBE DBECommitmentPolicy) CommitmentPolicy

func (CompanionStruct_CommitmentPolicy_) Create_ESDK_ 

func (CompanionStruct_CommitmentPolicy_) Create_ESDK_(ESDK ESDKCommitmentPolicy) CommitmentPolicy

func (CompanionStruct_CommitmentPolicy_) Default 

func (CompanionStruct_CommitmentPolicy_) Default() CommitmentPolicy

type CompanionStruct_CountingNumber_ 

type CompanionStruct_CountingNumber_ struct {
}

func (*CompanionStruct_CountingNumber_) Is_ 

func (_this *CompanionStruct_CountingNumber_) Is_(__source int32) bool

type CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_ 

type CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_) Create_CreateAwsKmsDiscoveryKeyringInput_ 

func (CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_) Create_CreateAwsKmsDiscoveryKeyringInput_(KmsClient m_ComAmazonawsKmsTypes.IKMSClient, DiscoveryFilter m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsDiscoveryKeyringInput

func (CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsDiscoveryKeyringInput_) Default() CreateAwsKmsDiscoveryKeyringInput

type CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_ 

type CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_) Create_CreateAwsKmsDiscoveryMultiKeyringInput_ 

func (CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_) Create_CreateAwsKmsDiscoveryMultiKeyringInput_(Regions _dafny.Sequence, DiscoveryFilter m_Wrappers.Option, ClientSupplier m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsDiscoveryMultiKeyringInput

func (CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsDiscoveryMultiKeyringInput_) Default() CreateAwsKmsDiscoveryMultiKeyringInput

type CompanionStruct_CreateAwsKmsEcdhKeyringInput_ 

type CompanionStruct_CreateAwsKmsEcdhKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsEcdhKeyringInput_) Create_CreateAwsKmsEcdhKeyringInput_ 

func (CompanionStruct_CreateAwsKmsEcdhKeyringInput_) Create_CreateAwsKmsEcdhKeyringInput_(KeyAgreementScheme KmsEcdhStaticConfigurations, CurveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, KmsClient m_ComAmazonawsKmsTypes.IKMSClient, GrantTokens m_Wrappers.Option) CreateAwsKmsEcdhKeyringInput

func (CompanionStruct_CreateAwsKmsEcdhKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsEcdhKeyringInput_) Default() CreateAwsKmsEcdhKeyringInput

type CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_ 

type CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_) Create_CreateAwsKmsHierarchicalKeyringInput_ 

func (CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_) Create_CreateAwsKmsHierarchicalKeyringInput_(BranchKeyId m_Wrappers.Option, BranchKeyIdSupplier m_Wrappers.Option, KeyStore m_AwsCryptographyKeyStoreTypes.IKeyStoreClient, TtlSeconds int64, Cache m_Wrappers.Option, PartitionId m_Wrappers.Option) CreateAwsKmsHierarchicalKeyringInput

func (CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsHierarchicalKeyringInput_) Default() CreateAwsKmsHierarchicalKeyringInput

type CompanionStruct_CreateAwsKmsKeyringInput_ 

type CompanionStruct_CreateAwsKmsKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsKeyringInput_) Create_CreateAwsKmsKeyringInput_ 

func (CompanionStruct_CreateAwsKmsKeyringInput_) Create_CreateAwsKmsKeyringInput_(KmsKeyId _dafny.Sequence, KmsClient m_ComAmazonawsKmsTypes.IKMSClient, GrantTokens m_Wrappers.Option) CreateAwsKmsKeyringInput

func (CompanionStruct_CreateAwsKmsKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsKeyringInput_) Default() CreateAwsKmsKeyringInput

type CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_ 

type CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_) Create_CreateAwsKmsMrkDiscoveryKeyringInput_ 

func (CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_) Create_CreateAwsKmsMrkDiscoveryKeyringInput_(KmsClient m_ComAmazonawsKmsTypes.IKMSClient, DiscoveryFilter m_Wrappers.Option, GrantTokens m_Wrappers.Option, Region _dafny.Sequence) CreateAwsKmsMrkDiscoveryKeyringInput

func (CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsMrkDiscoveryKeyringInput_) Default() CreateAwsKmsMrkDiscoveryKeyringInput

type CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ 

type CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_) Create_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ 

func (CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_) Create_CreateAwsKmsMrkDiscoveryMultiKeyringInput_(Regions _dafny.Sequence, DiscoveryFilter m_Wrappers.Option, ClientSupplier m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsMrkDiscoveryMultiKeyringInput

func (CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsMrkDiscoveryMultiKeyringInput_) Default() CreateAwsKmsMrkDiscoveryMultiKeyringInput

type CompanionStruct_CreateAwsKmsMrkKeyringInput_ 

type CompanionStruct_CreateAwsKmsMrkKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsMrkKeyringInput_) Create_CreateAwsKmsMrkKeyringInput_ 

func (CompanionStruct_CreateAwsKmsMrkKeyringInput_) Create_CreateAwsKmsMrkKeyringInput_(KmsKeyId _dafny.Sequence, KmsClient m_ComAmazonawsKmsTypes.IKMSClient, GrantTokens m_Wrappers.Option) CreateAwsKmsMrkKeyringInput

func (CompanionStruct_CreateAwsKmsMrkKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsMrkKeyringInput_) Default() CreateAwsKmsMrkKeyringInput

type CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_ 

type CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_) Create_CreateAwsKmsMrkMultiKeyringInput_ 

func (CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_) Create_CreateAwsKmsMrkMultiKeyringInput_(Generator m_Wrappers.Option, KmsKeyIds m_Wrappers.Option, ClientSupplier m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsMrkMultiKeyringInput

func (CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsMrkMultiKeyringInput_) Default() CreateAwsKmsMrkMultiKeyringInput

type CompanionStruct_CreateAwsKmsMultiKeyringInput_ 

type CompanionStruct_CreateAwsKmsMultiKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsMultiKeyringInput_) Create_CreateAwsKmsMultiKeyringInput_ 

func (CompanionStruct_CreateAwsKmsMultiKeyringInput_) Create_CreateAwsKmsMultiKeyringInput_(Generator m_Wrappers.Option, KmsKeyIds m_Wrappers.Option, ClientSupplier m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsMultiKeyringInput

func (CompanionStruct_CreateAwsKmsMultiKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsMultiKeyringInput_) Default() CreateAwsKmsMultiKeyringInput

type CompanionStruct_CreateAwsKmsRsaKeyringInput_ 

type CompanionStruct_CreateAwsKmsRsaKeyringInput_ struct {
}

func (CompanionStruct_CreateAwsKmsRsaKeyringInput_) Create_CreateAwsKmsRsaKeyringInput_ 

func (CompanionStruct_CreateAwsKmsRsaKeyringInput_) Create_CreateAwsKmsRsaKeyringInput_(PublicKey m_Wrappers.Option, KmsKeyId _dafny.Sequence, EncryptionAlgorithm m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, KmsClient m_Wrappers.Option, GrantTokens m_Wrappers.Option) CreateAwsKmsRsaKeyringInput

func (CompanionStruct_CreateAwsKmsRsaKeyringInput_) Default 

func (CompanionStruct_CreateAwsKmsRsaKeyringInput_) Default() CreateAwsKmsRsaKeyringInput

type CompanionStruct_CreateCryptographicMaterialsCacheInput_ 

type CompanionStruct_CreateCryptographicMaterialsCacheInput_ struct {
}

func (CompanionStruct_CreateCryptographicMaterialsCacheInput_) Create_CreateCryptographicMaterialsCacheInput_ 

func (CompanionStruct_CreateCryptographicMaterialsCacheInput_) Create_CreateCryptographicMaterialsCacheInput_(Cache CacheType) CreateCryptographicMaterialsCacheInput

func (CompanionStruct_CreateCryptographicMaterialsCacheInput_) Default 

func (CompanionStruct_CreateCryptographicMaterialsCacheInput_) Default() CreateCryptographicMaterialsCacheInput

type CompanionStruct_CreateDefaultClientSupplierInput_ 

type CompanionStruct_CreateDefaultClientSupplierInput_ struct {
}

func (CompanionStruct_CreateDefaultClientSupplierInput_) AllSingletonConstructors 

func (_ CompanionStruct_CreateDefaultClientSupplierInput_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_CreateDefaultClientSupplierInput_) Create_CreateDefaultClientSupplierInput_ 

func (CompanionStruct_CreateDefaultClientSupplierInput_) Create_CreateDefaultClientSupplierInput_() CreateDefaultClientSupplierInput

func (CompanionStruct_CreateDefaultClientSupplierInput_) Default 

func (CompanionStruct_CreateDefaultClientSupplierInput_) Default() CreateDefaultClientSupplierInput

type CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_ 

type CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_ struct {
}

func (CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_) Create_CreateDefaultCryptographicMaterialsManagerInput_ 

func (CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_) Create_CreateDefaultCryptographicMaterialsManagerInput_(Keyring IKeyring) CreateDefaultCryptographicMaterialsManagerInput

func (CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_) Default 

func (CompanionStruct_CreateDefaultCryptographicMaterialsManagerInput_) Default() CreateDefaultCryptographicMaterialsManagerInput

type CompanionStruct_CreateMultiKeyringInput_ 

type CompanionStruct_CreateMultiKeyringInput_ struct {
}

func (CompanionStruct_CreateMultiKeyringInput_) Create_CreateMultiKeyringInput_ 

func (CompanionStruct_CreateMultiKeyringInput_) Create_CreateMultiKeyringInput_(Generator m_Wrappers.Option, ChildKeyrings _dafny.Sequence) CreateMultiKeyringInput

func (CompanionStruct_CreateMultiKeyringInput_) Default 

func (CompanionStruct_CreateMultiKeyringInput_) Default() CreateMultiKeyringInput

type CompanionStruct_CreateRawAesKeyringInput_ 

type CompanionStruct_CreateRawAesKeyringInput_ struct {
}

func (CompanionStruct_CreateRawAesKeyringInput_) Create_CreateRawAesKeyringInput_ 

func (CompanionStruct_CreateRawAesKeyringInput_) Create_CreateRawAesKeyringInput_(KeyNamespace _dafny.Sequence, KeyName _dafny.Sequence, WrappingKey _dafny.Sequence, WrappingAlg AesWrappingAlg) CreateRawAesKeyringInput

func (CompanionStruct_CreateRawAesKeyringInput_) Default 

func (CompanionStruct_CreateRawAesKeyringInput_) Default() CreateRawAesKeyringInput

type CompanionStruct_CreateRawEcdhKeyringInput_ 

type CompanionStruct_CreateRawEcdhKeyringInput_ struct {
}

func (CompanionStruct_CreateRawEcdhKeyringInput_) Create_CreateRawEcdhKeyringInput_ 

func (CompanionStruct_CreateRawEcdhKeyringInput_) Create_CreateRawEcdhKeyringInput_(KeyAgreementScheme RawEcdhStaticConfigurations, CurveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec) CreateRawEcdhKeyringInput

func (CompanionStruct_CreateRawEcdhKeyringInput_) Default 

func (CompanionStruct_CreateRawEcdhKeyringInput_) Default() CreateRawEcdhKeyringInput

type CompanionStruct_CreateRawRsaKeyringInput_ 

type CompanionStruct_CreateRawRsaKeyringInput_ struct {
}

func (CompanionStruct_CreateRawRsaKeyringInput_) Create_CreateRawRsaKeyringInput_ 

func (CompanionStruct_CreateRawRsaKeyringInput_) Create_CreateRawRsaKeyringInput_(KeyNamespace _dafny.Sequence, KeyName _dafny.Sequence, PaddingScheme PaddingScheme, PublicKey m_Wrappers.Option, PrivateKey m_Wrappers.Option) CreateRawRsaKeyringInput

func (CompanionStruct_CreateRawRsaKeyringInput_) Default 

func (CompanionStruct_CreateRawRsaKeyringInput_) Default() CreateRawRsaKeyringInput

type CompanionStruct_CreateRequiredEncryptionContextCMMInput_ 

type CompanionStruct_CreateRequiredEncryptionContextCMMInput_ struct {
}

func (CompanionStruct_CreateRequiredEncryptionContextCMMInput_) Create_CreateRequiredEncryptionContextCMMInput_ 

func (CompanionStruct_CreateRequiredEncryptionContextCMMInput_) Create_CreateRequiredEncryptionContextCMMInput_(UnderlyingCMM m_Wrappers.Option, Keyring m_Wrappers.Option, RequiredEncryptionContextKeys _dafny.Sequence) CreateRequiredEncryptionContextCMMInput

func (CompanionStruct_CreateRequiredEncryptionContextCMMInput_) Default 

func (CompanionStruct_CreateRequiredEncryptionContextCMMInput_) Default() CreateRequiredEncryptionContextCMMInput

type CompanionStruct_DBEAlgorithmSuiteId_ 

type CompanionStruct_DBEAlgorithmSuiteId_ struct {
}

func (CompanionStruct_DBEAlgorithmSuiteId_) AllSingletonConstructors 

func (_ CompanionStruct_DBEAlgorithmSuiteId_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_DBEAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384_ 

func (CompanionStruct_DBEAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384_() DBEAlgorithmSuiteId

func (CompanionStruct_DBEAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384_ 

func (CompanionStruct_DBEAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384_() DBEAlgorithmSuiteId

func (CompanionStruct_DBEAlgorithmSuiteId_) Default 

func (CompanionStruct_DBEAlgorithmSuiteId_) Default() DBEAlgorithmSuiteId

type CompanionStruct_DBECommitmentPolicy_ 

type CompanionStruct_DBECommitmentPolicy_ struct {
}

func (CompanionStruct_DBECommitmentPolicy_) AllSingletonConstructors 

func (_ CompanionStruct_DBECommitmentPolicy_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_DBECommitmentPolicy_) Create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT_ 

func (CompanionStruct_DBECommitmentPolicy_) Create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT_() DBECommitmentPolicy

func (CompanionStruct_DBECommitmentPolicy_) Default 

func (CompanionStruct_DBECommitmentPolicy_) Default() DBECommitmentPolicy

type CompanionStruct_DIRECT__KEY__WRAPPING_ 

type CompanionStruct_DIRECT__KEY__WRAPPING_ struct {
}

func (CompanionStruct_DIRECT__KEY__WRAPPING_) AllSingletonConstructors 

func (_ CompanionStruct_DIRECT__KEY__WRAPPING_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_DIRECT__KEY__WRAPPING_) Create_DIRECT__KEY__WRAPPING_ 

func (CompanionStruct_DIRECT__KEY__WRAPPING_) Create_DIRECT__KEY__WRAPPING_() DIRECT__KEY__WRAPPING

func (CompanionStruct_DIRECT__KEY__WRAPPING_) Default 

func (CompanionStruct_DIRECT__KEY__WRAPPING_) Default() DIRECT__KEY__WRAPPING

type CompanionStruct_DafnyCallEvent_ 

type CompanionStruct_DafnyCallEvent_ struct {
}

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_ 

func (CompanionStruct_DafnyCallEvent_) Create_DafnyCallEvent_(Input interface{}, Output interface{}) DafnyCallEvent

func (CompanionStruct_DafnyCallEvent_) Default 

func (CompanionStruct_DafnyCallEvent_) Default(_default_I interface{}, _default_O interface{}) DafnyCallEvent

type CompanionStruct_DecryptMaterialsInput_ 

type CompanionStruct_DecryptMaterialsInput_ struct {
}

func (CompanionStruct_DecryptMaterialsInput_) Create_DecryptMaterialsInput_ 

func (CompanionStruct_DecryptMaterialsInput_) Create_DecryptMaterialsInput_(AlgorithmSuiteId AlgorithmSuiteId, CommitmentPolicy CommitmentPolicy, EncryptedDataKeys _dafny.Sequence, EncryptionContext _dafny.Map, ReproducedEncryptionContext m_Wrappers.Option) DecryptMaterialsInput

func (CompanionStruct_DecryptMaterialsInput_) Default 

func (CompanionStruct_DecryptMaterialsInput_) Default() DecryptMaterialsInput

type CompanionStruct_DecryptMaterialsOutput_ 

type CompanionStruct_DecryptMaterialsOutput_ struct {
}

func (CompanionStruct_DecryptMaterialsOutput_) Create_DecryptMaterialsOutput_ 

func (CompanionStruct_DecryptMaterialsOutput_) Create_DecryptMaterialsOutput_(DecryptionMaterials DecryptionMaterials) DecryptMaterialsOutput

func (CompanionStruct_DecryptMaterialsOutput_) Default 

func (CompanionStruct_DecryptMaterialsOutput_) Default() DecryptMaterialsOutput

type CompanionStruct_DecryptionMaterials_ 

type CompanionStruct_DecryptionMaterials_ struct {
}

func (CompanionStruct_DecryptionMaterials_) Create_DecryptionMaterials_ 

func (CompanionStruct_DecryptionMaterials_) Create_DecryptionMaterials_(AlgorithmSuite AlgorithmSuiteInfo, EncryptionContext _dafny.Map, RequiredEncryptionContextKeys _dafny.Sequence, PlaintextDataKey m_Wrappers.Option, VerificationKey m_Wrappers.Option, SymmetricSigningKey m_Wrappers.Option) DecryptionMaterials

func (CompanionStruct_DecryptionMaterials_) Default 

func (CompanionStruct_DecryptionMaterials_) Default() DecryptionMaterials

type CompanionStruct_DefaultCache_ 

type CompanionStruct_DefaultCache_ struct {
}

func (CompanionStruct_DefaultCache_) Create_DefaultCache_ 

func (CompanionStruct_DefaultCache_) Create_DefaultCache_(EntryCapacity int32) DefaultCache

func (CompanionStruct_DefaultCache_) Default 

func (CompanionStruct_DefaultCache_) Default() DefaultCache

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) IsDummySubsetType 

func (_static *CompanionStruct_Default___) IsDummySubsetType(x _dafny.Int) bool

func (*CompanionStruct_Default___) IsValid__CountingNumber 

func (_static *CompanionStruct_Default___) IsValid__CountingNumber(x int32) bool

func (*CompanionStruct_Default___) IsValid__PositiveInteger 

func (_static *CompanionStruct_Default___) IsValid__PositiveInteger(x int32) bool

func (*CompanionStruct_Default___) IsValid__PositiveLong 

func (_static *CompanionStruct_Default___) IsValid__PositiveLong(x int64) bool

type CompanionStruct_DeleteCacheEntryInput_ 

type CompanionStruct_DeleteCacheEntryInput_ struct {
}

func (CompanionStruct_DeleteCacheEntryInput_) Create_DeleteCacheEntryInput_ 

func (CompanionStruct_DeleteCacheEntryInput_) Create_DeleteCacheEntryInput_(Identifier _dafny.Sequence) DeleteCacheEntryInput

func (CompanionStruct_DeleteCacheEntryInput_) Default 

func (CompanionStruct_DeleteCacheEntryInput_) Default() DeleteCacheEntryInput

type CompanionStruct_DerivationAlgorithm_ 

type CompanionStruct_DerivationAlgorithm_ struct {
}

func (CompanionStruct_DerivationAlgorithm_) Create_HKDF_ 

func (CompanionStruct_DerivationAlgorithm_) Create_HKDF_(HKDF HKDF) DerivationAlgorithm

func (CompanionStruct_DerivationAlgorithm_) Create_IDENTITY_ 

func (CompanionStruct_DerivationAlgorithm_) Create_IDENTITY_(IDENTITY IDENTITY) DerivationAlgorithm

func (CompanionStruct_DerivationAlgorithm_) Create_None_ 

func (CompanionStruct_DerivationAlgorithm_) Create_None_(None None) DerivationAlgorithm

func (CompanionStruct_DerivationAlgorithm_) Default 

func (CompanionStruct_DerivationAlgorithm_) Default() DerivationAlgorithm

type CompanionStruct_DiscoveryFilter_ 

type CompanionStruct_DiscoveryFilter_ struct {
}

func (CompanionStruct_DiscoveryFilter_) Create_DiscoveryFilter_ 

func (CompanionStruct_DiscoveryFilter_) Create_DiscoveryFilter_(AccountIds _dafny.Sequence, Partition _dafny.Sequence) DiscoveryFilter

func (CompanionStruct_DiscoveryFilter_) Default 

func (CompanionStruct_DiscoveryFilter_) Default() DiscoveryFilter

type CompanionStruct_DummySubsetType_ 

type CompanionStruct_DummySubsetType_ struct {
}

func (*CompanionStruct_DummySubsetType_) Is_ 

func (_this *CompanionStruct_DummySubsetType_) Is_(__source _dafny.Int) bool

func (*CompanionStruct_DummySubsetType_) Witness 

func (_this *CompanionStruct_DummySubsetType_) Witness() _dafny.Int

type CompanionStruct_ECDSA_ 

type CompanionStruct_ECDSA_ struct {
}

func (CompanionStruct_ECDSA_) Create_ECDSA_ 

func (CompanionStruct_ECDSA_) Create_ECDSA_(Curve m_AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm) ECDSA

func (CompanionStruct_ECDSA_) Default 

func (CompanionStruct_ECDSA_) Default() ECDSA

type CompanionStruct_ESDKAlgorithmSuiteId_ 

type CompanionStruct_ESDKAlgorithmSuiteId_ struct {
}

func (CompanionStruct_ESDKAlgorithmSuiteId_) AllSingletonConstructors 

func (_ CompanionStruct_ESDKAlgorithmSuiteId_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__NO__KDF_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__128__GCM__IV12__TAG16__NO__KDF_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__NO__KDF_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__192__GCM__IV12__TAG16__NO__KDF_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__NO__KDF_ 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Create_ALG__AES__256__GCM__IV12__TAG16__NO__KDF_() ESDKAlgorithmSuiteId

func (CompanionStruct_ESDKAlgorithmSuiteId_) Default 

func (CompanionStruct_ESDKAlgorithmSuiteId_) Default() ESDKAlgorithmSuiteId

type CompanionStruct_ESDKCommitmentPolicy_ 

type CompanionStruct_ESDKCommitmentPolicy_ struct {
}

func (CompanionStruct_ESDKCommitmentPolicy_) AllSingletonConstructors 

func (_ CompanionStruct_ESDKCommitmentPolicy_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ESDKCommitmentPolicy_) Create_FORBID__ENCRYPT__ALLOW__DECRYPT_ 

func (CompanionStruct_ESDKCommitmentPolicy_) Create_FORBID__ENCRYPT__ALLOW__DECRYPT_() ESDKCommitmentPolicy

func (CompanionStruct_ESDKCommitmentPolicy_) Create_REQUIRE__ENCRYPT__ALLOW__DECRYPT_ 

func (CompanionStruct_ESDKCommitmentPolicy_) Create_REQUIRE__ENCRYPT__ALLOW__DECRYPT_() ESDKCommitmentPolicy

func (CompanionStruct_ESDKCommitmentPolicy_) Create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT_ 

func (CompanionStruct_ESDKCommitmentPolicy_) Create_REQUIRE__ENCRYPT__REQUIRE__DECRYPT_() ESDKCommitmentPolicy

func (CompanionStruct_ESDKCommitmentPolicy_) Default 

func (CompanionStruct_ESDKCommitmentPolicy_) Default() ESDKCommitmentPolicy

type CompanionStruct_EdkWrappingAlgorithm_ 

type CompanionStruct_EdkWrappingAlgorithm_ struct {
}

func (CompanionStruct_EdkWrappingAlgorithm_) Create_DIRECT__KEY__WRAPPING_ 

func (CompanionStruct_EdkWrappingAlgorithm_) Create_DIRECT__KEY__WRAPPING_(DIRECT__KEY__WRAPPING DIRECT__KEY__WRAPPING) EdkWrappingAlgorithm

func (CompanionStruct_EdkWrappingAlgorithm_) Create_IntermediateKeyWrapping_ 

func (CompanionStruct_EdkWrappingAlgorithm_) Create_IntermediateKeyWrapping_(IntermediateKeyWrapping IntermediateKeyWrapping) EdkWrappingAlgorithm

func (CompanionStruct_EdkWrappingAlgorithm_) Default 

func (CompanionStruct_EdkWrappingAlgorithm_) Default() EdkWrappingAlgorithm

type CompanionStruct_Encrypt_ 

type CompanionStruct_Encrypt_ struct {
}

func (CompanionStruct_Encrypt_) Create_AES__GCM_ 

func (CompanionStruct_Encrypt_) Create_AES__GCM_(AES__GCM m_AwsCryptographyPrimitivesTypes.AES__GCM) Encrypt

func (CompanionStruct_Encrypt_) Default 

func (CompanionStruct_Encrypt_) Default() Encrypt

type CompanionStruct_EncryptedDataKey_ 

type CompanionStruct_EncryptedDataKey_ struct {
}

func (CompanionStruct_EncryptedDataKey_) Create_EncryptedDataKey_ 

func (CompanionStruct_EncryptedDataKey_) Create_EncryptedDataKey_(KeyProviderId _dafny.Sequence, KeyProviderInfo _dafny.Sequence, Ciphertext _dafny.Sequence) EncryptedDataKey

func (CompanionStruct_EncryptedDataKey_) Default 

func (CompanionStruct_EncryptedDataKey_) Default() EncryptedDataKey

type CompanionStruct_EncryptionMaterials_ 

type CompanionStruct_EncryptionMaterials_ struct {
}

func (CompanionStruct_EncryptionMaterials_) Create_EncryptionMaterials_ 

func (CompanionStruct_EncryptionMaterials_) Create_EncryptionMaterials_(AlgorithmSuite AlgorithmSuiteInfo, EncryptionContext _dafny.Map, EncryptedDataKeys _dafny.Sequence, RequiredEncryptionContextKeys _dafny.Sequence, PlaintextDataKey m_Wrappers.Option, SigningKey m_Wrappers.Option, SymmetricSigningKeys m_Wrappers.Option) EncryptionMaterials

func (CompanionStruct_EncryptionMaterials_) Default 

func (CompanionStruct_EncryptionMaterials_) Default() EncryptionMaterials

type CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_ 

type CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_ struct {
}

func (CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_) Create_EphemeralPrivateKeyToStaticPublicKeyInput_ 

func (CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_) Create_EphemeralPrivateKeyToStaticPublicKeyInput_(RecipientPublicKey _dafny.Sequence) EphemeralPrivateKeyToStaticPublicKeyInput

func (CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_) Default 

func (CompanionStruct_EphemeralPrivateKeyToStaticPublicKeyInput_) Default() EphemeralPrivateKeyToStaticPublicKeyInput

type CompanionStruct_Error_ 

type CompanionStruct_Error_ struct {
}

func (CompanionStruct_Error_) Create_AwsCryptographicMaterialProvidersException_ 

func (CompanionStruct_Error_) Create_AwsCryptographicMaterialProvidersException_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_AwsCryptographyKeyStore_ 

func (CompanionStruct_Error_) Create_AwsCryptographyKeyStore_(AwsCryptographyKeyStore m_AwsCryptographyKeyStoreTypes.Error) Error

func (CompanionStruct_Error_) Create_AwsCryptographyPrimitives_ 

func (CompanionStruct_Error_) Create_AwsCryptographyPrimitives_(AwsCryptographyPrimitives m_AwsCryptographyPrimitivesTypes.Error) Error

func (CompanionStruct_Error_) Create_CollectionOfErrors_ 

func (CompanionStruct_Error_) Create_CollectionOfErrors_(List _dafny.Sequence, Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_ComAmazonawsDynamodb_ 

func (CompanionStruct_Error_) Create_ComAmazonawsDynamodb_(ComAmazonawsDynamodb m_ComAmazonawsDynamodbTypes.Error) Error

func (CompanionStruct_Error_) Create_ComAmazonawsKms_ 

func (CompanionStruct_Error_) Create_ComAmazonawsKms_(ComAmazonawsKms m_ComAmazonawsKmsTypes.Error) Error

func (CompanionStruct_Error_) Create_EntryAlreadyExists_ 

func (CompanionStruct_Error_) Create_EntryAlreadyExists_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_EntryDoesNotExist_ 

func (CompanionStruct_Error_) Create_EntryDoesNotExist_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InFlightTTLExceeded_ 

func (CompanionStruct_Error_) Create_InFlightTTLExceeded_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfoOnDecrypt_ 

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfoOnDecrypt_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfoOnEncrypt_ 

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfoOnEncrypt_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfo_ 

func (CompanionStruct_Error_) Create_InvalidAlgorithmSuiteInfo_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidDecryptionMaterialsTransition_ 

func (CompanionStruct_Error_) Create_InvalidDecryptionMaterialsTransition_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidDecryptionMaterials_ 

func (CompanionStruct_Error_) Create_InvalidDecryptionMaterials_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidEncryptionMaterialsTransition_ 

func (CompanionStruct_Error_) Create_InvalidEncryptionMaterialsTransition_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_InvalidEncryptionMaterials_ 

func (CompanionStruct_Error_) Create_InvalidEncryptionMaterials_(Message _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_OpaqueWithText_ 

func (CompanionStruct_Error_) Create_OpaqueWithText_(Obj interface{}, ObjMessage _dafny.Sequence) Error

func (CompanionStruct_Error_) Create_Opaque_ 

func (CompanionStruct_Error_) Create_Opaque_(Obj interface{}) Error

func (CompanionStruct_Error_) Default 

func (CompanionStruct_Error_) Default() Error

type CompanionStruct_GetBranchKeyIdInput_ 

type CompanionStruct_GetBranchKeyIdInput_ struct {
}

func (CompanionStruct_GetBranchKeyIdInput_) Create_GetBranchKeyIdInput_ 

func (CompanionStruct_GetBranchKeyIdInput_) Create_GetBranchKeyIdInput_(EncryptionContext _dafny.Map) GetBranchKeyIdInput

func (CompanionStruct_GetBranchKeyIdInput_) Default 

func (CompanionStruct_GetBranchKeyIdInput_) Default() GetBranchKeyIdInput

type CompanionStruct_GetBranchKeyIdOutput_ 

type CompanionStruct_GetBranchKeyIdOutput_ struct {
}

func (CompanionStruct_GetBranchKeyIdOutput_) Create_GetBranchKeyIdOutput_ 

func (CompanionStruct_GetBranchKeyIdOutput_) Create_GetBranchKeyIdOutput_(BranchKeyId _dafny.Sequence) GetBranchKeyIdOutput

func (CompanionStruct_GetBranchKeyIdOutput_) Default 

func (CompanionStruct_GetBranchKeyIdOutput_) Default() GetBranchKeyIdOutput

type CompanionStruct_GetCacheEntryInput_ 

type CompanionStruct_GetCacheEntryInput_ struct {
}

func (CompanionStruct_GetCacheEntryInput_) Create_GetCacheEntryInput_ 

func (CompanionStruct_GetCacheEntryInput_) Create_GetCacheEntryInput_(Identifier _dafny.Sequence, BytesUsed m_Wrappers.Option) GetCacheEntryInput

func (CompanionStruct_GetCacheEntryInput_) Default 

func (CompanionStruct_GetCacheEntryInput_) Default() GetCacheEntryInput

type CompanionStruct_GetCacheEntryOutput_ 

type CompanionStruct_GetCacheEntryOutput_ struct {
}

func (CompanionStruct_GetCacheEntryOutput_) Create_GetCacheEntryOutput_ 

func (CompanionStruct_GetCacheEntryOutput_) Create_GetCacheEntryOutput_(Materials Materials, CreationTime int64, ExpiryTime int64, MessagesUsed int32, BytesUsed int32) GetCacheEntryOutput

func (CompanionStruct_GetCacheEntryOutput_) Default 

func (CompanionStruct_GetCacheEntryOutput_) Default() GetCacheEntryOutput

type CompanionStruct_GetClientInput_ 

type CompanionStruct_GetClientInput_ struct {
}

func (CompanionStruct_GetClientInput_) Create_GetClientInput_ 

func (CompanionStruct_GetClientInput_) Create_GetClientInput_(Region _dafny.Sequence) GetClientInput

func (CompanionStruct_GetClientInput_) Default 

func (CompanionStruct_GetClientInput_) Default() GetClientInput

type CompanionStruct_GetEncryptionMaterialsInput_ 

type CompanionStruct_GetEncryptionMaterialsInput_ struct {
}

func (CompanionStruct_GetEncryptionMaterialsInput_) Create_GetEncryptionMaterialsInput_ 

func (CompanionStruct_GetEncryptionMaterialsInput_) Create_GetEncryptionMaterialsInput_(EncryptionContext _dafny.Map, CommitmentPolicy CommitmentPolicy, AlgorithmSuiteId m_Wrappers.Option, MaxPlaintextLength m_Wrappers.Option, RequiredEncryptionContextKeys m_Wrappers.Option) GetEncryptionMaterialsInput

func (CompanionStruct_GetEncryptionMaterialsInput_) Default 

func (CompanionStruct_GetEncryptionMaterialsInput_) Default() GetEncryptionMaterialsInput

type CompanionStruct_GetEncryptionMaterialsOutput_ 

type CompanionStruct_GetEncryptionMaterialsOutput_ struct {
}

func (CompanionStruct_GetEncryptionMaterialsOutput_) Create_GetEncryptionMaterialsOutput_ 

func (CompanionStruct_GetEncryptionMaterialsOutput_) Create_GetEncryptionMaterialsOutput_(EncryptionMaterials EncryptionMaterials) GetEncryptionMaterialsOutput

func (CompanionStruct_GetEncryptionMaterialsOutput_) Default 

func (CompanionStruct_GetEncryptionMaterialsOutput_) Default() GetEncryptionMaterialsOutput

type CompanionStruct_HKDF_ 

type CompanionStruct_HKDF_ struct {
}

func (CompanionStruct_HKDF_) Create_HKDF_ 

func (CompanionStruct_HKDF_) Create_HKDF_(Hmac m_AwsCryptographyPrimitivesTypes.DigestAlgorithm, SaltLength int32, InputKeyLength int32, OutputKeyLength int32) HKDF

func (CompanionStruct_HKDF_) Default 

func (CompanionStruct_HKDF_) Default() HKDF

type CompanionStruct_IAwsCryptographicMaterialProvidersClientCallHistory_ 

type CompanionStruct_IAwsCryptographicMaterialProvidersClientCallHistory_ struct {
}

type CompanionStruct_IAwsCryptographicMaterialProvidersClient_ 

type CompanionStruct_IAwsCryptographicMaterialProvidersClient_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IAwsCryptographicMaterialProvidersClient_) CastTo_ 

func (CompanionStruct_IAwsCryptographicMaterialProvidersClient_) CastTo_(x interface{}) IAwsCryptographicMaterialProvidersClient

type CompanionStruct_IBranchKeyIdSupplierCallHistory_ 

type CompanionStruct_IBranchKeyIdSupplierCallHistory_ struct {
}

type CompanionStruct_IBranchKeyIdSupplier_ 

type CompanionStruct_IBranchKeyIdSupplier_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IBranchKeyIdSupplier_) CastTo_ 

func (CompanionStruct_IBranchKeyIdSupplier_) CastTo_(x interface{}) IBranchKeyIdSupplier

func (*CompanionStruct_IBranchKeyIdSupplier_) GetBranchKeyId 

func (_static *CompanionStruct_IBranchKeyIdSupplier_) GetBranchKeyId(_this IBranchKeyIdSupplier, input GetBranchKeyIdInput) m_Wrappers.Result

type CompanionStruct_IClientSupplierCallHistory_ 

type CompanionStruct_IClientSupplierCallHistory_ struct {
}

type CompanionStruct_IClientSupplier_ 

type CompanionStruct_IClientSupplier_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IClientSupplier_) CastTo_ 

func (CompanionStruct_IClientSupplier_) CastTo_(x interface{}) IClientSupplier

func (*CompanionStruct_IClientSupplier_) GetClient 

func (_static *CompanionStruct_IClientSupplier_) GetClient(_this IClientSupplier, input GetClientInput) m_Wrappers.Result

type CompanionStruct_ICryptographicMaterialsCacheCallHistory_ 

type CompanionStruct_ICryptographicMaterialsCacheCallHistory_ struct {
}

type CompanionStruct_ICryptographicMaterialsCache_ 

type CompanionStruct_ICryptographicMaterialsCache_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_ICryptographicMaterialsCache_) CastTo_ 

func (CompanionStruct_ICryptographicMaterialsCache_) CastTo_(x interface{}) ICryptographicMaterialsCache

func (*CompanionStruct_ICryptographicMaterialsCache_) DeleteCacheEntry 

func (_static *CompanionStruct_ICryptographicMaterialsCache_) DeleteCacheEntry(_this ICryptographicMaterialsCache, input DeleteCacheEntryInput) m_Wrappers.Result

func (*CompanionStruct_ICryptographicMaterialsCache_) GetCacheEntry 

func (_static *CompanionStruct_ICryptographicMaterialsCache_) GetCacheEntry(_this ICryptographicMaterialsCache, input GetCacheEntryInput) m_Wrappers.Result

func (*CompanionStruct_ICryptographicMaterialsCache_) PutCacheEntry 

func (_static *CompanionStruct_ICryptographicMaterialsCache_) PutCacheEntry(_this ICryptographicMaterialsCache, input PutCacheEntryInput) m_Wrappers.Result

func (*CompanionStruct_ICryptographicMaterialsCache_) UpdateUsageMetadata 

func (_static *CompanionStruct_ICryptographicMaterialsCache_) UpdateUsageMetadata(_this ICryptographicMaterialsCache, input UpdateUsageMetadataInput) m_Wrappers.Result

type CompanionStruct_ICryptographicMaterialsManagerCallHistory_ 

type CompanionStruct_ICryptographicMaterialsManagerCallHistory_ struct {
}

type CompanionStruct_ICryptographicMaterialsManager_ 

type CompanionStruct_ICryptographicMaterialsManager_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_ICryptographicMaterialsManager_) CastTo_ 

func (CompanionStruct_ICryptographicMaterialsManager_) CastTo_(x interface{}) ICryptographicMaterialsManager

func (*CompanionStruct_ICryptographicMaterialsManager_) DecryptMaterials 

func (_static *CompanionStruct_ICryptographicMaterialsManager_) DecryptMaterials(_this ICryptographicMaterialsManager, input DecryptMaterialsInput) m_Wrappers.Result

func (*CompanionStruct_ICryptographicMaterialsManager_) GetEncryptionMaterials 

func (_static *CompanionStruct_ICryptographicMaterialsManager_) GetEncryptionMaterials(_this ICryptographicMaterialsManager, input GetEncryptionMaterialsInput) m_Wrappers.Result

type CompanionStruct_IDENTITY_ 

type CompanionStruct_IDENTITY_ struct {
}

func (CompanionStruct_IDENTITY_) AllSingletonConstructors 

func (_ CompanionStruct_IDENTITY_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_IDENTITY_) Create_IDENTITY_ 

func (CompanionStruct_IDENTITY_) Create_IDENTITY_() IDENTITY

func (CompanionStruct_IDENTITY_) Default 

func (CompanionStruct_IDENTITY_) Default() IDENTITY

type CompanionStruct_IKeyringCallHistory_ 

type CompanionStruct_IKeyringCallHistory_ struct {
}

type CompanionStruct_IKeyring_ 

type CompanionStruct_IKeyring_ struct {
	TraitID_ *_dafny.TraitID
}

func (CompanionStruct_IKeyring_) CastTo_ 

func (CompanionStruct_IKeyring_) CastTo_(x interface{}) IKeyring

func (*CompanionStruct_IKeyring_) OnDecrypt 

func (_static *CompanionStruct_IKeyring_) OnDecrypt(_this IKeyring, input OnDecryptInput) m_Wrappers.Result

func (*CompanionStruct_IKeyring_) OnEncrypt 

func (_static *CompanionStruct_IKeyring_) OnEncrypt(_this IKeyring, input OnEncryptInput) m_Wrappers.Result

type CompanionStruct_InitializeDecryptionMaterialsInput_ 

type CompanionStruct_InitializeDecryptionMaterialsInput_ struct {
}

func (CompanionStruct_InitializeDecryptionMaterialsInput_) Create_InitializeDecryptionMaterialsInput_ 

func (CompanionStruct_InitializeDecryptionMaterialsInput_) Create_InitializeDecryptionMaterialsInput_(AlgorithmSuiteId AlgorithmSuiteId, EncryptionContext _dafny.Map, RequiredEncryptionContextKeys _dafny.Sequence) InitializeDecryptionMaterialsInput

func (CompanionStruct_InitializeDecryptionMaterialsInput_) Default 

func (CompanionStruct_InitializeDecryptionMaterialsInput_) Default() InitializeDecryptionMaterialsInput

type CompanionStruct_InitializeEncryptionMaterialsInput_ 

type CompanionStruct_InitializeEncryptionMaterialsInput_ struct {
}

func (CompanionStruct_InitializeEncryptionMaterialsInput_) Create_InitializeEncryptionMaterialsInput_ 

func (CompanionStruct_InitializeEncryptionMaterialsInput_) Create_InitializeEncryptionMaterialsInput_(AlgorithmSuiteId AlgorithmSuiteId, EncryptionContext _dafny.Map, RequiredEncryptionContextKeys _dafny.Sequence, SigningKey m_Wrappers.Option, VerificationKey m_Wrappers.Option) InitializeEncryptionMaterialsInput

func (CompanionStruct_InitializeEncryptionMaterialsInput_) Default 

func (CompanionStruct_InitializeEncryptionMaterialsInput_) Default() InitializeEncryptionMaterialsInput

type CompanionStruct_IntermediateKeyWrapping_ 

type CompanionStruct_IntermediateKeyWrapping_ struct {
}

func (CompanionStruct_IntermediateKeyWrapping_) Create_IntermediateKeyWrapping_ 

func (CompanionStruct_IntermediateKeyWrapping_) Create_IntermediateKeyWrapping_(KeyEncryptionKeyKdf DerivationAlgorithm, MacKeyKdf DerivationAlgorithm, PdkEncryptAlgorithm Encrypt) IntermediateKeyWrapping

func (CompanionStruct_IntermediateKeyWrapping_) Default 

func (CompanionStruct_IntermediateKeyWrapping_) Default() IntermediateKeyWrapping

type CompanionStruct_KeyAgreementScheme_ 

type CompanionStruct_KeyAgreementScheme_ struct {
}

func (CompanionStruct_KeyAgreementScheme_) Create_StaticConfiguration_ 

func (CompanionStruct_KeyAgreementScheme_) Create_StaticConfiguration_(StaticConfiguration StaticConfigurations) KeyAgreementScheme

func (CompanionStruct_KeyAgreementScheme_) Default 

func (CompanionStruct_KeyAgreementScheme_) Default() KeyAgreementScheme

type CompanionStruct_KmsEcdhStaticConfigurations_ 

type CompanionStruct_KmsEcdhStaticConfigurations_ struct {
}

func (CompanionStruct_KmsEcdhStaticConfigurations_) Create_KmsPrivateKeyToStaticPublicKey_ 

func (CompanionStruct_KmsEcdhStaticConfigurations_) Create_KmsPrivateKeyToStaticPublicKey_(KmsPrivateKeyToStaticPublicKey KmsPrivateKeyToStaticPublicKeyInput) KmsEcdhStaticConfigurations

func (CompanionStruct_KmsEcdhStaticConfigurations_) Create_KmsPublicKeyDiscovery_ 

func (CompanionStruct_KmsEcdhStaticConfigurations_) Create_KmsPublicKeyDiscovery_(KmsPublicKeyDiscovery KmsPublicKeyDiscoveryInput) KmsEcdhStaticConfigurations

func (CompanionStruct_KmsEcdhStaticConfigurations_) Default 

func (CompanionStruct_KmsEcdhStaticConfigurations_) Default() KmsEcdhStaticConfigurations

type CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_ 

type CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_ struct {
}

func (CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_) Create_KmsPrivateKeyToStaticPublicKeyInput_ 

func (CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_) Create_KmsPrivateKeyToStaticPublicKeyInput_(SenderKmsIdentifier _dafny.Sequence, SenderPublicKey m_Wrappers.Option, RecipientPublicKey _dafny.Sequence) KmsPrivateKeyToStaticPublicKeyInput

func (CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_) Default 

func (CompanionStruct_KmsPrivateKeyToStaticPublicKeyInput_) Default() KmsPrivateKeyToStaticPublicKeyInput

type CompanionStruct_KmsPublicKeyDiscoveryInput_ 

type CompanionStruct_KmsPublicKeyDiscoveryInput_ struct {
}

func (CompanionStruct_KmsPublicKeyDiscoveryInput_) Create_KmsPublicKeyDiscoveryInput_ 

func (CompanionStruct_KmsPublicKeyDiscoveryInput_) Create_KmsPublicKeyDiscoveryInput_(RecipientKmsIdentifier _dafny.Sequence) KmsPublicKeyDiscoveryInput

func (CompanionStruct_KmsPublicKeyDiscoveryInput_) Default 

func (CompanionStruct_KmsPublicKeyDiscoveryInput_) Default() KmsPublicKeyDiscoveryInput

type CompanionStruct_MaterialProvidersConfig_ 

type CompanionStruct_MaterialProvidersConfig_ struct {
}

func (CompanionStruct_MaterialProvidersConfig_) AllSingletonConstructors 

func (_ CompanionStruct_MaterialProvidersConfig_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_MaterialProvidersConfig_) Create_MaterialProvidersConfig_ 

func (CompanionStruct_MaterialProvidersConfig_) Create_MaterialProvidersConfig_() MaterialProvidersConfig

func (CompanionStruct_MaterialProvidersConfig_) Default 

func (CompanionStruct_MaterialProvidersConfig_) Default() MaterialProvidersConfig

type CompanionStruct_Materials_ 

type CompanionStruct_Materials_ struct {
}

func (CompanionStruct_Materials_) Create_BeaconKey_ 

func (CompanionStruct_Materials_) Create_BeaconKey_(BeaconKey m_AwsCryptographyKeyStoreTypes.BeaconKeyMaterials) Materials

func (CompanionStruct_Materials_) Create_BranchKey_ 

func (CompanionStruct_Materials_) Create_BranchKey_(BranchKey m_AwsCryptographyKeyStoreTypes.BranchKeyMaterials) Materials

func (CompanionStruct_Materials_) Create_Decryption_ 

func (CompanionStruct_Materials_) Create_Decryption_(Decryption DecryptionMaterials) Materials

func (CompanionStruct_Materials_) Create_Encryption_ 

func (CompanionStruct_Materials_) Create_Encryption_(Encryption EncryptionMaterials) Materials

func (CompanionStruct_Materials_) Default 

func (CompanionStruct_Materials_) Default() Materials

type CompanionStruct_MultiThreadedCache_ 

type CompanionStruct_MultiThreadedCache_ struct {
}

func (CompanionStruct_MultiThreadedCache_) Create_MultiThreadedCache_ 

func (CompanionStruct_MultiThreadedCache_) Create_MultiThreadedCache_(EntryCapacity int32, EntryPruningTailSize m_Wrappers.Option) MultiThreadedCache

func (CompanionStruct_MultiThreadedCache_) Default 

func (CompanionStruct_MultiThreadedCache_) Default() MultiThreadedCache

type CompanionStruct_NoCache_ 

type CompanionStruct_NoCache_ struct {
}

func (CompanionStruct_NoCache_) AllSingletonConstructors 

func (_ CompanionStruct_NoCache_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_NoCache_) Create_NoCache_ 

func (CompanionStruct_NoCache_) Create_NoCache_() NoCache

func (CompanionStruct_NoCache_) Default 

func (CompanionStruct_NoCache_) Default() NoCache

type CompanionStruct_None_ 

type CompanionStruct_None_ struct {
}

func (CompanionStruct_None_) AllSingletonConstructors 

func (_ CompanionStruct_None_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_None_) Create_None_ 

func (CompanionStruct_None_) Create_None_() None

func (CompanionStruct_None_) Default 

func (CompanionStruct_None_) Default() None

type CompanionStruct_OnDecryptInput_ 

type CompanionStruct_OnDecryptInput_ struct {
}

func (CompanionStruct_OnDecryptInput_) Create_OnDecryptInput_ 

func (CompanionStruct_OnDecryptInput_) Create_OnDecryptInput_(Materials DecryptionMaterials, EncryptedDataKeys _dafny.Sequence) OnDecryptInput

func (CompanionStruct_OnDecryptInput_) Default 

func (CompanionStruct_OnDecryptInput_) Default() OnDecryptInput

type CompanionStruct_OnDecryptOutput_ 

type CompanionStruct_OnDecryptOutput_ struct {
}

func (CompanionStruct_OnDecryptOutput_) Create_OnDecryptOutput_ 

func (CompanionStruct_OnDecryptOutput_) Create_OnDecryptOutput_(Materials DecryptionMaterials) OnDecryptOutput

func (CompanionStruct_OnDecryptOutput_) Default 

func (CompanionStruct_OnDecryptOutput_) Default() OnDecryptOutput

type CompanionStruct_OnEncryptInput_ 

type CompanionStruct_OnEncryptInput_ struct {
}

func (CompanionStruct_OnEncryptInput_) Create_OnEncryptInput_ 

func (CompanionStruct_OnEncryptInput_) Create_OnEncryptInput_(Materials EncryptionMaterials) OnEncryptInput

func (CompanionStruct_OnEncryptInput_) Default 

func (CompanionStruct_OnEncryptInput_) Default() OnEncryptInput

type CompanionStruct_OnEncryptOutput_ 

type CompanionStruct_OnEncryptOutput_ struct {
}

func (CompanionStruct_OnEncryptOutput_) Create_OnEncryptOutput_ 

func (CompanionStruct_OnEncryptOutput_) Create_OnEncryptOutput_(Materials EncryptionMaterials) OnEncryptOutput

func (CompanionStruct_OnEncryptOutput_) Default 

func (CompanionStruct_OnEncryptOutput_) Default() OnEncryptOutput

type CompanionStruct_OpaqueError_ 

type CompanionStruct_OpaqueError_ struct {
}

func (*CompanionStruct_OpaqueError_) Is_ 

func (_this *CompanionStruct_OpaqueError_) Is_(__source Error) bool

type CompanionStruct_PaddingScheme_ 

type CompanionStruct_PaddingScheme_ struct {
}

func (CompanionStruct_PaddingScheme_) AllSingletonConstructors 

func (_ CompanionStruct_PaddingScheme_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA1__MGF1_ 

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA1__MGF1_() PaddingScheme

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA256__MGF1_ 

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA256__MGF1_() PaddingScheme

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA384__MGF1_ 

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA384__MGF1_() PaddingScheme

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA512__MGF1_ 

func (CompanionStruct_PaddingScheme_) Create_OAEP__SHA512__MGF1_() PaddingScheme

func (CompanionStruct_PaddingScheme_) Create_PKCS1_ 

func (CompanionStruct_PaddingScheme_) Create_PKCS1_() PaddingScheme

func (CompanionStruct_PaddingScheme_) Default 

func (CompanionStruct_PaddingScheme_) Default() PaddingScheme

type CompanionStruct_PositiveInteger_ 

type CompanionStruct_PositiveInteger_ struct {
}

func (*CompanionStruct_PositiveInteger_) Is_ 

func (_this *CompanionStruct_PositiveInteger_) Is_(__source int32) bool

type CompanionStruct_PositiveLong_ 

type CompanionStruct_PositiveLong_ struct {
}

func (*CompanionStruct_PositiveLong_) Is_ 

func (_this *CompanionStruct_PositiveLong_) Is_(__source int64) bool

type CompanionStruct_PublicKeyDiscoveryInput_ 

type CompanionStruct_PublicKeyDiscoveryInput_ struct {
}

func (CompanionStruct_PublicKeyDiscoveryInput_) Create_PublicKeyDiscoveryInput_ 

func (CompanionStruct_PublicKeyDiscoveryInput_) Create_PublicKeyDiscoveryInput_(RecipientStaticPrivateKey _dafny.Sequence) PublicKeyDiscoveryInput

func (CompanionStruct_PublicKeyDiscoveryInput_) Default 

func (CompanionStruct_PublicKeyDiscoveryInput_) Default() PublicKeyDiscoveryInput

type CompanionStruct_PutCacheEntryInput_ 

type CompanionStruct_PutCacheEntryInput_ struct {
}

func (CompanionStruct_PutCacheEntryInput_) Create_PutCacheEntryInput_ 

func (CompanionStruct_PutCacheEntryInput_) Create_PutCacheEntryInput_(Identifier _dafny.Sequence, Materials Materials, CreationTime int64, ExpiryTime int64, MessagesUsed m_Wrappers.Option, BytesUsed m_Wrappers.Option) PutCacheEntryInput

func (CompanionStruct_PutCacheEntryInput_) Default 

func (CompanionStruct_PutCacheEntryInput_) Default() PutCacheEntryInput

type CompanionStruct_RawEcdhStaticConfigurations_ 

type CompanionStruct_RawEcdhStaticConfigurations_ struct {
}

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_EphemeralPrivateKeyToStaticPublicKey_ 

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_EphemeralPrivateKeyToStaticPublicKey_(EphemeralPrivateKeyToStaticPublicKey EphemeralPrivateKeyToStaticPublicKeyInput) RawEcdhStaticConfigurations

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_PublicKeyDiscovery_ 

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_PublicKeyDiscovery_(PublicKeyDiscovery PublicKeyDiscoveryInput) RawEcdhStaticConfigurations

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_RawPrivateKeyToStaticPublicKey_ 

func (CompanionStruct_RawEcdhStaticConfigurations_) Create_RawPrivateKeyToStaticPublicKey_(RawPrivateKeyToStaticPublicKey RawPrivateKeyToStaticPublicKeyInput) RawEcdhStaticConfigurations

func (CompanionStruct_RawEcdhStaticConfigurations_) Default 

func (CompanionStruct_RawEcdhStaticConfigurations_) Default() RawEcdhStaticConfigurations

type CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_ 

type CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_ struct {
}

func (CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_) Create_RawPrivateKeyToStaticPublicKeyInput_ 

func (CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_) Create_RawPrivateKeyToStaticPublicKeyInput_(SenderStaticPrivateKey _dafny.Sequence, RecipientPublicKey _dafny.Sequence) RawPrivateKeyToStaticPublicKeyInput

func (CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_) Default 

func (CompanionStruct_RawPrivateKeyToStaticPublicKeyInput_) Default() RawPrivateKeyToStaticPublicKeyInput

type CompanionStruct_SignatureAlgorithm_ 

type CompanionStruct_SignatureAlgorithm_ struct {
}

func (CompanionStruct_SignatureAlgorithm_) Create_ECDSA_ 

func (CompanionStruct_SignatureAlgorithm_) Create_ECDSA_(ECDSA ECDSA) SignatureAlgorithm

func (CompanionStruct_SignatureAlgorithm_) Create_None_ 

func (CompanionStruct_SignatureAlgorithm_) Create_None_(None None) SignatureAlgorithm

func (CompanionStruct_SignatureAlgorithm_) Default 

func (CompanionStruct_SignatureAlgorithm_) Default() SignatureAlgorithm

type CompanionStruct_SingleThreadedCache_ 

type CompanionStruct_SingleThreadedCache_ struct {
}

func (CompanionStruct_SingleThreadedCache_) Create_SingleThreadedCache_ 

func (CompanionStruct_SingleThreadedCache_) Create_SingleThreadedCache_(EntryCapacity int32, EntryPruningTailSize m_Wrappers.Option) SingleThreadedCache

func (CompanionStruct_SingleThreadedCache_) Default 

func (CompanionStruct_SingleThreadedCache_) Default() SingleThreadedCache

type CompanionStruct_StaticConfigurations_ 

type CompanionStruct_StaticConfigurations_ struct {
}

func (CompanionStruct_StaticConfigurations_) Create_AWS__KMS__ECDH_ 

func (CompanionStruct_StaticConfigurations_) Create_AWS__KMS__ECDH_(AWS__KMS__ECDH KmsEcdhStaticConfigurations) StaticConfigurations

func (CompanionStruct_StaticConfigurations_) Create_RAW__ECDH_ 

func (CompanionStruct_StaticConfigurations_) Create_RAW__ECDH_(RAW__ECDH RawEcdhStaticConfigurations) StaticConfigurations

func (CompanionStruct_StaticConfigurations_) Default 

func (CompanionStruct_StaticConfigurations_) Default() StaticConfigurations

type CompanionStruct_StormTrackingCache_ 

type CompanionStruct_StormTrackingCache_ struct {
}

func (CompanionStruct_StormTrackingCache_) Create_StormTrackingCache_ 

func (CompanionStruct_StormTrackingCache_) Create_StormTrackingCache_(EntryCapacity int32, EntryPruningTailSize m_Wrappers.Option, GracePeriod int32, GraceInterval int32, FanOut int32, InFlightTTL int32, SleepMilli int32, TimeUnits m_Wrappers.Option) StormTrackingCache

func (CompanionStruct_StormTrackingCache_) Default 

func (CompanionStruct_StormTrackingCache_) Default() StormTrackingCache

type CompanionStruct_SymmetricSignatureAlgorithm_ 

type CompanionStruct_SymmetricSignatureAlgorithm_ struct {
}

func (CompanionStruct_SymmetricSignatureAlgorithm_) Create_HMAC_ 

func (CompanionStruct_SymmetricSignatureAlgorithm_) Create_HMAC_(HMAC m_AwsCryptographyPrimitivesTypes.DigestAlgorithm) SymmetricSignatureAlgorithm

func (CompanionStruct_SymmetricSignatureAlgorithm_) Create_None_ 

func (CompanionStruct_SymmetricSignatureAlgorithm_) Create_None_(None None) SymmetricSignatureAlgorithm

func (CompanionStruct_SymmetricSignatureAlgorithm_) Default 

func (CompanionStruct_SymmetricSignatureAlgorithm_) Default() SymmetricSignatureAlgorithm

type CompanionStruct_TimeUnits_ 

type CompanionStruct_TimeUnits_ struct {
}

func (CompanionStruct_TimeUnits_) AllSingletonConstructors 

func (_ CompanionStruct_TimeUnits_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_TimeUnits_) Create_Milliseconds_ 

func (CompanionStruct_TimeUnits_) Create_Milliseconds_() TimeUnits

func (CompanionStruct_TimeUnits_) Create_Seconds_ 

func (CompanionStruct_TimeUnits_) Create_Seconds_() TimeUnits

func (CompanionStruct_TimeUnits_) Default 

func (CompanionStruct_TimeUnits_) Default() TimeUnits

type CompanionStruct_UpdateUsageMetadataInput_ 

type CompanionStruct_UpdateUsageMetadataInput_ struct {
}

func (CompanionStruct_UpdateUsageMetadataInput_) Create_UpdateUsageMetadataInput_ 

func (CompanionStruct_UpdateUsageMetadataInput_) Create_UpdateUsageMetadataInput_(Identifier _dafny.Sequence, BytesUsed int32) UpdateUsageMetadataInput

func (CompanionStruct_UpdateUsageMetadataInput_) Default 

func (CompanionStruct_UpdateUsageMetadataInput_) Default() UpdateUsageMetadataInput

type CompanionStruct_ValidDecryptionMaterialsTransitionInput_ 

type CompanionStruct_ValidDecryptionMaterialsTransitionInput_ struct {
}

func (CompanionStruct_ValidDecryptionMaterialsTransitionInput_) Create_ValidDecryptionMaterialsTransitionInput_ 

func (CompanionStruct_ValidDecryptionMaterialsTransitionInput_) Create_ValidDecryptionMaterialsTransitionInput_(Start DecryptionMaterials, Stop DecryptionMaterials) ValidDecryptionMaterialsTransitionInput

func (CompanionStruct_ValidDecryptionMaterialsTransitionInput_) Default 

func (CompanionStruct_ValidDecryptionMaterialsTransitionInput_) Default() ValidDecryptionMaterialsTransitionInput

type CompanionStruct_ValidEncryptionMaterialsTransitionInput_ 

type CompanionStruct_ValidEncryptionMaterialsTransitionInput_ struct {
}

func (CompanionStruct_ValidEncryptionMaterialsTransitionInput_) Create_ValidEncryptionMaterialsTransitionInput_ 

func (CompanionStruct_ValidEncryptionMaterialsTransitionInput_) Create_ValidEncryptionMaterialsTransitionInput_(Start EncryptionMaterials, Stop EncryptionMaterials) ValidEncryptionMaterialsTransitionInput

func (CompanionStruct_ValidEncryptionMaterialsTransitionInput_) Default 

func (CompanionStruct_ValidEncryptionMaterialsTransitionInput_) Default() ValidEncryptionMaterialsTransitionInput

type CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_ 

type CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_ struct {
}

func (CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_) Create_ValidateCommitmentPolicyOnDecryptInput_ 

func (CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_) Create_ValidateCommitmentPolicyOnDecryptInput_(Algorithm AlgorithmSuiteId, CommitmentPolicy CommitmentPolicy) ValidateCommitmentPolicyOnDecryptInput

func (CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_) Default 

func (CompanionStruct_ValidateCommitmentPolicyOnDecryptInput_) Default() ValidateCommitmentPolicyOnDecryptInput

type CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_ 

type CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_ struct {
}

func (CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_) Create_ValidateCommitmentPolicyOnEncryptInput_ 

func (CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_) Create_ValidateCommitmentPolicyOnEncryptInput_(Algorithm AlgorithmSuiteId, CommitmentPolicy CommitmentPolicy) ValidateCommitmentPolicyOnEncryptInput

func (CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_) Default 

func (CompanionStruct_ValidateCommitmentPolicyOnEncryptInput_) Default() ValidateCommitmentPolicyOnEncryptInput

type CountingNumber 

type CountingNumber struct {
}

Definition of class CountingNumber

func New_CountingNumber_ 

func New_CountingNumber_() *CountingNumber

func (*CountingNumber) String 

func (*CountingNumber) String() string

type CreateAwsKmsDiscoveryKeyringInput 

type CreateAwsKmsDiscoveryKeyringInput struct {
	Data_CreateAwsKmsDiscoveryKeyringInput_
}

Definition of datatype CreateAwsKmsDiscoveryKeyringInput

func (CreateAwsKmsDiscoveryKeyringInput) Dtor_discoveryFilter 

func (_this CreateAwsKmsDiscoveryKeyringInput) Dtor_discoveryFilter() m_Wrappers.Option

func (CreateAwsKmsDiscoveryKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsDiscoveryKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsDiscoveryKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsDiscoveryKeyringInput) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (CreateAwsKmsDiscoveryKeyringInput) Equals 

func (_this CreateAwsKmsDiscoveryKeyringInput) Equals(other CreateAwsKmsDiscoveryKeyringInput) bool

func (CreateAwsKmsDiscoveryKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsDiscoveryKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsDiscoveryKeyringInput) Get_ 

func (_this CreateAwsKmsDiscoveryKeyringInput) Get_() Data_CreateAwsKmsDiscoveryKeyringInput_

func (CreateAwsKmsDiscoveryKeyringInput) Is_CreateAwsKmsDiscoveryKeyringInput 

func (_this CreateAwsKmsDiscoveryKeyringInput) Is_CreateAwsKmsDiscoveryKeyringInput() bool

func (CreateAwsKmsDiscoveryKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsDiscoveryKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsDiscoveryKeyringInput) String 

func (_this CreateAwsKmsDiscoveryKeyringInput) String() string

type CreateAwsKmsDiscoveryKeyringInput_CreateAwsKmsDiscoveryKeyringInput 

type CreateAwsKmsDiscoveryKeyringInput_CreateAwsKmsDiscoveryKeyringInput struct {
	KmsClient       m_ComAmazonawsKmsTypes.IKMSClient
	DiscoveryFilter m_Wrappers.Option
	GrantTokens     m_Wrappers.Option
}

type CreateAwsKmsDiscoveryMultiKeyringInput 

type CreateAwsKmsDiscoveryMultiKeyringInput struct {
	Data_CreateAwsKmsDiscoveryMultiKeyringInput_
}

Definition of datatype CreateAwsKmsDiscoveryMultiKeyringInput

func (CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_clientSupplier 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_clientSupplier() m_Wrappers.Option

func (CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_discoveryFilter 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_discoveryFilter() m_Wrappers.Option

func (CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_regions 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Dtor_regions() _dafny.Sequence

func (CreateAwsKmsDiscoveryMultiKeyringInput) Equals 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Equals(other CreateAwsKmsDiscoveryMultiKeyringInput) bool

func (CreateAwsKmsDiscoveryMultiKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsDiscoveryMultiKeyringInput) Get_ 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Get_() Data_CreateAwsKmsDiscoveryMultiKeyringInput_

func (CreateAwsKmsDiscoveryMultiKeyringInput) Is_CreateAwsKmsDiscoveryMultiKeyringInput 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) Is_CreateAwsKmsDiscoveryMultiKeyringInput() bool

func (CreateAwsKmsDiscoveryMultiKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsDiscoveryMultiKeyringInput) String 

func (_this CreateAwsKmsDiscoveryMultiKeyringInput) String() string

type CreateAwsKmsDiscoveryMultiKeyringInput_CreateAwsKmsDiscoveryMultiKeyringInput 

type CreateAwsKmsDiscoveryMultiKeyringInput_CreateAwsKmsDiscoveryMultiKeyringInput struct {
	Regions         _dafny.Sequence
	DiscoveryFilter m_Wrappers.Option
	ClientSupplier  m_Wrappers.Option
	GrantTokens     m_Wrappers.Option
}

type CreateAwsKmsEcdhKeyringInput 

type CreateAwsKmsEcdhKeyringInput struct {
	Data_CreateAwsKmsEcdhKeyringInput_
}

Definition of datatype CreateAwsKmsEcdhKeyringInput

func (CreateAwsKmsEcdhKeyringInput) Dtor_KeyAgreementScheme 

func (_this CreateAwsKmsEcdhKeyringInput) Dtor_KeyAgreementScheme() KmsEcdhStaticConfigurations

func (CreateAwsKmsEcdhKeyringInput) Dtor_curveSpec 

func (_this CreateAwsKmsEcdhKeyringInput) Dtor_curveSpec() m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec

func (CreateAwsKmsEcdhKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsEcdhKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsEcdhKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsEcdhKeyringInput) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (CreateAwsKmsEcdhKeyringInput) Equals 

func (_this CreateAwsKmsEcdhKeyringInput) Equals(other CreateAwsKmsEcdhKeyringInput) bool

func (CreateAwsKmsEcdhKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsEcdhKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsEcdhKeyringInput) Get_ 

func (_this CreateAwsKmsEcdhKeyringInput) Get_() Data_CreateAwsKmsEcdhKeyringInput_

func (CreateAwsKmsEcdhKeyringInput) Is_CreateAwsKmsEcdhKeyringInput 

func (_this CreateAwsKmsEcdhKeyringInput) Is_CreateAwsKmsEcdhKeyringInput() bool

func (CreateAwsKmsEcdhKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsEcdhKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsEcdhKeyringInput) String 

func (_this CreateAwsKmsEcdhKeyringInput) String() string

type CreateAwsKmsEcdhKeyringInput_CreateAwsKmsEcdhKeyringInput 

type CreateAwsKmsEcdhKeyringInput_CreateAwsKmsEcdhKeyringInput struct {
	KeyAgreementScheme KmsEcdhStaticConfigurations
	CurveSpec          m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec
	KmsClient          m_ComAmazonawsKmsTypes.IKMSClient
	GrantTokens        m_Wrappers.Option
}

type CreateAwsKmsHierarchicalKeyringInput 

type CreateAwsKmsHierarchicalKeyringInput struct {
	Data_CreateAwsKmsHierarchicalKeyringInput_
}

Definition of datatype CreateAwsKmsHierarchicalKeyringInput

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_branchKeyId 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_branchKeyId() m_Wrappers.Option

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_branchKeyIdSupplier 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_branchKeyIdSupplier() m_Wrappers.Option

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_cache 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_cache() m_Wrappers.Option

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_keyStore 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_keyStore() m_AwsCryptographyKeyStoreTypes.IKeyStoreClient

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_partitionId 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_partitionId() m_Wrappers.Option

func (CreateAwsKmsHierarchicalKeyringInput) Dtor_ttlSeconds 

func (_this CreateAwsKmsHierarchicalKeyringInput) Dtor_ttlSeconds() int64

func (CreateAwsKmsHierarchicalKeyringInput) Equals 

func (_this CreateAwsKmsHierarchicalKeyringInput) Equals(other CreateAwsKmsHierarchicalKeyringInput) bool

func (CreateAwsKmsHierarchicalKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsHierarchicalKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsHierarchicalKeyringInput) Get_ 

func (_this CreateAwsKmsHierarchicalKeyringInput) Get_() Data_CreateAwsKmsHierarchicalKeyringInput_

func (CreateAwsKmsHierarchicalKeyringInput) Is_CreateAwsKmsHierarchicalKeyringInput 

func (_this CreateAwsKmsHierarchicalKeyringInput) Is_CreateAwsKmsHierarchicalKeyringInput() bool

func (CreateAwsKmsHierarchicalKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsHierarchicalKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsHierarchicalKeyringInput) String 

func (_this CreateAwsKmsHierarchicalKeyringInput) String() string

type CreateAwsKmsHierarchicalKeyringInput_CreateAwsKmsHierarchicalKeyringInput 

type CreateAwsKmsHierarchicalKeyringInput_CreateAwsKmsHierarchicalKeyringInput struct {
	BranchKeyId         m_Wrappers.Option
	BranchKeyIdSupplier m_Wrappers.Option
	KeyStore            m_AwsCryptographyKeyStoreTypes.IKeyStoreClient
	TtlSeconds          int64
	Cache               m_Wrappers.Option
	PartitionId         m_Wrappers.Option
}

type CreateAwsKmsKeyringInput 

type CreateAwsKmsKeyringInput struct {
	Data_CreateAwsKmsKeyringInput_
}

Definition of datatype CreateAwsKmsKeyringInput

func (CreateAwsKmsKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsKeyringInput) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (CreateAwsKmsKeyringInput) Dtor_kmsKeyId 

func (_this CreateAwsKmsKeyringInput) Dtor_kmsKeyId() _dafny.Sequence

func (CreateAwsKmsKeyringInput) Equals 

func (_this CreateAwsKmsKeyringInput) Equals(other CreateAwsKmsKeyringInput) bool

func (CreateAwsKmsKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsKeyringInput) Get_ 

func (_this CreateAwsKmsKeyringInput) Get_() Data_CreateAwsKmsKeyringInput_

func (CreateAwsKmsKeyringInput) Is_CreateAwsKmsKeyringInput 

func (_this CreateAwsKmsKeyringInput) Is_CreateAwsKmsKeyringInput() bool

func (CreateAwsKmsKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsKeyringInput) String 

func (_this CreateAwsKmsKeyringInput) String() string

type CreateAwsKmsKeyringInput_CreateAwsKmsKeyringInput 

type CreateAwsKmsKeyringInput_CreateAwsKmsKeyringInput struct {
	KmsKeyId    _dafny.Sequence
	KmsClient   m_ComAmazonawsKmsTypes.IKMSClient
	GrantTokens m_Wrappers.Option
}

type CreateAwsKmsMrkDiscoveryKeyringInput 

type CreateAwsKmsMrkDiscoveryKeyringInput struct {
	Data_CreateAwsKmsMrkDiscoveryKeyringInput_
}

Definition of datatype CreateAwsKmsMrkDiscoveryKeyringInput

func (CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_discoveryFilter 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_discoveryFilter() m_Wrappers.Option

func (CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_region 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Dtor_region() _dafny.Sequence

func (CreateAwsKmsMrkDiscoveryKeyringInput) Equals 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Equals(other CreateAwsKmsMrkDiscoveryKeyringInput) bool

func (CreateAwsKmsMrkDiscoveryKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsMrkDiscoveryKeyringInput) Get_ 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Get_() Data_CreateAwsKmsMrkDiscoveryKeyringInput_

func (CreateAwsKmsMrkDiscoveryKeyringInput) Is_CreateAwsKmsMrkDiscoveryKeyringInput 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) Is_CreateAwsKmsMrkDiscoveryKeyringInput() bool

func (CreateAwsKmsMrkDiscoveryKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsMrkDiscoveryKeyringInput) String 

func (_this CreateAwsKmsMrkDiscoveryKeyringInput) String() string

type CreateAwsKmsMrkDiscoveryKeyringInput_CreateAwsKmsMrkDiscoveryKeyringInput 

type CreateAwsKmsMrkDiscoveryKeyringInput_CreateAwsKmsMrkDiscoveryKeyringInput struct {
	KmsClient       m_ComAmazonawsKmsTypes.IKMSClient
	DiscoveryFilter m_Wrappers.Option
	GrantTokens     m_Wrappers.Option
	Region          _dafny.Sequence
}

type CreateAwsKmsMrkDiscoveryMultiKeyringInput 

type CreateAwsKmsMrkDiscoveryMultiKeyringInput struct {
	Data_CreateAwsKmsMrkDiscoveryMultiKeyringInput_
}

Definition of datatype CreateAwsKmsMrkDiscoveryMultiKeyringInput

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_clientSupplier 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_clientSupplier() m_Wrappers.Option

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_discoveryFilter 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_discoveryFilter() m_Wrappers.Option

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_regions 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Dtor_regions() _dafny.Sequence

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Equals 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Equals(other CreateAwsKmsMrkDiscoveryMultiKeyringInput) bool

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Get_ 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Get_() Data_CreateAwsKmsMrkDiscoveryMultiKeyringInput_

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) Is_CreateAwsKmsMrkDiscoveryMultiKeyringInput 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) Is_CreateAwsKmsMrkDiscoveryMultiKeyringInput() bool

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsMrkDiscoveryMultiKeyringInput) String 

func (_this CreateAwsKmsMrkDiscoveryMultiKeyringInput) String() string

type CreateAwsKmsMrkDiscoveryMultiKeyringInput_CreateAwsKmsMrkDiscoveryMultiKeyringInput 

type CreateAwsKmsMrkDiscoveryMultiKeyringInput_CreateAwsKmsMrkDiscoveryMultiKeyringInput struct {
	Regions         _dafny.Sequence
	DiscoveryFilter m_Wrappers.Option
	ClientSupplier  m_Wrappers.Option
	GrantTokens     m_Wrappers.Option
}

type CreateAwsKmsMrkKeyringInput 

type CreateAwsKmsMrkKeyringInput struct {
	Data_CreateAwsKmsMrkKeyringInput_
}

Definition of datatype CreateAwsKmsMrkKeyringInput

func (CreateAwsKmsMrkKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsMrkKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsMrkKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsMrkKeyringInput) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient

func (CreateAwsKmsMrkKeyringInput) Dtor_kmsKeyId 

func (_this CreateAwsKmsMrkKeyringInput) Dtor_kmsKeyId() _dafny.Sequence

func (CreateAwsKmsMrkKeyringInput) Equals 

func (_this CreateAwsKmsMrkKeyringInput) Equals(other CreateAwsKmsMrkKeyringInput) bool

func (CreateAwsKmsMrkKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsMrkKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsMrkKeyringInput) Get_ 

func (_this CreateAwsKmsMrkKeyringInput) Get_() Data_CreateAwsKmsMrkKeyringInput_

func (CreateAwsKmsMrkKeyringInput) Is_CreateAwsKmsMrkKeyringInput 

func (_this CreateAwsKmsMrkKeyringInput) Is_CreateAwsKmsMrkKeyringInput() bool

func (CreateAwsKmsMrkKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsMrkKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsMrkKeyringInput) String 

func (_this CreateAwsKmsMrkKeyringInput) String() string

type CreateAwsKmsMrkKeyringInput_CreateAwsKmsMrkKeyringInput 

type CreateAwsKmsMrkKeyringInput_CreateAwsKmsMrkKeyringInput struct {
	KmsKeyId    _dafny.Sequence
	KmsClient   m_ComAmazonawsKmsTypes.IKMSClient
	GrantTokens m_Wrappers.Option
}

type CreateAwsKmsMrkMultiKeyringInput 

type CreateAwsKmsMrkMultiKeyringInput struct {
	Data_CreateAwsKmsMrkMultiKeyringInput_
}

Definition of datatype CreateAwsKmsMrkMultiKeyringInput

func (CreateAwsKmsMrkMultiKeyringInput) Dtor_clientSupplier 

func (_this CreateAwsKmsMrkMultiKeyringInput) Dtor_clientSupplier() m_Wrappers.Option

func (CreateAwsKmsMrkMultiKeyringInput) Dtor_generator 

func (_this CreateAwsKmsMrkMultiKeyringInput) Dtor_generator() m_Wrappers.Option

func (CreateAwsKmsMrkMultiKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsMrkMultiKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsMrkMultiKeyringInput) Dtor_kmsKeyIds 

func (_this CreateAwsKmsMrkMultiKeyringInput) Dtor_kmsKeyIds() m_Wrappers.Option

func (CreateAwsKmsMrkMultiKeyringInput) Equals 

func (_this CreateAwsKmsMrkMultiKeyringInput) Equals(other CreateAwsKmsMrkMultiKeyringInput) bool

func (CreateAwsKmsMrkMultiKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsMrkMultiKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsMrkMultiKeyringInput) Get_ 

func (_this CreateAwsKmsMrkMultiKeyringInput) Get_() Data_CreateAwsKmsMrkMultiKeyringInput_

func (CreateAwsKmsMrkMultiKeyringInput) Is_CreateAwsKmsMrkMultiKeyringInput 

func (_this CreateAwsKmsMrkMultiKeyringInput) Is_CreateAwsKmsMrkMultiKeyringInput() bool

func (CreateAwsKmsMrkMultiKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsMrkMultiKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsMrkMultiKeyringInput) String 

func (_this CreateAwsKmsMrkMultiKeyringInput) String() string

type CreateAwsKmsMrkMultiKeyringInput_CreateAwsKmsMrkMultiKeyringInput 

type CreateAwsKmsMrkMultiKeyringInput_CreateAwsKmsMrkMultiKeyringInput struct {
	Generator      m_Wrappers.Option
	KmsKeyIds      m_Wrappers.Option
	ClientSupplier m_Wrappers.Option
	GrantTokens    m_Wrappers.Option
}

type CreateAwsKmsMultiKeyringInput 

type CreateAwsKmsMultiKeyringInput struct {
	Data_CreateAwsKmsMultiKeyringInput_
}

Definition of datatype CreateAwsKmsMultiKeyringInput

func (CreateAwsKmsMultiKeyringInput) Dtor_clientSupplier 

func (_this CreateAwsKmsMultiKeyringInput) Dtor_clientSupplier() m_Wrappers.Option

func (CreateAwsKmsMultiKeyringInput) Dtor_generator 

func (_this CreateAwsKmsMultiKeyringInput) Dtor_generator() m_Wrappers.Option

func (CreateAwsKmsMultiKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsMultiKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsMultiKeyringInput) Dtor_kmsKeyIds 

func (_this CreateAwsKmsMultiKeyringInput) Dtor_kmsKeyIds() m_Wrappers.Option

func (CreateAwsKmsMultiKeyringInput) Equals 

func (_this CreateAwsKmsMultiKeyringInput) Equals(other CreateAwsKmsMultiKeyringInput) bool

func (CreateAwsKmsMultiKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsMultiKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsMultiKeyringInput) Get_ 

func (_this CreateAwsKmsMultiKeyringInput) Get_() Data_CreateAwsKmsMultiKeyringInput_

func (CreateAwsKmsMultiKeyringInput) Is_CreateAwsKmsMultiKeyringInput 

func (_this CreateAwsKmsMultiKeyringInput) Is_CreateAwsKmsMultiKeyringInput() bool

func (CreateAwsKmsMultiKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsMultiKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsMultiKeyringInput) String 

func (_this CreateAwsKmsMultiKeyringInput) String() string

type CreateAwsKmsMultiKeyringInput_CreateAwsKmsMultiKeyringInput 

type CreateAwsKmsMultiKeyringInput_CreateAwsKmsMultiKeyringInput struct {
	Generator      m_Wrappers.Option
	KmsKeyIds      m_Wrappers.Option
	ClientSupplier m_Wrappers.Option
	GrantTokens    m_Wrappers.Option
}

type CreateAwsKmsRsaKeyringInput 

type CreateAwsKmsRsaKeyringInput struct {
	Data_CreateAwsKmsRsaKeyringInput_
}

Definition of datatype CreateAwsKmsRsaKeyringInput

func (CreateAwsKmsRsaKeyringInput) Dtor_encryptionAlgorithm 

func (_this CreateAwsKmsRsaKeyringInput) Dtor_encryptionAlgorithm() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (CreateAwsKmsRsaKeyringInput) Dtor_grantTokens 

func (_this CreateAwsKmsRsaKeyringInput) Dtor_grantTokens() m_Wrappers.Option

func (CreateAwsKmsRsaKeyringInput) Dtor_kmsClient 

func (_this CreateAwsKmsRsaKeyringInput) Dtor_kmsClient() m_Wrappers.Option

func (CreateAwsKmsRsaKeyringInput) Dtor_kmsKeyId 

func (_this CreateAwsKmsRsaKeyringInput) Dtor_kmsKeyId() _dafny.Sequence

func (CreateAwsKmsRsaKeyringInput) Dtor_publicKey 

func (_this CreateAwsKmsRsaKeyringInput) Dtor_publicKey() m_Wrappers.Option

func (CreateAwsKmsRsaKeyringInput) Equals 

func (_this CreateAwsKmsRsaKeyringInput) Equals(other CreateAwsKmsRsaKeyringInput) bool

func (CreateAwsKmsRsaKeyringInput) EqualsGeneric 

func (_this CreateAwsKmsRsaKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateAwsKmsRsaKeyringInput) Get_ 

func (_this CreateAwsKmsRsaKeyringInput) Get_() Data_CreateAwsKmsRsaKeyringInput_

func (CreateAwsKmsRsaKeyringInput) Is_CreateAwsKmsRsaKeyringInput 

func (_this CreateAwsKmsRsaKeyringInput) Is_CreateAwsKmsRsaKeyringInput() bool

func (CreateAwsKmsRsaKeyringInput) ParentTraits_ 

func (_this CreateAwsKmsRsaKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateAwsKmsRsaKeyringInput) String 

func (_this CreateAwsKmsRsaKeyringInput) String() string

type CreateAwsKmsRsaKeyringInput_CreateAwsKmsRsaKeyringInput 

type CreateAwsKmsRsaKeyringInput_CreateAwsKmsRsaKeyringInput struct {
	PublicKey           m_Wrappers.Option
	KmsKeyId            _dafny.Sequence
	EncryptionAlgorithm m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec
	KmsClient           m_Wrappers.Option
	GrantTokens         m_Wrappers.Option
}

type CreateCryptographicMaterialsCacheInput 

type CreateCryptographicMaterialsCacheInput struct {
	Data_CreateCryptographicMaterialsCacheInput_
}

Definition of datatype CreateCryptographicMaterialsCacheInput

func (CreateCryptographicMaterialsCacheInput) Dtor_cache 

func (_this CreateCryptographicMaterialsCacheInput) Dtor_cache() CacheType

func (CreateCryptographicMaterialsCacheInput) Equals 

func (_this CreateCryptographicMaterialsCacheInput) Equals(other CreateCryptographicMaterialsCacheInput) bool

func (CreateCryptographicMaterialsCacheInput) EqualsGeneric 

func (_this CreateCryptographicMaterialsCacheInput) EqualsGeneric(other interface{}) bool

func (CreateCryptographicMaterialsCacheInput) Get_ 

func (_this CreateCryptographicMaterialsCacheInput) Get_() Data_CreateCryptographicMaterialsCacheInput_

func (CreateCryptographicMaterialsCacheInput) Is_CreateCryptographicMaterialsCacheInput 

func (_this CreateCryptographicMaterialsCacheInput) Is_CreateCryptographicMaterialsCacheInput() bool

func (CreateCryptographicMaterialsCacheInput) ParentTraits_ 

func (_this CreateCryptographicMaterialsCacheInput) ParentTraits_() []*_dafny.TraitID

func (CreateCryptographicMaterialsCacheInput) String 

func (_this CreateCryptographicMaterialsCacheInput) String() string

type CreateCryptographicMaterialsCacheInput_CreateCryptographicMaterialsCacheInput 

type CreateCryptographicMaterialsCacheInput_CreateCryptographicMaterialsCacheInput struct {
	Cache CacheType
}

type CreateDefaultClientSupplierInput 

type CreateDefaultClientSupplierInput struct {
	Data_CreateDefaultClientSupplierInput_
}

Definition of datatype CreateDefaultClientSupplierInput

func (CreateDefaultClientSupplierInput) Equals 

func (_this CreateDefaultClientSupplierInput) Equals(other CreateDefaultClientSupplierInput) bool

func (CreateDefaultClientSupplierInput) EqualsGeneric 

func (_this CreateDefaultClientSupplierInput) EqualsGeneric(other interface{}) bool

func (CreateDefaultClientSupplierInput) Get_ 

func (_this CreateDefaultClientSupplierInput) Get_() Data_CreateDefaultClientSupplierInput_

func (CreateDefaultClientSupplierInput) Is_CreateDefaultClientSupplierInput 

func (_this CreateDefaultClientSupplierInput) Is_CreateDefaultClientSupplierInput() bool

func (CreateDefaultClientSupplierInput) ParentTraits_ 

func (_this CreateDefaultClientSupplierInput) ParentTraits_() []*_dafny.TraitID

func (CreateDefaultClientSupplierInput) String 

func (_this CreateDefaultClientSupplierInput) String() string

type CreateDefaultClientSupplierInput_CreateDefaultClientSupplierInput 

type CreateDefaultClientSupplierInput_CreateDefaultClientSupplierInput struct {
}

type CreateDefaultCryptographicMaterialsManagerInput 

type CreateDefaultCryptographicMaterialsManagerInput struct {
	Data_CreateDefaultCryptographicMaterialsManagerInput_
}

Definition of datatype CreateDefaultCryptographicMaterialsManagerInput

func (CreateDefaultCryptographicMaterialsManagerInput) Dtor_keyring 

func (_this CreateDefaultCryptographicMaterialsManagerInput) Dtor_keyring() IKeyring

func (CreateDefaultCryptographicMaterialsManagerInput) Equals 

func (_this CreateDefaultCryptographicMaterialsManagerInput) Equals(other CreateDefaultCryptographicMaterialsManagerInput) bool

func (CreateDefaultCryptographicMaterialsManagerInput) EqualsGeneric 

func (_this CreateDefaultCryptographicMaterialsManagerInput) EqualsGeneric(other interface{}) bool

func (CreateDefaultCryptographicMaterialsManagerInput) Get_ 

func (_this CreateDefaultCryptographicMaterialsManagerInput) Get_() Data_CreateDefaultCryptographicMaterialsManagerInput_

func (CreateDefaultCryptographicMaterialsManagerInput) Is_CreateDefaultCryptographicMaterialsManagerInput 

func (_this CreateDefaultCryptographicMaterialsManagerInput) Is_CreateDefaultCryptographicMaterialsManagerInput() bool

func (CreateDefaultCryptographicMaterialsManagerInput) ParentTraits_ 

func (_this CreateDefaultCryptographicMaterialsManagerInput) ParentTraits_() []*_dafny.TraitID

func (CreateDefaultCryptographicMaterialsManagerInput) String 

func (_this CreateDefaultCryptographicMaterialsManagerInput) String() string

type CreateDefaultCryptographicMaterialsManagerInput_CreateDefaultCryptographicMaterialsManagerInput 

type CreateDefaultCryptographicMaterialsManagerInput_CreateDefaultCryptographicMaterialsManagerInput struct {
	Keyring IKeyring
}

type CreateMultiKeyringInput 

type CreateMultiKeyringInput struct {
	Data_CreateMultiKeyringInput_
}

Definition of datatype CreateMultiKeyringInput

func (CreateMultiKeyringInput) Dtor_childKeyrings 

func (_this CreateMultiKeyringInput) Dtor_childKeyrings() _dafny.Sequence

func (CreateMultiKeyringInput) Dtor_generator 

func (_this CreateMultiKeyringInput) Dtor_generator() m_Wrappers.Option

func (CreateMultiKeyringInput) Equals 

func (_this CreateMultiKeyringInput) Equals(other CreateMultiKeyringInput) bool

func (CreateMultiKeyringInput) EqualsGeneric 

func (_this CreateMultiKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateMultiKeyringInput) Get_ 

func (_this CreateMultiKeyringInput) Get_() Data_CreateMultiKeyringInput_

func (CreateMultiKeyringInput) Is_CreateMultiKeyringInput 

func (_this CreateMultiKeyringInput) Is_CreateMultiKeyringInput() bool

func (CreateMultiKeyringInput) ParentTraits_ 

func (_this CreateMultiKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateMultiKeyringInput) String 

func (_this CreateMultiKeyringInput) String() string

type CreateMultiKeyringInput_CreateMultiKeyringInput 

type CreateMultiKeyringInput_CreateMultiKeyringInput struct {
	Generator     m_Wrappers.Option
	ChildKeyrings _dafny.Sequence
}

type CreateRawAesKeyringInput 

type CreateRawAesKeyringInput struct {
	Data_CreateRawAesKeyringInput_
}

Definition of datatype CreateRawAesKeyringInput

func (CreateRawAesKeyringInput) Dtor_keyName 

func (_this CreateRawAesKeyringInput) Dtor_keyName() _dafny.Sequence

func (CreateRawAesKeyringInput) Dtor_keyNamespace 

func (_this CreateRawAesKeyringInput) Dtor_keyNamespace() _dafny.Sequence

func (CreateRawAesKeyringInput) Dtor_wrappingAlg 

func (_this CreateRawAesKeyringInput) Dtor_wrappingAlg() AesWrappingAlg

func (CreateRawAesKeyringInput) Dtor_wrappingKey 

func (_this CreateRawAesKeyringInput) Dtor_wrappingKey() _dafny.Sequence

func (CreateRawAesKeyringInput) Equals 

func (_this CreateRawAesKeyringInput) Equals(other CreateRawAesKeyringInput) bool

func (CreateRawAesKeyringInput) EqualsGeneric 

func (_this CreateRawAesKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateRawAesKeyringInput) Get_ 

func (_this CreateRawAesKeyringInput) Get_() Data_CreateRawAesKeyringInput_

func (CreateRawAesKeyringInput) Is_CreateRawAesKeyringInput 

func (_this CreateRawAesKeyringInput) Is_CreateRawAesKeyringInput() bool

func (CreateRawAesKeyringInput) ParentTraits_ 

func (_this CreateRawAesKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateRawAesKeyringInput) String 

func (_this CreateRawAesKeyringInput) String() string

type CreateRawAesKeyringInput_CreateRawAesKeyringInput 

type CreateRawAesKeyringInput_CreateRawAesKeyringInput struct {
	KeyNamespace _dafny.Sequence
	KeyName      _dafny.Sequence
	WrappingKey  _dafny.Sequence
	WrappingAlg  AesWrappingAlg
}

type CreateRawEcdhKeyringInput 

type CreateRawEcdhKeyringInput struct {
	Data_CreateRawEcdhKeyringInput_
}

Definition of datatype CreateRawEcdhKeyringInput

func (CreateRawEcdhKeyringInput) Dtor_KeyAgreementScheme 

func (_this CreateRawEcdhKeyringInput) Dtor_KeyAgreementScheme() RawEcdhStaticConfigurations

func (CreateRawEcdhKeyringInput) Dtor_curveSpec 

func (_this CreateRawEcdhKeyringInput) Dtor_curveSpec() m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec

func (CreateRawEcdhKeyringInput) Equals 

func (_this CreateRawEcdhKeyringInput) Equals(other CreateRawEcdhKeyringInput) bool

func (CreateRawEcdhKeyringInput) EqualsGeneric 

func (_this CreateRawEcdhKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateRawEcdhKeyringInput) Get_ 

func (_this CreateRawEcdhKeyringInput) Get_() Data_CreateRawEcdhKeyringInput_

func (CreateRawEcdhKeyringInput) Is_CreateRawEcdhKeyringInput 

func (_this CreateRawEcdhKeyringInput) Is_CreateRawEcdhKeyringInput() bool

func (CreateRawEcdhKeyringInput) ParentTraits_ 

func (_this CreateRawEcdhKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateRawEcdhKeyringInput) String 

func (_this CreateRawEcdhKeyringInput) String() string

type CreateRawEcdhKeyringInput_CreateRawEcdhKeyringInput 

type CreateRawEcdhKeyringInput_CreateRawEcdhKeyringInput struct {
	KeyAgreementScheme RawEcdhStaticConfigurations
	CurveSpec          m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec
}

type CreateRawRsaKeyringInput 

type CreateRawRsaKeyringInput struct {
	Data_CreateRawRsaKeyringInput_
}

Definition of datatype CreateRawRsaKeyringInput

func (CreateRawRsaKeyringInput) Dtor_keyName 

func (_this CreateRawRsaKeyringInput) Dtor_keyName() _dafny.Sequence

func (CreateRawRsaKeyringInput) Dtor_keyNamespace 

func (_this CreateRawRsaKeyringInput) Dtor_keyNamespace() _dafny.Sequence

func (CreateRawRsaKeyringInput) Dtor_paddingScheme 

func (_this CreateRawRsaKeyringInput) Dtor_paddingScheme() PaddingScheme

func (CreateRawRsaKeyringInput) Dtor_privateKey 

func (_this CreateRawRsaKeyringInput) Dtor_privateKey() m_Wrappers.Option

func (CreateRawRsaKeyringInput) Dtor_publicKey 

func (_this CreateRawRsaKeyringInput) Dtor_publicKey() m_Wrappers.Option

func (CreateRawRsaKeyringInput) Equals 

func (_this CreateRawRsaKeyringInput) Equals(other CreateRawRsaKeyringInput) bool

func (CreateRawRsaKeyringInput) EqualsGeneric 

func (_this CreateRawRsaKeyringInput) EqualsGeneric(other interface{}) bool

func (CreateRawRsaKeyringInput) Get_ 

func (_this CreateRawRsaKeyringInput) Get_() Data_CreateRawRsaKeyringInput_

func (CreateRawRsaKeyringInput) Is_CreateRawRsaKeyringInput 

func (_this CreateRawRsaKeyringInput) Is_CreateRawRsaKeyringInput() bool

func (CreateRawRsaKeyringInput) ParentTraits_ 

func (_this CreateRawRsaKeyringInput) ParentTraits_() []*_dafny.TraitID

func (CreateRawRsaKeyringInput) String 

func (_this CreateRawRsaKeyringInput) String() string

type CreateRawRsaKeyringInput_CreateRawRsaKeyringInput 

type CreateRawRsaKeyringInput_CreateRawRsaKeyringInput struct {
	KeyNamespace  _dafny.Sequence
	KeyName       _dafny.Sequence
	PaddingScheme PaddingScheme
	PublicKey     m_Wrappers.Option
	PrivateKey    m_Wrappers.Option
}

type CreateRequiredEncryptionContextCMMInput 

type CreateRequiredEncryptionContextCMMInput struct {
	Data_CreateRequiredEncryptionContextCMMInput_
}

Definition of datatype CreateRequiredEncryptionContextCMMInput

func (CreateRequiredEncryptionContextCMMInput) Dtor_keyring 

func (_this CreateRequiredEncryptionContextCMMInput) Dtor_keyring() m_Wrappers.Option

func (CreateRequiredEncryptionContextCMMInput) Dtor_requiredEncryptionContextKeys 

func (_this CreateRequiredEncryptionContextCMMInput) Dtor_requiredEncryptionContextKeys() _dafny.Sequence

func (CreateRequiredEncryptionContextCMMInput) Dtor_underlyingCMM 

func (_this CreateRequiredEncryptionContextCMMInput) Dtor_underlyingCMM() m_Wrappers.Option

func (CreateRequiredEncryptionContextCMMInput) Equals 

func (_this CreateRequiredEncryptionContextCMMInput) Equals(other CreateRequiredEncryptionContextCMMInput) bool

func (CreateRequiredEncryptionContextCMMInput) EqualsGeneric 

func (_this CreateRequiredEncryptionContextCMMInput) EqualsGeneric(other interface{}) bool

func (CreateRequiredEncryptionContextCMMInput) Get_ 

func (_this CreateRequiredEncryptionContextCMMInput) Get_() Data_CreateRequiredEncryptionContextCMMInput_

func (CreateRequiredEncryptionContextCMMInput) Is_CreateRequiredEncryptionContextCMMInput 

func (_this CreateRequiredEncryptionContextCMMInput) Is_CreateRequiredEncryptionContextCMMInput() bool

func (CreateRequiredEncryptionContextCMMInput) ParentTraits_ 

func (_this CreateRequiredEncryptionContextCMMInput) ParentTraits_() []*_dafny.TraitID

func (CreateRequiredEncryptionContextCMMInput) String 

func (_this CreateRequiredEncryptionContextCMMInput) String() string

type CreateRequiredEncryptionContextCMMInput_CreateRequiredEncryptionContextCMMInput 

type CreateRequiredEncryptionContextCMMInput_CreateRequiredEncryptionContextCMMInput struct {
	UnderlyingCMM                 m_Wrappers.Option
	Keyring                       m_Wrappers.Option
	RequiredEncryptionContextKeys _dafny.Sequence
}

type DBEAlgorithmSuiteId 

type DBEAlgorithmSuiteId struct {
	Data_DBEAlgorithmSuiteId_
}

Definition of datatype DBEAlgorithmSuiteId

func (DBEAlgorithmSuiteId) Equals 

func (_this DBEAlgorithmSuiteId) Equals(other DBEAlgorithmSuiteId) bool

func (DBEAlgorithmSuiteId) EqualsGeneric 

func (_this DBEAlgorithmSuiteId) EqualsGeneric(other interface{}) bool

func (DBEAlgorithmSuiteId) Get_ 

func (_this DBEAlgorithmSuiteId) Get_() Data_DBEAlgorithmSuiteId_

func (DBEAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384 

func (_this DBEAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384() bool

func (DBEAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384 

func (_this DBEAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384() bool

func (DBEAlgorithmSuiteId) ParentTraits_ 

func (_this DBEAlgorithmSuiteId) ParentTraits_() []*_dafny.TraitID

func (DBEAlgorithmSuiteId) String 

func (_this DBEAlgorithmSuiteId) String() string

type DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384 

type DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384__SYMSIG__HMAC__SHA384 struct {
}

type DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384 

type DBEAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__SYMSIG__HMAC__SHA384 struct {
}

type DBECommitmentPolicy 

type DBECommitmentPolicy struct {
	Data_DBECommitmentPolicy_
}

Definition of datatype DBECommitmentPolicy

func (DBECommitmentPolicy) Equals 

func (_this DBECommitmentPolicy) Equals(other DBECommitmentPolicy) bool

func (DBECommitmentPolicy) EqualsGeneric 

func (_this DBECommitmentPolicy) EqualsGeneric(other interface{}) bool

func (DBECommitmentPolicy) Get_ 

func (_this DBECommitmentPolicy) Get_() Data_DBECommitmentPolicy_

func (DBECommitmentPolicy) Is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT 

func (_this DBECommitmentPolicy) Is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT() bool

func (DBECommitmentPolicy) ParentTraits_ 

func (_this DBECommitmentPolicy) ParentTraits_() []*_dafny.TraitID

func (DBECommitmentPolicy) String 

func (_this DBECommitmentPolicy) String() string

type DBECommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT 

type DBECommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT struct {
}

type DIRECT__KEY__WRAPPING 

type DIRECT__KEY__WRAPPING struct {
	Data_DIRECT__KEY__WRAPPING_
}

Definition of datatype DIRECT__KEY__WRAPPING

func (DIRECT__KEY__WRAPPING) Equals 

func (_this DIRECT__KEY__WRAPPING) Equals(other DIRECT__KEY__WRAPPING) bool

func (DIRECT__KEY__WRAPPING) EqualsGeneric 

func (_this DIRECT__KEY__WRAPPING) EqualsGeneric(other interface{}) bool

func (DIRECT__KEY__WRAPPING) Get_ 

func (_this DIRECT__KEY__WRAPPING) Get_() Data_DIRECT__KEY__WRAPPING_

func (DIRECT__KEY__WRAPPING) Is_DIRECT__KEY__WRAPPING 

func (_this DIRECT__KEY__WRAPPING) Is_DIRECT__KEY__WRAPPING() bool

func (DIRECT__KEY__WRAPPING) ParentTraits_ 

func (_this DIRECT__KEY__WRAPPING) ParentTraits_() []*_dafny.TraitID

func (DIRECT__KEY__WRAPPING) String 

func (_this DIRECT__KEY__WRAPPING) String() string

type DIRECT__KEY__WRAPPING_DIRECT__KEY__WRAPPING 

type DIRECT__KEY__WRAPPING_DIRECT__KEY__WRAPPING struct {
}

type DafnyCallEvent 

type DafnyCallEvent struct {
	Data_DafnyCallEvent_
}

Definition of datatype DafnyCallEvent

func (DafnyCallEvent) Dtor_input 

func (_this DafnyCallEvent) Dtor_input() interface{}

func (DafnyCallEvent) Dtor_output 

func (_this DafnyCallEvent) Dtor_output() interface{}

func (DafnyCallEvent) Equals 

func (_this DafnyCallEvent) Equals(other DafnyCallEvent) bool

func (DafnyCallEvent) EqualsGeneric 

func (_this DafnyCallEvent) EqualsGeneric(other interface{}) bool

func (DafnyCallEvent) Get_ 

func (_this DafnyCallEvent) Get_() Data_DafnyCallEvent_

func (DafnyCallEvent) Is_DafnyCallEvent 

func (_this DafnyCallEvent) Is_DafnyCallEvent() bool

func (DafnyCallEvent) ParentTraits_ 

func (_this DafnyCallEvent) ParentTraits_() []*_dafny.TraitID

func (DafnyCallEvent) String 

func (_this DafnyCallEvent) String() string

type DafnyCallEvent_DafnyCallEvent 

type DafnyCallEvent_DafnyCallEvent struct {
	Input  interface{}
	Output interface{}
}

type Data_AesWrappingAlg_ 

type Data_AesWrappingAlg_ interface {
	// contains filtered or unexported methods
}

type Data_AlgorithmSuiteId_ 

type Data_AlgorithmSuiteId_ interface {
	// contains filtered or unexported methods
}

type Data_AlgorithmSuiteInfo_ 

type Data_AlgorithmSuiteInfo_ interface {
	// contains filtered or unexported methods
}

type Data_CacheType_ 

type Data_CacheType_ interface {
	// contains filtered or unexported methods
}

type Data_CommitmentPolicy_ 

type Data_CommitmentPolicy_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsDiscoveryKeyringInput_ 

type Data_CreateAwsKmsDiscoveryKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsDiscoveryMultiKeyringInput_ 

type Data_CreateAwsKmsDiscoveryMultiKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsEcdhKeyringInput_ 

type Data_CreateAwsKmsEcdhKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsHierarchicalKeyringInput_ 

type Data_CreateAwsKmsHierarchicalKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsKeyringInput_ 

type Data_CreateAwsKmsKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsMrkDiscoveryKeyringInput_ 

type Data_CreateAwsKmsMrkDiscoveryKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ 

type Data_CreateAwsKmsMrkDiscoveryMultiKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsMrkKeyringInput_ 

type Data_CreateAwsKmsMrkKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsMrkMultiKeyringInput_ 

type Data_CreateAwsKmsMrkMultiKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsMultiKeyringInput_ 

type Data_CreateAwsKmsMultiKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateAwsKmsRsaKeyringInput_ 

type Data_CreateAwsKmsRsaKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateCryptographicMaterialsCacheInput_ 

type Data_CreateCryptographicMaterialsCacheInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateDefaultClientSupplierInput_ 

type Data_CreateDefaultClientSupplierInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateDefaultCryptographicMaterialsManagerInput_ 

type Data_CreateDefaultCryptographicMaterialsManagerInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateMultiKeyringInput_ 

type Data_CreateMultiKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateRawAesKeyringInput_ 

type Data_CreateRawAesKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateRawEcdhKeyringInput_ 

type Data_CreateRawEcdhKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateRawRsaKeyringInput_ 

type Data_CreateRawRsaKeyringInput_ interface {
	// contains filtered or unexported methods
}

type Data_CreateRequiredEncryptionContextCMMInput_ 

type Data_CreateRequiredEncryptionContextCMMInput_ interface {
	// contains filtered or unexported methods
}

type Data_DBEAlgorithmSuiteId_ 

type Data_DBEAlgorithmSuiteId_ interface {
	// contains filtered or unexported methods
}

type Data_DBECommitmentPolicy_ 

type Data_DBECommitmentPolicy_ interface {
	// contains filtered or unexported methods
}

type Data_DIRECT__KEY__WRAPPING_ 

type Data_DIRECT__KEY__WRAPPING_ interface {
	// contains filtered or unexported methods
}

type Data_DafnyCallEvent_ 

type Data_DafnyCallEvent_ interface {
	// contains filtered or unexported methods
}

type Data_DecryptMaterialsInput_ 

type Data_DecryptMaterialsInput_ interface {
	// contains filtered or unexported methods
}

type Data_DecryptMaterialsOutput_ 

type Data_DecryptMaterialsOutput_ interface {
	// contains filtered or unexported methods
}

type Data_DecryptionMaterials_ 

type Data_DecryptionMaterials_ interface {
	// contains filtered or unexported methods
}

type Data_DefaultCache_ 

type Data_DefaultCache_ interface {
	// contains filtered or unexported methods
}

type Data_DeleteCacheEntryInput_ 

type Data_DeleteCacheEntryInput_ interface {
	// contains filtered or unexported methods
}

type Data_DerivationAlgorithm_ 

type Data_DerivationAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_DiscoveryFilter_ 

type Data_DiscoveryFilter_ interface {
	// contains filtered or unexported methods
}

type Data_ECDSA_ 

type Data_ECDSA_ interface {
	// contains filtered or unexported methods
}

type Data_ESDKAlgorithmSuiteId_ 

type Data_ESDKAlgorithmSuiteId_ interface {
	// contains filtered or unexported methods
}

type Data_ESDKCommitmentPolicy_ 

type Data_ESDKCommitmentPolicy_ interface {
	// contains filtered or unexported methods
}

type Data_EdkWrappingAlgorithm_ 

type Data_EdkWrappingAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_Encrypt_ 

type Data_Encrypt_ interface {
	// contains filtered or unexported methods
}

type Data_EncryptedDataKey_ 

type Data_EncryptedDataKey_ interface {
	// contains filtered or unexported methods
}

type Data_EncryptionMaterials_ 

type Data_EncryptionMaterials_ interface {
	// contains filtered or unexported methods
}

type Data_EphemeralPrivateKeyToStaticPublicKeyInput_ 

type Data_EphemeralPrivateKeyToStaticPublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_Error_ 

type Data_Error_ interface {
	// contains filtered or unexported methods
}

type Data_GetBranchKeyIdInput_ 

type Data_GetBranchKeyIdInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetBranchKeyIdOutput_ 

type Data_GetBranchKeyIdOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GetCacheEntryInput_ 

type Data_GetCacheEntryInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetCacheEntryOutput_ 

type Data_GetCacheEntryOutput_ interface {
	// contains filtered or unexported methods
}

type Data_GetClientInput_ 

type Data_GetClientInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetEncryptionMaterialsInput_ 

type Data_GetEncryptionMaterialsInput_ interface {
	// contains filtered or unexported methods
}

type Data_GetEncryptionMaterialsOutput_ 

type Data_GetEncryptionMaterialsOutput_ interface {
	// contains filtered or unexported methods
}

type Data_HKDF_ 

type Data_HKDF_ interface {
	// contains filtered or unexported methods
}

type Data_IDENTITY_ 

type Data_IDENTITY_ interface {
	// contains filtered or unexported methods
}

type Data_InitializeDecryptionMaterialsInput_ 

type Data_InitializeDecryptionMaterialsInput_ interface {
	// contains filtered or unexported methods
}

type Data_InitializeEncryptionMaterialsInput_ 

type Data_InitializeEncryptionMaterialsInput_ interface {
	// contains filtered or unexported methods
}

type Data_IntermediateKeyWrapping_ 

type Data_IntermediateKeyWrapping_ interface {
	// contains filtered or unexported methods
}

type Data_KeyAgreementScheme_ 

type Data_KeyAgreementScheme_ interface {
	// contains filtered or unexported methods
}

type Data_KmsEcdhStaticConfigurations_ 

type Data_KmsEcdhStaticConfigurations_ interface {
	// contains filtered or unexported methods
}

type Data_KmsPrivateKeyToStaticPublicKeyInput_ 

type Data_KmsPrivateKeyToStaticPublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_KmsPublicKeyDiscoveryInput_ 

type Data_KmsPublicKeyDiscoveryInput_ interface {
	// contains filtered or unexported methods
}

type Data_MaterialProvidersConfig_ 

type Data_MaterialProvidersConfig_ interface {
	// contains filtered or unexported methods
}

type Data_Materials_ 

type Data_Materials_ interface {
	// contains filtered or unexported methods
}

type Data_MultiThreadedCache_ 

type Data_MultiThreadedCache_ interface {
	// contains filtered or unexported methods
}

type Data_NoCache_ 

type Data_NoCache_ interface {
	// contains filtered or unexported methods
}

type Data_None_ 

type Data_None_ interface {
	// contains filtered or unexported methods
}

type Data_OnDecryptInput_ 

type Data_OnDecryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_OnDecryptOutput_ 

type Data_OnDecryptOutput_ interface {
	// contains filtered or unexported methods
}

type Data_OnEncryptInput_ 

type Data_OnEncryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_OnEncryptOutput_ 

type Data_OnEncryptOutput_ interface {
	// contains filtered or unexported methods
}

type Data_PaddingScheme_ 

type Data_PaddingScheme_ interface {
	// contains filtered or unexported methods
}

type Data_PublicKeyDiscoveryInput_ 

type Data_PublicKeyDiscoveryInput_ interface {
	// contains filtered or unexported methods
}

type Data_PutCacheEntryInput_ 

type Data_PutCacheEntryInput_ interface {
	// contains filtered or unexported methods
}

type Data_RawEcdhStaticConfigurations_ 

type Data_RawEcdhStaticConfigurations_ interface {
	// contains filtered or unexported methods
}

type Data_RawPrivateKeyToStaticPublicKeyInput_ 

type Data_RawPrivateKeyToStaticPublicKeyInput_ interface {
	// contains filtered or unexported methods
}

type Data_SignatureAlgorithm_ 

type Data_SignatureAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_SingleThreadedCache_ 

type Data_SingleThreadedCache_ interface {
	// contains filtered or unexported methods
}

type Data_StaticConfigurations_ 

type Data_StaticConfigurations_ interface {
	// contains filtered or unexported methods
}

type Data_StormTrackingCache_ 

type Data_StormTrackingCache_ interface {
	// contains filtered or unexported methods
}

type Data_SymmetricSignatureAlgorithm_ 

type Data_SymmetricSignatureAlgorithm_ interface {
	// contains filtered or unexported methods
}

type Data_TimeUnits_ 

type Data_TimeUnits_ interface {
	// contains filtered or unexported methods
}

type Data_UpdateUsageMetadataInput_ 

type Data_UpdateUsageMetadataInput_ interface {
	// contains filtered or unexported methods
}

type Data_ValidDecryptionMaterialsTransitionInput_ 

type Data_ValidDecryptionMaterialsTransitionInput_ interface {
	// contains filtered or unexported methods
}

type Data_ValidEncryptionMaterialsTransitionInput_ 

type Data_ValidEncryptionMaterialsTransitionInput_ interface {
	// contains filtered or unexported methods
}

type Data_ValidateCommitmentPolicyOnDecryptInput_ 

type Data_ValidateCommitmentPolicyOnDecryptInput_ interface {
	// contains filtered or unexported methods
}

type Data_ValidateCommitmentPolicyOnEncryptInput_ 

type Data_ValidateCommitmentPolicyOnEncryptInput_ interface {
	// contains filtered or unexported methods
}

type DecryptMaterialsInput 

type DecryptMaterialsInput struct {
	Data_DecryptMaterialsInput_
}

Definition of datatype DecryptMaterialsInput

func (DecryptMaterialsInput) Dtor_algorithmSuiteId 

func (_this DecryptMaterialsInput) Dtor_algorithmSuiteId() AlgorithmSuiteId

func (DecryptMaterialsInput) Dtor_commitmentPolicy 

func (_this DecryptMaterialsInput) Dtor_commitmentPolicy() CommitmentPolicy

func (DecryptMaterialsInput) Dtor_encryptedDataKeys 

func (_this DecryptMaterialsInput) Dtor_encryptedDataKeys() _dafny.Sequence

func (DecryptMaterialsInput) Dtor_encryptionContext 

func (_this DecryptMaterialsInput) Dtor_encryptionContext() _dafny.Map

func (DecryptMaterialsInput) Dtor_reproducedEncryptionContext 

func (_this DecryptMaterialsInput) Dtor_reproducedEncryptionContext() m_Wrappers.Option

func (DecryptMaterialsInput) Equals 

func (_this DecryptMaterialsInput) Equals(other DecryptMaterialsInput) bool

func (DecryptMaterialsInput) EqualsGeneric 

func (_this DecryptMaterialsInput) EqualsGeneric(other interface{}) bool

func (DecryptMaterialsInput) Get_ 

func (_this DecryptMaterialsInput) Get_() Data_DecryptMaterialsInput_

func (DecryptMaterialsInput) Is_DecryptMaterialsInput 

func (_this DecryptMaterialsInput) Is_DecryptMaterialsInput() bool

func (DecryptMaterialsInput) ParentTraits_ 

func (_this DecryptMaterialsInput) ParentTraits_() []*_dafny.TraitID

func (DecryptMaterialsInput) String 

func (_this DecryptMaterialsInput) String() string

type DecryptMaterialsInput_DecryptMaterialsInput 

type DecryptMaterialsInput_DecryptMaterialsInput struct {
	AlgorithmSuiteId            AlgorithmSuiteId
	CommitmentPolicy            CommitmentPolicy
	EncryptedDataKeys           _dafny.Sequence
	EncryptionContext           _dafny.Map
	ReproducedEncryptionContext m_Wrappers.Option
}

type DecryptMaterialsOutput 

type DecryptMaterialsOutput struct {
	Data_DecryptMaterialsOutput_
}

Definition of datatype DecryptMaterialsOutput

func (DecryptMaterialsOutput) Dtor_decryptionMaterials 

func (_this DecryptMaterialsOutput) Dtor_decryptionMaterials() DecryptionMaterials

func (DecryptMaterialsOutput) Equals 

func (_this DecryptMaterialsOutput) Equals(other DecryptMaterialsOutput) bool

func (DecryptMaterialsOutput) EqualsGeneric 

func (_this DecryptMaterialsOutput) EqualsGeneric(other interface{}) bool

func (DecryptMaterialsOutput) Get_ 

func (_this DecryptMaterialsOutput) Get_() Data_DecryptMaterialsOutput_

func (DecryptMaterialsOutput) Is_DecryptMaterialsOutput 

func (_this DecryptMaterialsOutput) Is_DecryptMaterialsOutput() bool

func (DecryptMaterialsOutput) ParentTraits_ 

func (_this DecryptMaterialsOutput) ParentTraits_() []*_dafny.TraitID

func (DecryptMaterialsOutput) String 

func (_this DecryptMaterialsOutput) String() string

type DecryptMaterialsOutput_DecryptMaterialsOutput 

type DecryptMaterialsOutput_DecryptMaterialsOutput struct {
	DecryptionMaterials DecryptionMaterials
}

type DecryptionMaterials 

type DecryptionMaterials struct {
	Data_DecryptionMaterials_
}

Definition of datatype DecryptionMaterials

func (DecryptionMaterials) Dtor_algorithmSuite 

func (_this DecryptionMaterials) Dtor_algorithmSuite() AlgorithmSuiteInfo

func (DecryptionMaterials) Dtor_encryptionContext 

func (_this DecryptionMaterials) Dtor_encryptionContext() _dafny.Map

func (DecryptionMaterials) Dtor_plaintextDataKey 

func (_this DecryptionMaterials) Dtor_plaintextDataKey() m_Wrappers.Option

func (DecryptionMaterials) Dtor_requiredEncryptionContextKeys 

func (_this DecryptionMaterials) Dtor_requiredEncryptionContextKeys() _dafny.Sequence

func (DecryptionMaterials) Dtor_symmetricSigningKey 

func (_this DecryptionMaterials) Dtor_symmetricSigningKey() m_Wrappers.Option

func (DecryptionMaterials) Dtor_verificationKey 

func (_this DecryptionMaterials) Dtor_verificationKey() m_Wrappers.Option

func (DecryptionMaterials) Equals 

func (_this DecryptionMaterials) Equals(other DecryptionMaterials) bool

func (DecryptionMaterials) EqualsGeneric 

func (_this DecryptionMaterials) EqualsGeneric(other interface{}) bool

func (DecryptionMaterials) Get_ 

func (_this DecryptionMaterials) Get_() Data_DecryptionMaterials_

func (DecryptionMaterials) Is_DecryptionMaterials 

func (_this DecryptionMaterials) Is_DecryptionMaterials() bool

func (DecryptionMaterials) ParentTraits_ 

func (_this DecryptionMaterials) ParentTraits_() []*_dafny.TraitID

func (DecryptionMaterials) String 

func (_this DecryptionMaterials) String() string

type DecryptionMaterials_DecryptionMaterials 

type DecryptionMaterials_DecryptionMaterials struct {
	AlgorithmSuite                AlgorithmSuiteInfo
	EncryptionContext             _dafny.Map
	RequiredEncryptionContextKeys _dafny.Sequence
	PlaintextDataKey              m_Wrappers.Option
	VerificationKey               m_Wrappers.Option
	SymmetricSigningKey           m_Wrappers.Option
}

type DefaultCache 

type DefaultCache struct {
	Data_DefaultCache_
}

Definition of datatype DefaultCache

func (DefaultCache) Dtor_entryCapacity 

func (_this DefaultCache) Dtor_entryCapacity() int32

func (DefaultCache) Equals 

func (_this DefaultCache) Equals(other DefaultCache) bool

func (DefaultCache) EqualsGeneric 

func (_this DefaultCache) EqualsGeneric(other interface{}) bool

func (DefaultCache) Get_ 

func (_this DefaultCache) Get_() Data_DefaultCache_

func (DefaultCache) Is_DefaultCache 

func (_this DefaultCache) Is_DefaultCache() bool

func (DefaultCache) ParentTraits_ 

func (_this DefaultCache) ParentTraits_() []*_dafny.TraitID

func (DefaultCache) String 

func (_this DefaultCache) String() string

type DefaultCache_DefaultCache 

type DefaultCache_DefaultCache struct {
	EntryCapacity int32
}

type Default__ 

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___ 

func New_Default___() *Default__

func (*Default__) Equals 

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric 

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_ 

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String 

func (*Default__) String() string

type DeleteCacheEntryInput 

type DeleteCacheEntryInput struct {
	Data_DeleteCacheEntryInput_
}

Definition of datatype DeleteCacheEntryInput

func (DeleteCacheEntryInput) Dtor_identifier 

func (_this DeleteCacheEntryInput) Dtor_identifier() _dafny.Sequence

func (DeleteCacheEntryInput) Equals 

func (_this DeleteCacheEntryInput) Equals(other DeleteCacheEntryInput) bool

func (DeleteCacheEntryInput) EqualsGeneric 

func (_this DeleteCacheEntryInput) EqualsGeneric(other interface{}) bool

func (DeleteCacheEntryInput) Get_ 

func (_this DeleteCacheEntryInput) Get_() Data_DeleteCacheEntryInput_

func (DeleteCacheEntryInput) Is_DeleteCacheEntryInput 

func (_this DeleteCacheEntryInput) Is_DeleteCacheEntryInput() bool

func (DeleteCacheEntryInput) ParentTraits_ 

func (_this DeleteCacheEntryInput) ParentTraits_() []*_dafny.TraitID

func (DeleteCacheEntryInput) String 

func (_this DeleteCacheEntryInput) String() string

type DeleteCacheEntryInput_DeleteCacheEntryInput 

type DeleteCacheEntryInput_DeleteCacheEntryInput struct {
	Identifier _dafny.Sequence
}

type DerivationAlgorithm 

type DerivationAlgorithm struct {
	Data_DerivationAlgorithm_
}

Definition of datatype DerivationAlgorithm

func (DerivationAlgorithm) Dtor_HKDF 

func (_this DerivationAlgorithm) Dtor_HKDF() HKDF

func (DerivationAlgorithm) Dtor_IDENTITY 

func (_this DerivationAlgorithm) Dtor_IDENTITY() IDENTITY

func (DerivationAlgorithm) Dtor_None 

func (_this DerivationAlgorithm) Dtor_None() None

func (DerivationAlgorithm) Equals 

func (_this DerivationAlgorithm) Equals(other DerivationAlgorithm) bool

func (DerivationAlgorithm) EqualsGeneric 

func (_this DerivationAlgorithm) EqualsGeneric(other interface{}) bool

func (DerivationAlgorithm) Get_ 

func (_this DerivationAlgorithm) Get_() Data_DerivationAlgorithm_

func (DerivationAlgorithm) Is_HKDF 

func (_this DerivationAlgorithm) Is_HKDF() bool

func (DerivationAlgorithm) Is_IDENTITY 

func (_this DerivationAlgorithm) Is_IDENTITY() bool

func (DerivationAlgorithm) Is_None 

func (_this DerivationAlgorithm) Is_None() bool

func (DerivationAlgorithm) ParentTraits_ 

func (_this DerivationAlgorithm) ParentTraits_() []*_dafny.TraitID

func (DerivationAlgorithm) String 

func (_this DerivationAlgorithm) String() string

type DerivationAlgorithm_HKDF 

type DerivationAlgorithm_HKDF struct {
	HKDF HKDF
}

type DerivationAlgorithm_IDENTITY 

type DerivationAlgorithm_IDENTITY struct {
	IDENTITY IDENTITY
}

type DerivationAlgorithm_None 

type DerivationAlgorithm_None struct {
	None None
}

type DiscoveryFilter 

type DiscoveryFilter struct {
	Data_DiscoveryFilter_
}

Definition of datatype DiscoveryFilter

func (DiscoveryFilter) Dtor_accountIds 

func (_this DiscoveryFilter) Dtor_accountIds() _dafny.Sequence

func (DiscoveryFilter) Dtor_partition 

func (_this DiscoveryFilter) Dtor_partition() _dafny.Sequence

func (DiscoveryFilter) Equals 

func (_this DiscoveryFilter) Equals(other DiscoveryFilter) bool

func (DiscoveryFilter) EqualsGeneric 

func (_this DiscoveryFilter) EqualsGeneric(other interface{}) bool

func (DiscoveryFilter) Get_ 

func (_this DiscoveryFilter) Get_() Data_DiscoveryFilter_

func (DiscoveryFilter) Is_DiscoveryFilter 

func (_this DiscoveryFilter) Is_DiscoveryFilter() bool

func (DiscoveryFilter) ParentTraits_ 

func (_this DiscoveryFilter) ParentTraits_() []*_dafny.TraitID

func (DiscoveryFilter) String 

func (_this DiscoveryFilter) String() string

type DiscoveryFilter_DiscoveryFilter 

type DiscoveryFilter_DiscoveryFilter struct {
	AccountIds _dafny.Sequence
	Partition  _dafny.Sequence
}

type DummySubsetType 

type DummySubsetType struct {
}

Definition of class DummySubsetType

func New_DummySubsetType_ 

func New_DummySubsetType_() *DummySubsetType

func (*DummySubsetType) String 

func (*DummySubsetType) String() string

type Dummy__ 

type Dummy__ struct{}

type ECDSA 

type ECDSA struct {
	Data_ECDSA_
}

Definition of datatype ECDSA

func (ECDSA) Dtor_curve 

func (_this ECDSA) Dtor_curve() m_AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm

func (ECDSA) Equals 

func (_this ECDSA) Equals(other ECDSA) bool

func (ECDSA) EqualsGeneric 

func (_this ECDSA) EqualsGeneric(other interface{}) bool

func (ECDSA) Get_ 

func (_this ECDSA) Get_() Data_ECDSA_

func (ECDSA) Is_ECDSA 

func (_this ECDSA) Is_ECDSA() bool

func (ECDSA) ParentTraits_ 

func (_this ECDSA) ParentTraits_() []*_dafny.TraitID

func (ECDSA) String 

func (_this ECDSA) String() string

type ECDSA_ECDSA 

type ECDSA_ECDSA struct {
	Curve m_AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm
}

type ESDKAlgorithmSuiteId 

type ESDKAlgorithmSuiteId struct {
	Data_ESDKAlgorithmSuiteId_
}

Definition of datatype ESDKAlgorithmSuiteId

func (ESDKAlgorithmSuiteId) Equals 

func (_this ESDKAlgorithmSuiteId) Equals(other ESDKAlgorithmSuiteId) bool

func (ESDKAlgorithmSuiteId) EqualsGeneric 

func (_this ESDKAlgorithmSuiteId) EqualsGeneric(other interface{}) bool

func (ESDKAlgorithmSuiteId) Get_ 

func (_this ESDKAlgorithmSuiteId) Get_() Data_ESDKAlgorithmSuiteId_

func (ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__NO__KDF 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__128__GCM__IV12__TAG16__NO__KDF() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__NO__KDF 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__192__GCM__IV12__TAG16__NO__KDF() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384() bool

func (ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__NO__KDF 

func (_this ESDKAlgorithmSuiteId) Is_ALG__AES__256__GCM__IV12__TAG16__NO__KDF() bool

func (ESDKAlgorithmSuiteId) ParentTraits_ 

func (_this ESDKAlgorithmSuiteId) ParentTraits_() []*_dafny.TraitID

func (ESDKAlgorithmSuiteId) String 

func (_this ESDKAlgorithmSuiteId) String() string

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256 

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256 

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__HKDF__SHA256__ECDSA__P256 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__NO__KDF 

type ESDKAlgorithmSuiteId_ALG__AES__128__GCM__IV12__TAG16__NO__KDF struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256 

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA256 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__NO__KDF 

type ESDKAlgorithmSuiteId_ALG__AES__192__GCM__IV12__TAG16__NO__KDF struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY 

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384 

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__HKDF__SHA512__COMMIT__KEY__ECDSA__P384 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256 

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA256 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__HKDF__SHA384__ECDSA__P384 struct {
}

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__NO__KDF 

type ESDKAlgorithmSuiteId_ALG__AES__256__GCM__IV12__TAG16__NO__KDF struct {
}

type ESDKCommitmentPolicy 

type ESDKCommitmentPolicy struct {
	Data_ESDKCommitmentPolicy_
}

Definition of datatype ESDKCommitmentPolicy

func (ESDKCommitmentPolicy) Equals 

func (_this ESDKCommitmentPolicy) Equals(other ESDKCommitmentPolicy) bool

func (ESDKCommitmentPolicy) EqualsGeneric 

func (_this ESDKCommitmentPolicy) EqualsGeneric(other interface{}) bool

func (ESDKCommitmentPolicy) Get_ 

func (_this ESDKCommitmentPolicy) Get_() Data_ESDKCommitmentPolicy_

func (ESDKCommitmentPolicy) Is_FORBID__ENCRYPT__ALLOW__DECRYPT 

func (_this ESDKCommitmentPolicy) Is_FORBID__ENCRYPT__ALLOW__DECRYPT() bool

func (ESDKCommitmentPolicy) Is_REQUIRE__ENCRYPT__ALLOW__DECRYPT 

func (_this ESDKCommitmentPolicy) Is_REQUIRE__ENCRYPT__ALLOW__DECRYPT() bool

func (ESDKCommitmentPolicy) Is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT 

func (_this ESDKCommitmentPolicy) Is_REQUIRE__ENCRYPT__REQUIRE__DECRYPT() bool

func (ESDKCommitmentPolicy) ParentTraits_ 

func (_this ESDKCommitmentPolicy) ParentTraits_() []*_dafny.TraitID

func (ESDKCommitmentPolicy) String 

func (_this ESDKCommitmentPolicy) String() string

type ESDKCommitmentPolicy_FORBID__ENCRYPT__ALLOW__DECRYPT 

type ESDKCommitmentPolicy_FORBID__ENCRYPT__ALLOW__DECRYPT struct {
}

type ESDKCommitmentPolicy_REQUIRE__ENCRYPT__ALLOW__DECRYPT 

type ESDKCommitmentPolicy_REQUIRE__ENCRYPT__ALLOW__DECRYPT struct {
}

type ESDKCommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT 

type ESDKCommitmentPolicy_REQUIRE__ENCRYPT__REQUIRE__DECRYPT struct {
}

type EdkWrappingAlgorithm 

type EdkWrappingAlgorithm struct {
	Data_EdkWrappingAlgorithm_
}

Definition of datatype EdkWrappingAlgorithm

func (EdkWrappingAlgorithm) Dtor_DIRECT__KEY__WRAPPING 

func (_this EdkWrappingAlgorithm) Dtor_DIRECT__KEY__WRAPPING() DIRECT__KEY__WRAPPING

func (EdkWrappingAlgorithm) Dtor_IntermediateKeyWrapping 

func (_this EdkWrappingAlgorithm) Dtor_IntermediateKeyWrapping() IntermediateKeyWrapping

func (EdkWrappingAlgorithm) Equals 

func (_this EdkWrappingAlgorithm) Equals(other EdkWrappingAlgorithm) bool

func (EdkWrappingAlgorithm) EqualsGeneric 

func (_this EdkWrappingAlgorithm) EqualsGeneric(other interface{}) bool

func (EdkWrappingAlgorithm) Get_ 

func (_this EdkWrappingAlgorithm) Get_() Data_EdkWrappingAlgorithm_

func (EdkWrappingAlgorithm) Is_DIRECT__KEY__WRAPPING 

func (_this EdkWrappingAlgorithm) Is_DIRECT__KEY__WRAPPING() bool

func (EdkWrappingAlgorithm) Is_IntermediateKeyWrapping 

func (_this EdkWrappingAlgorithm) Is_IntermediateKeyWrapping() bool

func (EdkWrappingAlgorithm) ParentTraits_ 

func (_this EdkWrappingAlgorithm) ParentTraits_() []*_dafny.TraitID

func (EdkWrappingAlgorithm) String 

func (_this EdkWrappingAlgorithm) String() string

type EdkWrappingAlgorithm_DIRECT__KEY__WRAPPING 

type EdkWrappingAlgorithm_DIRECT__KEY__WRAPPING struct {
	DIRECT__KEY__WRAPPING DIRECT__KEY__WRAPPING
}

type EdkWrappingAlgorithm_IntermediateKeyWrapping 

type EdkWrappingAlgorithm_IntermediateKeyWrapping struct {
	IntermediateKeyWrapping IntermediateKeyWrapping
}

type Encrypt 

type Encrypt struct {
	Data_Encrypt_
}

Definition of datatype Encrypt

func (Encrypt) Dtor_AES__GCM 

func (_this Encrypt) Dtor_AES__GCM() m_AwsCryptographyPrimitivesTypes.AES__GCM

func (Encrypt) Equals 

func (_this Encrypt) Equals(other Encrypt) bool

func (Encrypt) EqualsGeneric 

func (_this Encrypt) EqualsGeneric(other interface{}) bool

func (Encrypt) Get_ 

func (_this Encrypt) Get_() Data_Encrypt_

func (Encrypt) Is_AES__GCM 

func (_this Encrypt) Is_AES__GCM() bool

func (Encrypt) ParentTraits_ 

func (_this Encrypt) ParentTraits_() []*_dafny.TraitID

func (Encrypt) String 

func (_this Encrypt) String() string

type Encrypt_AES__GCM 

type Encrypt_AES__GCM struct {
	AES__GCM m_AwsCryptographyPrimitivesTypes.AES__GCM
}

type EncryptedDataKey 

type EncryptedDataKey struct {
	Data_EncryptedDataKey_
}

Definition of datatype EncryptedDataKey

func (EncryptedDataKey) Dtor_ciphertext 

func (_this EncryptedDataKey) Dtor_ciphertext() _dafny.Sequence

func (EncryptedDataKey) Dtor_keyProviderId 

func (_this EncryptedDataKey) Dtor_keyProviderId() _dafny.Sequence

func (EncryptedDataKey) Dtor_keyProviderInfo 

func (_this EncryptedDataKey) Dtor_keyProviderInfo() _dafny.Sequence

func (EncryptedDataKey) Equals 

func (_this EncryptedDataKey) Equals(other EncryptedDataKey) bool

func (EncryptedDataKey) EqualsGeneric 

func (_this EncryptedDataKey) EqualsGeneric(other interface{}) bool

func (EncryptedDataKey) Get_ 

func (_this EncryptedDataKey) Get_() Data_EncryptedDataKey_

func (EncryptedDataKey) Is_EncryptedDataKey 

func (_this EncryptedDataKey) Is_EncryptedDataKey() bool

func (EncryptedDataKey) ParentTraits_ 

func (_this EncryptedDataKey) ParentTraits_() []*_dafny.TraitID

func (EncryptedDataKey) String 

func (_this EncryptedDataKey) String() string

type EncryptedDataKey_EncryptedDataKey 

type EncryptedDataKey_EncryptedDataKey struct {
	KeyProviderId   _dafny.Sequence
	KeyProviderInfo _dafny.Sequence
	Ciphertext      _dafny.Sequence
}

type EncryptionMaterials 

type EncryptionMaterials struct {
	Data_EncryptionMaterials_
}

Definition of datatype EncryptionMaterials

func (EncryptionMaterials) Dtor_algorithmSuite 

func (_this EncryptionMaterials) Dtor_algorithmSuite() AlgorithmSuiteInfo

func (EncryptionMaterials) Dtor_encryptedDataKeys 

func (_this EncryptionMaterials) Dtor_encryptedDataKeys() _dafny.Sequence

func (EncryptionMaterials) Dtor_encryptionContext 

func (_this EncryptionMaterials) Dtor_encryptionContext() _dafny.Map

func (EncryptionMaterials) Dtor_plaintextDataKey 

func (_this EncryptionMaterials) Dtor_plaintextDataKey() m_Wrappers.Option

func (EncryptionMaterials) Dtor_requiredEncryptionContextKeys 

func (_this EncryptionMaterials) Dtor_requiredEncryptionContextKeys() _dafny.Sequence

func (EncryptionMaterials) Dtor_signingKey 

func (_this EncryptionMaterials) Dtor_signingKey() m_Wrappers.Option

func (EncryptionMaterials) Dtor_symmetricSigningKeys 

func (_this EncryptionMaterials) Dtor_symmetricSigningKeys() m_Wrappers.Option

func (EncryptionMaterials) Equals 

func (_this EncryptionMaterials) Equals(other EncryptionMaterials) bool

func (EncryptionMaterials) EqualsGeneric 

func (_this EncryptionMaterials) EqualsGeneric(other interface{}) bool

func (EncryptionMaterials) Get_ 

func (_this EncryptionMaterials) Get_() Data_EncryptionMaterials_

func (EncryptionMaterials) Is_EncryptionMaterials 

func (_this EncryptionMaterials) Is_EncryptionMaterials() bool

func (EncryptionMaterials) ParentTraits_ 

func (_this EncryptionMaterials) ParentTraits_() []*_dafny.TraitID

func (EncryptionMaterials) String 

func (_this EncryptionMaterials) String() string

type EncryptionMaterials_EncryptionMaterials 

type EncryptionMaterials_EncryptionMaterials struct {
	AlgorithmSuite                AlgorithmSuiteInfo
	EncryptionContext             _dafny.Map
	EncryptedDataKeys             _dafny.Sequence
	RequiredEncryptionContextKeys _dafny.Sequence
	PlaintextDataKey              m_Wrappers.Option
	SigningKey                    m_Wrappers.Option
	SymmetricSigningKeys          m_Wrappers.Option
}

type EphemeralPrivateKeyToStaticPublicKeyInput 

type EphemeralPrivateKeyToStaticPublicKeyInput struct {
	Data_EphemeralPrivateKeyToStaticPublicKeyInput_
}

Definition of datatype EphemeralPrivateKeyToStaticPublicKeyInput

func (EphemeralPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey() _dafny.Sequence

func (EphemeralPrivateKeyToStaticPublicKeyInput) Equals 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) Equals(other EphemeralPrivateKeyToStaticPublicKeyInput) bool

func (EphemeralPrivateKeyToStaticPublicKeyInput) EqualsGeneric 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) EqualsGeneric(other interface{}) bool

func (EphemeralPrivateKeyToStaticPublicKeyInput) Get_ 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) Get_() Data_EphemeralPrivateKeyToStaticPublicKeyInput_

func (EphemeralPrivateKeyToStaticPublicKeyInput) Is_EphemeralPrivateKeyToStaticPublicKeyInput 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) Is_EphemeralPrivateKeyToStaticPublicKeyInput() bool

func (EphemeralPrivateKeyToStaticPublicKeyInput) ParentTraits_ 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (EphemeralPrivateKeyToStaticPublicKeyInput) String 

func (_this EphemeralPrivateKeyToStaticPublicKeyInput) String() string

type EphemeralPrivateKeyToStaticPublicKeyInput_EphemeralPrivateKeyToStaticPublicKeyInput 

type EphemeralPrivateKeyToStaticPublicKeyInput_EphemeralPrivateKeyToStaticPublicKeyInput struct {
	RecipientPublicKey _dafny.Sequence
}

type Error 

type Error struct {
	Data_Error_
}

Definition of datatype Error

func (Error) Dtor_AwsCryptographyKeyStore 

func (_this Error) Dtor_AwsCryptographyKeyStore() m_AwsCryptographyKeyStoreTypes.Error

func (Error) Dtor_AwsCryptographyPrimitives 

func (_this Error) Dtor_AwsCryptographyPrimitives() m_AwsCryptographyPrimitivesTypes.Error

func (Error) Dtor_ComAmazonawsDynamodb 

func (_this Error) Dtor_ComAmazonawsDynamodb() m_ComAmazonawsDynamodbTypes.Error

func (Error) Dtor_ComAmazonawsKms 

func (_this Error) Dtor_ComAmazonawsKms() m_ComAmazonawsKmsTypes.Error

func (Error) Dtor_list 

func (_this Error) Dtor_list() _dafny.Sequence

func (Error) Dtor_message 

func (_this Error) Dtor_message() _dafny.Sequence

func (Error) Dtor_obj 

func (_this Error) Dtor_obj() interface{}

func (Error) Dtor_objMessage 

func (_this Error) Dtor_objMessage() _dafny.Sequence

func (Error) Equals 

func (_this Error) Equals(other Error) bool

func (Error) EqualsGeneric 

func (_this Error) EqualsGeneric(other interface{}) bool

func (Error) Get_ 

func (_this Error) Get_() Data_Error_

func (Error) Is_AwsCryptographicMaterialProvidersException 

func (_this Error) Is_AwsCryptographicMaterialProvidersException() bool

func (Error) Is_AwsCryptographyKeyStore 

func (_this Error) Is_AwsCryptographyKeyStore() bool

func (Error) Is_AwsCryptographyPrimitives 

func (_this Error) Is_AwsCryptographyPrimitives() bool

func (Error) Is_CollectionOfErrors 

func (_this Error) Is_CollectionOfErrors() bool

func (Error) Is_ComAmazonawsDynamodb 

func (_this Error) Is_ComAmazonawsDynamodb() bool

func (Error) Is_ComAmazonawsKms 

func (_this Error) Is_ComAmazonawsKms() bool

func (Error) Is_EntryAlreadyExists 

func (_this Error) Is_EntryAlreadyExists() bool

func (Error) Is_EntryDoesNotExist 

func (_this Error) Is_EntryDoesNotExist() bool

func (Error) Is_InFlightTTLExceeded 

func (_this Error) Is_InFlightTTLExceeded() bool

func (Error) Is_InvalidAlgorithmSuiteInfo 

func (_this Error) Is_InvalidAlgorithmSuiteInfo() bool

func (Error) Is_InvalidAlgorithmSuiteInfoOnDecrypt 

func (_this Error) Is_InvalidAlgorithmSuiteInfoOnDecrypt() bool

func (Error) Is_InvalidAlgorithmSuiteInfoOnEncrypt 

func (_this Error) Is_InvalidAlgorithmSuiteInfoOnEncrypt() bool

func (Error) Is_InvalidDecryptionMaterials 

func (_this Error) Is_InvalidDecryptionMaterials() bool

func (Error) Is_InvalidDecryptionMaterialsTransition 

func (_this Error) Is_InvalidDecryptionMaterialsTransition() bool

func (Error) Is_InvalidEncryptionMaterials 

func (_this Error) Is_InvalidEncryptionMaterials() bool

func (Error) Is_InvalidEncryptionMaterialsTransition 

func (_this Error) Is_InvalidEncryptionMaterialsTransition() bool

func (Error) Is_Opaque 

func (_this Error) Is_Opaque() bool

func (Error) Is_OpaqueWithText 

func (_this Error) Is_OpaqueWithText() bool

func (Error) ParentTraits_ 

func (_this Error) ParentTraits_() []*_dafny.TraitID

func (Error) String 

func (_this Error) String() string

type Error_AwsCryptographicMaterialProvidersException 

type Error_AwsCryptographicMaterialProvidersException struct {
	Message _dafny.Sequence
}

type Error_AwsCryptographyKeyStore 

type Error_AwsCryptographyKeyStore struct {
	AwsCryptographyKeyStore m_AwsCryptographyKeyStoreTypes.Error
}

type Error_AwsCryptographyPrimitives 

type Error_AwsCryptographyPrimitives struct {
	AwsCryptographyPrimitives m_AwsCryptographyPrimitivesTypes.Error
}

type Error_CollectionOfErrors 

type Error_CollectionOfErrors struct {
	List    _dafny.Sequence
	Message _dafny.Sequence
}

type Error_ComAmazonawsDynamodb 

type Error_ComAmazonawsDynamodb struct {
	ComAmazonawsDynamodb m_ComAmazonawsDynamodbTypes.Error
}

type Error_ComAmazonawsKms 

type Error_ComAmazonawsKms struct {
	ComAmazonawsKms m_ComAmazonawsKmsTypes.Error
}

type Error_EntryAlreadyExists 

type Error_EntryAlreadyExists struct {
	Message _dafny.Sequence
}

type Error_EntryDoesNotExist 

type Error_EntryDoesNotExist struct {
	Message _dafny.Sequence
}

type Error_InFlightTTLExceeded 

type Error_InFlightTTLExceeded struct {
	Message _dafny.Sequence
}

type Error_InvalidAlgorithmSuiteInfo 

type Error_InvalidAlgorithmSuiteInfo struct {
	Message _dafny.Sequence
}

type Error_InvalidAlgorithmSuiteInfoOnDecrypt 

type Error_InvalidAlgorithmSuiteInfoOnDecrypt struct {
	Message _dafny.Sequence
}

type Error_InvalidAlgorithmSuiteInfoOnEncrypt 

type Error_InvalidAlgorithmSuiteInfoOnEncrypt struct {
	Message _dafny.Sequence
}

type Error_InvalidDecryptionMaterials 

type Error_InvalidDecryptionMaterials struct {
	Message _dafny.Sequence
}

type Error_InvalidDecryptionMaterialsTransition 

type Error_InvalidDecryptionMaterialsTransition struct {
	Message _dafny.Sequence
}

type Error_InvalidEncryptionMaterials 

type Error_InvalidEncryptionMaterials struct {
	Message _dafny.Sequence
}

type Error_InvalidEncryptionMaterialsTransition 

type Error_InvalidEncryptionMaterialsTransition struct {
	Message _dafny.Sequence
}

type Error_Opaque 

type Error_Opaque struct {
	Obj interface{}
}

type Error_OpaqueWithText 

type Error_OpaqueWithText struct {
	Obj        interface{}
	ObjMessage _dafny.Sequence
}

type GetBranchKeyIdInput 

type GetBranchKeyIdInput struct {
	Data_GetBranchKeyIdInput_
}

Definition of datatype GetBranchKeyIdInput

func (GetBranchKeyIdInput) Dtor_encryptionContext 

func (_this GetBranchKeyIdInput) Dtor_encryptionContext() _dafny.Map

func (GetBranchKeyIdInput) Equals 

func (_this GetBranchKeyIdInput) Equals(other GetBranchKeyIdInput) bool

func (GetBranchKeyIdInput) EqualsGeneric 

func (_this GetBranchKeyIdInput) EqualsGeneric(other interface{}) bool

func (GetBranchKeyIdInput) Get_ 

func (_this GetBranchKeyIdInput) Get_() Data_GetBranchKeyIdInput_

func (GetBranchKeyIdInput) Is_GetBranchKeyIdInput 

func (_this GetBranchKeyIdInput) Is_GetBranchKeyIdInput() bool

func (GetBranchKeyIdInput) ParentTraits_ 

func (_this GetBranchKeyIdInput) ParentTraits_() []*_dafny.TraitID

func (GetBranchKeyIdInput) String 

func (_this GetBranchKeyIdInput) String() string

type GetBranchKeyIdInput_GetBranchKeyIdInput 

type GetBranchKeyIdInput_GetBranchKeyIdInput struct {
	EncryptionContext _dafny.Map
}

type GetBranchKeyIdOutput 

type GetBranchKeyIdOutput struct {
	Data_GetBranchKeyIdOutput_
}

Definition of datatype GetBranchKeyIdOutput

func (GetBranchKeyIdOutput) Dtor_branchKeyId 

func (_this GetBranchKeyIdOutput) Dtor_branchKeyId() _dafny.Sequence

func (GetBranchKeyIdOutput) Equals 

func (_this GetBranchKeyIdOutput) Equals(other GetBranchKeyIdOutput) bool

func (GetBranchKeyIdOutput) EqualsGeneric 

func (_this GetBranchKeyIdOutput) EqualsGeneric(other interface{}) bool

func (GetBranchKeyIdOutput) Get_ 

func (_this GetBranchKeyIdOutput) Get_() Data_GetBranchKeyIdOutput_

func (GetBranchKeyIdOutput) Is_GetBranchKeyIdOutput 

func (_this GetBranchKeyIdOutput) Is_GetBranchKeyIdOutput() bool

func (GetBranchKeyIdOutput) ParentTraits_ 

func (_this GetBranchKeyIdOutput) ParentTraits_() []*_dafny.TraitID

func (GetBranchKeyIdOutput) String 

func (_this GetBranchKeyIdOutput) String() string

type GetBranchKeyIdOutput_GetBranchKeyIdOutput 

type GetBranchKeyIdOutput_GetBranchKeyIdOutput struct {
	BranchKeyId _dafny.Sequence
}

type GetCacheEntryInput 

type GetCacheEntryInput struct {
	Data_GetCacheEntryInput_
}

Definition of datatype GetCacheEntryInput

func (GetCacheEntryInput) Dtor_bytesUsed 

func (_this GetCacheEntryInput) Dtor_bytesUsed() m_Wrappers.Option

func (GetCacheEntryInput) Dtor_identifier 

func (_this GetCacheEntryInput) Dtor_identifier() _dafny.Sequence

func (GetCacheEntryInput) Equals 

func (_this GetCacheEntryInput) Equals(other GetCacheEntryInput) bool

func (GetCacheEntryInput) EqualsGeneric 

func (_this GetCacheEntryInput) EqualsGeneric(other interface{}) bool

func (GetCacheEntryInput) Get_ 

func (_this GetCacheEntryInput) Get_() Data_GetCacheEntryInput_

func (GetCacheEntryInput) Is_GetCacheEntryInput 

func (_this GetCacheEntryInput) Is_GetCacheEntryInput() bool

func (GetCacheEntryInput) ParentTraits_ 

func (_this GetCacheEntryInput) ParentTraits_() []*_dafny.TraitID

func (GetCacheEntryInput) String 

func (_this GetCacheEntryInput) String() string

type GetCacheEntryInput_GetCacheEntryInput 

type GetCacheEntryInput_GetCacheEntryInput struct {
	Identifier _dafny.Sequence
	BytesUsed  m_Wrappers.Option
}

type GetCacheEntryOutput 

type GetCacheEntryOutput struct {
	Data_GetCacheEntryOutput_
}

Definition of datatype GetCacheEntryOutput

func (GetCacheEntryOutput) Dtor_bytesUsed 

func (_this GetCacheEntryOutput) Dtor_bytesUsed() int32

func (GetCacheEntryOutput) Dtor_creationTime 

func (_this GetCacheEntryOutput) Dtor_creationTime() int64

func (GetCacheEntryOutput) Dtor_expiryTime 

func (_this GetCacheEntryOutput) Dtor_expiryTime() int64

func (GetCacheEntryOutput) Dtor_materials 

func (_this GetCacheEntryOutput) Dtor_materials() Materials

func (GetCacheEntryOutput) Dtor_messagesUsed 

func (_this GetCacheEntryOutput) Dtor_messagesUsed() int32

func (GetCacheEntryOutput) Equals 

func (_this GetCacheEntryOutput) Equals(other GetCacheEntryOutput) bool

func (GetCacheEntryOutput) EqualsGeneric 

func (_this GetCacheEntryOutput) EqualsGeneric(other interface{}) bool

func (GetCacheEntryOutput) Get_ 

func (_this GetCacheEntryOutput) Get_() Data_GetCacheEntryOutput_

func (GetCacheEntryOutput) Is_GetCacheEntryOutput 

func (_this GetCacheEntryOutput) Is_GetCacheEntryOutput() bool

func (GetCacheEntryOutput) ParentTraits_ 

func (_this GetCacheEntryOutput) ParentTraits_() []*_dafny.TraitID

func (GetCacheEntryOutput) String 

func (_this GetCacheEntryOutput) String() string

type GetCacheEntryOutput_GetCacheEntryOutput 

type GetCacheEntryOutput_GetCacheEntryOutput struct {
	Materials    Materials
	CreationTime int64
	ExpiryTime   int64
	MessagesUsed int32
	BytesUsed    int32
}

type GetClientInput 

type GetClientInput struct {
	Data_GetClientInput_
}

Definition of datatype GetClientInput

func (GetClientInput) Dtor_region 

func (_this GetClientInput) Dtor_region() _dafny.Sequence

func (GetClientInput) Equals 

func (_this GetClientInput) Equals(other GetClientInput) bool

func (GetClientInput) EqualsGeneric 

func (_this GetClientInput) EqualsGeneric(other interface{}) bool

func (GetClientInput) Get_ 

func (_this GetClientInput) Get_() Data_GetClientInput_

func (GetClientInput) Is_GetClientInput 

func (_this GetClientInput) Is_GetClientInput() bool

func (GetClientInput) ParentTraits_ 

func (_this GetClientInput) ParentTraits_() []*_dafny.TraitID

func (GetClientInput) String 

func (_this GetClientInput) String() string

type GetClientInput_GetClientInput 

type GetClientInput_GetClientInput struct {
	Region _dafny.Sequence
}

type GetEncryptionMaterialsInput 

type GetEncryptionMaterialsInput struct {
	Data_GetEncryptionMaterialsInput_
}

Definition of datatype GetEncryptionMaterialsInput

func (GetEncryptionMaterialsInput) Dtor_algorithmSuiteId 

func (_this GetEncryptionMaterialsInput) Dtor_algorithmSuiteId() m_Wrappers.Option

func (GetEncryptionMaterialsInput) Dtor_commitmentPolicy 

func (_this GetEncryptionMaterialsInput) Dtor_commitmentPolicy() CommitmentPolicy

func (GetEncryptionMaterialsInput) Dtor_encryptionContext 

func (_this GetEncryptionMaterialsInput) Dtor_encryptionContext() _dafny.Map

func (GetEncryptionMaterialsInput) Dtor_maxPlaintextLength 

func (_this GetEncryptionMaterialsInput) Dtor_maxPlaintextLength() m_Wrappers.Option

func (GetEncryptionMaterialsInput) Dtor_requiredEncryptionContextKeys 

func (_this GetEncryptionMaterialsInput) Dtor_requiredEncryptionContextKeys() m_Wrappers.Option

func (GetEncryptionMaterialsInput) Equals 

func (_this GetEncryptionMaterialsInput) Equals(other GetEncryptionMaterialsInput) bool

func (GetEncryptionMaterialsInput) EqualsGeneric 

func (_this GetEncryptionMaterialsInput) EqualsGeneric(other interface{}) bool

func (GetEncryptionMaterialsInput) Get_ 

func (_this GetEncryptionMaterialsInput) Get_() Data_GetEncryptionMaterialsInput_

func (GetEncryptionMaterialsInput) Is_GetEncryptionMaterialsInput 

func (_this GetEncryptionMaterialsInput) Is_GetEncryptionMaterialsInput() bool

func (GetEncryptionMaterialsInput) ParentTraits_ 

func (_this GetEncryptionMaterialsInput) ParentTraits_() []*_dafny.TraitID

func (GetEncryptionMaterialsInput) String 

func (_this GetEncryptionMaterialsInput) String() string

type GetEncryptionMaterialsInput_GetEncryptionMaterialsInput 

type GetEncryptionMaterialsInput_GetEncryptionMaterialsInput struct {
	EncryptionContext             _dafny.Map
	CommitmentPolicy              CommitmentPolicy
	AlgorithmSuiteId              m_Wrappers.Option
	MaxPlaintextLength            m_Wrappers.Option
	RequiredEncryptionContextKeys m_Wrappers.Option
}

type GetEncryptionMaterialsOutput 

type GetEncryptionMaterialsOutput struct {
	Data_GetEncryptionMaterialsOutput_
}

Definition of datatype GetEncryptionMaterialsOutput

func (GetEncryptionMaterialsOutput) Dtor_encryptionMaterials 

func (_this GetEncryptionMaterialsOutput) Dtor_encryptionMaterials() EncryptionMaterials

func (GetEncryptionMaterialsOutput) Equals 

func (_this GetEncryptionMaterialsOutput) Equals(other GetEncryptionMaterialsOutput) bool

func (GetEncryptionMaterialsOutput) EqualsGeneric 

func (_this GetEncryptionMaterialsOutput) EqualsGeneric(other interface{}) bool

func (GetEncryptionMaterialsOutput) Get_ 

func (_this GetEncryptionMaterialsOutput) Get_() Data_GetEncryptionMaterialsOutput_

func (GetEncryptionMaterialsOutput) Is_GetEncryptionMaterialsOutput 

func (_this GetEncryptionMaterialsOutput) Is_GetEncryptionMaterialsOutput() bool

func (GetEncryptionMaterialsOutput) ParentTraits_ 

func (_this GetEncryptionMaterialsOutput) ParentTraits_() []*_dafny.TraitID

func (GetEncryptionMaterialsOutput) String 

func (_this GetEncryptionMaterialsOutput) String() string

type GetEncryptionMaterialsOutput_GetEncryptionMaterialsOutput 

type GetEncryptionMaterialsOutput_GetEncryptionMaterialsOutput struct {
	EncryptionMaterials EncryptionMaterials
}

type HKDF 

type HKDF struct {
	Data_HKDF_
}

Definition of datatype HKDF

func (HKDF) Dtor_hmac 

func (_this HKDF) Dtor_hmac() m_AwsCryptographyPrimitivesTypes.DigestAlgorithm

func (HKDF) Dtor_inputKeyLength 

func (_this HKDF) Dtor_inputKeyLength() int32

func (HKDF) Dtor_outputKeyLength 

func (_this HKDF) Dtor_outputKeyLength() int32

func (HKDF) Dtor_saltLength 

func (_this HKDF) Dtor_saltLength() int32

func (HKDF) Equals 

func (_this HKDF) Equals(other HKDF) bool

func (HKDF) EqualsGeneric 

func (_this HKDF) EqualsGeneric(other interface{}) bool

func (HKDF) Get_ 

func (_this HKDF) Get_() Data_HKDF_

func (HKDF) Is_HKDF 

func (_this HKDF) Is_HKDF() bool

func (HKDF) ParentTraits_ 

func (_this HKDF) ParentTraits_() []*_dafny.TraitID

func (HKDF) String 

func (_this HKDF) String() string

type HKDF_HKDF 

type HKDF_HKDF struct {
	Hmac            m_AwsCryptographyPrimitivesTypes.DigestAlgorithm
	SaltLength      int32
	InputKeyLength  int32
	OutputKeyLength int32
}

type IAwsCryptographicMaterialProvidersClient 

type IAwsCryptographicMaterialProvidersClient interface {
	String() string
	CreateAwsKmsKeyring(input CreateAwsKmsKeyringInput) m_Wrappers.Result
	CreateAwsKmsDiscoveryKeyring(input CreateAwsKmsDiscoveryKeyringInput) m_Wrappers.Result
	CreateAwsKmsMultiKeyring(input CreateAwsKmsMultiKeyringInput) m_Wrappers.Result
	CreateAwsKmsDiscoveryMultiKeyring(input CreateAwsKmsDiscoveryMultiKeyringInput) m_Wrappers.Result
	CreateAwsKmsMrkKeyring(input CreateAwsKmsMrkKeyringInput) m_Wrappers.Result
	CreateAwsKmsMrkMultiKeyring(input CreateAwsKmsMrkMultiKeyringInput) m_Wrappers.Result
	CreateAwsKmsMrkDiscoveryKeyring(input CreateAwsKmsMrkDiscoveryKeyringInput) m_Wrappers.Result
	CreateAwsKmsMrkDiscoveryMultiKeyring(input CreateAwsKmsMrkDiscoveryMultiKeyringInput) m_Wrappers.Result
	CreateAwsKmsHierarchicalKeyring(input CreateAwsKmsHierarchicalKeyringInput) m_Wrappers.Result
	CreateAwsKmsRsaKeyring(input CreateAwsKmsRsaKeyringInput) m_Wrappers.Result
	CreateAwsKmsEcdhKeyring(input CreateAwsKmsEcdhKeyringInput) m_Wrappers.Result
	CreateMultiKeyring(input CreateMultiKeyringInput) m_Wrappers.Result
	CreateRawAesKeyring(input CreateRawAesKeyringInput) m_Wrappers.Result
	CreateRawRsaKeyring(input CreateRawRsaKeyringInput) m_Wrappers.Result
	CreateRawEcdhKeyring(input CreateRawEcdhKeyringInput) m_Wrappers.Result
	CreateDefaultCryptographicMaterialsManager(input CreateDefaultCryptographicMaterialsManagerInput) m_Wrappers.Result
	CreateRequiredEncryptionContextCMM(input CreateRequiredEncryptionContextCMMInput) m_Wrappers.Result
	CreateCryptographicMaterialsCache(input CreateCryptographicMaterialsCacheInput) m_Wrappers.Result
	CreateDefaultClientSupplier(input CreateDefaultClientSupplierInput) m_Wrappers.Result
	InitializeEncryptionMaterials(input InitializeEncryptionMaterialsInput) m_Wrappers.Result
	InitializeDecryptionMaterials(input InitializeDecryptionMaterialsInput) m_Wrappers.Result
	ValidEncryptionMaterialsTransition(input ValidEncryptionMaterialsTransitionInput) m_Wrappers.Result
	ValidDecryptionMaterialsTransition(input ValidDecryptionMaterialsTransitionInput) m_Wrappers.Result
	EncryptionMaterialsHasPlaintextDataKey(input EncryptionMaterials) m_Wrappers.Result
	DecryptionMaterialsWithPlaintextDataKey(input DecryptionMaterials) m_Wrappers.Result
	GetAlgorithmSuiteInfo(input _dafny.Sequence) m_Wrappers.Result
	ValidAlgorithmSuiteInfo(input AlgorithmSuiteInfo) m_Wrappers.Result
	ValidateCommitmentPolicyOnEncrypt(input ValidateCommitmentPolicyOnEncryptInput) m_Wrappers.Result
	ValidateCommitmentPolicyOnDecrypt(input ValidateCommitmentPolicyOnDecryptInput) m_Wrappers.Result
}

Definition of trait IAwsCryptographicMaterialProvidersClient

type IAwsCryptographicMaterialProvidersClientCallHistory 

type IAwsCryptographicMaterialProvidersClientCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class IAwsCryptographicMaterialProvidersClientCallHistory

func New_IAwsCryptographicMaterialProvidersClientCallHistory_ 

func New_IAwsCryptographicMaterialProvidersClientCallHistory_() *IAwsCryptographicMaterialProvidersClientCallHistory

func (*IAwsCryptographicMaterialProvidersClientCallHistory) Equals 

func (_this *IAwsCryptographicMaterialProvidersClientCallHistory) Equals(other *IAwsCryptographicMaterialProvidersClientCallHistory) bool

func (*IAwsCryptographicMaterialProvidersClientCallHistory) EqualsGeneric 

func (_this *IAwsCryptographicMaterialProvidersClientCallHistory) EqualsGeneric(x interface{}) bool

func (*IAwsCryptographicMaterialProvidersClientCallHistory) ParentTraits_ 

func (_this *IAwsCryptographicMaterialProvidersClientCallHistory) ParentTraits_() []*_dafny.TraitID

func (*IAwsCryptographicMaterialProvidersClientCallHistory) String 

func (*IAwsCryptographicMaterialProvidersClientCallHistory) String() string

type IBranchKeyIdSupplier 

type IBranchKeyIdSupplier interface {
	String() string
	GetBranchKeyId(input GetBranchKeyIdInput) m_Wrappers.Result
	GetBranchKeyId_k(input GetBranchKeyIdInput) m_Wrappers.Result
}

Definition of trait IBranchKeyIdSupplier

type IBranchKeyIdSupplierCallHistory 

type IBranchKeyIdSupplierCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class IBranchKeyIdSupplierCallHistory

func New_IBranchKeyIdSupplierCallHistory_ 

func New_IBranchKeyIdSupplierCallHistory_() *IBranchKeyIdSupplierCallHistory

func (*IBranchKeyIdSupplierCallHistory) Equals 

func (_this *IBranchKeyIdSupplierCallHistory) Equals(other *IBranchKeyIdSupplierCallHistory) bool

func (*IBranchKeyIdSupplierCallHistory) EqualsGeneric 

func (_this *IBranchKeyIdSupplierCallHistory) EqualsGeneric(x interface{}) bool

func (*IBranchKeyIdSupplierCallHistory) ParentTraits_ 

func (_this *IBranchKeyIdSupplierCallHistory) ParentTraits_() []*_dafny.TraitID

func (*IBranchKeyIdSupplierCallHistory) String 

func (*IBranchKeyIdSupplierCallHistory) String() string

type IClientSupplier 

type IClientSupplier interface {
	String() string
	GetClient(input GetClientInput) m_Wrappers.Result
	GetClient_k(input GetClientInput) m_Wrappers.Result
}

Definition of trait IClientSupplier

type IClientSupplierCallHistory 

type IClientSupplierCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class IClientSupplierCallHistory

func New_IClientSupplierCallHistory_ 

func New_IClientSupplierCallHistory_() *IClientSupplierCallHistory

func (*IClientSupplierCallHistory) Equals 

func (_this *IClientSupplierCallHistory) Equals(other *IClientSupplierCallHistory) bool

func (*IClientSupplierCallHistory) EqualsGeneric 

func (_this *IClientSupplierCallHistory) EqualsGeneric(x interface{}) bool

func (*IClientSupplierCallHistory) ParentTraits_ 

func (_this *IClientSupplierCallHistory) ParentTraits_() []*_dafny.TraitID

func (*IClientSupplierCallHistory) String 

func (*IClientSupplierCallHistory) String() string

type ICryptographicMaterialsCache 

type ICryptographicMaterialsCache interface {
	String() string
	PutCacheEntry(input PutCacheEntryInput) m_Wrappers.Result
	PutCacheEntry_k(input PutCacheEntryInput) m_Wrappers.Result
	UpdateUsageMetadata(input UpdateUsageMetadataInput) m_Wrappers.Result
	UpdateUsageMetadata_k(input UpdateUsageMetadataInput) m_Wrappers.Result
	GetCacheEntry(input GetCacheEntryInput) m_Wrappers.Result
	GetCacheEntry_k(input GetCacheEntryInput) m_Wrappers.Result
	DeleteCacheEntry(input DeleteCacheEntryInput) m_Wrappers.Result
	DeleteCacheEntry_k(input DeleteCacheEntryInput) m_Wrappers.Result
}

Definition of trait ICryptographicMaterialsCache

type ICryptographicMaterialsCacheCallHistory 

type ICryptographicMaterialsCacheCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class ICryptographicMaterialsCacheCallHistory

func New_ICryptographicMaterialsCacheCallHistory_ 

func New_ICryptographicMaterialsCacheCallHistory_() *ICryptographicMaterialsCacheCallHistory

func (*ICryptographicMaterialsCacheCallHistory) Equals 

func (_this *ICryptographicMaterialsCacheCallHistory) Equals(other *ICryptographicMaterialsCacheCallHistory) bool

func (*ICryptographicMaterialsCacheCallHistory) EqualsGeneric 

func (_this *ICryptographicMaterialsCacheCallHistory) EqualsGeneric(x interface{}) bool

func (*ICryptographicMaterialsCacheCallHistory) ParentTraits_ 

func (_this *ICryptographicMaterialsCacheCallHistory) ParentTraits_() []*_dafny.TraitID

func (*ICryptographicMaterialsCacheCallHistory) String 

func (*ICryptographicMaterialsCacheCallHistory) String() string

type ICryptographicMaterialsManager 

type ICryptographicMaterialsManager interface {
	String() string
	GetEncryptionMaterials(input GetEncryptionMaterialsInput) m_Wrappers.Result
	GetEncryptionMaterials_k(input GetEncryptionMaterialsInput) m_Wrappers.Result
	DecryptMaterials(input DecryptMaterialsInput) m_Wrappers.Result
	DecryptMaterials_k(input DecryptMaterialsInput) m_Wrappers.Result
}

Definition of trait ICryptographicMaterialsManager

type ICryptographicMaterialsManagerCallHistory 

type ICryptographicMaterialsManagerCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class ICryptographicMaterialsManagerCallHistory

func New_ICryptographicMaterialsManagerCallHistory_ 

func New_ICryptographicMaterialsManagerCallHistory_() *ICryptographicMaterialsManagerCallHistory

func (*ICryptographicMaterialsManagerCallHistory) Equals 

func (_this *ICryptographicMaterialsManagerCallHistory) Equals(other *ICryptographicMaterialsManagerCallHistory) bool

func (*ICryptographicMaterialsManagerCallHistory) EqualsGeneric 

func (_this *ICryptographicMaterialsManagerCallHistory) EqualsGeneric(x interface{}) bool

func (*ICryptographicMaterialsManagerCallHistory) ParentTraits_ 

func (_this *ICryptographicMaterialsManagerCallHistory) ParentTraits_() []*_dafny.TraitID

func (*ICryptographicMaterialsManagerCallHistory) String 

func (*ICryptographicMaterialsManagerCallHistory) String() string

type IDENTITY 

type IDENTITY struct {
	Data_IDENTITY_
}

Definition of datatype IDENTITY

func (IDENTITY) Equals 

func (_this IDENTITY) Equals(other IDENTITY) bool

func (IDENTITY) EqualsGeneric 

func (_this IDENTITY) EqualsGeneric(other interface{}) bool

func (IDENTITY) Get_ 

func (_this IDENTITY) Get_() Data_IDENTITY_

func (IDENTITY) Is_IDENTITY 

func (_this IDENTITY) Is_IDENTITY() bool

func (IDENTITY) ParentTraits_ 

func (_this IDENTITY) ParentTraits_() []*_dafny.TraitID

func (IDENTITY) String 

func (_this IDENTITY) String() string

type IDENTITY_IDENTITY 

type IDENTITY_IDENTITY struct {
}

type IKeyring 

type IKeyring interface {
	String() string
	OnEncrypt(input OnEncryptInput) m_Wrappers.Result
	OnEncrypt_k(input OnEncryptInput) m_Wrappers.Result
	OnDecrypt(input OnDecryptInput) m_Wrappers.Result
	OnDecrypt_k(input OnDecryptInput) m_Wrappers.Result
}

Definition of trait IKeyring

type IKeyringCallHistory 

type IKeyringCallHistory struct {
	// contains filtered or unexported fields
}

Definition of class IKeyringCallHistory

func New_IKeyringCallHistory_ 

func New_IKeyringCallHistory_() *IKeyringCallHistory

func (*IKeyringCallHistory) Equals 

func (_this *IKeyringCallHistory) Equals(other *IKeyringCallHistory) bool

func (*IKeyringCallHistory) EqualsGeneric 

func (_this *IKeyringCallHistory) EqualsGeneric(x interface{}) bool

func (*IKeyringCallHistory) ParentTraits_ 

func (_this *IKeyringCallHistory) ParentTraits_() []*_dafny.TraitID

func (*IKeyringCallHistory) String 

func (*IKeyringCallHistory) String() string

type InitializeDecryptionMaterialsInput 

type InitializeDecryptionMaterialsInput struct {
	Data_InitializeDecryptionMaterialsInput_
}

Definition of datatype InitializeDecryptionMaterialsInput

func (InitializeDecryptionMaterialsInput) Dtor_algorithmSuiteId 

func (_this InitializeDecryptionMaterialsInput) Dtor_algorithmSuiteId() AlgorithmSuiteId

func (InitializeDecryptionMaterialsInput) Dtor_encryptionContext 

func (_this InitializeDecryptionMaterialsInput) Dtor_encryptionContext() _dafny.Map

func (InitializeDecryptionMaterialsInput) Dtor_requiredEncryptionContextKeys 

func (_this InitializeDecryptionMaterialsInput) Dtor_requiredEncryptionContextKeys() _dafny.Sequence

func (InitializeDecryptionMaterialsInput) Equals 

func (_this InitializeDecryptionMaterialsInput) Equals(other InitializeDecryptionMaterialsInput) bool

func (InitializeDecryptionMaterialsInput) EqualsGeneric 

func (_this InitializeDecryptionMaterialsInput) EqualsGeneric(other interface{}) bool

func (InitializeDecryptionMaterialsInput) Get_ 

func (_this InitializeDecryptionMaterialsInput) Get_() Data_InitializeDecryptionMaterialsInput_

func (InitializeDecryptionMaterialsInput) Is_InitializeDecryptionMaterialsInput 

func (_this InitializeDecryptionMaterialsInput) Is_InitializeDecryptionMaterialsInput() bool

func (InitializeDecryptionMaterialsInput) ParentTraits_ 

func (_this InitializeDecryptionMaterialsInput) ParentTraits_() []*_dafny.TraitID

func (InitializeDecryptionMaterialsInput) String 

func (_this InitializeDecryptionMaterialsInput) String() string

type InitializeDecryptionMaterialsInput_InitializeDecryptionMaterialsInput 

type InitializeDecryptionMaterialsInput_InitializeDecryptionMaterialsInput struct {
	AlgorithmSuiteId              AlgorithmSuiteId
	EncryptionContext             _dafny.Map
	RequiredEncryptionContextKeys _dafny.Sequence
}

type InitializeEncryptionMaterialsInput 

type InitializeEncryptionMaterialsInput struct {
	Data_InitializeEncryptionMaterialsInput_
}

Definition of datatype InitializeEncryptionMaterialsInput

func (InitializeEncryptionMaterialsInput) Dtor_algorithmSuiteId 

func (_this InitializeEncryptionMaterialsInput) Dtor_algorithmSuiteId() AlgorithmSuiteId

func (InitializeEncryptionMaterialsInput) Dtor_encryptionContext 

func (_this InitializeEncryptionMaterialsInput) Dtor_encryptionContext() _dafny.Map

func (InitializeEncryptionMaterialsInput) Dtor_requiredEncryptionContextKeys 

func (_this InitializeEncryptionMaterialsInput) Dtor_requiredEncryptionContextKeys() _dafny.Sequence

func (InitializeEncryptionMaterialsInput) Dtor_signingKey 

func (_this InitializeEncryptionMaterialsInput) Dtor_signingKey() m_Wrappers.Option

func (InitializeEncryptionMaterialsInput) Dtor_verificationKey 

func (_this InitializeEncryptionMaterialsInput) Dtor_verificationKey() m_Wrappers.Option

func (InitializeEncryptionMaterialsInput) Equals 

func (_this InitializeEncryptionMaterialsInput) Equals(other InitializeEncryptionMaterialsInput) bool

func (InitializeEncryptionMaterialsInput) EqualsGeneric 

func (_this InitializeEncryptionMaterialsInput) EqualsGeneric(other interface{}) bool

func (InitializeEncryptionMaterialsInput) Get_ 

func (_this InitializeEncryptionMaterialsInput) Get_() Data_InitializeEncryptionMaterialsInput_

func (InitializeEncryptionMaterialsInput) Is_InitializeEncryptionMaterialsInput 

func (_this InitializeEncryptionMaterialsInput) Is_InitializeEncryptionMaterialsInput() bool

func (InitializeEncryptionMaterialsInput) ParentTraits_ 

func (_this InitializeEncryptionMaterialsInput) ParentTraits_() []*_dafny.TraitID

func (InitializeEncryptionMaterialsInput) String 

func (_this InitializeEncryptionMaterialsInput) String() string

type InitializeEncryptionMaterialsInput_InitializeEncryptionMaterialsInput 

type InitializeEncryptionMaterialsInput_InitializeEncryptionMaterialsInput struct {
	AlgorithmSuiteId              AlgorithmSuiteId
	EncryptionContext             _dafny.Map
	RequiredEncryptionContextKeys _dafny.Sequence
	SigningKey                    m_Wrappers.Option
	VerificationKey               m_Wrappers.Option
}

type IntermediateKeyWrapping 

type IntermediateKeyWrapping struct {
	Data_IntermediateKeyWrapping_
}

Definition of datatype IntermediateKeyWrapping

func (IntermediateKeyWrapping) Dtor_keyEncryptionKeyKdf 

func (_this IntermediateKeyWrapping) Dtor_keyEncryptionKeyKdf() DerivationAlgorithm

func (IntermediateKeyWrapping) Dtor_macKeyKdf 

func (_this IntermediateKeyWrapping) Dtor_macKeyKdf() DerivationAlgorithm

func (IntermediateKeyWrapping) Dtor_pdkEncryptAlgorithm 

func (_this IntermediateKeyWrapping) Dtor_pdkEncryptAlgorithm() Encrypt

func (IntermediateKeyWrapping) Equals 

func (_this IntermediateKeyWrapping) Equals(other IntermediateKeyWrapping) bool

func (IntermediateKeyWrapping) EqualsGeneric 

func (_this IntermediateKeyWrapping) EqualsGeneric(other interface{}) bool

func (IntermediateKeyWrapping) Get_ 

func (_this IntermediateKeyWrapping) Get_() Data_IntermediateKeyWrapping_

func (IntermediateKeyWrapping) Is_IntermediateKeyWrapping 

func (_this IntermediateKeyWrapping) Is_IntermediateKeyWrapping() bool

func (IntermediateKeyWrapping) ParentTraits_ 

func (_this IntermediateKeyWrapping) ParentTraits_() []*_dafny.TraitID

func (IntermediateKeyWrapping) String 

func (_this IntermediateKeyWrapping) String() string

type IntermediateKeyWrapping_IntermediateKeyWrapping 

type IntermediateKeyWrapping_IntermediateKeyWrapping struct {
	KeyEncryptionKeyKdf DerivationAlgorithm
	MacKeyKdf           DerivationAlgorithm
	PdkEncryptAlgorithm Encrypt
}

type KeyAgreementScheme 

type KeyAgreementScheme struct {
	Data_KeyAgreementScheme_
}

Definition of datatype KeyAgreementScheme

func (KeyAgreementScheme) Dtor_StaticConfiguration 

func (_this KeyAgreementScheme) Dtor_StaticConfiguration() StaticConfigurations

func (KeyAgreementScheme) Equals 

func (_this KeyAgreementScheme) Equals(other KeyAgreementScheme) bool

func (KeyAgreementScheme) EqualsGeneric 

func (_this KeyAgreementScheme) EqualsGeneric(other interface{}) bool

func (KeyAgreementScheme) Get_ 

func (_this KeyAgreementScheme) Get_() Data_KeyAgreementScheme_

func (KeyAgreementScheme) Is_StaticConfiguration 

func (_this KeyAgreementScheme) Is_StaticConfiguration() bool

func (KeyAgreementScheme) ParentTraits_ 

func (_this KeyAgreementScheme) ParentTraits_() []*_dafny.TraitID

func (KeyAgreementScheme) String 

func (_this KeyAgreementScheme) String() string

type KeyAgreementScheme_StaticConfiguration 

type KeyAgreementScheme_StaticConfiguration struct {
	StaticConfiguration StaticConfigurations
}

type KmsEcdhStaticConfigurations 

type KmsEcdhStaticConfigurations struct {
	Data_KmsEcdhStaticConfigurations_
}

Definition of datatype KmsEcdhStaticConfigurations

func (KmsEcdhStaticConfigurations) Dtor_KmsPrivateKeyToStaticPublicKey 

func (_this KmsEcdhStaticConfigurations) Dtor_KmsPrivateKeyToStaticPublicKey() KmsPrivateKeyToStaticPublicKeyInput

func (KmsEcdhStaticConfigurations) Dtor_KmsPublicKeyDiscovery 

func (_this KmsEcdhStaticConfigurations) Dtor_KmsPublicKeyDiscovery() KmsPublicKeyDiscoveryInput

func (KmsEcdhStaticConfigurations) Equals 

func (_this KmsEcdhStaticConfigurations) Equals(other KmsEcdhStaticConfigurations) bool

func (KmsEcdhStaticConfigurations) EqualsGeneric 

func (_this KmsEcdhStaticConfigurations) EqualsGeneric(other interface{}) bool

func (KmsEcdhStaticConfigurations) Get_ 

func (_this KmsEcdhStaticConfigurations) Get_() Data_KmsEcdhStaticConfigurations_

func (KmsEcdhStaticConfigurations) Is_KmsPrivateKeyToStaticPublicKey 

func (_this KmsEcdhStaticConfigurations) Is_KmsPrivateKeyToStaticPublicKey() bool

func (KmsEcdhStaticConfigurations) Is_KmsPublicKeyDiscovery 

func (_this KmsEcdhStaticConfigurations) Is_KmsPublicKeyDiscovery() bool

func (KmsEcdhStaticConfigurations) ParentTraits_ 

func (_this KmsEcdhStaticConfigurations) ParentTraits_() []*_dafny.TraitID

func (KmsEcdhStaticConfigurations) String 

func (_this KmsEcdhStaticConfigurations) String() string

type KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey 

type KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey struct {
	KmsPrivateKeyToStaticPublicKey KmsPrivateKeyToStaticPublicKeyInput
}

type KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery 

type KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery struct {
	KmsPublicKeyDiscovery KmsPublicKeyDiscoveryInput
}

type KmsPrivateKeyToStaticPublicKeyInput 

type KmsPrivateKeyToStaticPublicKeyInput struct {
	Data_KmsPrivateKeyToStaticPublicKeyInput_
}

Definition of datatype KmsPrivateKeyToStaticPublicKeyInput

func (KmsPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey() _dafny.Sequence

func (KmsPrivateKeyToStaticPublicKeyInput) Dtor_senderKmsIdentifier 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Dtor_senderKmsIdentifier() _dafny.Sequence

func (KmsPrivateKeyToStaticPublicKeyInput) Dtor_senderPublicKey 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Dtor_senderPublicKey() m_Wrappers.Option

func (KmsPrivateKeyToStaticPublicKeyInput) Equals 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Equals(other KmsPrivateKeyToStaticPublicKeyInput) bool

func (KmsPrivateKeyToStaticPublicKeyInput) EqualsGeneric 

func (_this KmsPrivateKeyToStaticPublicKeyInput) EqualsGeneric(other interface{}) bool

func (KmsPrivateKeyToStaticPublicKeyInput) Get_ 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Get_() Data_KmsPrivateKeyToStaticPublicKeyInput_

func (KmsPrivateKeyToStaticPublicKeyInput) Is_KmsPrivateKeyToStaticPublicKeyInput 

func (_this KmsPrivateKeyToStaticPublicKeyInput) Is_KmsPrivateKeyToStaticPublicKeyInput() bool

func (KmsPrivateKeyToStaticPublicKeyInput) ParentTraits_ 

func (_this KmsPrivateKeyToStaticPublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (KmsPrivateKeyToStaticPublicKeyInput) String 

func (_this KmsPrivateKeyToStaticPublicKeyInput) String() string

type KmsPrivateKeyToStaticPublicKeyInput_KmsPrivateKeyToStaticPublicKeyInput 

type KmsPrivateKeyToStaticPublicKeyInput_KmsPrivateKeyToStaticPublicKeyInput struct {
	SenderKmsIdentifier _dafny.Sequence
	SenderPublicKey     m_Wrappers.Option
	RecipientPublicKey  _dafny.Sequence
}

type KmsPublicKeyDiscoveryInput 

type KmsPublicKeyDiscoveryInput struct {
	Data_KmsPublicKeyDiscoveryInput_
}

Definition of datatype KmsPublicKeyDiscoveryInput

func (KmsPublicKeyDiscoveryInput) Dtor_recipientKmsIdentifier 

func (_this KmsPublicKeyDiscoveryInput) Dtor_recipientKmsIdentifier() _dafny.Sequence

func (KmsPublicKeyDiscoveryInput) Equals 

func (_this KmsPublicKeyDiscoveryInput) Equals(other KmsPublicKeyDiscoveryInput) bool

func (KmsPublicKeyDiscoveryInput) EqualsGeneric 

func (_this KmsPublicKeyDiscoveryInput) EqualsGeneric(other interface{}) bool

func (KmsPublicKeyDiscoveryInput) Get_ 

func (_this KmsPublicKeyDiscoveryInput) Get_() Data_KmsPublicKeyDiscoveryInput_

func (KmsPublicKeyDiscoveryInput) Is_KmsPublicKeyDiscoveryInput 

func (_this KmsPublicKeyDiscoveryInput) Is_KmsPublicKeyDiscoveryInput() bool

func (KmsPublicKeyDiscoveryInput) ParentTraits_ 

func (_this KmsPublicKeyDiscoveryInput) ParentTraits_() []*_dafny.TraitID

func (KmsPublicKeyDiscoveryInput) String 

func (_this KmsPublicKeyDiscoveryInput) String() string

type KmsPublicKeyDiscoveryInput_KmsPublicKeyDiscoveryInput 

type KmsPublicKeyDiscoveryInput_KmsPublicKeyDiscoveryInput struct {
	RecipientKmsIdentifier _dafny.Sequence
}

type MaterialProvidersConfig 

type MaterialProvidersConfig struct {
	Data_MaterialProvidersConfig_
}

Definition of datatype MaterialProvidersConfig

func (MaterialProvidersConfig) Equals 

func (_this MaterialProvidersConfig) Equals(other MaterialProvidersConfig) bool

func (MaterialProvidersConfig) EqualsGeneric 

func (_this MaterialProvidersConfig) EqualsGeneric(other interface{}) bool

func (MaterialProvidersConfig) Get_ 

func (_this MaterialProvidersConfig) Get_() Data_MaterialProvidersConfig_

func (MaterialProvidersConfig) Is_MaterialProvidersConfig 

func (_this MaterialProvidersConfig) Is_MaterialProvidersConfig() bool

func (MaterialProvidersConfig) ParentTraits_ 

func (_this MaterialProvidersConfig) ParentTraits_() []*_dafny.TraitID

func (MaterialProvidersConfig) String 

func (_this MaterialProvidersConfig) String() string

type MaterialProvidersConfig_MaterialProvidersConfig 

type MaterialProvidersConfig_MaterialProvidersConfig struct {
}

type Materials 

type Materials struct {
	Data_Materials_
}

Definition of datatype Materials

func (Materials) Dtor_BeaconKey 

func (_this Materials) Dtor_BeaconKey() m_AwsCryptographyKeyStoreTypes.BeaconKeyMaterials

func (Materials) Dtor_BranchKey 

func (_this Materials) Dtor_BranchKey() m_AwsCryptographyKeyStoreTypes.BranchKeyMaterials

func (Materials) Dtor_Decryption 

func (_this Materials) Dtor_Decryption() DecryptionMaterials

func (Materials) Dtor_Encryption 

func (_this Materials) Dtor_Encryption() EncryptionMaterials

func (Materials) Equals 

func (_this Materials) Equals(other Materials) bool

func (Materials) EqualsGeneric 

func (_this Materials) EqualsGeneric(other interface{}) bool

func (Materials) Get_ 

func (_this Materials) Get_() Data_Materials_

func (Materials) Is_BeaconKey 

func (_this Materials) Is_BeaconKey() bool

func (Materials) Is_BranchKey 

func (_this Materials) Is_BranchKey() bool

func (Materials) Is_Decryption 

func (_this Materials) Is_Decryption() bool

func (Materials) Is_Encryption 

func (_this Materials) Is_Encryption() bool

func (Materials) ParentTraits_ 

func (_this Materials) ParentTraits_() []*_dafny.TraitID

func (Materials) String 

func (_this Materials) String() string

type Materials_BeaconKey 

type Materials_BeaconKey struct {
	BeaconKey m_AwsCryptographyKeyStoreTypes.BeaconKeyMaterials
}

type Materials_BranchKey 

type Materials_BranchKey struct {
	BranchKey m_AwsCryptographyKeyStoreTypes.BranchKeyMaterials
}

type Materials_Decryption 

type Materials_Decryption struct {
	Decryption DecryptionMaterials
}

type Materials_Encryption 

type Materials_Encryption struct {
	Encryption EncryptionMaterials
}

type MultiThreadedCache 

type MultiThreadedCache struct {
	Data_MultiThreadedCache_
}

Definition of datatype MultiThreadedCache

func (MultiThreadedCache) Dtor_entryCapacity 

func (_this MultiThreadedCache) Dtor_entryCapacity() int32

func (MultiThreadedCache) Dtor_entryPruningTailSize 

func (_this MultiThreadedCache) Dtor_entryPruningTailSize() m_Wrappers.Option

func (MultiThreadedCache) Equals 

func (_this MultiThreadedCache) Equals(other MultiThreadedCache) bool

func (MultiThreadedCache) EqualsGeneric 

func (_this MultiThreadedCache) EqualsGeneric(other interface{}) bool

func (MultiThreadedCache) Get_ 

func (_this MultiThreadedCache) Get_() Data_MultiThreadedCache_

func (MultiThreadedCache) Is_MultiThreadedCache 

func (_this MultiThreadedCache) Is_MultiThreadedCache() bool

func (MultiThreadedCache) ParentTraits_ 

func (_this MultiThreadedCache) ParentTraits_() []*_dafny.TraitID

func (MultiThreadedCache) String 

func (_this MultiThreadedCache) String() string

type MultiThreadedCache_MultiThreadedCache 

type MultiThreadedCache_MultiThreadedCache struct {
	EntryCapacity        int32
	EntryPruningTailSize m_Wrappers.Option
}

type NoCache 

type NoCache struct {
	Data_NoCache_
}

Definition of datatype NoCache

func (NoCache) Equals 

func (_this NoCache) Equals(other NoCache) bool

func (NoCache) EqualsGeneric 

func (_this NoCache) EqualsGeneric(other interface{}) bool

func (NoCache) Get_ 

func (_this NoCache) Get_() Data_NoCache_

func (NoCache) Is_NoCache 

func (_this NoCache) Is_NoCache() bool

func (NoCache) ParentTraits_ 

func (_this NoCache) ParentTraits_() []*_dafny.TraitID

func (NoCache) String 

func (_this NoCache) String() string

type NoCache_NoCache 

type NoCache_NoCache struct {
}

type None 

type None struct {
	Data_None_
}

Definition of datatype None

func (None) Equals 

func (_this None) Equals(other None) bool

func (None) EqualsGeneric 

func (_this None) EqualsGeneric(other interface{}) bool

func (None) Get_ 

func (_this None) Get_() Data_None_

func (None) Is_None 

func (_this None) Is_None() bool

func (None) ParentTraits_ 

func (_this None) ParentTraits_() []*_dafny.TraitID

func (None) String 

func (_this None) String() string

type None_None 

type None_None struct {
}

type OnDecryptInput 

type OnDecryptInput struct {
	Data_OnDecryptInput_
}

Definition of datatype OnDecryptInput

func (OnDecryptInput) Dtor_encryptedDataKeys 

func (_this OnDecryptInput) Dtor_encryptedDataKeys() _dafny.Sequence

func (OnDecryptInput) Dtor_materials 

func (_this OnDecryptInput) Dtor_materials() DecryptionMaterials

func (OnDecryptInput) Equals 

func (_this OnDecryptInput) Equals(other OnDecryptInput) bool

func (OnDecryptInput) EqualsGeneric 

func (_this OnDecryptInput) EqualsGeneric(other interface{}) bool

func (OnDecryptInput) Get_ 

func (_this OnDecryptInput) Get_() Data_OnDecryptInput_

func (OnDecryptInput) Is_OnDecryptInput 

func (_this OnDecryptInput) Is_OnDecryptInput() bool

func (OnDecryptInput) ParentTraits_ 

func (_this OnDecryptInput) ParentTraits_() []*_dafny.TraitID

func (OnDecryptInput) String 

func (_this OnDecryptInput) String() string

type OnDecryptInput_OnDecryptInput 

type OnDecryptInput_OnDecryptInput struct {
	Materials         DecryptionMaterials
	EncryptedDataKeys _dafny.Sequence
}

type OnDecryptOutput 

type OnDecryptOutput struct {
	Data_OnDecryptOutput_
}

Definition of datatype OnDecryptOutput

func (OnDecryptOutput) Dtor_materials 

func (_this OnDecryptOutput) Dtor_materials() DecryptionMaterials

func (OnDecryptOutput) Equals 

func (_this OnDecryptOutput) Equals(other OnDecryptOutput) bool

func (OnDecryptOutput) EqualsGeneric 

func (_this OnDecryptOutput) EqualsGeneric(other interface{}) bool

func (OnDecryptOutput) Get_ 

func (_this OnDecryptOutput) Get_() Data_OnDecryptOutput_

func (OnDecryptOutput) Is_OnDecryptOutput 

func (_this OnDecryptOutput) Is_OnDecryptOutput() bool

func (OnDecryptOutput) ParentTraits_ 

func (_this OnDecryptOutput) ParentTraits_() []*_dafny.TraitID

func (OnDecryptOutput) String 

func (_this OnDecryptOutput) String() string

type OnDecryptOutput_OnDecryptOutput 

type OnDecryptOutput_OnDecryptOutput struct {
	Materials DecryptionMaterials
}

type OnEncryptInput 

type OnEncryptInput struct {
	Data_OnEncryptInput_
}

Definition of datatype OnEncryptInput

func (OnEncryptInput) Dtor_materials 

func (_this OnEncryptInput) Dtor_materials() EncryptionMaterials

func (OnEncryptInput) Equals 

func (_this OnEncryptInput) Equals(other OnEncryptInput) bool

func (OnEncryptInput) EqualsGeneric 

func (_this OnEncryptInput) EqualsGeneric(other interface{}) bool

func (OnEncryptInput) Get_ 

func (_this OnEncryptInput) Get_() Data_OnEncryptInput_

func (OnEncryptInput) Is_OnEncryptInput 

func (_this OnEncryptInput) Is_OnEncryptInput() bool

func (OnEncryptInput) ParentTraits_ 

func (_this OnEncryptInput) ParentTraits_() []*_dafny.TraitID

func (OnEncryptInput) String 

func (_this OnEncryptInput) String() string

type OnEncryptInput_OnEncryptInput 

type OnEncryptInput_OnEncryptInput struct {
	Materials EncryptionMaterials
}

type OnEncryptOutput 

type OnEncryptOutput struct {
	Data_OnEncryptOutput_
}

Definition of datatype OnEncryptOutput

func (OnEncryptOutput) Dtor_materials 

func (_this OnEncryptOutput) Dtor_materials() EncryptionMaterials

func (OnEncryptOutput) Equals 

func (_this OnEncryptOutput) Equals(other OnEncryptOutput) bool

func (OnEncryptOutput) EqualsGeneric 

func (_this OnEncryptOutput) EqualsGeneric(other interface{}) bool

func (OnEncryptOutput) Get_ 

func (_this OnEncryptOutput) Get_() Data_OnEncryptOutput_

func (OnEncryptOutput) Is_OnEncryptOutput 

func (_this OnEncryptOutput) Is_OnEncryptOutput() bool

func (OnEncryptOutput) ParentTraits_ 

func (_this OnEncryptOutput) ParentTraits_() []*_dafny.TraitID

func (OnEncryptOutput) String 

func (_this OnEncryptOutput) String() string

type OnEncryptOutput_OnEncryptOutput 

type OnEncryptOutput_OnEncryptOutput struct {
	Materials EncryptionMaterials
}

type OpaqueError 

type OpaqueError struct {
}

Definition of class OpaqueError

func New_OpaqueError_ 

func New_OpaqueError_() *OpaqueError

func (*OpaqueError) String 

func (*OpaqueError) String() string

type PaddingScheme 

type PaddingScheme struct {
	Data_PaddingScheme_
}

Definition of datatype PaddingScheme

func (PaddingScheme) Equals 

func (_this PaddingScheme) Equals(other PaddingScheme) bool

func (PaddingScheme) EqualsGeneric 

func (_this PaddingScheme) EqualsGeneric(other interface{}) bool

func (PaddingScheme) Get_ 

func (_this PaddingScheme) Get_() Data_PaddingScheme_

func (PaddingScheme) Is_OAEP__SHA1__MGF1 

func (_this PaddingScheme) Is_OAEP__SHA1__MGF1() bool

func (PaddingScheme) Is_OAEP__SHA256__MGF1 

func (_this PaddingScheme) Is_OAEP__SHA256__MGF1() bool

func (PaddingScheme) Is_OAEP__SHA384__MGF1 

func (_this PaddingScheme) Is_OAEP__SHA384__MGF1() bool

func (PaddingScheme) Is_OAEP__SHA512__MGF1 

func (_this PaddingScheme) Is_OAEP__SHA512__MGF1() bool

func (PaddingScheme) Is_PKCS1 

func (_this PaddingScheme) Is_PKCS1() bool

func (PaddingScheme) ParentTraits_ 

func (_this PaddingScheme) ParentTraits_() []*_dafny.TraitID

func (PaddingScheme) String 

func (_this PaddingScheme) String() string

type PaddingScheme_OAEP__SHA1__MGF1 

type PaddingScheme_OAEP__SHA1__MGF1 struct {
}

type PaddingScheme_OAEP__SHA256__MGF1 

type PaddingScheme_OAEP__SHA256__MGF1 struct {
}

type PaddingScheme_OAEP__SHA384__MGF1 

type PaddingScheme_OAEP__SHA384__MGF1 struct {
}

type PaddingScheme_OAEP__SHA512__MGF1 

type PaddingScheme_OAEP__SHA512__MGF1 struct {
}

type PaddingScheme_PKCS1 

type PaddingScheme_PKCS1 struct {
}

type PositiveInteger 

type PositiveInteger struct {
}

Definition of class PositiveInteger

func New_PositiveInteger_ 

func New_PositiveInteger_() *PositiveInteger

func (*PositiveInteger) String 

func (*PositiveInteger) String() string

type PositiveLong 

type PositiveLong struct {
}

Definition of class PositiveLong

func New_PositiveLong_ 

func New_PositiveLong_() *PositiveLong

func (*PositiveLong) String 

func (*PositiveLong) String() string

type PublicKeyDiscoveryInput 

type PublicKeyDiscoveryInput struct {
	Data_PublicKeyDiscoveryInput_
}

Definition of datatype PublicKeyDiscoveryInput

func (PublicKeyDiscoveryInput) Dtor_recipientStaticPrivateKey 

func (_this PublicKeyDiscoveryInput) Dtor_recipientStaticPrivateKey() _dafny.Sequence

func (PublicKeyDiscoveryInput) Equals 

func (_this PublicKeyDiscoveryInput) Equals(other PublicKeyDiscoveryInput) bool

func (PublicKeyDiscoveryInput) EqualsGeneric 

func (_this PublicKeyDiscoveryInput) EqualsGeneric(other interface{}) bool

func (PublicKeyDiscoveryInput) Get_ 

func (_this PublicKeyDiscoveryInput) Get_() Data_PublicKeyDiscoveryInput_

func (PublicKeyDiscoveryInput) Is_PublicKeyDiscoveryInput 

func (_this PublicKeyDiscoveryInput) Is_PublicKeyDiscoveryInput() bool

func (PublicKeyDiscoveryInput) ParentTraits_ 

func (_this PublicKeyDiscoveryInput) ParentTraits_() []*_dafny.TraitID

func (PublicKeyDiscoveryInput) String 

func (_this PublicKeyDiscoveryInput) String() string

type PublicKeyDiscoveryInput_PublicKeyDiscoveryInput 

type PublicKeyDiscoveryInput_PublicKeyDiscoveryInput struct {
	RecipientStaticPrivateKey _dafny.Sequence
}

type PutCacheEntryInput 

type PutCacheEntryInput struct {
	Data_PutCacheEntryInput_
}

Definition of datatype PutCacheEntryInput

func (PutCacheEntryInput) Dtor_bytesUsed 

func (_this PutCacheEntryInput) Dtor_bytesUsed() m_Wrappers.Option

func (PutCacheEntryInput) Dtor_creationTime 

func (_this PutCacheEntryInput) Dtor_creationTime() int64

func (PutCacheEntryInput) Dtor_expiryTime 

func (_this PutCacheEntryInput) Dtor_expiryTime() int64

func (PutCacheEntryInput) Dtor_identifier 

func (_this PutCacheEntryInput) Dtor_identifier() _dafny.Sequence

func (PutCacheEntryInput) Dtor_materials 

func (_this PutCacheEntryInput) Dtor_materials() Materials

func (PutCacheEntryInput) Dtor_messagesUsed 

func (_this PutCacheEntryInput) Dtor_messagesUsed() m_Wrappers.Option

func (PutCacheEntryInput) Equals 

func (_this PutCacheEntryInput) Equals(other PutCacheEntryInput) bool

func (PutCacheEntryInput) EqualsGeneric 

func (_this PutCacheEntryInput) EqualsGeneric(other interface{}) bool

func (PutCacheEntryInput) Get_ 

func (_this PutCacheEntryInput) Get_() Data_PutCacheEntryInput_

func (PutCacheEntryInput) Is_PutCacheEntryInput 

func (_this PutCacheEntryInput) Is_PutCacheEntryInput() bool

func (PutCacheEntryInput) ParentTraits_ 

func (_this PutCacheEntryInput) ParentTraits_() []*_dafny.TraitID

func (PutCacheEntryInput) String 

func (_this PutCacheEntryInput) String() string

type PutCacheEntryInput_PutCacheEntryInput 

type PutCacheEntryInput_PutCacheEntryInput struct {
	Identifier   _dafny.Sequence
	Materials    Materials
	CreationTime int64
	ExpiryTime   int64
	MessagesUsed m_Wrappers.Option
	BytesUsed    m_Wrappers.Option
}

type RawEcdhStaticConfigurations 

type RawEcdhStaticConfigurations struct {
	Data_RawEcdhStaticConfigurations_
}

Definition of datatype RawEcdhStaticConfigurations

func (RawEcdhStaticConfigurations) Dtor_EphemeralPrivateKeyToStaticPublicKey 

func (_this RawEcdhStaticConfigurations) Dtor_EphemeralPrivateKeyToStaticPublicKey() EphemeralPrivateKeyToStaticPublicKeyInput

func (RawEcdhStaticConfigurations) Dtor_PublicKeyDiscovery 

func (_this RawEcdhStaticConfigurations) Dtor_PublicKeyDiscovery() PublicKeyDiscoveryInput

func (RawEcdhStaticConfigurations) Dtor_RawPrivateKeyToStaticPublicKey 

func (_this RawEcdhStaticConfigurations) Dtor_RawPrivateKeyToStaticPublicKey() RawPrivateKeyToStaticPublicKeyInput

func (RawEcdhStaticConfigurations) Equals 

func (_this RawEcdhStaticConfigurations) Equals(other RawEcdhStaticConfigurations) bool

func (RawEcdhStaticConfigurations) EqualsGeneric 

func (_this RawEcdhStaticConfigurations) EqualsGeneric(other interface{}) bool

func (RawEcdhStaticConfigurations) Get_ 

func (_this RawEcdhStaticConfigurations) Get_() Data_RawEcdhStaticConfigurations_

func (RawEcdhStaticConfigurations) Is_EphemeralPrivateKeyToStaticPublicKey 

func (_this RawEcdhStaticConfigurations) Is_EphemeralPrivateKeyToStaticPublicKey() bool

func (RawEcdhStaticConfigurations) Is_PublicKeyDiscovery 

func (_this RawEcdhStaticConfigurations) Is_PublicKeyDiscovery() bool

func (RawEcdhStaticConfigurations) Is_RawPrivateKeyToStaticPublicKey 

func (_this RawEcdhStaticConfigurations) Is_RawPrivateKeyToStaticPublicKey() bool

func (RawEcdhStaticConfigurations) ParentTraits_ 

func (_this RawEcdhStaticConfigurations) ParentTraits_() []*_dafny.TraitID

func (RawEcdhStaticConfigurations) String 

func (_this RawEcdhStaticConfigurations) String() string

type RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey 

type RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey struct {
	EphemeralPrivateKeyToStaticPublicKey EphemeralPrivateKeyToStaticPublicKeyInput
}

type RawEcdhStaticConfigurations_PublicKeyDiscovery 

type RawEcdhStaticConfigurations_PublicKeyDiscovery struct {
	PublicKeyDiscovery PublicKeyDiscoveryInput
}

type RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey 

type RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey struct {
	RawPrivateKeyToStaticPublicKey RawPrivateKeyToStaticPublicKeyInput
}

type RawPrivateKeyToStaticPublicKeyInput 

type RawPrivateKeyToStaticPublicKeyInput struct {
	Data_RawPrivateKeyToStaticPublicKeyInput_
}

Definition of datatype RawPrivateKeyToStaticPublicKeyInput

func (RawPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey 

func (_this RawPrivateKeyToStaticPublicKeyInput) Dtor_recipientPublicKey() _dafny.Sequence

func (RawPrivateKeyToStaticPublicKeyInput) Dtor_senderStaticPrivateKey 

func (_this RawPrivateKeyToStaticPublicKeyInput) Dtor_senderStaticPrivateKey() _dafny.Sequence

func (RawPrivateKeyToStaticPublicKeyInput) Equals 

func (_this RawPrivateKeyToStaticPublicKeyInput) Equals(other RawPrivateKeyToStaticPublicKeyInput) bool

func (RawPrivateKeyToStaticPublicKeyInput) EqualsGeneric 

func (_this RawPrivateKeyToStaticPublicKeyInput) EqualsGeneric(other interface{}) bool

func (RawPrivateKeyToStaticPublicKeyInput) Get_ 

func (_this RawPrivateKeyToStaticPublicKeyInput) Get_() Data_RawPrivateKeyToStaticPublicKeyInput_

func (RawPrivateKeyToStaticPublicKeyInput) Is_RawPrivateKeyToStaticPublicKeyInput 

func (_this RawPrivateKeyToStaticPublicKeyInput) Is_RawPrivateKeyToStaticPublicKeyInput() bool

func (RawPrivateKeyToStaticPublicKeyInput) ParentTraits_ 

func (_this RawPrivateKeyToStaticPublicKeyInput) ParentTraits_() []*_dafny.TraitID

func (RawPrivateKeyToStaticPublicKeyInput) String 

func (_this RawPrivateKeyToStaticPublicKeyInput) String() string

type RawPrivateKeyToStaticPublicKeyInput_RawPrivateKeyToStaticPublicKeyInput 

type RawPrivateKeyToStaticPublicKeyInput_RawPrivateKeyToStaticPublicKeyInput struct {
	SenderStaticPrivateKey _dafny.Sequence
	RecipientPublicKey     _dafny.Sequence
}

type SignatureAlgorithm 

type SignatureAlgorithm struct {
	Data_SignatureAlgorithm_
}

Definition of datatype SignatureAlgorithm

func (SignatureAlgorithm) Dtor_ECDSA 

func (_this SignatureAlgorithm) Dtor_ECDSA() ECDSA

func (SignatureAlgorithm) Dtor_None 

func (_this SignatureAlgorithm) Dtor_None() None

func (SignatureAlgorithm) Equals 

func (_this SignatureAlgorithm) Equals(other SignatureAlgorithm) bool

func (SignatureAlgorithm) EqualsGeneric 

func (_this SignatureAlgorithm) EqualsGeneric(other interface{}) bool

func (SignatureAlgorithm) Get_ 

func (_this SignatureAlgorithm) Get_() Data_SignatureAlgorithm_

func (SignatureAlgorithm) Is_ECDSA 

func (_this SignatureAlgorithm) Is_ECDSA() bool

func (SignatureAlgorithm) Is_None 

func (_this SignatureAlgorithm) Is_None() bool

func (SignatureAlgorithm) ParentTraits_ 

func (_this SignatureAlgorithm) ParentTraits_() []*_dafny.TraitID

func (SignatureAlgorithm) String 

func (_this SignatureAlgorithm) String() string

type SignatureAlgorithm_ECDSA 

type SignatureAlgorithm_ECDSA struct {
	ECDSA ECDSA
}

type SignatureAlgorithm_None 

type SignatureAlgorithm_None struct {
	None None
}

type SingleThreadedCache 

type SingleThreadedCache struct {
	Data_SingleThreadedCache_
}

Definition of datatype SingleThreadedCache

func (SingleThreadedCache) Dtor_entryCapacity 

func (_this SingleThreadedCache) Dtor_entryCapacity() int32

func (SingleThreadedCache) Dtor_entryPruningTailSize 

func (_this SingleThreadedCache) Dtor_entryPruningTailSize() m_Wrappers.Option

func (SingleThreadedCache) Equals 

func (_this SingleThreadedCache) Equals(other SingleThreadedCache) bool

func (SingleThreadedCache) EqualsGeneric 

func (_this SingleThreadedCache) EqualsGeneric(other interface{}) bool

func (SingleThreadedCache) Get_ 

func (_this SingleThreadedCache) Get_() Data_SingleThreadedCache_

func (SingleThreadedCache) Is_SingleThreadedCache 

func (_this SingleThreadedCache) Is_SingleThreadedCache() bool

func (SingleThreadedCache) ParentTraits_ 

func (_this SingleThreadedCache) ParentTraits_() []*_dafny.TraitID

func (SingleThreadedCache) String 

func (_this SingleThreadedCache) String() string

type SingleThreadedCache_SingleThreadedCache 

type SingleThreadedCache_SingleThreadedCache struct {
	EntryCapacity        int32
	EntryPruningTailSize m_Wrappers.Option
}

type StaticConfigurations 

type StaticConfigurations struct {
	Data_StaticConfigurations_
}

Definition of datatype StaticConfigurations

func (StaticConfigurations) Dtor_AWS__KMS__ECDH 

func (_this StaticConfigurations) Dtor_AWS__KMS__ECDH() KmsEcdhStaticConfigurations

func (StaticConfigurations) Dtor_RAW__ECDH 

func (_this StaticConfigurations) Dtor_RAW__ECDH() RawEcdhStaticConfigurations

func (StaticConfigurations) Equals 

func (_this StaticConfigurations) Equals(other StaticConfigurations) bool

func (StaticConfigurations) EqualsGeneric 

func (_this StaticConfigurations) EqualsGeneric(other interface{}) bool

func (StaticConfigurations) Get_ 

func (_this StaticConfigurations) Get_() Data_StaticConfigurations_

func (StaticConfigurations) Is_AWS__KMS__ECDH 

func (_this StaticConfigurations) Is_AWS__KMS__ECDH() bool

func (StaticConfigurations) Is_RAW__ECDH 

func (_this StaticConfigurations) Is_RAW__ECDH() bool

func (StaticConfigurations) ParentTraits_ 

func (_this StaticConfigurations) ParentTraits_() []*_dafny.TraitID

func (StaticConfigurations) String 

func (_this StaticConfigurations) String() string

type StaticConfigurations_AWS__KMS__ECDH 

type StaticConfigurations_AWS__KMS__ECDH struct {
	AWS__KMS__ECDH KmsEcdhStaticConfigurations
}

type StaticConfigurations_RAW__ECDH 

type StaticConfigurations_RAW__ECDH struct {
	RAW__ECDH RawEcdhStaticConfigurations
}

type StormTrackingCache 

type StormTrackingCache struct {
	Data_StormTrackingCache_
}

Definition of datatype StormTrackingCache

func (StormTrackingCache) Dtor_entryCapacity 

func (_this StormTrackingCache) Dtor_entryCapacity() int32

func (StormTrackingCache) Dtor_entryPruningTailSize 

func (_this StormTrackingCache) Dtor_entryPruningTailSize() m_Wrappers.Option

func (StormTrackingCache) Dtor_fanOut 

func (_this StormTrackingCache) Dtor_fanOut() int32

func (StormTrackingCache) Dtor_graceInterval 

func (_this StormTrackingCache) Dtor_graceInterval() int32

func (StormTrackingCache) Dtor_gracePeriod 

func (_this StormTrackingCache) Dtor_gracePeriod() int32

func (StormTrackingCache) Dtor_inFlightTTL 

func (_this StormTrackingCache) Dtor_inFlightTTL() int32

func (StormTrackingCache) Dtor_sleepMilli 

func (_this StormTrackingCache) Dtor_sleepMilli() int32

func (StormTrackingCache) Dtor_timeUnits 

func (_this StormTrackingCache) Dtor_timeUnits() m_Wrappers.Option

func (StormTrackingCache) Equals 

func (_this StormTrackingCache) Equals(other StormTrackingCache) bool

func (StormTrackingCache) EqualsGeneric 

func (_this StormTrackingCache) EqualsGeneric(other interface{}) bool

func (StormTrackingCache) Get_ 

func (_this StormTrackingCache) Get_() Data_StormTrackingCache_

func (StormTrackingCache) Is_StormTrackingCache 

func (_this StormTrackingCache) Is_StormTrackingCache() bool

func (StormTrackingCache) ParentTraits_ 

func (_this StormTrackingCache) ParentTraits_() []*_dafny.TraitID

func (StormTrackingCache) String 

func (_this StormTrackingCache) String() string

type StormTrackingCache_StormTrackingCache 

type StormTrackingCache_StormTrackingCache struct {
	EntryCapacity        int32
	EntryPruningTailSize m_Wrappers.Option
	GracePeriod          int32
	GraceInterval        int32
	FanOut               int32
	InFlightTTL          int32
	SleepMilli           int32
	TimeUnits            m_Wrappers.Option
}

type SymmetricSignatureAlgorithm 

type SymmetricSignatureAlgorithm struct {
	Data_SymmetricSignatureAlgorithm_
}

Definition of datatype SymmetricSignatureAlgorithm

func (SymmetricSignatureAlgorithm) Dtor_HMAC 

func (_this SymmetricSignatureAlgorithm) Dtor_HMAC() m_AwsCryptographyPrimitivesTypes.DigestAlgorithm

func (SymmetricSignatureAlgorithm) Dtor_None 

func (_this SymmetricSignatureAlgorithm) Dtor_None() None

func (SymmetricSignatureAlgorithm) Equals 

func (_this SymmetricSignatureAlgorithm) Equals(other SymmetricSignatureAlgorithm) bool

func (SymmetricSignatureAlgorithm) EqualsGeneric 

func (_this SymmetricSignatureAlgorithm) EqualsGeneric(other interface{}) bool

func (SymmetricSignatureAlgorithm) Get_ 

func (_this SymmetricSignatureAlgorithm) Get_() Data_SymmetricSignatureAlgorithm_

func (SymmetricSignatureAlgorithm) Is_HMAC 

func (_this SymmetricSignatureAlgorithm) Is_HMAC() bool

func (SymmetricSignatureAlgorithm) Is_None 

func (_this SymmetricSignatureAlgorithm) Is_None() bool

func (SymmetricSignatureAlgorithm) ParentTraits_ 

func (_this SymmetricSignatureAlgorithm) ParentTraits_() []*_dafny.TraitID

func (SymmetricSignatureAlgorithm) String 

func (_this SymmetricSignatureAlgorithm) String() string

type SymmetricSignatureAlgorithm_HMAC 

type SymmetricSignatureAlgorithm_HMAC struct {
	HMAC m_AwsCryptographyPrimitivesTypes.DigestAlgorithm
}

type SymmetricSignatureAlgorithm_None 

type SymmetricSignatureAlgorithm_None struct {
	None None
}

type TimeUnits 

type TimeUnits struct {
	Data_TimeUnits_
}

Definition of datatype TimeUnits

func (TimeUnits) Equals 

func (_this TimeUnits) Equals(other TimeUnits) bool

func (TimeUnits) EqualsGeneric 

func (_this TimeUnits) EqualsGeneric(other interface{}) bool

func (TimeUnits) Get_ 

func (_this TimeUnits) Get_() Data_TimeUnits_

func (TimeUnits) Is_Milliseconds 

func (_this TimeUnits) Is_Milliseconds() bool

func (TimeUnits) Is_Seconds 

func (_this TimeUnits) Is_Seconds() bool

func (TimeUnits) ParentTraits_ 

func (_this TimeUnits) ParentTraits_() []*_dafny.TraitID

func (TimeUnits) String 

func (_this TimeUnits) String() string

type TimeUnits_Milliseconds 

type TimeUnits_Milliseconds struct {
}

type TimeUnits_Seconds 

type TimeUnits_Seconds struct {
}

type UpdateUsageMetadataInput 

type UpdateUsageMetadataInput struct {
	Data_UpdateUsageMetadataInput_
}

Definition of datatype UpdateUsageMetadataInput

func (UpdateUsageMetadataInput) Dtor_bytesUsed 

func (_this UpdateUsageMetadataInput) Dtor_bytesUsed() int32

func (UpdateUsageMetadataInput) Dtor_identifier 

func (_this UpdateUsageMetadataInput) Dtor_identifier() _dafny.Sequence

func (UpdateUsageMetadataInput) Equals 

func (_this UpdateUsageMetadataInput) Equals(other UpdateUsageMetadataInput) bool

func (UpdateUsageMetadataInput) EqualsGeneric 

func (_this UpdateUsageMetadataInput) EqualsGeneric(other interface{}) bool

func (UpdateUsageMetadataInput) Get_ 

func (_this UpdateUsageMetadataInput) Get_() Data_UpdateUsageMetadataInput_

func (UpdateUsageMetadataInput) Is_UpdateUsageMetadataInput 

func (_this UpdateUsageMetadataInput) Is_UpdateUsageMetadataInput() bool

func (UpdateUsageMetadataInput) ParentTraits_ 

func (_this UpdateUsageMetadataInput) ParentTraits_() []*_dafny.TraitID

func (UpdateUsageMetadataInput) String 

func (_this UpdateUsageMetadataInput) String() string

type UpdateUsageMetadataInput_UpdateUsageMetadataInput 

type UpdateUsageMetadataInput_UpdateUsageMetadataInput struct {
	Identifier _dafny.Sequence
	BytesUsed  int32
}

type ValidDecryptionMaterialsTransitionInput 

type ValidDecryptionMaterialsTransitionInput struct {
	Data_ValidDecryptionMaterialsTransitionInput_
}

Definition of datatype ValidDecryptionMaterialsTransitionInput

func (ValidDecryptionMaterialsTransitionInput) Dtor_start 

func (_this ValidDecryptionMaterialsTransitionInput) Dtor_start() DecryptionMaterials

func (ValidDecryptionMaterialsTransitionInput) Dtor_stop 

func (_this ValidDecryptionMaterialsTransitionInput) Dtor_stop() DecryptionMaterials

func (ValidDecryptionMaterialsTransitionInput) Equals 

func (_this ValidDecryptionMaterialsTransitionInput) Equals(other ValidDecryptionMaterialsTransitionInput) bool

func (ValidDecryptionMaterialsTransitionInput) EqualsGeneric 

func (_this ValidDecryptionMaterialsTransitionInput) EqualsGeneric(other interface{}) bool

func (ValidDecryptionMaterialsTransitionInput) Get_ 

func (_this ValidDecryptionMaterialsTransitionInput) Get_() Data_ValidDecryptionMaterialsTransitionInput_

func (ValidDecryptionMaterialsTransitionInput) Is_ValidDecryptionMaterialsTransitionInput 

func (_this ValidDecryptionMaterialsTransitionInput) Is_ValidDecryptionMaterialsTransitionInput() bool

func (ValidDecryptionMaterialsTransitionInput) ParentTraits_ 

func (_this ValidDecryptionMaterialsTransitionInput) ParentTraits_() []*_dafny.TraitID

func (ValidDecryptionMaterialsTransitionInput) String 

func (_this ValidDecryptionMaterialsTransitionInput) String() string

type ValidDecryptionMaterialsTransitionInput_ValidDecryptionMaterialsTransitionInput 

type ValidDecryptionMaterialsTransitionInput_ValidDecryptionMaterialsTransitionInput struct {
	Start DecryptionMaterials
	Stop  DecryptionMaterials
}

type ValidEncryptionMaterialsTransitionInput 

type ValidEncryptionMaterialsTransitionInput struct {
	Data_ValidEncryptionMaterialsTransitionInput_
}

Definition of datatype ValidEncryptionMaterialsTransitionInput

func (ValidEncryptionMaterialsTransitionInput) Dtor_start 

func (_this ValidEncryptionMaterialsTransitionInput) Dtor_start() EncryptionMaterials

func (ValidEncryptionMaterialsTransitionInput) Dtor_stop 

func (_this ValidEncryptionMaterialsTransitionInput) Dtor_stop() EncryptionMaterials

func (ValidEncryptionMaterialsTransitionInput) Equals 

func (_this ValidEncryptionMaterialsTransitionInput) Equals(other ValidEncryptionMaterialsTransitionInput) bool

func (ValidEncryptionMaterialsTransitionInput) EqualsGeneric 

func (_this ValidEncryptionMaterialsTransitionInput) EqualsGeneric(other interface{}) bool

func (ValidEncryptionMaterialsTransitionInput) Get_ 

func (_this ValidEncryptionMaterialsTransitionInput) Get_() Data_ValidEncryptionMaterialsTransitionInput_

func (ValidEncryptionMaterialsTransitionInput) Is_ValidEncryptionMaterialsTransitionInput 

func (_this ValidEncryptionMaterialsTransitionInput) Is_ValidEncryptionMaterialsTransitionInput() bool

func (ValidEncryptionMaterialsTransitionInput) ParentTraits_ 

func (_this ValidEncryptionMaterialsTransitionInput) ParentTraits_() []*_dafny.TraitID

func (ValidEncryptionMaterialsTransitionInput) String 

func (_this ValidEncryptionMaterialsTransitionInput) String() string

type ValidEncryptionMaterialsTransitionInput_ValidEncryptionMaterialsTransitionInput 

type ValidEncryptionMaterialsTransitionInput_ValidEncryptionMaterialsTransitionInput struct {
	Start EncryptionMaterials
	Stop  EncryptionMaterials
}

type ValidateCommitmentPolicyOnDecryptInput 

type ValidateCommitmentPolicyOnDecryptInput struct {
	Data_ValidateCommitmentPolicyOnDecryptInput_
}

Definition of datatype ValidateCommitmentPolicyOnDecryptInput

func (ValidateCommitmentPolicyOnDecryptInput) Dtor_algorithm 

func (_this ValidateCommitmentPolicyOnDecryptInput) Dtor_algorithm() AlgorithmSuiteId

func (ValidateCommitmentPolicyOnDecryptInput) Dtor_commitmentPolicy 

func (_this ValidateCommitmentPolicyOnDecryptInput) Dtor_commitmentPolicy() CommitmentPolicy

func (ValidateCommitmentPolicyOnDecryptInput) Equals 

func (_this ValidateCommitmentPolicyOnDecryptInput) Equals(other ValidateCommitmentPolicyOnDecryptInput) bool

func (ValidateCommitmentPolicyOnDecryptInput) EqualsGeneric 

func (_this ValidateCommitmentPolicyOnDecryptInput) EqualsGeneric(other interface{}) bool

func (ValidateCommitmentPolicyOnDecryptInput) Get_ 

func (_this ValidateCommitmentPolicyOnDecryptInput) Get_() Data_ValidateCommitmentPolicyOnDecryptInput_

func (ValidateCommitmentPolicyOnDecryptInput) Is_ValidateCommitmentPolicyOnDecryptInput 

func (_this ValidateCommitmentPolicyOnDecryptInput) Is_ValidateCommitmentPolicyOnDecryptInput() bool

func (ValidateCommitmentPolicyOnDecryptInput) ParentTraits_ 

func (_this ValidateCommitmentPolicyOnDecryptInput) ParentTraits_() []*_dafny.TraitID

func (ValidateCommitmentPolicyOnDecryptInput) String 

func (_this ValidateCommitmentPolicyOnDecryptInput) String() string

type ValidateCommitmentPolicyOnDecryptInput_ValidateCommitmentPolicyOnDecryptInput 

type ValidateCommitmentPolicyOnDecryptInput_ValidateCommitmentPolicyOnDecryptInput struct {
	Algorithm        AlgorithmSuiteId
	CommitmentPolicy CommitmentPolicy
}

type ValidateCommitmentPolicyOnEncryptInput 

type ValidateCommitmentPolicyOnEncryptInput struct {
	Data_ValidateCommitmentPolicyOnEncryptInput_
}

Definition of datatype ValidateCommitmentPolicyOnEncryptInput

func (ValidateCommitmentPolicyOnEncryptInput) Dtor_algorithm 

func (_this ValidateCommitmentPolicyOnEncryptInput) Dtor_algorithm() AlgorithmSuiteId

func (ValidateCommitmentPolicyOnEncryptInput) Dtor_commitmentPolicy 

func (_this ValidateCommitmentPolicyOnEncryptInput) Dtor_commitmentPolicy() CommitmentPolicy

func (ValidateCommitmentPolicyOnEncryptInput) Equals 

func (_this ValidateCommitmentPolicyOnEncryptInput) Equals(other ValidateCommitmentPolicyOnEncryptInput) bool

func (ValidateCommitmentPolicyOnEncryptInput) EqualsGeneric 

func (_this ValidateCommitmentPolicyOnEncryptInput) EqualsGeneric(other interface{}) bool

func (ValidateCommitmentPolicyOnEncryptInput) Get_ 

func (_this ValidateCommitmentPolicyOnEncryptInput) Get_() Data_ValidateCommitmentPolicyOnEncryptInput_

func (ValidateCommitmentPolicyOnEncryptInput) Is_ValidateCommitmentPolicyOnEncryptInput 

func (_this ValidateCommitmentPolicyOnEncryptInput) Is_ValidateCommitmentPolicyOnEncryptInput() bool

func (ValidateCommitmentPolicyOnEncryptInput) ParentTraits_ 

func (_this ValidateCommitmentPolicyOnEncryptInput) ParentTraits_() []*_dafny.TraitID

func (ValidateCommitmentPolicyOnEncryptInput) String 

func (_this ValidateCommitmentPolicyOnEncryptInput) String() string

type ValidateCommitmentPolicyOnEncryptInput_ValidateCommitmentPolicyOnEncryptInput 

type ValidateCommitmentPolicyOnEncryptInput_ValidateCommitmentPolicyOnEncryptInput struct {
	Algorithm        AlgorithmSuiteId
	CommitmentPolicy CommitmentPolicy
}

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.