LocalCMC_Compile

Class LocalCMC

java.lang.Object

LocalCMC_Compile.LocalCMC

All Implemented Interfaces:

ICryptographicMaterialsCache

public class LocalCMC
extends java.lang.Object
implements ICryptographicMaterialsCache

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
LocalCMC()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

queue

public DoublyLinkedCacheEntryList queue

cache

public DafnyLibraries.MutableMap<dafny.DafnySequence<? extends java.lang.Byte>,CacheEntry> cache

_entryCapacity

public java.math.BigInteger _entryCapacity

_entryPruningTailSize

public java.math.BigInteger _entryPruningTailSize

Constructor Detail

LocalCMC

public LocalCMC()

Method Detail

PutCacheEntry

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

Specified by:

PutCacheEntry in interface ICryptographicMaterialsCache

UpdateUsageMetadata

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

Specified by:

UpdateUsageMetadata in interface ICryptographicMaterialsCache

GetCacheEntry

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

Specified by:

GetCacheEntry in interface ICryptographicMaterialsCache

DeleteCacheEntry

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

Specified by:

DeleteCacheEntry in interface ICryptographicMaterialsCache

__ctor

public void __ctor(java.math.BigInteger entryCapacity_k,
                   java.math.BigInteger entryPruningTailSize_k)

GetCacheEntry_k

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

Specified by:

GetCacheEntry_k in interface ICryptographicMaterialsCache

GetCacheEntryWithTime

public Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntryWithTime(GetCacheEntryInput input,
                                                                                long now)

PutCacheEntry_k

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

Specified by:

PutCacheEntry_k in interface ICryptographicMaterialsCache

DeleteCacheEntry_k

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

Specified by:

DeleteCacheEntry_k in interface ICryptographicMaterialsCache

UpdateUsageMetadata_k

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

Specified by:

UpdateUsageMetadata_k in interface ICryptographicMaterialsCache

pruning

public Wrappers_Compile.Result<dafny.Tuple0,Error> pruning(long now)

entryCapacity

public java.math.BigInteger entryCapacity()

entryPruningTailSize

public java.math.BigInteger entryPruningTailSize()

_typeDescriptor

public static dafny.TypeDescriptor<LocalCMC> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object