Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 15, 2025 Changes in this version + var Companion_AwsKmsHierarchicalKeyring_ = CompanionStruct_AwsKmsHierarchicalKeyring_ + var Companion_DecryptSingleEncryptedDataKey_ = CompanionStruct_DecryptSingleEncryptedDataKey_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_HierarchyUnwrapInfo_ = CompanionStruct_HierarchyUnwrapInfo_ + var Companion_HierarchyWrapInfo_ = CompanionStruct_HierarchyWrapInfo_ + var Companion_KmsHierarchyGenerateAndWrapKeyMaterial_ = CompanionStruct_KmsHierarchyGenerateAndWrapKeyMaterial_ + var Companion_KmsHierarchyUnwrapKeyMaterial_ = CompanionStruct_KmsHierarchyUnwrapKeyMaterial_ + var Companion_KmsHierarchyWrapKeyMaterial_ = CompanionStruct_KmsHierarchyWrapKeyMaterial_ + var Companion_OnDecryptHierarchyEncryptedDataKeyFilter_ = CompanionStruct_OnDecryptHierarchyEncryptedDataKeyFilter_ + func Type_AwsKmsHierarchicalKeyring_() _dafny.TypeDescriptor + func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor + func Type_HierarchyUnwrapInfo_() _dafny.TypeDescriptor + func Type_HierarchyWrapInfo_() _dafny.TypeDescriptor + func Type_KmsHierarchyGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_KmsHierarchyUnwrapKeyMaterial_() _dafny.TypeDescriptor + func Type_KmsHierarchyWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_OnDecryptHierarchyEncryptedDataKeyFilter_() _dafny.TypeDescriptor + type AwsKmsHierarchicalKeyring struct + func New_AwsKmsHierarchicalKeyring_() *AwsKmsHierarchicalKeyring + func (*AwsKmsHierarchicalKeyring) String() string + func (_this *AwsKmsHierarchicalKeyring) BranchKeyId() m_Wrappers.Option + func (_this *AwsKmsHierarchicalKeyring) BranchKeyIdSupplier() m_Wrappers.Option + func (_this *AwsKmsHierarchicalKeyring) Cache() m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache + func (_this *AwsKmsHierarchicalKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *AwsKmsHierarchicalKeyring) Ctor__(keyStore m_AwsCryptographyKeyStoreTypes.IKeyStoreClient, ...) + func (_this *AwsKmsHierarchicalKeyring) Equals(other *AwsKmsHierarchicalKeyring) bool + func (_this *AwsKmsHierarchicalKeyring) EqualsGeneric(x interface{}) bool + func (_this *AwsKmsHierarchicalKeyring) GetActiveCacheId(branchKeyId _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, ...) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) GetActiveHierarchicalMaterials(branchKeyId _dafny.Sequence, cacheId _dafny.Sequence, ...) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) GetBranchKeyId(context _dafny.Map) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) KeyStore() m_AwsCryptographyKeyStoreTypes.IKeyStoreClient + func (_this *AwsKmsHierarchicalKeyring) LogicalKeyStoreNameBytes() _dafny.Sequence + func (_this *AwsKmsHierarchicalKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *AwsKmsHierarchicalKeyring) ParentTraits_() []*_dafny.TraitID + func (_this *AwsKmsHierarchicalKeyring) PartitionIdBytes() _dafny.Sequence + func (_this *AwsKmsHierarchicalKeyring) TtlSeconds() int64 + type CompanionStruct_AwsKmsHierarchicalKeyring_ struct + type CompanionStruct_DecryptSingleEncryptedDataKey_ struct + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) AES__256__ENC__ALG() m_AwsCryptographyPrimitivesTypes.AES__GCM + func (_static *CompanionStruct_Default___) AES__256__ENC__IV__LENGTH() int32 + func (_static *CompanionStruct_Default___) AES__256__ENC__KEY__LENGTH() int32 + func (_static *CompanionStruct_Default___) AES__256__ENC__TAG__LENGTH() int32 + func (_static *CompanionStruct_Default___) BRANCH__KEY__FIELD() _dafny.Sequence + func (_static *CompanionStruct_Default___) BRANCH__KEY__IDENTIFIER__FIELD() _dafny.Sequence + func (_static *CompanionStruct_Default___) BRANCH__KEY__STORE__GSI() _dafny.Sequence + func (_static *CompanionStruct_Default___) CacheEntryWithinLimits(creationTime int64, now int64, ttlSeconds int64) bool + func (_static *CompanionStruct_Default___) DERIVED__BRANCH__KEY__EXPECTED__LENGTH() int32 + func (_static *CompanionStruct_Default___) DeriveEncryptionKeyFromBranchKey(branchKey _dafny.Sequence, salt _dafny.Sequence, purpose m_Wrappers.Option, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error + func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__BRANCH__KEY__VERSION__INDEX() int32 + func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__INDEX() int32 + func (_static *CompanionStruct_Default___) EDK__CIPHERTEXT__VERSION__LENGTH() int32 + func (_static *CompanionStruct_Default___) EXPECTED__EDK__CIPHERTEXT__OVERHEAD() int32 + func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__NAMES() _dafny.Map + func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__BRANCH__KEY() _dafny.Sequence + func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__KEY() _dafny.Sequence + func (_static *CompanionStruct_Default___) EXPRESSION__ATTRIBUTE__VALUE__STATUS__VALUE() _dafny.Sequence + func (_static *CompanionStruct_Default___) H__WRAP__NONCE__LEN() int32 + func (_static *CompanionStruct_Default___) H__WRAP__SALT__LEN() int32 + func (_static *CompanionStruct_Default___) KEY__CONDITION__EXPRESSION() _dafny.Sequence + func (_static *CompanionStruct_Default___) SerializeEDKCiphertext(encOutput m_AwsCryptographyPrimitivesTypes.AESEncryptOutput) _dafny.Sequence + func (_static *CompanionStruct_Default___) VERSION__FIELD() _dafny.Sequence + func (_static *CompanionStruct_Default___) WrappingAad(branchKeyId _dafny.Sequence, branchKeyVersion _dafny.Sequence, ...) _dafny.Sequence + type CompanionStruct_HierarchyUnwrapInfo_ struct + func (CompanionStruct_HierarchyUnwrapInfo_) Create_HierarchyUnwrapInfo_() HierarchyUnwrapInfo + func (CompanionStruct_HierarchyUnwrapInfo_) Default() HierarchyUnwrapInfo + func (_ CompanionStruct_HierarchyUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_HierarchyWrapInfo_ struct + func (CompanionStruct_HierarchyWrapInfo_) Create_HierarchyWrapInfo_() HierarchyWrapInfo + func (CompanionStruct_HierarchyWrapInfo_) Default() HierarchyWrapInfo + func (_ CompanionStruct_HierarchyWrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_KmsHierarchyGenerateAndWrapKeyMaterial_ struct + type CompanionStruct_KmsHierarchyUnwrapKeyMaterial_ struct + type CompanionStruct_KmsHierarchyWrapKeyMaterial_ struct + type CompanionStruct_OnDecryptHierarchyEncryptedDataKeyFilter_ struct + type Data_HierarchyUnwrapInfo_ interface + type Data_HierarchyWrapInfo_ interface + type DecryptSingleEncryptedDataKey struct + func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey + func (*DecryptSingleEncryptedDataKey) String() string + func (_this *DecryptSingleEncryptedDataKey) BranchKeyId() _dafny.Sequence + func (_this *DecryptSingleEncryptedDataKey) Cache() m_AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache + func (_this *DecryptSingleEncryptedDataKey) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, ...) + func (_this *DecryptSingleEncryptedDataKey) Equals(other *DecryptSingleEncryptedDataKey) bool + func (_this *DecryptSingleEncryptedDataKey) EqualsGeneric(x interface{}) bool + func (_this *DecryptSingleEncryptedDataKey) GetHierarchicalMaterialsVersion(branchKeyId _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, ...) m_Wrappers.Result + func (_this *DecryptSingleEncryptedDataKey) GetVersionCacheId(branchKeyIdUtf8 _dafny.Sequence, branchKeyVersion _dafny.Sequence, ...) m_Wrappers.Result + func (_this *DecryptSingleEncryptedDataKey) Invoke(edk interface{}) interface{} + func (_this *DecryptSingleEncryptedDataKey) KeyStore() m_AwsCryptographyKeyStoreTypes.IKeyStoreClient + func (_this *DecryptSingleEncryptedDataKey) LogicalKeyStoreNameBytes() _dafny.Sequence + func (_this *DecryptSingleEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials + func (_this *DecryptSingleEncryptedDataKey) ParentTraits_() []*_dafny.TraitID + func (_this *DecryptSingleEncryptedDataKey) PartitionIdBytes() _dafny.Sequence + func (_this *DecryptSingleEncryptedDataKey) TtlSeconds() int64 + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type Dummy__ struct + type HierarchyUnwrapInfo struct + func (_this HierarchyUnwrapInfo) Equals(other HierarchyUnwrapInfo) bool + func (_this HierarchyUnwrapInfo) EqualsGeneric(other interface{}) bool + func (_this HierarchyUnwrapInfo) Get_() Data_HierarchyUnwrapInfo_ + func (_this HierarchyUnwrapInfo) Is_HierarchyUnwrapInfo() bool + func (_this HierarchyUnwrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this HierarchyUnwrapInfo) String() string + type HierarchyUnwrapInfo_HierarchyUnwrapInfo struct + type HierarchyWrapInfo struct + func (_this HierarchyWrapInfo) Equals(other HierarchyWrapInfo) bool + func (_this HierarchyWrapInfo) EqualsGeneric(other interface{}) bool + func (_this HierarchyWrapInfo) Get_() Data_HierarchyWrapInfo_ + func (_this HierarchyWrapInfo) Is_HierarchyWrapInfo() bool + func (_this HierarchyWrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this HierarchyWrapInfo) String() string + type HierarchyWrapInfo_HierarchyWrapInfo struct + type KmsHierarchyGenerateAndWrapKeyMaterial struct + func New_KmsHierarchyGenerateAndWrapKeyMaterial_() *KmsHierarchyGenerateAndWrapKeyMaterial + func (*KmsHierarchyGenerateAndWrapKeyMaterial) String() string + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKey() _dafny.Sequence + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, ...) + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Equals(other *KmsHierarchyGenerateAndWrapKeyMaterial) bool + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsHierarchyGenerateAndWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + type KmsHierarchyUnwrapKeyMaterial struct + func New_KmsHierarchyUnwrapKeyMaterial_() *KmsHierarchyUnwrapKeyMaterial + func (*KmsHierarchyUnwrapKeyMaterial) String() string + func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKey() _dafny.Sequence + func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence + func (_this *KmsHierarchyUnwrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence + func (_this *KmsHierarchyUnwrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *KmsHierarchyUnwrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, ...) + func (_this *KmsHierarchyUnwrapKeyMaterial) Equals(other *KmsHierarchyUnwrapKeyMaterial) bool + func (_this *KmsHierarchyUnwrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsHierarchyUnwrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsHierarchyUnwrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + type KmsHierarchyWrapKeyMaterial struct + func New_KmsHierarchyWrapKeyMaterial_() *KmsHierarchyWrapKeyMaterial + func (*KmsHierarchyWrapKeyMaterial) String() string + func (_this *KmsHierarchyWrapKeyMaterial) BranchKey() _dafny.Sequence + func (_this *KmsHierarchyWrapKeyMaterial) BranchKeyIdUtf8() _dafny.Sequence + func (_this *KmsHierarchyWrapKeyMaterial) BranchKeyVersionAsBytes() _dafny.Sequence + func (_this *KmsHierarchyWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *KmsHierarchyWrapKeyMaterial) Ctor__(branchKey _dafny.Sequence, branchKeyIdUtf8 _dafny.Sequence, ...) + func (_this *KmsHierarchyWrapKeyMaterial) Equals(other *KmsHierarchyWrapKeyMaterial) bool + func (_this *KmsHierarchyWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsHierarchyWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsHierarchyWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + type OnDecryptHierarchyEncryptedDataKeyFilter struct + func New_OnDecryptHierarchyEncryptedDataKeyFilter_() *OnDecryptHierarchyEncryptedDataKeyFilter + func (*OnDecryptHierarchyEncryptedDataKeyFilter) String() string + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) BranchKeyId() _dafny.Sequence + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) Ctor__(branchKeyId _dafny.Sequence) + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) Equals(other *OnDecryptHierarchyEncryptedDataKeyFilter) bool + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) EqualsGeneric(x interface{}) bool + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) Invoke(edk interface{}) interface{} + func (_this *OnDecryptHierarchyEncryptedDataKeyFilter) ParentTraits_() []*_dafny.TraitID
Go to main page