RawAESKeyring

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_AesGenerateAndWrapKeyMaterial_ = CompanionStruct_AesGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_AesUnwrapInfo_ = CompanionStruct_AesUnwrapInfo_{}
View Source 
var Companion_AesUnwrapKeyMaterial_ = CompanionStruct_AesUnwrapKeyMaterial_{}
View Source 
var Companion_AesWrapInfo_ = CompanionStruct_AesWrapInfo_{}
View Source 
var Companion_AesWrapKeyMaterial_ = CompanionStruct_AesWrapKeyMaterial_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_RawAESKeyring_ = CompanionStruct_RawAESKeyring_{}

Functions

func Type_AesGenerateAndWrapKeyMaterial_ 

func Type_AesGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_AesUnwrapInfo_ 

func Type_AesUnwrapInfo_() _dafny.TypeDescriptor

func Type_AesUnwrapKeyMaterial_ 

func Type_AesUnwrapKeyMaterial_() _dafny.TypeDescriptor

func Type_AesWrapInfo_ 

func Type_AesWrapInfo_() _dafny.TypeDescriptor

func Type_AesWrapKeyMaterial_ 

func Type_AesWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_RawAESKeyring_ 

func Type_RawAESKeyring_() _dafny.TypeDescriptor

Types

type AesGenerateAndWrapKeyMaterial 

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

Definition of class AesGenerateAndWrapKeyMaterial

func New_AesGenerateAndWrapKeyMaterial_ 

func New_AesGenerateAndWrapKeyMaterial_() *AesGenerateAndWrapKeyMaterial

func (*AesGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *AesGenerateAndWrapKeyMaterial) Ctor__(wrap *AesWrapKeyMaterial)

func (*AesGenerateAndWrapKeyMaterial) Equals 

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

func (*AesGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*AesGenerateAndWrapKeyMaterial) Invoke 

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

func (*AesGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*AesGenerateAndWrapKeyMaterial) String 

func (*AesGenerateAndWrapKeyMaterial) String() string

func (*AesGenerateAndWrapKeyMaterial) Wrap 

func (_this *AesGenerateAndWrapKeyMaterial) Wrap() *AesWrapKeyMaterial

type AesUnwrapInfo 

type AesUnwrapInfo struct {
	Data_AesUnwrapInfo_
}

Definition of datatype AesUnwrapInfo

func (AesUnwrapInfo) Equals 

func (_this AesUnwrapInfo) Equals(other AesUnwrapInfo) bool

func (AesUnwrapInfo) EqualsGeneric 

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

func (AesUnwrapInfo) Get_ 

func (_this AesUnwrapInfo) Get_() Data_AesUnwrapInfo_

func (AesUnwrapInfo) Is_AesUnwrapInfo 

func (_this AesUnwrapInfo) Is_AesUnwrapInfo() bool

func (AesUnwrapInfo) ParentTraits_ 

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

func (AesUnwrapInfo) String 

func (_this AesUnwrapInfo) String() string

type AesUnwrapInfo_AesUnwrapInfo 

type AesUnwrapInfo_AesUnwrapInfo struct {
}

type AesUnwrapKeyMaterial 

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

Definition of class AesUnwrapKeyMaterial

func New_AesUnwrapKeyMaterial_ 

func New_AesUnwrapKeyMaterial_() *AesUnwrapKeyMaterial

func (*AesUnwrapKeyMaterial) CryptoPrimitives 

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

func (*AesUnwrapKeyMaterial) Ctor__ 

func (_this *AesUnwrapKeyMaterial) Ctor__(wrappingKey _dafny.Sequence, wrappingAlgorithm m_AwsCryptographyPrimitivesTypes.AES__GCM, iv _dafny.Sequence, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*AesUnwrapKeyMaterial) Equals 

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

func (*AesUnwrapKeyMaterial) EqualsGeneric 

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

func (*AesUnwrapKeyMaterial) Invoke 

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

func (*AesUnwrapKeyMaterial) Iv 

func (_this *AesUnwrapKeyMaterial) Iv() _dafny.Sequence

func (*AesUnwrapKeyMaterial) ParentTraits_ 

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

func (*AesUnwrapKeyMaterial) String 

func (*AesUnwrapKeyMaterial) String() string

func (*AesUnwrapKeyMaterial) WrappingAlgorithm 

func (_this *AesUnwrapKeyMaterial) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM

func (*AesUnwrapKeyMaterial) WrappingKey 

func (_this *AesUnwrapKeyMaterial) WrappingKey() _dafny.Sequence

type AesWrapInfo 

type AesWrapInfo struct {
	Data_AesWrapInfo_
}

Definition of datatype AesWrapInfo

func (AesWrapInfo) Dtor_iv 

func (_this AesWrapInfo) Dtor_iv() _dafny.Sequence

func (AesWrapInfo) Equals 

func (_this AesWrapInfo) Equals(other AesWrapInfo) bool

func (AesWrapInfo) EqualsGeneric 

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

func (AesWrapInfo) Get_ 

func (_this AesWrapInfo) Get_() Data_AesWrapInfo_

func (AesWrapInfo) Is_AesWrapInfo 

func (_this AesWrapInfo) Is_AesWrapInfo() bool

func (AesWrapInfo) ParentTraits_ 

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

func (AesWrapInfo) String 

func (_this AesWrapInfo) String() string

type AesWrapInfo_AesWrapInfo 

type AesWrapInfo_AesWrapInfo struct {
	Iv _dafny.Sequence
}

type AesWrapKeyMaterial 

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

Definition of class AesWrapKeyMaterial

