AwsKmsKeyring

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AwsKmsKeyring_ = CompanionStruct_AwsKmsKeyring_{}
View Source 
var Companion_DecryptSingleEncryptedDataKey_ = CompanionStruct_DecryptSingleEncryptedDataKey_{}
View Source 
var Companion_KmsGenerateAndWrapKeyMaterial_ = CompanionStruct_KmsGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_KmsUnwrapInfo_ = CompanionStruct_KmsUnwrapInfo_{}
View Source 
var Companion_KmsUnwrapKeyMaterial_ = CompanionStruct_KmsUnwrapKeyMaterial_{}
View Source 
var Companion_KmsWrapInfo_ = CompanionStruct_KmsWrapInfo_{}
View Source 
var Companion_KmsWrapKeyMaterial_ = CompanionStruct_KmsWrapKeyMaterial_{}
View Source 
var Companion_OnDecryptEncryptedDataKeyFilter_ = CompanionStruct_OnDecryptEncryptedDataKeyFilter_{}

Functions

func Type_AwsKmsKeyring_ 

func Type_AwsKmsKeyring_() _dafny.TypeDescriptor

func Type_DecryptSingleEncryptedDataKey_ 

func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor

func Type_KmsGenerateAndWrapKeyMaterial_ 

func Type_KmsGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsUnwrapInfo_ 

func Type_KmsUnwrapInfo_() _dafny.TypeDescriptor

func Type_KmsUnwrapKeyMaterial_ 

func Type_KmsUnwrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsWrapInfo_ 

func Type_KmsWrapInfo_() _dafny.TypeDescriptor

func Type_KmsWrapKeyMaterial_ 

func Type_KmsWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_OnDecryptEncryptedDataKeyFilter_ 

func Type_OnDecryptEncryptedDataKeyFilter_() _dafny.TypeDescriptor

Types

type AwsKmsKeyring 

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

Definition of class AwsKmsKeyring

func New_AwsKmsKeyring_ 

func New_AwsKmsKeyring_() *AwsKmsKeyring

func (*AwsKmsKeyring) AwsKmsArn 

func (_this *AwsKmsKeyring) AwsKmsArn() m_AwsArnParsing.AwsKmsIdentifier

func (*AwsKmsKeyring) AwsKmsKey 

func (_this *AwsKmsKeyring) AwsKmsKey() _dafny.Sequence

func (*AwsKmsKeyring) Client 

func (_this *AwsKmsKeyring) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*AwsKmsKeyring) Ctor__ 

func (_this *AwsKmsKeyring) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*AwsKmsKeyring) Equals 

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

func (*AwsKmsKeyring) EqualsGeneric 

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

func (*AwsKmsKeyring) GrantTokens 

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

func (*AwsKmsKeyring) OnDecrypt 

func (_this *AwsKmsKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*AwsKmsKeyring) OnDecrypt_k 

func (_this *AwsKmsKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*AwsKmsKeyring) OnEncrypt 

func (_this *AwsKmsKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*AwsKmsKeyring) OnEncrypt_k 

func (_this *AwsKmsKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*AwsKmsKeyring) ParentTraits_ 

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

func (*AwsKmsKeyring) String 

func (*AwsKmsKeyring) String() string

type CompanionStruct_AwsKmsKeyring_ 

type CompanionStruct_AwsKmsKeyring_ struct {
}

type CompanionStruct_DecryptSingleEncryptedDataKey_ 

type CompanionStruct_DecryptSingleEncryptedDataKey_ struct {
}

type CompanionStruct_KmsGenerateAndWrapKeyMaterial_ 

type CompanionStruct_KmsGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_KmsUnwrapInfo_ 

type CompanionStruct_KmsUnwrapInfo_ struct {
}

func (CompanionStruct_KmsUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_KmsUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_KmsUnwrapInfo_) Create_KmsUnwrapInfo_ 

func (CompanionStruct_KmsUnwrapInfo_) Create_KmsUnwrapInfo_() KmsUnwrapInfo

func (CompanionStruct_KmsUnwrapInfo_) Default 

func (CompanionStruct_KmsUnwrapInfo_) Default() KmsUnwrapInfo

type CompanionStruct_KmsUnwrapKeyMaterial_ 

type CompanionStruct_KmsUnwrapKeyMaterial_ struct {
}

type CompanionStruct_KmsWrapInfo_ 

type CompanionStruct_KmsWrapInfo_ struct {
}

