protected static final class CryptographicMaterialsCache.NativeWrapper extends java.lang.Object implements ICryptographicMaterialsCache
| Modifier and Type | Field and Description |
|---|---|
protected ICryptographicMaterialsCache |
_impl |
| Modifier and Type | Method and Description |
|---|---|
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry_k(DeleteCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
DeleteCacheEntry(DeleteCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry_k(GetCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<GetCacheEntryOutput,Error> |
GetCacheEntry(GetCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
PutCacheEntry_k(PutCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
PutCacheEntry(PutCacheEntryInput dafnyInput) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
UpdateUsageMetadata_k(UpdateUsageMetadataInput dafnyInput) |
Wrappers_Compile.Result<dafny.Tuple0,Error> |
UpdateUsageMetadata(UpdateUsageMetadataInput dafnyInput) |
protected final ICryptographicMaterialsCache _impl
public Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry(DeleteCacheEntryInput dafnyInput)
DeleteCacheEntry in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> DeleteCacheEntry_k(DeleteCacheEntryInput dafnyInput)
DeleteCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry(GetCacheEntryInput dafnyInput)
GetCacheEntry in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<GetCacheEntryOutput,Error> GetCacheEntry_k(GetCacheEntryInput dafnyInput)
GetCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry(PutCacheEntryInput dafnyInput)
PutCacheEntry in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> PutCacheEntry_k(PutCacheEntryInput dafnyInput)
PutCacheEntry_k in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata(UpdateUsageMetadataInput dafnyInput)
UpdateUsageMetadata in interface ICryptographicMaterialsCachepublic Wrappers_Compile.Result<dafny.Tuple0,Error> UpdateUsageMetadata_k(UpdateUsageMetadataInput dafnyInput)
UpdateUsageMetadata_k in interface ICryptographicMaterialsCache