StormTracker

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

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_CacheState_ = CompanionStruct_CacheState_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_StormTracker_ = CompanionStruct_StormTracker_{}

Functions

func Type_CacheState_ 

func Type_CacheState_() _dafny.TypeDescriptor

func Type_StormTracker_ 

func Type_StormTracker_() _dafny.TypeDescriptor

Types

type CacheState 

type CacheState struct {
	Data_CacheState_
}

Definition of datatype CacheState

func (CacheState) Dtor_data 

func (_this CacheState) Dtor_data() m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput

func (CacheState) Equals 

func (_this CacheState) Equals(other CacheState) bool

func (CacheState) EqualsGeneric 

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

func (CacheState) Get_ 

func (_this CacheState) Get_() Data_CacheState_

func (CacheState) Is_EmptyFetch 

func (_this CacheState) Is_EmptyFetch() bool

func (CacheState) Is_EmptyWait 

func (_this CacheState) Is_EmptyWait() bool

func (CacheState) Is_Full 

func (_this CacheState) Is_Full() bool

func (CacheState) ParentTraits_ 

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

func (CacheState) String 

func (_this CacheState) String() string

type CacheState_EmptyFetch 

type CacheState_EmptyFetch struct {
}

type CacheState_EmptyWait 

type CacheState_EmptyWait struct {
}

type CacheState_Full 

type CacheState_Full struct {
	Data m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput
}

type CompanionStruct_CacheState_ 

type CompanionStruct_CacheState_ struct {
}

func (CompanionStruct_CacheState_) Create_EmptyFetch_ 

func (CompanionStruct_CacheState_) Create_EmptyFetch_() CacheState

func (CompanionStruct_CacheState_) Create_EmptyWait_ 

func (CompanionStruct_CacheState_) Create_EmptyWait_() CacheState

func (CompanionStruct_CacheState_) Create_Full_ 

func (CompanionStruct_CacheState_) Create_Full_(Data m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput) CacheState

func (CompanionStruct_CacheState_) Default 

func (CompanionStruct_CacheState_) Default() CacheState

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) BadCacheMsg 

func (_static *CompanionStruct_Default___) BadCacheMsg(cache m_AwsCryptographyMaterialProvidersTypes.StormTrackingCache) _dafny.Sequence

func (*CompanionStruct_Default___) CheckSettings 

func (_static *CompanionStruct_Default___) CheckSettings(cache m_AwsCryptographyMaterialProvidersTypes.StormTrackingCache) m_Wrappers.Outcome

func (*CompanionStruct_Default___) ConsistentSettings 

func (_static *CompanionStruct_Default___) ConsistentSettings(cache m_AwsCryptographyMaterialProvidersTypes.StormTrackingCache) bool

func (*CompanionStruct_Default___) DefaultStorm 

func (_static *CompanionStruct_Default___) DefaultStorm() m_AwsCryptographyMaterialProvidersTypes.StormTrackingCache

func (*CompanionStruct_Default___) N 

func (_static *CompanionStruct_Default___) N(n int32) _dafny.Sequence

type CompanionStruct_StormTracker_ 

type CompanionStruct_StormTracker_ struct {
}

type Data_CacheState_ 

type Data_CacheState_ 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 StormTracker 

type StormTracker struct {
	Wrapped       *m_LocalCMC.LocalCMC
	InFlight      *m_DafnyLibraries.MutableMap
	GracePeriod   int64
	GraceInterval int64
	FanOut        int64
	InFlightTTL   int64
	LastPrune     int64
	SleepMilli    int64
}

Definition of class StormTracker

func New_StormTracker_ 

func New_StormTracker_() *StormTracker

func (*StormTracker) AddLong 

func (_this *StormTracker) AddLong(x int64, y int64) int64

func (*StormTracker) CheckInFlight 

func (_this *StormTracker) CheckInFlight(identifier _dafny.Sequence, result m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput, now int64) CacheState

func (*StormTracker) CheckNewEntry 

func (_this *StormTracker) CheckNewEntry(identifier _dafny.Sequence, now int64) CacheState

func (*StormTracker) Ctor__ 

func (_this *StormTracker) Ctor__(cache m_AwsCryptographyMaterialProvidersTypes.StormTrackingCache)

func (*StormTracker) DeleteCacheEntry 

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

func (*StormTracker) Equals 

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

func (*StormTracker) EqualsGeneric 

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

func (*StormTracker) FanOutReached 

func (_this *StormTracker) FanOutReached(now int64) bool

func (*StormTracker) GetCacheEntry 

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

func (*StormTracker) GetFromCache 

func (_this *StormTracker) GetFromCache(input m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) m_Wrappers.Result

func (*StormTracker) GetFromCacheWithTime 

func (_this *StormTracker) GetFromCacheWithTime(input m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput, now int64) m_Wrappers.Result

func (*StormTracker) GracePeriod_q 

func (_this *StormTracker) GracePeriod_q(result m_AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput, now int64) bool

func (*StormTracker) ParentTraits_ 

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

func (*StormTracker) PruneInFlight 

func (_this *StormTracker) PruneInFlight(now int64)

func (*StormTracker) PutCacheEntry 

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

func (*StormTracker) String 

func (*StormTracker) String() string

func (*StormTracker) UpdateUsageMetadata 

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

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.