func (CompanionStruct_KmsWrapInfo_) Create_KmsWrapInfo_ 

func (CompanionStruct_KmsWrapInfo_) Create_KmsWrapInfo_(KmsKeyArn _dafny.Sequence) KmsWrapInfo

func (CompanionStruct_KmsWrapInfo_) Default 

func (CompanionStruct_KmsWrapInfo_) Default() KmsWrapInfo

type CompanionStruct_KmsWrapKeyMaterial_ 

type CompanionStruct_KmsWrapKeyMaterial_ struct {
}

type CompanionStruct_OnDecryptEncryptedDataKeyFilter_ 

type CompanionStruct_OnDecryptEncryptedDataKeyFilter_ struct {
}

type Data_KmsUnwrapInfo_ 

type Data_KmsUnwrapInfo_ interface {
	// contains filtered or unexported methods
}

type Data_KmsWrapInfo_ 

type Data_KmsWrapInfo_ interface {
	// contains filtered or unexported methods
}

type DecryptSingleEncryptedDataKey 

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

Definition of class DecryptSingleEncryptedDataKey

func New_DecryptSingleEncryptedDataKey_ 

func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey

func (*DecryptSingleEncryptedDataKey) AwsKmsKey 

func (_this *DecryptSingleEncryptedDataKey) AwsKmsKey() _dafny.Sequence

func (*DecryptSingleEncryptedDataKey) Client 

func (_this *DecryptSingleEncryptedDataKey) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*DecryptSingleEncryptedDataKey) Ctor__ 

func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*DecryptSingleEncryptedDataKey) Equals 

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

func (*DecryptSingleEncryptedDataKey) EqualsGeneric 

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

func (*DecryptSingleEncryptedDataKey) GrantTokens 

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

func (*DecryptSingleEncryptedDataKey) Invoke 

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

func (*DecryptSingleEncryptedDataKey) Materials 

func (_this *DecryptSingleEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func (*DecryptSingleEncryptedDataKey) ParentTraits_ 

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

func (*DecryptSingleEncryptedDataKey) String 

func (*DecryptSingleEncryptedDataKey) String() string

type Dummy__ 

type Dummy__ struct{}

type KmsGenerateAndWrapKeyMaterial 

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

Definition of class KmsGenerateAndWrapKeyMaterial

func New_KmsGenerateAndWrapKeyMaterial_ 

func New_KmsGenerateAndWrapKeyMaterial_() *KmsGenerateAndWrapKeyMaterial

func (*KmsGenerateAndWrapKeyMaterial) AwsKmsKey 

func (_this *KmsGenerateAndWrapKeyMaterial) AwsKmsKey() _dafny.Sequence

func (*KmsGenerateAndWrapKeyMaterial) Client 

func (_this *KmsGenerateAndWrapKeyMaterial) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*KmsGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *KmsGenerateAndWrapKeyMaterial) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*KmsGenerateAndWrapKeyMaterial) Equals 

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

func (*KmsGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*KmsGenerateAndWrapKeyMaterial) GrantTokens 

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

func (*KmsGenerateAndWrapKeyMaterial) Invoke 

func (_this *KmsGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*KmsGenerateAndWrapKeyMaterial) String 

func (*KmsGenerateAndWrapKeyMaterial) String() string

type KmsUnwrapInfo 

type KmsUnwrapInfo struct {
	Data_KmsUnwrapInfo_
}

Definition of datatype KmsUnwrapInfo

func (KmsUnwrapInfo) Equals 

func (_this KmsUnwrapInfo) Equals(other KmsUnwrapInfo) bool

func (KmsUnwrapInfo) EqualsGeneric 

func (_this KmsUnwrapInfo) EqualsGeneric(other interface{}) bool

func (KmsUnwrapInfo) Get_ 

func (_this KmsUnwrapInfo) Get_() Data_KmsUnwrapInfo_

func (KmsUnwrapInfo) Is_KmsUnwrapInfo 

func (_this KmsUnwrapInfo) Is_KmsUnwrapInfo() bool

func (KmsUnwrapInfo) ParentTraits_ 

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

func (KmsUnwrapInfo) String 

func (_this KmsUnwrapInfo) String() string

type KmsUnwrapInfo_KmsUnwrapInfo 

type KmsUnwrapInfo_KmsUnwrapInfo struct {
}

type KmsUnwrapKeyMaterial 

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

Definition of class KmsUnwrapKeyMaterial

func New_KmsUnwrapKeyMaterial_ 

