AwsKmsUtils

package

v0.1.0 Latest Latest Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 55 Imported by: 17

Documentation ¶

This section is empty.

View Source

var Companion_Default___ = CompanionStruct_Default___{}

View Source

var Companion_OnDecryptMrkAwareEncryptedDataKeyFilter_ = CompanionStruct_OnDecryptMrkAwareEncryptedDataKeyFilter_{}

func Type_OnDecryptMrkAwareEncryptedDataKeyFilter_() _dafny.TypeDescriptor

type CompanionStruct_Default___ struct {
}

func (_static *CompanionStruct_Default___) GetEcdhPublicKey(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence) m_Wrappers.Result

func (_static *CompanionStruct_Default___) GetValidGrantTokens(grantTokens m_Wrappers.Option) m_Wrappers.Result

func (_static *CompanionStruct_Default___) ParseKeyNamespaceAndName(keyNamespace _dafny.Sequence, keyName _dafny.Sequence) m_Wrappers.Result

func (_static *CompanionStruct_Default___) StringifyEncryptionContext(utf8EncCtx _dafny.Map) m_Wrappers.Result

func (_static *CompanionStruct_Default___) StringifyEncryptionContextPair(utf8Key _dafny.Sequence, utf8Value _dafny.Sequence) m_Wrappers.Result

func (_static *CompanionStruct_Default___) ValidateDiscoveryFilter(filter m_AwsCryptographyMaterialProvidersTypes.DiscoveryFilter) m_Wrappers.Result

func (_static *CompanionStruct_Default___) ValidateKmsKeyId(keyId _dafny.Sequence) m_Wrappers.Result

func (_static *CompanionStruct_Default___) WrapStringToError(e _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error

type CompanionStruct_OnDecryptMrkAwareEncryptedDataKeyFilter_ struct {
}

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

Definition of class Default__

func New_Default___() *Default__

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

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

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

func (*Default__) String() string

type Dummy__ struct{}

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

Definition of class OnDecryptMrkAwareEncryptedDataKeyFilter

func New_OnDecryptMrkAwareEncryptedDataKeyFilter_() *OnDecryptMrkAwareEncryptedDataKeyFilter

func (_this *OnDecryptMrkAwareEncryptedDataKeyFilter) AwsKmsKey() m_AwsArnParsing.AwsKmsIdentifier

func (_this *OnDecryptMrkAwareEncryptedDataKeyFilter) Ctor__(awsKmsKey m_AwsArnParsing.AwsKmsIdentifier, providerId _dafny.Sequence)

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

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

func (_this *OnDecryptMrkAwareEncryptedDataKeyFilter) Invoke(edk interface{}) interface{}

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

func (_this *OnDecryptMrkAwareEncryptedDataKeyFilter) ProviderId() _dafny.Sequence

func (*OnDecryptMrkAwareEncryptedDataKeyFilter) String() string