public class DecryptSingleEncryptedDataKey extends java.lang.Object implements Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>, Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Character> |
_branchKeyId |
ICryptographicMaterialsCache |
_cache |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
_cryptoPrimitives |
IKeyStoreClient |
_keyStore |
DecryptionMaterials |
_materials |
long |
_ttlSeconds |
| Constructor and Description |
|---|
DecryptSingleEncryptedDataKey() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(DecryptionMaterials materials,
IKeyStoreClient keyStore,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives,
dafny.DafnySequence<? extends java.lang.Character> branchKeyId,
long ttlSeconds,
ICryptographicMaterialsCache cache) |
static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> |
_typeDescriptor() |
dafny.DafnySequence<? extends java.lang.Character> |
branchKeyId() |
ICryptographicMaterialsCache |
cache() |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
cryptoPrimitives() |
Wrappers_Compile.Result<BranchKeyMaterials,Error> |
GetHierarchicalMaterialsVersion(dafny.DafnySequence<? extends java.lang.Character> branchKeyId,
dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8,
dafny.DafnySequence<? extends java.lang.Character> version,
dafny.DafnySequence<? extends java.lang.Byte> cacheId) |
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> |
GetVersionCacheId(dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8,
dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives) |
Wrappers_Compile.Result<DecryptionMaterials,Error> |
Invoke(EncryptedDataKey edk) |
IKeyStoreClient |
keyStore() |
DecryptionMaterials |
materials() |
java.lang.String |
toString() |
long |
ttlSeconds() |
public DecryptionMaterials _materials
public IKeyStoreClient _keyStore
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public dafny.DafnySequence<? extends java.lang.Character> _branchKeyId
public long _ttlSeconds
public ICryptographicMaterialsCache _cache
public void __ctor(DecryptionMaterials materials, IKeyStoreClient keyStore, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives, dafny.DafnySequence<? extends java.lang.Character> branchKeyId, long ttlSeconds, ICryptographicMaterialsCache cache)
public Wrappers_Compile.Result<DecryptionMaterials,Error> Invoke(EncryptedDataKey edk)
Invoke in interface Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> GetVersionCacheId(dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8, dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
public Wrappers_Compile.Result<BranchKeyMaterials,Error> GetHierarchicalMaterialsVersion(dafny.DafnySequence<? extends java.lang.Character> branchKeyId, dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8, dafny.DafnySequence<? extends java.lang.Character> version, dafny.DafnySequence<? extends java.lang.Byte> cacheId)
public DecryptionMaterials materials()
public IKeyStoreClient keyStore()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public dafny.DafnySequence<? extends java.lang.Character> branchKeyId()
public long ttlSeconds()
public ICryptographicMaterialsCache cache()
public static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object