LocalCMC

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_CacheEntry_ = CompanionStruct_CacheEntry_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_DoublyLinkedCacheEntryList_ = CompanionStruct_DoublyLinkedCacheEntryList_{}
View Source 
var Companion_LocalCMC_ = CompanionStruct_LocalCMC_{}
View Source 
var Companion_Ref_ = CompanionStruct_Ref_{}

Functions

func Type_CacheEntry_ 

func Type_CacheEntry_() _dafny.TypeDescriptor

func Type_DoublyLinkedCacheEntryList_ 

func Type_DoublyLinkedCacheEntryList_() _dafny.TypeDescriptor

func Type_LocalCMC_ 

func Type_LocalCMC_() _dafny.TypeDescriptor

func Type_Ref_ 

func Type_Ref_() _dafny.TypeDescriptor

Types

type CacheEntry 

type CacheEntry struct {
	Prev         Ref
	Next         Ref
	MessagesUsed int32
	BytesUsed    int32
	// contains filtered or unexported fields
}

Definition of class CacheEntry

func New_CacheEntry_ 

func New_CacheEntry_() *CacheEntry

func (*CacheEntry) CreationTime 

func (_this *CacheEntry) CreationTime() int64

func (*CacheEntry) Ctor__ 

func (_this *CacheEntry) Ctor__(materials_k m_AwsCryptographyMaterialProvidersTypes.Materials, identifier_k _dafny.Sequence, creationTime_k int64, expiryTime_k int64, messagesUsed_k int32, bytesUsed_k int32)

func (*CacheEntry) Equals 

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

func (*CacheEntry) EqualsGeneric 

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

func (*CacheEntry) ExpiryTime 

func (_this *CacheEntry) ExpiryTime() int64

func (*CacheEntry) Identifier 

func (_this *CacheEntry) Identifier() _dafny.Sequence

func (*CacheEntry) Materials 

func (_this *CacheEntry) Materials() m_AwsCryptographyMaterialProvidersTypes.Materials

func (*CacheEntry) ParentTraits_ 

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

func (*CacheEntry) String 

func (*CacheEntry) String() string

type CompanionStruct_CacheEntry_ 

type CompanionStruct_CacheEntry_ struct {
}

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) INT32__MAX__VALUE 

func (_static *CompanionStruct_Default___) INT32__MAX__VALUE() int32

func (*CompanionStruct_Default___) INT64__MAX__VALUE 

func (_static *CompanionStruct_Default___) INT64__MAX__VALUE() int64

func (*CompanionStruct_Default___) NULL 

func (_static *CompanionStruct_Default___) NULL() Ref

func (*CompanionStruct_Default___) RemoveValue 

func (_static *CompanionStruct_Default___) RemoveValue(k0 interface{}, m _dafny.Map)

type CompanionStruct_DoublyLinkedCacheEntryList_ 

type CompanionStruct_DoublyLinkedCacheEntryList_ struct {
}

type CompanionStruct_LocalCMC_ 

type CompanionStruct_LocalCMC_ struct {
}

type CompanionStruct_Ref_ 

type CompanionStruct_Ref_ struct {
}

func (CompanionStruct_Ref_) Create_Null_ 

func (CompanionStruct_Ref_) Create_Null_() Ref

func (CompanionStruct_Ref_) Create_Ptr_ 

func (CompanionStruct_Ref_) Create_Ptr_(Deref interface{}) Ref

func (CompanionStruct_Ref_) Default 

func (CompanionStruct_Ref_) Default() Ref

type Data_Ref_ 

type Data_Ref_ 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 DoublyLinkedCacheEntryList 

type DoublyLinkedCacheEntryList struct {
	Head Ref
	Tail Ref
}

Definition of class DoublyLinkedCacheEntryList

func New_DoublyLinkedCacheEntryList_ 

func New_DoublyLinkedCacheEntryList_() *DoublyLinkedCacheEntryList

func (*DoublyLinkedCacheEntryList) Ctor__ 

