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_AesGenerateAndWrapKeyMaterial_ = CompanionStruct_AesGenerateAndWrapKeyMaterial_ + var Companion_AesUnwrapInfo_ = CompanionStruct_AesUnwrapInfo_ + var Companion_AesUnwrapKeyMaterial_ = CompanionStruct_AesUnwrapKeyMaterial_ + var Companion_AesWrapInfo_ = CompanionStruct_AesWrapInfo_ + var Companion_AesWrapKeyMaterial_ = CompanionStruct_AesWrapKeyMaterial_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_RawAESKeyring_ = CompanionStruct_RawAESKeyring_ + func Type_AesGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_AesUnwrapInfo_() _dafny.TypeDescriptor + func Type_AesUnwrapKeyMaterial_() _dafny.TypeDescriptor + func Type_AesWrapInfo_() _dafny.TypeDescriptor + func Type_AesWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_RawAESKeyring_() _dafny.TypeDescriptor + type AesGenerateAndWrapKeyMaterial struct + func New_AesGenerateAndWrapKeyMaterial_() *AesGenerateAndWrapKeyMaterial + func (*AesGenerateAndWrapKeyMaterial) String() string + func (_this *AesGenerateAndWrapKeyMaterial) Ctor__(wrap *AesWrapKeyMaterial) + func (_this *AesGenerateAndWrapKeyMaterial) Equals(other *AesGenerateAndWrapKeyMaterial) bool + func (_this *AesGenerateAndWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *AesGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *AesGenerateAndWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *AesGenerateAndWrapKeyMaterial) Wrap() *AesWrapKeyMaterial + type AesUnwrapInfo struct + func (_this AesUnwrapInfo) Equals(other AesUnwrapInfo) bool + func (_this AesUnwrapInfo) EqualsGeneric(other interface{}) bool + func (_this AesUnwrapInfo) Get_() Data_AesUnwrapInfo_ + func (_this AesUnwrapInfo) Is_AesUnwrapInfo() bool + func (_this AesUnwrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this AesUnwrapInfo) String() string + type AesUnwrapInfo_AesUnwrapInfo struct + type AesUnwrapKeyMaterial struct + func New_AesUnwrapKeyMaterial_() *AesUnwrapKeyMaterial + func (*AesUnwrapKeyMaterial) String() string + func (_this *AesUnwrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *AesUnwrapKeyMaterial) Ctor__(wrappingKey _dafny.Sequence, ...) + func (_this *AesUnwrapKeyMaterial) Equals(other *AesUnwrapKeyMaterial) bool + func (_this *AesUnwrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *AesUnwrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *AesUnwrapKeyMaterial) Iv() _dafny.Sequence + func (_this *AesUnwrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *AesUnwrapKeyMaterial) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM + func (_this *AesUnwrapKeyMaterial) WrappingKey() _dafny.Sequence + type AesWrapInfo struct + func (_this AesWrapInfo) Dtor_iv() _dafny.Sequence + func (_this AesWrapInfo) Equals(other AesWrapInfo) bool + func (_this AesWrapInfo) EqualsGeneric(other interface{}) bool + func (_this AesWrapInfo) Get_() Data_AesWrapInfo_ + func (_this AesWrapInfo) Is_AesWrapInfo() bool + func (_this AesWrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this AesWrapInfo) String() string + type AesWrapInfo_AesWrapInfo struct + Iv _dafny.Sequence + type AesWrapKeyMaterial struct + func New_AesWrapKeyMaterial_() *AesWrapKeyMaterial + func (*AesWrapKeyMaterial) String() string + func (_this *AesWrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *AesWrapKeyMaterial) Ctor__(wrappingKey _dafny.Sequence, ...) + func (_this *AesWrapKeyMaterial) Equals(other *AesWrapKeyMaterial) bool + func (_this *AesWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *AesWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *AesWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *AesWrapKeyMaterial) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM + func (_this *AesWrapKeyMaterial) WrappingKey() _dafny.Sequence + type CompanionStruct_AesGenerateAndWrapKeyMaterial_ struct + type CompanionStruct_AesUnwrapInfo_ struct + func (CompanionStruct_AesUnwrapInfo_) Create_AesUnwrapInfo_() AesUnwrapInfo + func (CompanionStruct_AesUnwrapInfo_) Default() AesUnwrapInfo + func (_ CompanionStruct_AesUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_AesUnwrapKeyMaterial_ struct + type CompanionStruct_AesWrapInfo_ struct + func (CompanionStruct_AesWrapInfo_) Create_AesWrapInfo_(Iv _dafny.Sequence) AesWrapInfo + func (CompanionStruct_AesWrapInfo_) Default() AesWrapInfo + type CompanionStruct_AesWrapKeyMaterial_ struct + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) AUTH__TAG__LEN__LEN() _dafny.Int + func (_static *CompanionStruct_Default___) DeserializeEDKCiphertext(ciphertext _dafny.Sequence, tagLen _dafny.Int) m_AwsCryptographyPrimitivesTypes.AESEncryptOutput + func (_static *CompanionStruct_Default___) IV__LEN__LEN() _dafny.Int + func (_static *CompanionStruct_Default___) SerializeEDKCiphertext(encOutput m_AwsCryptographyPrimitivesTypes.AESEncryptOutput) _dafny.Sequence + type CompanionStruct_RawAESKeyring_ struct + type Data_AesUnwrapInfo_ interface + type Data_AesWrapInfo_ interface + 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 RawAESKeyring struct + func New_RawAESKeyring_() *RawAESKeyring + func (*RawAESKeyring) String() string + func (_this *RawAESKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *RawAESKeyring) Ctor__(namespace _dafny.Sequence, name _dafny.Sequence, key _dafny.Sequence, ...) + func (_this *RawAESKeyring) Equals(other *RawAESKeyring) bool + func (_this *RawAESKeyring) EqualsGeneric(x interface{}) bool + func (_this *RawAESKeyring) GetIvFromProvInfo(info _dafny.Sequence) _dafny.Sequence + func (_this *RawAESKeyring) KeyName() _dafny.Sequence + func (_this *RawAESKeyring) KeyNamespace() _dafny.Sequence + func (_this *RawAESKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *RawAESKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *RawAESKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *RawAESKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *RawAESKeyring) ParentTraits_() []*_dafny.TraitID + func (_this *RawAESKeyring) SerializeProviderInfo(iv _dafny.Sequence) _dafny.Sequence + func (_this *RawAESKeyring) ShouldDecryptEDK(edk m_AwsCryptographyMaterialProvidersTypes.EncryptedDataKey) bool + func (_this *RawAESKeyring) ValidProviderInfo(info _dafny.Sequence) bool + func (_this *RawAESKeyring) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM + func (_this *RawAESKeyring) WrappingKey() _dafny.Sequence
Go to main page