public class StormTrackingCMC extends java.lang.Object implements ICryptographicMaterialsCache
| Constructor and Description |
|---|
StormTrackingCMC(StormTracker wrapped) |
| Modifier and Type | Method and Description |
|---|---|
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry_k(DeleteCacheEntryInput input) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry(DeleteCacheEntryInput input) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry_k(GetCacheEntryInput input) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry(GetCacheEntryInput input) |
Wrappers_Compile.Result<CacheState,Error> |
GetFromCacheInner(GetCacheEntryInput input) |
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 StormTrackingCMC(StormTracker wrapped)
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 Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry_k(PutCacheEntryInput input)
PutCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata_k(UpdateUsageMetadataInput input)
UpdateUsageMetadata_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<CacheState,Error> GetFromCacheInner(GetCacheEntryInput input)
public Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry_k(GetCacheEntryInput input)
GetCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry_k(DeleteCacheEntryInput input)
DeleteCacheEntry_k in interface ICryptographicMaterialsCachepublic java.lang.String toString()
toString in class java.lang.Object