SerializableTypes

package
v0.2.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Mar 21, 2025 License: Apache-2.0 Imports: 110 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_ESDKEncryptedDataKey_ = CompanionStruct_ESDKEncryptedDataKey_{}
View Source 
var Companion_ESDKEncryptionContext_ = CompanionStruct_ESDKEncryptionContext_{}
View Source 
var Companion_Pair_ = CompanionStruct_Pair_{}
View Source 
var Companion_ShortUTF8Seq_ = CompanionStruct_ShortUTF8Seq_{}

Functions

func Type_ESDKEncryptedDataKey_ 

func Type_ESDKEncryptedDataKey_() _dafny.TypeDescriptor

func Type_ESDKEncryptionContext_ 

func Type_ESDKEncryptionContext_() _dafny.TypeDescriptor

func Type_Pair_ 

func Type_Pair_(Type_K_ _dafny.TypeDescriptor, Type_V_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_ShortUTF8Seq_ 

func Type_ShortUTF8Seq_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ESDK__CANONICAL__ENCRYPTION__CONTEXT__MAX__LENGTH 

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

func (*CompanionStruct_Default___) GetCanonicalLinearPairs 

func (_static *CompanionStruct_Default___) GetCanonicalLinearPairs(encryptionContext _dafny.Map) _dafny.Sequence

func (*CompanionStruct_Default___) GetEncryptKeyLength 

func (_static *CompanionStruct_Default___) GetEncryptKeyLength(a m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) int32

func (*CompanionStruct_Default___) GetIvLength 

func (_static *CompanionStruct_Default___) GetIvLength(a m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) uint8

func (*CompanionStruct_Default___) GetTagLength 

func (_static *CompanionStruct_Default___) GetTagLength(a m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) uint8

func (*CompanionStruct_Default___) IsESDKEncryptedDataKey 

func (_static *CompanionStruct_Default___) IsESDKEncryptedDataKey(edk m_AwsCryptographyMaterialProvidersTypes.EncryptedDataKey) bool

func (*CompanionStruct_Default___) IsESDKEncryptionContext 

func (_static *CompanionStruct_Default___) IsESDKEncryptionContext(ec _dafny.Map) bool

func (*CompanionStruct_Default___) Length 

func (_static *CompanionStruct_Default___) Length(encryptionContext _dafny.Map) _dafny.Int

func (*CompanionStruct_Default___) LinearLength 

func (_static *CompanionStruct_Default___) LinearLength(pairs _dafny.Sequence) _dafny.Int

func (*CompanionStruct_Default___) PairLength 

func (_static *CompanionStruct_Default___) PairLength(pair Pair) _dafny.Int

type CompanionStruct_ESDKEncryptedDataKey_ 

type CompanionStruct_ESDKEncryptedDataKey_ struct {
}

func (*CompanionStruct_ESDKEncryptedDataKey_) Is_ 

func (_this *CompanionStruct_ESDKEncryptedDataKey_) Is_(__source m_AwsCryptographyMaterialProvidersTypes.EncryptedDataKey) bool

type CompanionStruct_ESDKEncryptionContext_ 

type CompanionStruct_ESDKEncryptionContext_ struct {
}

func (*CompanionStruct_ESDKEncryptionContext_) Is_ 

func (_this *CompanionStruct_ESDKEncryptionContext_) Is_(__source _dafny.Map) bool

type CompanionStruct_Pair_ 

type CompanionStruct_Pair_ struct {
}

func (CompanionStruct_Pair_) Create_Pair_ 

func (CompanionStruct_Pair_) Create_Pair_(Key interface{}, Value interface{}) Pair

func (CompanionStruct_Pair_) Default 

func (CompanionStruct_Pair_) Default(_default_K interface{}, _default_V interface{}) Pair

type CompanionStruct_ShortUTF8Seq_ 

type CompanionStruct_ShortUTF8Seq_ struct {
}

func (*CompanionStruct_ShortUTF8Seq_) Is_ 

func (_this *CompanionStruct_ShortUTF8Seq_) Is_(__source _dafny.Sequence) bool

type Data_Pair_ 

type Data_Pair_ 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 ESDKEncryptedDataKey 

type ESDKEncryptedDataKey struct {
}

Definition of class ESDKEncryptedDataKey

func New_ESDKEncryptedDataKey_ 

func New_ESDKEncryptedDataKey_() *ESDKEncryptedDataKey

func (*ESDKEncryptedDataKey) String 

func (*ESDKEncryptedDataKey) String() string

type ESDKEncryptionContext 

type ESDKEncryptionContext struct {
}

Definition of class ESDKEncryptionContext

func New_ESDKEncryptionContext_ 

func New_ESDKEncryptionContext_() *ESDKEncryptionContext

func (*ESDKEncryptionContext) String 

func (*ESDKEncryptionContext) String() string

type Pair 

type Pair struct {
	Data_Pair_
}

Definition of datatype Pair

func (Pair) Dtor_key 

func (_this Pair) Dtor_key() interface{}

func (Pair) Dtor_value 

func (_this Pair) Dtor_value() interface{}

func (Pair) Equals 

func (_this Pair) Equals(other Pair) bool

func (Pair) EqualsGeneric 

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

func (Pair) Get_ 

func (_this Pair) Get_() Data_Pair_

func (Pair) Is_Pair 

func (_this Pair) Is_Pair() bool

func (Pair) ParentTraits_ 

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

func (Pair) String 

func (_this Pair) String() string

type Pair_Pair 

type Pair_Pair struct {
	Key   interface{}
	Value interface{}
}

type ShortUTF8Seq 

type ShortUTF8Seq struct {
}

Definition of class ShortUTF8Seq

func New_ShortUTF8Seq_ 

func New_ShortUTF8Seq_() *ShortUTF8Seq

func (*ShortUTF8Seq) String 

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