func New_AesWrapKeyMaterial_ 

func New_AesWrapKeyMaterial_() *AesWrapKeyMaterial

func (*AesWrapKeyMaterial) CryptoPrimitives 

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

func (*AesWrapKeyMaterial) Ctor__ 

func (_this *AesWrapKeyMaterial) Ctor__(wrappingKey _dafny.Sequence, wrappingAlgorithm m_AwsCryptographyPrimitivesTypes.AES__GCM, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*AesWrapKeyMaterial) Equals 

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

func (*AesWrapKeyMaterial) EqualsGeneric 

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

func (*AesWrapKeyMaterial) Invoke 

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

func (*AesWrapKeyMaterial) ParentTraits_ 

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

func (*AesWrapKeyMaterial) String 

func (*AesWrapKeyMaterial) String() string

func (*AesWrapKeyMaterial) WrappingAlgorithm 

func (_this *AesWrapKeyMaterial) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM

func (*AesWrapKeyMaterial) WrappingKey 

func (_this *AesWrapKeyMaterial) WrappingKey() _dafny.Sequence

type CompanionStruct_AesGenerateAndWrapKeyMaterial_ 

type CompanionStruct_AesGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_AesUnwrapInfo_ 

type CompanionStruct_AesUnwrapInfo_ struct {
}

func (CompanionStruct_AesUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_AesUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_AesUnwrapInfo_) Create_AesUnwrapInfo_ 

func (CompanionStruct_AesUnwrapInfo_) Create_AesUnwrapInfo_() AesUnwrapInfo

func (CompanionStruct_AesUnwrapInfo_) Default 

func (CompanionStruct_AesUnwrapInfo_) Default() AesUnwrapInfo

type CompanionStruct_AesUnwrapKeyMaterial_ 

type CompanionStruct_AesUnwrapKeyMaterial_ struct {
}

type CompanionStruct_AesWrapInfo_ 

type CompanionStruct_AesWrapInfo_ struct {
}

func (CompanionStruct_AesWrapInfo_) Create_AesWrapInfo_ 

func (CompanionStruct_AesWrapInfo_) Create_AesWrapInfo_(Iv _dafny.Sequence) AesWrapInfo

func (CompanionStruct_AesWrapInfo_) Default 

func (CompanionStruct_AesWrapInfo_) Default() AesWrapInfo

type CompanionStruct_AesWrapKeyMaterial_ 

type CompanionStruct_AesWrapKeyMaterial_ struct {
}

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) AUTH__TAG__LEN__LEN 

func (_static *CompanionStruct_Default___) AUTH__TAG__LEN__LEN() _dafny.Int

func (*CompanionStruct_Default___) DeserializeEDKCiphertext 

func (_static *CompanionStruct_Default___) DeserializeEDKCiphertext(ciphertext _dafny.Sequence, tagLen _dafny.Int) m_AwsCryptographyPrimitivesTypes.AESEncryptOutput

func (*CompanionStruct_Default___) IV__LEN__LEN 

func (_static *CompanionStruct_Default___) IV__LEN__LEN() _dafny.Int

func (*CompanionStruct_Default___) SerializeEDKCiphertext 

func (_static *CompanionStruct_Default___) SerializeEDKCiphertext(encOutput m_AwsCryptographyPrimitivesTypes.AESEncryptOutput) _dafny.Sequence

type CompanionStruct_RawAESKeyring_ 

type CompanionStruct_RawAESKeyring_ struct {
}

type Data_AesUnwrapInfo_ 

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

type Data_AesWrapInfo_ 

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

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 RawAESKeyring 

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

Definition of class RawAESKeyring

func New_RawAESKeyring_ 

func New_RawAESKeyring_() *RawAESKeyring

func (*RawAESKeyring) CryptoPrimitives 

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

func (*RawAESKeyring) Ctor__ 

func (_this *RawAESKeyring) Ctor__(namespace _dafny.Sequence, name _dafny.Sequence, key _dafny.Sequence, wrappingAlgorithm m_AwsCryptographyPrimitivesTypes.AES__GCM, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RawAESKeyring) Equals 

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

func (*RawAESKeyring) EqualsGeneric 

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

func (*RawAESKeyring) GetIvFromProvInfo 

func (_this *RawAESKeyring) GetIvFromProvInfo(info _dafny.Sequence) _dafny.Sequence

func (*RawAESKeyring) KeyName 

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

func (*RawAESKeyring) KeyNamespace 

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

func (*RawAESKeyring) OnDecrypt 

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

func (*RawAESKeyring) OnDecrypt_k 

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

func (*RawAESKeyring) OnEncrypt 

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

func (*RawAESKeyring) OnEncrypt_k 

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

func (*RawAESKeyring) ParentTraits_ 

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

func (*RawAESKeyring) SerializeProviderInfo 

func (_this *RawAESKeyring) SerializeProviderInfo(iv _dafny.Sequence) _dafny.Sequence

func (*RawAESKeyring) ShouldDecryptEDK 

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

func (*RawAESKeyring) String 

func (*RawAESKeyring) String() string

func (*RawAESKeyring) ValidProviderInfo 

func (_this *RawAESKeyring) ValidProviderInfo(info _dafny.Sequence) bool

func (*RawAESKeyring) WrappingAlgorithm 

func (_this *RawAESKeyring) WrappingAlgorithm() m_AwsCryptographyPrimitivesTypes.AES__GCM

func (*RawAESKeyring) WrappingKey 

func (_this *RawAESKeyring) WrappingKey() _dafny.Sequence

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.