software.amazon.cryptography.materialproviders

Class CryptographicMaterialsCache.NativeWrapper

java.lang.Object

software.amazon.cryptography.materialproviders.CryptographicMaterialsCache.NativeWrapper

All Implemented Interfaces:

ICryptographicMaterialsCache

Enclosing class:

CryptographicMaterialsCache

protected static final class CryptographicMaterialsCache.NativeWrapper
extends java.lang.Object
implements ICryptographicMaterialsCache

Field Summary

Fields

Modifier and Type	Field and Description
protected ICryptographicMaterialsCache	_impl

Method Summary

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)

Methods inherited from class java.lang.Object

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

Field Detail

_impl

protected final ICryptographicMaterialsCache _impl

Method Detail

DeleteCacheEntry

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

Specified by:

DeleteCacheEntry in interface ICryptographicMaterialsCache

DeleteCacheEntry_k

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

Specified by:

DeleteCacheEntry_k in interface ICryptographicMaterialsCache

GetCacheEntry

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

Specified by:

GetCacheEntry in interface ICryptographicMaterialsCache

GetCacheEntry_k

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

Specified by:

GetCacheEntry_k in interface ICryptographicMaterialsCache

PutCacheEntry

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

Specified by:

PutCacheEntry in interface ICryptographicMaterialsCache

PutCacheEntry_k

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

Specified by:

PutCacheEntry_k in interface ICryptographicMaterialsCache

UpdateUsageMetadata

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

Specified by:

UpdateUsageMetadata in interface ICryptographicMaterialsCache

UpdateUsageMetadata_k

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

Specified by:

UpdateUsageMetadata_k in interface ICryptographicMaterialsCache