StormTracker_Compile

Class StormTracker

java.lang.Object

StormTracker_Compile.StormTracker

public class StormTracker
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
long	fanOut
long	graceInterval
long	gracePeriod
DafnyLibraries.MutableMap<dafny.DafnySequence<? extends java.lang.Byte>,java.lang.Long>	inFlight
long	inFlightTTL
long	lastPrune
long	sleepMilli
LocalCMC	wrapped

Constructor Summary

Constructors

Constructor and Description
StormTracker()

Method Summary

Modifier and Type	Method and Description
void	__ctor(StormTrackingCache cache)
static dafny.TypeDescriptor<StormTracker>	_typeDescriptor()
long	AddLong(long x, long y)
CacheState	CheckInFlight(dafny.DafnySequence<? extends java.lang.Byte> identifier, GetCacheEntryOutput result, long now)
CacheState	CheckNewEntry(dafny.DafnySequence<? extends java.lang.Byte> identifier, long now)
Wrappers_Compile.Result<dafny.Tuple0,Error>	DeleteCacheEntry(DeleteCacheEntryInput input)
boolean	FanOutReached(long now)
Wrappers_Compile.Result<GetCacheEntryOutput,Error>	GetCacheEntry(GetCacheEntryInput input)
Wrappers_Compile.Result<CacheState,Error>	GetFromCache(GetCacheEntryInput input)
Wrappers_Compile.Result<CacheState,Error>	GetFromCacheWithTime(GetCacheEntryInput input, long now)
long	InFlightSize()
void	PruneInFlight(long now)
Wrappers_Compile.Result<dafny.Tuple0,Error>	PutCacheEntry(PutCacheEntryInput input)
java.lang.String	toString()
Wrappers_Compile.Result<dafny.Tuple0,Error>	UpdateUsageMetadata(UpdateUsageMetadataInput input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

wrapped

public LocalCMC wrapped

inFlight

public DafnyLibraries.MutableMap<dafny.DafnySequence<? extends java.lang.Byte>,java.lang.Long> inFlight

gracePeriod

public long gracePeriod

graceInterval

public long graceInterval

fanOut

public long fanOut

inFlightTTL

public long inFlightTTL

lastPrune

public long lastPrune

sleepMilli

public long sleepMilli

Constructor Detail

StormTracker

public StormTracker()

Method Detail

__ctor

public void __ctor(StormTrackingCache cache)

InFlightSize

public long InFlightSize()

FanOutReached

public boolean FanOutReached(long now)

AddLong

public long AddLong(long x,
                    long y)

CheckInFlight

public CacheState CheckInFlight(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                GetCacheEntryOutput result,
                                long now)

PruneInFlight

public void PruneInFlight(long now)

CheckNewEntry

public CacheState CheckNewEntry(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                long now)

GetFromCacheWithTime

public Wrappers_Compile.Result<CacheState,Error> GetFromCacheWithTime(GetCacheEntryInput input,
                                                                      long now)

GetFromCache

public Wrappers_Compile.Result<CacheState,Error> GetFromCache(GetCacheEntryInput input)

GetCacheEntry

public Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry(GetCacheEntryInput input)

PutCacheEntry

public Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry(PutCacheEntryInput input)

DeleteCacheEntry

public Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry(DeleteCacheEntryInput input)

UpdateUsageMetadata

public Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata(UpdateUsageMetadataInput input)

_typeDescriptor

public static dafny.TypeDescriptor<StormTracker> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object