AwsKmsRsaKeyring

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AwsKmsRsaKeyring_ = CompanionStruct_AwsKmsRsaKeyring_{}
View Source 
var Companion_DecryptSingleAWSRSAEncryptedDataKey_ = CompanionStruct_DecryptSingleAWSRSAEncryptedDataKey_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_KmsRsaGenerateAndWrapKeyMaterial_ = CompanionStruct_KmsRsaGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_KmsRsaUnwrapInfo_ = CompanionStruct_KmsRsaUnwrapInfo_{}
View Source 
var Companion_KmsRsaUnwrapKeyMaterial_ = CompanionStruct_KmsRsaUnwrapKeyMaterial_{}
View Source 
var Companion_KmsRsaWrapInfo_ = CompanionStruct_KmsRsaWrapInfo_{}
View Source 
var Companion_KmsRsaWrapKeyMaterial_ = CompanionStruct_KmsRsaWrapKeyMaterial_{}

Functions

func Type_AwsKmsRsaKeyring_ 

func Type_AwsKmsRsaKeyring_() _dafny.TypeDescriptor

func Type_DecryptSingleAWSRSAEncryptedDataKey_ 

func Type_DecryptSingleAWSRSAEncryptedDataKey_() _dafny.TypeDescriptor

func Type_KmsRsaGenerateAndWrapKeyMaterial_ 

func Type_KmsRsaGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsRsaUnwrapInfo_ 

func Type_KmsRsaUnwrapInfo_() _dafny.TypeDescriptor

func Type_KmsRsaUnwrapKeyMaterial_ 

func Type_KmsRsaUnwrapKeyMaterial_() _dafny.TypeDescriptor

func Type_KmsRsaWrapInfo_ 

func Type_KmsRsaWrapInfo_() _dafny.TypeDescriptor

func Type_KmsRsaWrapKeyMaterial_ 

func Type_KmsRsaWrapKeyMaterial_() _dafny.TypeDescriptor

Types

type AwsKmsRsaKeyring 

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

Definition of class AwsKmsRsaKeyring

func New_AwsKmsRsaKeyring_ 

func New_AwsKmsRsaKeyring_() *AwsKmsRsaKeyring

func (*AwsKmsRsaKeyring) AwsKmsArn 

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

func (*AwsKmsRsaKeyring) AwsKmsKey 

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

func (*AwsKmsRsaKeyring) Client 

func (_this *AwsKmsRsaKeyring) Client() m_Wrappers.Option

func (*AwsKmsRsaKeyring) CryptoPrimitives 

func (_this *AwsKmsRsaKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*AwsKmsRsaKeyring) Ctor__ 

func (_this *AwsKmsRsaKeyring) Ctor__(publicKey m_Wrappers.Option, awsKmsKey _dafny.Sequence, paddingScheme m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, client m_Wrappers.Option, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient, grantTokens _dafny.Sequence)

func (*AwsKmsRsaKeyring) Equals 

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

func (*AwsKmsRsaKeyring) EqualsGeneric 

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

func (*AwsKmsRsaKeyring) GrantTokens 

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

func (*AwsKmsRsaKeyring) OnDecrypt 

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

func (*AwsKmsRsaKeyring) OnDecrypt_k 

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

func (*AwsKmsRsaKeyring) OnEncrypt 

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

func (*AwsKmsRsaKeyring) OnEncrypt_k 

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

func (*AwsKmsRsaKeyring) PaddingScheme 

func (_this *AwsKmsRsaKeyring) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (*AwsKmsRsaKeyring) ParentTraits_ 

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

func (*AwsKmsRsaKeyring) PublicKey 

func (_this *AwsKmsRsaKeyring) PublicKey() m_Wrappers.Option

func (*AwsKmsRsaKeyring) String 

func (*AwsKmsRsaKeyring) String() string

type CompanionStruct_AwsKmsRsaKeyring_ 

type CompanionStruct_AwsKmsRsaKeyring_ struct {
}

type CompanionStruct_DecryptSingleAWSRSAEncryptedDataKey_ 

type CompanionStruct_DecryptSingleAWSRSAEncryptedDataKey_ struct {
}

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) EncryptionContextDigest 

func (_static *CompanionStruct_Default___) EncryptionContextDigest(cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient, encryptionContext _dafny.Map) m_Wrappers.Result

func (*CompanionStruct_Default___) MIN__KMS__RSA__KEY__LEN 

func (_static *CompanionStruct_Default___) MIN__KMS__RSA__KEY__LEN() int32

type CompanionStruct_KmsRsaGenerateAndWrapKeyMaterial_ 

type CompanionStruct_KmsRsaGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_KmsRsaUnwrapInfo_ 

type CompanionStruct_KmsRsaUnwrapInfo_ struct {
}

func (CompanionStruct_KmsRsaUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_KmsRsaUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_KmsRsaUnwrapInfo_) Create_KmsRsaUnwrapInfo_ 

func (CompanionStruct_KmsRsaUnwrapInfo_) Create_KmsRsaUnwrapInfo_() KmsRsaUnwrapInfo

func (CompanionStruct_KmsRsaUnwrapInfo_) Default 

func (CompanionStruct_KmsRsaUnwrapInfo_) Default() KmsRsaUnwrapInfo

type CompanionStruct_KmsRsaUnwrapKeyMaterial_ 

type CompanionStruct_KmsRsaUnwrapKeyMaterial_ struct {
}

type CompanionStruct_KmsRsaWrapInfo_ 

type CompanionStruct_KmsRsaWrapInfo_ struct {
}

func (CompanionStruct_KmsRsaWrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_KmsRsaWrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_KmsRsaWrapInfo_) Create_KmsRsaWrapInfo_ 

func (CompanionStruct_KmsRsaWrapInfo_) Create_KmsRsaWrapInfo_() KmsRsaWrapInfo

func (CompanionStruct_KmsRsaWrapInfo_) Default 

func (CompanionStruct_KmsRsaWrapInfo_) Default() KmsRsaWrapInfo

type CompanionStruct_KmsRsaWrapKeyMaterial_ 

type CompanionStruct_KmsRsaWrapKeyMaterial_ struct {
}

type Data_KmsRsaUnwrapInfo_ 

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

type Data_KmsRsaWrapInfo_ 

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

type DecryptSingleAWSRSAEncryptedDataKey 

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

Definition of class DecryptSingleAWSRSAEncryptedDataKey

func New_DecryptSingleAWSRSAEncryptedDataKey_ 

func New_DecryptSingleAWSRSAEncryptedDataKey_() *DecryptSingleAWSRSAEncryptedDataKey

func (*DecryptSingleAWSRSAEncryptedDataKey) AwsKmsKey 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) Client 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) Ctor__ 

func (_this *DecryptSingleAWSRSAEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, paddingScheme m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, encryptionContextDigest _dafny.Sequence, grantTokens _dafny.Sequence)

func (*DecryptSingleAWSRSAEncryptedDataKey) EncryptionContextDigest 

func (_this *DecryptSingleAWSRSAEncryptedDataKey) EncryptionContextDigest() _dafny.Sequence

func (*DecryptSingleAWSRSAEncryptedDataKey) Equals 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) EqualsGeneric 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) GrantTokens 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) Invoke 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) Materials 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) PaddingScheme 

func (_this *DecryptSingleAWSRSAEncryptedDataKey) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (*DecryptSingleAWSRSAEncryptedDataKey) ParentTraits_ 

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

func (*DecryptSingleAWSRSAEncryptedDataKey) String 

func (*DecryptSingleAWSRSAEncryptedDataKey) String() string

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{}

type KmsRsaGenerateAndWrapKeyMaterial 

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

Definition of class KmsRsaGenerateAndWrapKeyMaterial

func New_KmsRsaGenerateAndWrapKeyMaterial_ 

func New_KmsRsaGenerateAndWrapKeyMaterial_() *KmsRsaGenerateAndWrapKeyMaterial

func (*KmsRsaGenerateAndWrapKeyMaterial) CryptoPrimitives 

func (_this *KmsRsaGenerateAndWrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*KmsRsaGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *KmsRsaGenerateAndWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, paddingScheme m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*KmsRsaGenerateAndWrapKeyMaterial) Equals 

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

func (*KmsRsaGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*KmsRsaGenerateAndWrapKeyMaterial) Invoke 

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

func (*KmsRsaGenerateAndWrapKeyMaterial) PaddingScheme 

func (_this *KmsRsaGenerateAndWrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (*KmsRsaGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*KmsRsaGenerateAndWrapKeyMaterial) PublicKey 

func (_this *KmsRsaGenerateAndWrapKeyMaterial) PublicKey() _dafny.Sequence

func (*KmsRsaGenerateAndWrapKeyMaterial) String 

func (*KmsRsaGenerateAndWrapKeyMaterial) String() string

type KmsRsaUnwrapInfo 

type KmsRsaUnwrapInfo struct {
	Data_KmsRsaUnwrapInfo_
}

Definition of datatype KmsRsaUnwrapInfo

func (KmsRsaUnwrapInfo) Equals 

func (_this KmsRsaUnwrapInfo) Equals(other KmsRsaUnwrapInfo) bool

func (KmsRsaUnwrapInfo) EqualsGeneric 

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

func (KmsRsaUnwrapInfo) Get_ 

func (_this KmsRsaUnwrapInfo) Get_() Data_KmsRsaUnwrapInfo_

func (KmsRsaUnwrapInfo) Is_KmsRsaUnwrapInfo 

func (_this KmsRsaUnwrapInfo) Is_KmsRsaUnwrapInfo() bool

func (KmsRsaUnwrapInfo) ParentTraits_ 

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

func (KmsRsaUnwrapInfo) String 

func (_this KmsRsaUnwrapInfo) String() string

type KmsRsaUnwrapInfo_KmsRsaUnwrapInfo 

type KmsRsaUnwrapInfo_KmsRsaUnwrapInfo struct {
}

type KmsRsaUnwrapKeyMaterial 

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

Definition of class KmsRsaUnwrapKeyMaterial

func New_KmsRsaUnwrapKeyMaterial_ 

func New_KmsRsaUnwrapKeyMaterial_() *KmsRsaUnwrapKeyMaterial

func (*KmsRsaUnwrapKeyMaterial) AwsKmsKey 

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

func (*KmsRsaUnwrapKeyMaterial) Client 

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

func (*KmsRsaUnwrapKeyMaterial) Ctor__ 

func (_this *KmsRsaUnwrapKeyMaterial) Ctor__(client m_ComAmazonawsKmsTypes.IKMSClient, awsKmsKey _dafny.Sequence, paddingScheme m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, encryptionContextDigest _dafny.Sequence, grantTokens _dafny.Sequence)

func (*KmsRsaUnwrapKeyMaterial) EncryptionContextDigest 

func (_this *KmsRsaUnwrapKeyMaterial) EncryptionContextDigest() _dafny.Sequence

func (*KmsRsaUnwrapKeyMaterial) Equals 

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

func (*KmsRsaUnwrapKeyMaterial) EqualsGeneric 

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

func (*KmsRsaUnwrapKeyMaterial) GrantTokens 

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

func (*KmsRsaUnwrapKeyMaterial) Invoke 

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

func (*KmsRsaUnwrapKeyMaterial) PaddingScheme 

func (_this *KmsRsaUnwrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (*KmsRsaUnwrapKeyMaterial) ParentTraits_ 

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

func (*KmsRsaUnwrapKeyMaterial) String 

func (*KmsRsaUnwrapKeyMaterial) String() string

type KmsRsaWrapInfo 

type KmsRsaWrapInfo struct {
	Data_KmsRsaWrapInfo_
}

Definition of datatype KmsRsaWrapInfo

func (KmsRsaWrapInfo) Equals 

func (_this KmsRsaWrapInfo) Equals(other KmsRsaWrapInfo) bool

func (KmsRsaWrapInfo) EqualsGeneric 

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

func (KmsRsaWrapInfo) Get_ 

func (_this KmsRsaWrapInfo) Get_() Data_KmsRsaWrapInfo_

func (KmsRsaWrapInfo) Is_KmsRsaWrapInfo 

func (_this KmsRsaWrapInfo) Is_KmsRsaWrapInfo() bool

func (KmsRsaWrapInfo) ParentTraits_ 

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

func (KmsRsaWrapInfo) String 

func (_this KmsRsaWrapInfo) String() string

type KmsRsaWrapInfo_KmsRsaWrapInfo 

type KmsRsaWrapInfo_KmsRsaWrapInfo struct {
}

type KmsRsaWrapKeyMaterial 

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

Definition of class KmsRsaWrapKeyMaterial

func New_KmsRsaWrapKeyMaterial_ 

func New_KmsRsaWrapKeyMaterial_() *KmsRsaWrapKeyMaterial

func (*KmsRsaWrapKeyMaterial) CryptoPrimitives 

func (_this *KmsRsaWrapKeyMaterial) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*KmsRsaWrapKeyMaterial) Ctor__ 

func (_this *KmsRsaWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, paddingScheme m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*KmsRsaWrapKeyMaterial) Equals 

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

func (*KmsRsaWrapKeyMaterial) EqualsGeneric 

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

func (*KmsRsaWrapKeyMaterial) Invoke 

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

func (*KmsRsaWrapKeyMaterial) PaddingScheme 

func (_this *KmsRsaWrapKeyMaterial) PaddingScheme() m_ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func (*KmsRsaWrapKeyMaterial) ParentTraits_ 

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

func (*KmsRsaWrapKeyMaterial) PublicKey 

func (_this *KmsRsaWrapKeyMaterial) PublicKey() _dafny.Sequence

func (*KmsRsaWrapKeyMaterial) String 

func (*KmsRsaWrapKeyMaterial) 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.