public class LocalCMC extends java.lang.Object implements ICryptographicMaterialsCache
| Modifier and Type | Field and Description |
|---|---|
java.math.BigInteger |
_entryCapacity |
java.math.BigInteger |
_entryPruningTailSize |
DafnyLibraries.MutableMap<dafny.DafnySequence<? extends java.lang.Byte>,CacheEntry> |
cache |
DoublyLinkedCacheEntryList |
queue |
| Constructor and Description |
|---|
LocalCMC() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(java.math.BigInteger entryCapacity_k,
java.math.BigInteger entryPruningTailSize_k) |
static dafny.TypeDescriptor<LocalCMC> |
_typeDescriptor() |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry_k(DeleteCacheEntryInput input) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry(DeleteCacheEntryInput input) |
java.math.BigInteger |
entryCapacity() |
java.math.BigInteger |
entryPruningTailSize() |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry_k(GetCacheEntryInput input) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry(GetCacheEntryInput input) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntryWithTime(GetCacheEntryInput input,
long now) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
pruning(long now) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
PutCacheEntry_k(PutCacheEntryInput input) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
PutCacheEntry(PutCacheEntryInput input) |
java.lang.String |
toString() |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
UpdateUsageMetadata_k(UpdateUsageMetadataInput input) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
UpdateUsageMetadata(UpdateUsageMetadataInput input) |
public DoublyLinkedCacheEntryList queue
public DafnyLibraries.MutableMap<dafny.DafnySequence<? extends java.lang.Byte>,CacheEntry> cache
public java.math.BigInteger _entryCapacity
public java.math.BigInteger _entryPruningTailSize
public Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry(PutCacheEntryInput input)
PutCacheEntry in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata(UpdateUsageMetadataInput input)
UpdateUsageMetadata in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry(GetCacheEntryInput input)
GetCacheEntry in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry(DeleteCacheEntryInput input)
DeleteCacheEntry in interface ICryptographicMaterialsCachepublic void __ctor(java.math.BigInteger entryCapacity_k,
java.math.BigInteger entryPruningTailSize_k)
public Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry_k(GetCacheEntryInput input)
GetCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntryWithTime(GetCacheEntryInput input, long now)
public Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry_k(PutCacheEntryInput input)
PutCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry_k(DeleteCacheEntryInput input)
DeleteCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata_k(UpdateUsageMetadataInput input)
UpdateUsageMetadata_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> pruning(long now)
public java.math.BigInteger entryCapacity()
public java.math.BigInteger entryPruningTailSize()
public static dafny.TypeDescriptor<LocalCMC> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object