AwsKmsHierarchicalKeyring_Compile

Class AwsKmsHierarchicalKeyring

java.lang.Object

AwsKmsHierarchicalKeyring_Compile.AwsKmsHierarchicalKeyring

All Implemented Interfaces:

VerifiableInterface, IKeyring

public class AwsKmsHierarchicalKeyring
extends java.lang.Object
implements VerifiableInterface, IKeyring

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_branchKeyId
Wrappers_Compile.Option<IBranchKeyIdSupplier>	_branchKeyIdSupplier
ICryptographicMaterialsCache	_cache
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
IKeyStoreClient	_keyStore
long	_ttlSeconds

Constructor Summary

Constructors

Constructor and Description
AwsKmsHierarchicalKeyring()

Method Summary

Modifier and Type	Method and Description
void	__ctor(IKeyStoreClient keyStore, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId, Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier, long ttlSeconds, ICryptographicMaterialsCache cmc, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static dafny.TypeDescriptor<AwsKmsHierarchicalKeyring>	_typeDescriptor()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	branchKeyId()
Wrappers_Compile.Option<IBranchKeyIdSupplier>	branchKeyIdSupplier()
ICryptographicMaterialsCache	cache()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	GetActiveCacheId(dafny.DafnySequence<? extends java.lang.Character> branchKeyId, dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
Wrappers_Compile.Result<BranchKeyMaterials,Error>	GetActiveHierarchicalMaterials(dafny.DafnySequence<? extends java.lang.Character> branchKeyId, dafny.DafnySequence<? extends java.lang.Byte> cacheId, IKeyStoreClient keyStore)
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error>	GetBranchKeyId(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> context)
IKeyStoreClient	keyStore()
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt_k(OnDecryptInput input)
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt(OnDecryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt_k(OnEncryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt(OnEncryptInput input)
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

_keyStore

public IKeyStoreClient _keyStore

_cryptoPrimitives

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

_branchKeyIdSupplier

public Wrappers_Compile.Option<IBranchKeyIdSupplier> _branchKeyIdSupplier

_branchKeyId

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

_ttlSeconds

public long _ttlSeconds

_cache

public ICryptographicMaterialsCache _cache

Constructor Detail

AwsKmsHierarchicalKeyring

public AwsKmsHierarchicalKeyring()

Method Detail

OnEncrypt

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)

Specified by:

OnEncrypt in interface IKeyring

OnDecrypt

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)

Specified by:

OnDecrypt in interface IKeyring

__ctor

public void __ctor(IKeyStoreClient keyStore,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> branchKeyId,
                   Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier,
                   long ttlSeconds,
                   ICryptographicMaterialsCache cmc,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

GetBranchKeyId

public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> GetBranchKeyId(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> context)

OnEncrypt_k

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)

Specified by:

OnEncrypt_k in interface IKeyring

OnDecrypt_k

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)

Specified by:

OnDecrypt_k in interface IKeyring

GetActiveCacheId

public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> GetActiveCacheId(dafny.DafnySequence<? extends java.lang.Character> branchKeyId,
                                                                                                     dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8,
                                                                                                     software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

GetActiveHierarchicalMaterials

public Wrappers_Compile.Result<BranchKeyMaterials,Error> GetActiveHierarchicalMaterials(dafny.DafnySequence<? extends java.lang.Character> branchKeyId,
                                                                                        dafny.DafnySequence<? extends java.lang.Byte> cacheId,
                                                                                        IKeyStoreClient keyStore)

keyStore

public IKeyStoreClient keyStore()

cryptoPrimitives

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

branchKeyIdSupplier

public Wrappers_Compile.Option<IBranchKeyIdSupplier> branchKeyIdSupplier()

branchKeyId

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

ttlSeconds

public long ttlSeconds()

cache

public ICryptographicMaterialsCache cache()

_typeDescriptor

public static dafny.TypeDescriptor<AwsKmsHierarchicalKeyring> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object