Documentation ¶
Index ¶
- Variables
- func Type_AwsKmsDiscoveryKeyring_() _dafny.TypeDescriptor
- func Type_AwsKmsEncryptedDataKeyDecryptor_() _dafny.TypeDescriptor
- func Type_AwsKmsEncryptedDataKeyFilter_() _dafny.TypeDescriptor
- func Type_AwsKmsEncryptedDataKeyTransformer_() _dafny.TypeDescriptor
- type AwsKmsDiscoveryKeyring
- func (_this *AwsKmsDiscoveryKeyring) Client() m_ComAmazonawsKmsTypes.IKMSClient
- func (_this *AwsKmsDiscoveryKeyring) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, discoveryFilter m_Wrappers.Option, ...)
- func (_this *AwsKmsDiscoveryKeyring) DiscoveryFilter() m_Wrappers.Option
- func (_this *AwsKmsDiscoveryKeyring) Equals(other *AwsKmsDiscoveryKeyring) bool
- func (_this *AwsKmsDiscoveryKeyring) EqualsGeneric(x interface{}) bool
- func (_this *AwsKmsDiscoveryKeyring) GrantTokens() _dafny.Sequence
- func (_this *AwsKmsDiscoveryKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
- func (_this *AwsKmsDiscoveryKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
- func (_this *AwsKmsDiscoveryKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
- func (_this *AwsKmsDiscoveryKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
- func (_this *AwsKmsDiscoveryKeyring) ParentTraits_() []*_dafny.TraitID
- func (*AwsKmsDiscoveryKeyring) String() string
- type AwsKmsEncryptedDataKeyDecryptor
- func (_this *AwsKmsEncryptedDataKeyDecryptor) Client() m_ComAmazonawsKmsTypes.IKMSClient
- func (_this *AwsKmsEncryptedDataKeyDecryptor) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, ...)
- func (_this *AwsKmsEncryptedDataKeyDecryptor) Equals(other *AwsKmsEncryptedDataKeyDecryptor) bool
- func (_this *AwsKmsEncryptedDataKeyDecryptor) EqualsGeneric(x interface{}) bool
- func (_this *AwsKmsEncryptedDataKeyDecryptor) GrantTokens() _dafny.Sequence
- func (_this *AwsKmsEncryptedDataKeyDecryptor) Invoke(helper interface{}) interface{}
- func (_this *AwsKmsEncryptedDataKeyDecryptor) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
- func (_this *AwsKmsEncryptedDataKeyDecryptor) ParentTraits_() []*_dafny.TraitID
- func (*AwsKmsEncryptedDataKeyDecryptor) String() string
- type AwsKmsEncryptedDataKeyFilter
- func (_this *AwsKmsEncryptedDataKeyFilter) Ctor__(discoveryFilter m_Wrappers.Option)
- func (_this *AwsKmsEncryptedDataKeyFilter) DiscoveryFilter() m_Wrappers.Option
- func (_this *AwsKmsEncryptedDataKeyFilter) Equals(other *AwsKmsEncryptedDataKeyFilter) bool
- func (_this *AwsKmsEncryptedDataKeyFilter) EqualsGeneric(x interface{}) bool
- func (_this *AwsKmsEncryptedDataKeyFilter) Invoke(edk interface{}) interface{}
- func (_this *AwsKmsEncryptedDataKeyFilter) ParentTraits_() []*_dafny.TraitID
- func (*AwsKmsEncryptedDataKeyFilter) String() string
- type AwsKmsEncryptedDataKeyTransformer
- func (_this *AwsKmsEncryptedDataKeyTransformer) Ctor__()
- func (_this *AwsKmsEncryptedDataKeyTransformer) Equals(other *AwsKmsEncryptedDataKeyTransformer) bool
- func (_this *AwsKmsEncryptedDataKeyTransformer) EqualsGeneric(x interface{}) bool
- func (_this *AwsKmsEncryptedDataKeyTransformer) Invoke(edk interface{}) interface{}
- func (_this *AwsKmsEncryptedDataKeyTransformer) ParentTraits_() []*_dafny.TraitID
- func (*AwsKmsEncryptedDataKeyTransformer) String() string
- type CompanionStruct_AwsKmsDiscoveryKeyring_
- type CompanionStruct_AwsKmsEncryptedDataKeyDecryptor_
- type CompanionStruct_AwsKmsEncryptedDataKeyFilter_
- type CompanionStruct_AwsKmsEncryptedDataKeyTransformer_
- type CompanionStruct_Default___
- type Default__
- type Dummy__
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 (_this *AwsKmsDiscoveryKeyring) Client() m_ComAmazonawsKmsTypes.IKMSClient
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 (_this *AwsKmsDiscoveryKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
func (*AwsKmsDiscoveryKeyring) OnDecrypt_k ¶
func (_this *AwsKmsDiscoveryKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result
func (*AwsKmsDiscoveryKeyring) OnEncrypt ¶
func (_this *AwsKmsDiscoveryKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
func (*AwsKmsDiscoveryKeyring) OnEncrypt_k ¶
func (_this *AwsKmsDiscoveryKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result
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 (_this *AwsKmsEncryptedDataKeyDecryptor) Client() m_ComAmazonawsKmsTypes.IKMSClient
func (*AwsKmsEncryptedDataKeyDecryptor) Ctor__ ¶
func (_this *AwsKmsEncryptedDataKeyDecryptor) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, client m_ComAmazonawsKmsTypes.IKMSClient, grantTokens _dafny.Sequence)
func (*AwsKmsEncryptedDataKeyDecryptor) Equals ¶
func (_this *AwsKmsEncryptedDataKeyDecryptor) Equals(other *AwsKmsEncryptedDataKeyDecryptor) bool
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 (_this *AwsKmsEncryptedDataKeyDecryptor) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func (*AwsKmsEncryptedDataKeyDecryptor) ParentTraits_ ¶
func (_this *AwsKmsEncryptedDataKeyDecryptor) ParentTraits_() []*_dafny.TraitID
func (*AwsKmsEncryptedDataKeyDecryptor) String ¶
func (*AwsKmsEncryptedDataKeyDecryptor) String() 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 (_this *AwsKmsEncryptedDataKeyFilter) Equals(other *AwsKmsEncryptedDataKeyFilter) bool
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 ¶
func (*AwsKmsEncryptedDataKeyFilter) String() 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 (_this *AwsKmsEncryptedDataKeyTransformer) Equals(other *AwsKmsEncryptedDataKeyTransformer) bool
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 ¶
func (*AwsKmsEncryptedDataKeyTransformer) String() 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__) EqualsGeneric ¶
func (*Default__) ParentTraits_ ¶
Click to show internal directories.
Click to hide internal directories.