software.amazon.cryptography.materialproviders.internaldafny.types

Interface ICryptographicMaterialsCache

All Known Implementing Classes:

CryptographicMaterialsCache.NativeWrapper, LocalCMC, StormTrackingCMC, SynchronizedLocalCMC

public interface ICryptographicMaterialsCache

Method Summary

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<dafny.Tuple0,Error>	PutCacheEntry_k(PutCacheEntryInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	PutCacheEntry(PutCacheEntryInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	UpdateUsageMetadata_k(UpdateUsageMetadataInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	UpdateUsageMetadata(UpdateUsageMetadataInput input)

Method Detail

PutCacheEntry

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

PutCacheEntry_k

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

UpdateUsageMetadata

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

UpdateUsageMetadata_k

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

GetCacheEntry

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

GetCacheEntry_k

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

DeleteCacheEntry

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

DeleteCacheEntry_k

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