AwsKmsHierarchicalKeyring_Compile

Class DecryptSingleEncryptedDataKey

java.lang.Object

AwsKmsHierarchicalKeyring_Compile.DecryptSingleEncryptedDataKey

All Implemented Interfaces:

Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>, Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>

public class DecryptSingleEncryptedDataKey
extends java.lang.Object
implements Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>, Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
DecryptSingleEncryptedDataKey()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

_materials

public DecryptionMaterials _materials

_keyStore

public IKeyStoreClient _keyStore

_cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives

_branchKeyId

public dafny.DafnySequence<? extends java.lang.Character> _branchKeyId

_ttlSeconds

public long _ttlSeconds

_cache

public ICryptographicMaterialsCache _cache

Constructor Detail

DecryptSingleEncryptedDataKey

public DecryptSingleEncryptedDataKey()

Method Detail

__ctor

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)

Invoke

public Wrappers_Compile.Result<DecryptionMaterials,Error> Invoke(EncryptedDataKey edk)

Specified by:

Invoke in interface Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>

GetVersionCacheId

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)

GetHierarchicalMaterialsVersion

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)

materials

public DecryptionMaterials materials()

keyStore

public IKeyStoreClient keyStore()

cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()

branchKeyId

public dafny.DafnySequence<? extends java.lang.Character> branchKeyId()

ttlSeconds

public long ttlSeconds()

cache

public ICryptographicMaterialsCache cache()

_typeDescriptor

public static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object