software.amazon.cryptography.internaldafny.StormTrackingCMC

Class StormTrackingCMC

java.lang.Object

software.amazon.cryptography.internaldafny.StormTrackingCMC.StormTrackingCMC

All Implemented Interfaces:

ICryptographicMaterialsCache

public class StormTrackingCMC
extends java.lang.Object
implements ICryptographicMaterialsCache

Constructor Summary

Constructors

Constructor and Description
StormTrackingCMC(StormTracker wrapped)

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<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)

Methods inherited from class java.lang.Object

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

Constructor Detail

StormTrackingCMC

public StormTrackingCMC(StormTracker wrapped)

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

PutCacheEntry_k

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

Specified by:

PutCacheEntry_k in interface ICryptographicMaterialsCache

UpdateUsageMetadata_k

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

Specified by:

UpdateUsageMetadata_k in interface ICryptographicMaterialsCache

GetFromCacheInner

public Wrappers_Compile.Result<CacheState,Error> GetFromCacheInner(GetCacheEntryInput input)

GetCacheEntry_k

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

Specified by:

GetCacheEntry_k in interface ICryptographicMaterialsCache

DeleteCacheEntry_k

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

Specified by:

DeleteCacheEntry_k in interface ICryptographicMaterialsCache

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object