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_AwsKmsRsaKeyring_ = CompanionStruct_AwsKmsRsaKeyring_ + var Companion_DecryptSingleAWSRSAEncryptedDataKey_ = CompanionStruct_DecryptSingleAWSRSAEncryptedDataKey_ + var Companion_Default___ = CompanionStruct_Default___ + var Companion_KmsRsaGenerateAndWrapKeyMaterial_ = CompanionStruct_KmsRsaGenerateAndWrapKeyMaterial_ + var Companion_KmsRsaUnwrapInfo_ = CompanionStruct_KmsRsaUnwrapInfo_ + var Companion_KmsRsaUnwrapKeyMaterial_ = CompanionStruct_KmsRsaUnwrapKeyMaterial_ + var Companion_KmsRsaWrapInfo_ = CompanionStruct_KmsRsaWrapInfo_ + var Companion_KmsRsaWrapKeyMaterial_ = CompanionStruct_KmsRsaWrapKeyMaterial_ + func Type_AwsKmsRsaKeyring_() _dafny.TypeDescriptor + func Type_DecryptSingleAWSRSAEncryptedDataKey_() _dafny.TypeDescriptor + func Type_KmsRsaGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_KmsRsaUnwrapInfo_() _dafny.TypeDescriptor + func Type_KmsRsaUnwrapKeyMaterial_() _dafny.TypeDescriptor + func Type_KmsRsaWrapInfo_() _dafny.TypeDescriptor + func Type_KmsRsaWrapKeyMaterial_() _dafny.TypeDescriptor + type AwsKmsRsaKeyring struct + func New_AwsKmsRsaKeyring_() *AwsKmsRsaKeyring + func (*AwsKmsRsaKeyring) String() string + func (_this *AwsKmsRsaKeyring) AwsKmsArn() m_AwsArnParsing.AwsKmsIdentifier + func (_this *AwsKmsRsaKeyring) AwsKmsKey() _dafny.Sequence + func (_this *AwsKmsRsaKeyring) Client() m_Wrappers.Option + func (_this *AwsKmsRsaKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *AwsKmsRsaKeyring) Ctor__(publicKey m_Wrappers.Option, awsKmsKey _dafny.Sequence, ...) + func (_this *AwsKmsRsaKeyring) Equals(other *AwsKmsRsaKeyring) bool + func (_this *AwsKmsRsaKeyring) EqualsGeneric(x interface{}) bool + func (_this *AwsKmsRsaKeyring) GrantTokens() _dafny.Sequence + func (_this *AwsKmsRsaKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *AwsKmsRsaKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + func (_this *AwsKmsRsaKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *AwsKmsRsaKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + func (_this *AwsKmsRsaKeyring) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec + func (_this *AwsKmsRsaKeyring) ParentTraits_() []*_dafny.TraitID + func (_this *AwsKmsRsaKeyring) PublicKey() m_Wrappers.Option + type CompanionStruct_AwsKmsRsaKeyring_ struct + type CompanionStruct_DecryptSingleAWSRSAEncryptedDataKey_ struct + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) EncryptionContextDigest(cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) MIN__KMS__RSA__KEY__LEN() int32 + type CompanionStruct_KmsRsaGenerateAndWrapKeyMaterial_ struct + type CompanionStruct_KmsRsaUnwrapInfo_ struct + func (CompanionStruct_KmsRsaUnwrapInfo_) Create_KmsRsaUnwrapInfo_() KmsRsaUnwrapInfo + func (CompanionStruct_KmsRsaUnwrapInfo_) Default() KmsRsaUnwrapInfo + func (_ CompanionStruct_KmsRsaUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_KmsRsaUnwrapKeyMaterial_ struct + type CompanionStruct_KmsRsaWrapInfo_ struct + func (CompanionStruct_KmsRsaWrapInfo_) Create_KmsRsaWrapInfo_() KmsRsaWrapInfo + func (CompanionStruct_KmsRsaWrapInfo_) Default() KmsRsaWrapInfo + func (_ CompanionStruct_KmsRsaWrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_KmsRsaWrapKeyMaterial_ struct + type Data_KmsRsaUnwrapInfo_ interface + type Data_KmsRsaWrapInfo_ interface + type DecryptSingleAWSRSAEncryptedDataKey struct + func New_DecryptSingleAWSRSAEncryptedDataKey_() *DecryptSingleAWSRSAEncryptedDataKey + func (*DecryptSingleAWSRSAEncryptedDataKey) String() string + func (_this *DecryptSingleAWSRSAEncryptedDataKey) AwsKmsKey() _dafny.Sequence + func (_this *DecryptSingleAWSRSAEncryptedDataKey) Client() m_ComAmazonawsKmsTypes.IKMSClient + func (_this *DecryptSingleAWSRSAEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, ...) + func (_this *DecryptSingleAWSRSAEncryptedDataKey) EncryptionContextDigest() _dafny.Sequence + func (_this *DecryptSingleAWSRSAEncryptedDataKey) Equals(other *DecryptSingleAWSRSAEncryptedDataKey) bool + func (_this *DecryptSingleAWSRSAEncryptedDataKey) EqualsGeneric(x interface{}) bool + func (_this *DecryptSingleAWSRSAEncryptedDataKey) GrantTokens() _dafny.Sequence + func (_this *DecryptSingleAWSRSAEncryptedDataKey) Invoke(edk interface{}) interface{} + func (_this *DecryptSingleAWSRSAEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials + func (_this *DecryptSingleAWSRSAEncryptedDataKey) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec + func (_this *DecryptSingleAWSRSAEncryptedDataKey) ParentTraits_() []*_dafny.TraitID + 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 KmsRsaGenerateAndWrapKeyMaterial struct + func New_KmsRsaGenerateAndWrapKeyMaterial_() *KmsRsaGenerateAndWrapKeyMaterial + func (*KmsRsaGenerateAndWrapKeyMaterial) String() string + func (_this *KmsRsaGenerateAndWrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *KmsRsaGenerateAndWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, ...) + func (_this *KmsRsaGenerateAndWrapKeyMaterial) Equals(other *KmsRsaGenerateAndWrapKeyMaterial) bool + func (_this *KmsRsaGenerateAndWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsRsaGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsRsaGenerateAndWrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec + func (_this *KmsRsaGenerateAndWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *KmsRsaGenerateAndWrapKeyMaterial) PublicKey() _dafny.Sequence + type KmsRsaUnwrapInfo struct + func (_this KmsRsaUnwrapInfo) Equals(other KmsRsaUnwrapInfo) bool + func (_this KmsRsaUnwrapInfo) EqualsGeneric(other interface{}) bool + func (_this KmsRsaUnwrapInfo) Get_() Data_KmsRsaUnwrapInfo_ + func (_this KmsRsaUnwrapInfo) Is_KmsRsaUnwrapInfo() bool + func (_this KmsRsaUnwrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this KmsRsaUnwrapInfo) String() string + type KmsRsaUnwrapInfo_KmsRsaUnwrapInfo struct + type KmsRsaUnwrapKeyMaterial struct + func New_KmsRsaUnwrapKeyMaterial_() *KmsRsaUnwrapKeyMaterial + func (*KmsRsaUnwrapKeyMaterial) String() string + func (_this *KmsRsaUnwrapKeyMaterial) AwsKmsKey() _dafny.Sequence + func (_this *KmsRsaUnwrapKeyMaterial) Client() m_ComAmazonawsKmsTypes.IKMSClient + func (_this *KmsRsaUnwrapKeyMaterial) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, ...) + func (_this *KmsRsaUnwrapKeyMaterial) EncryptionContextDigest() _dafny.Sequence + func (_this *KmsRsaUnwrapKeyMaterial) Equals(other *KmsRsaUnwrapKeyMaterial) bool + func (_this *KmsRsaUnwrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsRsaUnwrapKeyMaterial) GrantTokens() _dafny.Sequence + func (_this *KmsRsaUnwrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsRsaUnwrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec + func (_this *KmsRsaUnwrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + type KmsRsaWrapInfo struct + func (_this KmsRsaWrapInfo) Equals(other KmsRsaWrapInfo) bool + func (_this KmsRsaWrapInfo) EqualsGeneric(other interface{}) bool + func (_this KmsRsaWrapInfo) Get_() Data_KmsRsaWrapInfo_ + func (_this KmsRsaWrapInfo) Is_KmsRsaWrapInfo() bool + func (_this KmsRsaWrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this KmsRsaWrapInfo) String() string + type KmsRsaWrapInfo_KmsRsaWrapInfo struct + type KmsRsaWrapKeyMaterial struct + func New_KmsRsaWrapKeyMaterial_() *KmsRsaWrapKeyMaterial + func (*KmsRsaWrapKeyMaterial) String() string + func (_this *KmsRsaWrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *KmsRsaWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, ...) + func (_this *KmsRsaWrapKeyMaterial) Equals(other *KmsRsaWrapKeyMaterial) bool + func (_this *KmsRsaWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *KmsRsaWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *KmsRsaWrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec + func (_this *KmsRsaWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *KmsRsaWrapKeyMaterial) PublicKey() _dafny.Sequence
Go to main page