func New_KmsUnwrapKeyMaterial_() *KmsUnwrapKeyMaterial

func (*KmsUnwrapKeyMaterial) AwsKmsKey 

func (_this *KmsUnwrapKeyMaterial) AwsKmsKey() _dafny.Sequence

func (*KmsUnwrapKeyMaterial) Client 

func (_this *KmsUnwrapKeyMaterial) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*KmsUnwrapKeyMaterial) Ctor__ 

func (_this *KmsUnwrapKeyMaterial) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*KmsUnwrapKeyMaterial) Equals 

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

func (*KmsUnwrapKeyMaterial) EqualsGeneric 

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

func (*KmsUnwrapKeyMaterial) GrantTokens 

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

func (*KmsUnwrapKeyMaterial) Invoke 

func (_this *KmsUnwrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsUnwrapKeyMaterial) ParentTraits_ 

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

func (*KmsUnwrapKeyMaterial) String 

func (*KmsUnwrapKeyMaterial) String() string

type KmsWrapInfo 

type KmsWrapInfo struct {
	Data_KmsWrapInfo_
}

Definition of datatype KmsWrapInfo

func (KmsWrapInfo) Dtor_kmsKeyArn 

func (_this KmsWrapInfo) Dtor_kmsKeyArn() _dafny.Sequence

func (KmsWrapInfo) Equals 

func (_this KmsWrapInfo) Equals(other KmsWrapInfo) bool

func (KmsWrapInfo) EqualsGeneric 

func (_this KmsWrapInfo) EqualsGeneric(other interface{}) bool

func (KmsWrapInfo) Get_ 

func (_this KmsWrapInfo) Get_() Data_KmsWrapInfo_

func (KmsWrapInfo) Is_KmsWrapInfo 

func (_this KmsWrapInfo) Is_KmsWrapInfo() bool

func (KmsWrapInfo) ParentTraits_ 

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

func (KmsWrapInfo) String 

func (_this KmsWrapInfo) String() string

type KmsWrapInfo_KmsWrapInfo 

type KmsWrapInfo_KmsWrapInfo struct {
	KmsKeyArn _dafny.Sequence
}

type KmsWrapKeyMaterial 

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

Definition of class KmsWrapKeyMaterial

func New_KmsWrapKeyMaterial_ 

func New_KmsWrapKeyMaterial_() *KmsWrapKeyMaterial

func (*KmsWrapKeyMaterial) AwsKmsKey 

func (_this *KmsWrapKeyMaterial) AwsKmsKey() _dafny.Sequence

func (*KmsWrapKeyMaterial) Client 

func (_this *KmsWrapKeyMaterial) Client() m_ComAmazonawsKmsTypes.IKMSClient

func (*KmsWrapKeyMaterial) Ctor__ 

func (_this *KmsWrapKeyMaterial) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, grantTokens _dafny.Sequence)

func (*KmsWrapKeyMaterial) Equals 

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

func (*KmsWrapKeyMaterial) EqualsGeneric 

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

func (*KmsWrapKeyMaterial) GrantTokens 

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

func (*KmsWrapKeyMaterial) Invoke 

func (_this *KmsWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*KmsWrapKeyMaterial) ParentTraits_ 

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

func (*KmsWrapKeyMaterial) String 

func (*KmsWrapKeyMaterial) String() string

type OnDecryptEncryptedDataKeyFilter 

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

Definition of class OnDecryptEncryptedDataKeyFilter

func New_OnDecryptEncryptedDataKeyFilter_ 

func New_OnDecryptEncryptedDataKeyFilter_() *OnDecryptEncryptedDataKeyFilter

func (*OnDecryptEncryptedDataKeyFilter) AwsKmsKey 

func (_this *OnDecryptEncryptedDataKeyFilter) AwsKmsKey() _dafny.Sequence

func (*OnDecryptEncryptedDataKeyFilter) Ctor__ 

func (_this *OnDecryptEncryptedDataKeyFilter) Ctor__(awsKmsKey _dafny.Sequence)

func (*OnDecryptEncryptedDataKeyFilter) Equals 

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

func (*OnDecryptEncryptedDataKeyFilter) EqualsGeneric 

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

func (*OnDecryptEncryptedDataKeyFilter) Invoke 

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

func (*OnDecryptEncryptedDataKeyFilter) ParentTraits_ 

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

func (*OnDecryptEncryptedDataKeyFilter) String 

func (*OnDecryptEncryptedDataKeyFilter) String() string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.