AwsKmsDiscoveryKeyring

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: 81 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source
var Companion_AwsKmsDiscoveryKeyring_ = CompanionStruct_AwsKmsDiscoveryKeyring_{}
View Source
var Companion_AwsKmsEncryptedDataKeyDecryptor_ = CompanionStruct_AwsKmsEncryptedDataKeyDecryptor_{}
View Source
var Companion_AwsKmsEncryptedDataKeyFilter_ = CompanionStruct_AwsKmsEncryptedDataKeyFilter_{}
View Source
var Companion_AwsKmsEncryptedDataKeyTransformer_ = CompanionStruct_AwsKmsEncryptedDataKeyTransformer_{}
View Source
var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_AwsKmsDiscoveryKeyring_

func Type_AwsKmsDiscoveryKeyring_() _dafny.TypeDescriptor

func Type_AwsKmsEncryptedDataKeyDecryptor_

func Type_AwsKmsEncryptedDataKeyDecryptor_() _dafny.TypeDescriptor

func Type_AwsKmsEncryptedDataKeyFilter_

func Type_AwsKmsEncryptedDataKeyFilter_() _dafny.TypeDescriptor

func Type_AwsKmsEncryptedDataKeyTransformer_

func Type_AwsKmsEncryptedDataKeyTransformer_() _dafny.TypeDescriptor

Types

type AwsKmsDiscoveryKeyring

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

Definition of class AwsKmsDiscoveryKeyring

func New_AwsKmsDiscoveryKeyring_

func New_AwsKmsDiscoveryKeyring_() *AwsKmsDiscoveryKeyring

func (*AwsKmsDiscoveryKeyring) Client

func (*AwsKmsDiscoveryKeyring) Ctor__

func (_this *AwsKmsDiscoveryKeyring) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, discoveryFilter m_Wrappers.Option, grantTokens _dafny.Sequence)

func (*AwsKmsDiscoveryKeyring) DiscoveryFilter

func (_this *AwsKmsDiscoveryKeyring) DiscoveryFilter() m_Wrappers.Option

func (*AwsKmsDiscoveryKeyring) Equals

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

func (*AwsKmsDiscoveryKeyring) EqualsGeneric

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

func (*AwsKmsDiscoveryKeyring) GrantTokens

func (_this *AwsKmsDiscoveryKeyring) GrantTokens() _dafny.Sequence

func (*AwsKmsDiscoveryKeyring) OnDecrypt

func (*AwsKmsDiscoveryKeyring) OnDecrypt_k

func (*AwsKmsDiscoveryKeyring) OnEncrypt

func (*AwsKmsDiscoveryKeyring) OnEncrypt_k

func (*AwsKmsDiscoveryKeyring) ParentTraits_

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

func (*AwsKmsDiscoveryKeyring) String

func (*AwsKmsDiscoveryKeyring) String() string

type AwsKmsEncryptedDataKeyDecryptor

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

Definition of class AwsKmsEncryptedDataKeyDecryptor

func New_AwsKmsEncryptedDataKeyDecryptor_

func New_AwsKmsEncryptedDataKeyDecryptor_() *AwsKmsEncryptedDataKeyDecryptor

func (*AwsKmsEncryptedDataKeyDecryptor) Client

func (*AwsKmsEncryptedDataKeyDecryptor) Ctor__

func (*AwsKmsEncryptedDataKeyDecryptor) Equals

func (*AwsKmsEncryptedDataKeyDecryptor) EqualsGeneric

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

func (*AwsKmsEncryptedDataKeyDecryptor) GrantTokens

func (_this *AwsKmsEncryptedDataKeyDecryptor) GrantTokens() _dafny.Sequence

func (*AwsKmsEncryptedDataKeyDecryptor) Invoke

func (_this *AwsKmsEncryptedDataKeyDecryptor) Invoke(helper interface{}) interface{}

func (*AwsKmsEncryptedDataKeyDecryptor) Materials

func (*AwsKmsEncryptedDataKeyDecryptor) ParentTraits_

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

func (*AwsKmsEncryptedDataKeyDecryptor) String

type AwsKmsEncryptedDataKeyFilter

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

Definition of class AwsKmsEncryptedDataKeyFilter

func New_AwsKmsEncryptedDataKeyFilter_

func New_AwsKmsEncryptedDataKeyFilter_() *AwsKmsEncryptedDataKeyFilter

func (*AwsKmsEncryptedDataKeyFilter) Ctor__

func (_this *AwsKmsEncryptedDataKeyFilter) Ctor__(discoveryFilter m_Wrappers.Option)

func (*AwsKmsEncryptedDataKeyFilter) DiscoveryFilter

func (_this *AwsKmsEncryptedDataKeyFilter) DiscoveryFilter() m_Wrappers.Option

func (*AwsKmsEncryptedDataKeyFilter) Equals

func (*AwsKmsEncryptedDataKeyFilter) EqualsGeneric

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

func (*AwsKmsEncryptedDataKeyFilter) Invoke

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

func (*AwsKmsEncryptedDataKeyFilter) ParentTraits_

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

func (*AwsKmsEncryptedDataKeyFilter) String

type AwsKmsEncryptedDataKeyTransformer

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

Definition of class AwsKmsEncryptedDataKeyTransformer

func New_AwsKmsEncryptedDataKeyTransformer_

func New_AwsKmsEncryptedDataKeyTransformer_() *AwsKmsEncryptedDataKeyTransformer

func (*AwsKmsEncryptedDataKeyTransformer) Ctor__

func (_this *AwsKmsEncryptedDataKeyTransformer) Ctor__()

func (*AwsKmsEncryptedDataKeyTransformer) Equals

func (*AwsKmsEncryptedDataKeyTransformer) EqualsGeneric

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

func (*AwsKmsEncryptedDataKeyTransformer) Invoke

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

func (*AwsKmsEncryptedDataKeyTransformer) ParentTraits_

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

func (*AwsKmsEncryptedDataKeyTransformer) String

type CompanionStruct_AwsKmsDiscoveryKeyring_

type CompanionStruct_AwsKmsDiscoveryKeyring_ struct {
}

type CompanionStruct_AwsKmsEncryptedDataKeyDecryptor_

type CompanionStruct_AwsKmsEncryptedDataKeyDecryptor_ struct {
}

type CompanionStruct_AwsKmsEncryptedDataKeyFilter_

type CompanionStruct_AwsKmsEncryptedDataKeyFilter_ struct {
}

type CompanionStruct_AwsKmsEncryptedDataKeyTransformer_

type CompanionStruct_AwsKmsEncryptedDataKeyTransformer_ struct {
}

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) DiscoveryMatch

func (_static *CompanionStruct_Default___) DiscoveryMatch(arn m_AwsArnParsing.AwsArn, discoveryFilter m_Wrappers.Option) bool

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 Dummy__

type Dummy__ struct{}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL