RawRSAKeyring

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_RawRSAKeyring_ = CompanionStruct_RawRSAKeyring_{}
View Source 
var Companion_RsaGenerateAndWrapKeyMaterial_ = CompanionStruct_RsaGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_RsaUnwrapInfo_ = CompanionStruct_RsaUnwrapInfo_{}
View Source 
var Companion_RsaUnwrapKeyMaterial_ = CompanionStruct_RsaUnwrapKeyMaterial_{}
View Source 
var Companion_RsaWrapInfo_ = CompanionStruct_RsaWrapInfo_{}
View Source 
var Companion_RsaWrapKeyMaterial_ = CompanionStruct_RsaWrapKeyMaterial_{}

Functions

func Type_RawRSAKeyring_ 

func Type_RawRSAKeyring_() _dafny.TypeDescriptor

func Type_RsaGenerateAndWrapKeyMaterial_ 

func Type_RsaGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_RsaUnwrapInfo_ 

func Type_RsaUnwrapInfo_() _dafny.TypeDescriptor

func Type_RsaUnwrapKeyMaterial_ 

func Type_RsaUnwrapKeyMaterial_() _dafny.TypeDescriptor

func Type_RsaWrapInfo_ 

func Type_RsaWrapInfo_() _dafny.TypeDescriptor

func Type_RsaWrapKeyMaterial_ 

func Type_RsaWrapKeyMaterial_() _dafny.TypeDescriptor

Types

type CompanionStruct_RawRSAKeyring_ 

type CompanionStruct_RawRSAKeyring_ struct {
}

type CompanionStruct_RsaGenerateAndWrapKeyMaterial_ 

type CompanionStruct_RsaGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_RsaUnwrapInfo_ 

type CompanionStruct_RsaUnwrapInfo_ struct {
}

func (CompanionStruct_RsaUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_RsaUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_RsaUnwrapInfo_) Create_RsaUnwrapInfo_ 

func (CompanionStruct_RsaUnwrapInfo_) Create_RsaUnwrapInfo_() RsaUnwrapInfo

func (CompanionStruct_RsaUnwrapInfo_) Default 

func (CompanionStruct_RsaUnwrapInfo_) Default() RsaUnwrapInfo

type CompanionStruct_RsaUnwrapKeyMaterial_ 

type CompanionStruct_RsaUnwrapKeyMaterial_ struct {
}

type CompanionStruct_RsaWrapInfo_ 

type CompanionStruct_RsaWrapInfo_ struct {
}

func (CompanionStruct_RsaWrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_RsaWrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_RsaWrapInfo_) Create_RsaWrapInfo_ 

func (CompanionStruct_RsaWrapInfo_) Create_RsaWrapInfo_() RsaWrapInfo

func (CompanionStruct_RsaWrapInfo_) Default 

func (CompanionStruct_RsaWrapInfo_) Default() RsaWrapInfo

type CompanionStruct_RsaWrapKeyMaterial_ 

type CompanionStruct_RsaWrapKeyMaterial_ struct {
}

type Data_RsaUnwrapInfo_ 

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

type Data_RsaWrapInfo_ 

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

type Dummy__ 

type Dummy__ struct{}

type RawRSAKeyring 

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

Definition of class RawRSAKeyring

func New_RawRSAKeyring_ 

func New_RawRSAKeyring_() *RawRSAKeyring

func (*RawRSAKeyring) CryptoPrimitives 

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

func (*RawRSAKeyring) Ctor__ 

func (_this *RawRSAKeyring) Ctor__(namespace _dafny.Sequence, name _dafny.Sequence, publicKey m_Wrappers.Option, privateKey m_Wrappers.Option, paddingScheme m_AwsCryptographyPrimitivesTypes.RSAPaddingMode, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RawRSAKeyring) Equals 

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

func (*RawRSAKeyring) EqualsGeneric 

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

func (*RawRSAKeyring) KeyName 

func (_this *RawRSAKeyring) KeyName() _dafny.Sequence

func (*RawRSAKeyring) KeyNamespace 

func (_this *RawRSAKeyring) KeyNamespace() _dafny.Sequence

func (*RawRSAKeyring) OnDecrypt 

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

func (*RawRSAKeyring) OnDecrypt_k 

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

func (*RawRSAKeyring) OnEncrypt 

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

func (*RawRSAKeyring) OnEncrypt_k 

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

func (*RawRSAKeyring) PaddingScheme 

func (_this *RawRSAKeyring) PaddingScheme() m_AwsCryptographyPrimitivesTypes.RSAPaddingMode

func (*RawRSAKeyring) ParentTraits_ 

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

func (*RawRSAKeyring) PrivateKey 

func (_this *RawRSAKeyring) PrivateKey() m_Wrappers.Option

func (*RawRSAKeyring) PublicKey 

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

func (*RawRSAKeyring) ShouldDecryptEDK 

func (_this *RawRSAKeyring) ShouldDecryptEDK(edk m_AwsCryptographyMaterialProvidersTypes.EncryptedDataKey) bool

func (*RawRSAKeyring) String 

func (*RawRSAKeyring) String() string

type RsaGenerateAndWrapKeyMaterial 

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

Definition of class RsaGenerateAndWrapKeyMaterial

func New_RsaGenerateAndWrapKeyMaterial_ 

func New_RsaGenerateAndWrapKeyMaterial_() *RsaGenerateAndWrapKeyMaterial

func (*RsaGenerateAndWrapKeyMaterial) CryptoPrimitives 

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

func (*RsaGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *RsaGenerateAndWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, paddingScheme m_AwsCryptographyPrimitivesTypes.RSAPaddingMode, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RsaGenerateAndWrapKeyMaterial) Equals 

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

func (*RsaGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*RsaGenerateAndWrapKeyMaterial) Invoke 

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

func (*RsaGenerateAndWrapKeyMaterial) PaddingScheme 

func (_this *RsaGenerateAndWrapKeyMaterial) PaddingScheme() m_AwsCryptographyPrimitivesTypes.RSAPaddingMode

func (*RsaGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*RsaGenerateAndWrapKeyMaterial) PublicKey 

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

func (*RsaGenerateAndWrapKeyMaterial) String 

func (*RsaGenerateAndWrapKeyMaterial) String() string

type RsaUnwrapInfo 

type RsaUnwrapInfo struct {
	Data_RsaUnwrapInfo_
}

Definition of datatype RsaUnwrapInfo

func (RsaUnwrapInfo) Equals 

func (_this RsaUnwrapInfo) Equals(other RsaUnwrapInfo) bool

func (RsaUnwrapInfo) EqualsGeneric 

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

func (RsaUnwrapInfo) Get_ 

func (_this RsaUnwrapInfo) Get_() Data_RsaUnwrapInfo_

func (RsaUnwrapInfo) Is_RsaUnwrapInfo 

func (_this RsaUnwrapInfo) Is_RsaUnwrapInfo() bool

func (RsaUnwrapInfo) ParentTraits_ 

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

func (RsaUnwrapInfo) String 

func (_this RsaUnwrapInfo) String() string

type RsaUnwrapInfo_RsaUnwrapInfo 

type RsaUnwrapInfo_RsaUnwrapInfo struct {
}

type RsaUnwrapKeyMaterial 

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

Definition of class RsaUnwrapKeyMaterial

func New_RsaUnwrapKeyMaterial_ 

func New_RsaUnwrapKeyMaterial_() *RsaUnwrapKeyMaterial

func (*RsaUnwrapKeyMaterial) CryptoPrimitives 

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

func (*RsaUnwrapKeyMaterial) Ctor__ 

func (_this *RsaUnwrapKeyMaterial) Ctor__(privateKey _dafny.Sequence, paddingScheme m_AwsCryptographyPrimitivesTypes.RSAPaddingMode, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RsaUnwrapKeyMaterial) Equals 

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

func (*RsaUnwrapKeyMaterial) EqualsGeneric 

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

func (*RsaUnwrapKeyMaterial) Invoke 

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

func (*RsaUnwrapKeyMaterial) PaddingScheme 

func (_this *RsaUnwrapKeyMaterial) PaddingScheme() m_AwsCryptographyPrimitivesTypes.RSAPaddingMode

func (*RsaUnwrapKeyMaterial) ParentTraits_ 

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

func (*RsaUnwrapKeyMaterial) PrivateKey 

func (_this *RsaUnwrapKeyMaterial) PrivateKey() _dafny.Sequence

func (*RsaUnwrapKeyMaterial) String 

func (*RsaUnwrapKeyMaterial) String() string

type RsaWrapInfo 

type RsaWrapInfo struct {
	Data_RsaWrapInfo_
}

Definition of datatype RsaWrapInfo

func (RsaWrapInfo) Equals 

func (_this RsaWrapInfo) Equals(other RsaWrapInfo) bool

func (RsaWrapInfo) EqualsGeneric 

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

func (RsaWrapInfo) Get_ 

func (_this RsaWrapInfo) Get_() Data_RsaWrapInfo_

func (RsaWrapInfo) Is_RsaWrapInfo 

func (_this RsaWrapInfo) Is_RsaWrapInfo() bool

func (RsaWrapInfo) ParentTraits_ 

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

func (RsaWrapInfo) String 

func (_this RsaWrapInfo) String() string

type RsaWrapInfo_RsaWrapInfo 

type RsaWrapInfo_RsaWrapInfo struct {
}

type RsaWrapKeyMaterial 

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

Definition of class RsaWrapKeyMaterial

func New_RsaWrapKeyMaterial_ 

func New_RsaWrapKeyMaterial_() *RsaWrapKeyMaterial

func (*RsaWrapKeyMaterial) CryptoPrimitives 

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

func (*RsaWrapKeyMaterial) Ctor__ 

func (_this *RsaWrapKeyMaterial) Ctor__(publicKey _dafny.Sequence, paddingScheme m_AwsCryptographyPrimitivesTypes.RSAPaddingMode, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RsaWrapKeyMaterial) Equals 

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

func (*RsaWrapKeyMaterial) EqualsGeneric 

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

func (*RsaWrapKeyMaterial) Invoke 

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

func (*RsaWrapKeyMaterial) PaddingScheme 

func (_this *RsaWrapKeyMaterial) PaddingScheme() m_AwsCryptographyPrimitivesTypes.RSAPaddingMode

func (*RsaWrapKeyMaterial) ParentTraits_ 

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

func (*RsaWrapKeyMaterial) PublicKey 

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

func (*RsaWrapKeyMaterial) String 

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