func (_this *DoublyLinkedCacheEntryList) Ctor__()

func (*DoublyLinkedCacheEntryList) Equals 

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

func (*DoublyLinkedCacheEntryList) EqualsGeneric 

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

func (*DoublyLinkedCacheEntryList) MoveToFront 

func (_this *DoublyLinkedCacheEntryList) MoveToFront(c *CacheEntry)

func (*DoublyLinkedCacheEntryList) ParentTraits_ 

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

func (*DoublyLinkedCacheEntryList) PushCell 

func (_this *DoublyLinkedCacheEntryList) PushCell(toPush *CacheEntry)

func (*DoublyLinkedCacheEntryList) Remove 

func (_this *DoublyLinkedCacheEntryList) Remove(toRemove *CacheEntry)

func (*DoublyLinkedCacheEntryList) String 

func (*DoublyLinkedCacheEntryList) String() string

type Dummy__ 

type Dummy__ struct{}

type LocalCMC 

type LocalCMC struct {
	Queue *DoublyLinkedCacheEntryList
	Cache *m_DafnyLibraries.MutableMap
	// contains filtered or unexported fields
}

Definition of class LocalCMC

func New_LocalCMC_ 

func New_LocalCMC_() *LocalCMC

func (*LocalCMC) Ctor__ 

func (_this *LocalCMC) Ctor__(entryCapacity_k _dafny.Int, entryPruningTailSize_k _dafny.Int)

func (*LocalCMC) DeleteCacheEntry 

func (_this *LocalCMC) DeleteCacheEntry(input m_AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) DeleteCacheEntry_k 

func (_this *LocalCMC) DeleteCacheEntry_k(input m_AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) EntryCapacity 

func (_this *LocalCMC) EntryCapacity() _dafny.Int

func (*LocalCMC) EntryPruningTailSize 

func (_this *LocalCMC) EntryPruningTailSize() _dafny.Int

func (*LocalCMC) Equals 

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

func (*LocalCMC) EqualsGeneric 

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

func (*LocalCMC) GetCacheEntry 

func (_this *LocalCMC) GetCacheEntry(input m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) GetCacheEntryWithTime 

func (_this *LocalCMC) GetCacheEntryWithTime(input m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput, now int64) m_Wrappers.Result

func (*LocalCMC) GetCacheEntry_k 

func (_this *LocalCMC) GetCacheEntry_k(input m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) ParentTraits_ 

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

func (*LocalCMC) Pruning 

func (_this *LocalCMC) Pruning(now int64) m_Wrappers.Result

func (*LocalCMC) PutCacheEntry 

func (_this *LocalCMC) PutCacheEntry(input m_AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) PutCacheEntry_k 

func (_this *LocalCMC) PutCacheEntry_k(input m_AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) m_Wrappers.Result

func (*LocalCMC) String 

func (*LocalCMC) String() string

func (*LocalCMC) UpdateUsageMetadata 

func (_this *LocalCMC) UpdateUsageMetadata(input m_AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) m_Wrappers.Result

func (*LocalCMC) UpdateUsageMetadata_k 

func (_this *LocalCMC) UpdateUsageMetadata_k(input m_AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) m_Wrappers.Result

type Ref 

type Ref struct {
	Data_Ref_
}

Definition of datatype Ref

func (Ref) Dtor_deref 

func (_this Ref) Dtor_deref() interface{}

func (Ref) Equals 

func (_this Ref) Equals(other Ref) bool

func (Ref) EqualsGeneric 

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

func (Ref) Get_ 

func (_this Ref) Get_() Data_Ref_

func (Ref) Is_Null 

func (_this Ref) Is_Null() bool

func (Ref) Is_Ptr 

func (_this Ref) Is_Ptr() bool

func (Ref) ParentTraits_ 

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

func (Ref) String 

func (_this Ref) String() string

type Ref_Null 

type Ref_Null struct {
}

type Ref_Ptr 

type Ref_Ptr struct {
	Deref interface{}
}

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.