SearchableEncryptionInfo_Compile

Class KeySource

java.lang.Object

SearchableEncryptionInfo_Compile.KeySource

public class KeySource
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache	_cache
int	_cacheTTL
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_client
KeyLocation	_keyLoc
software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient	_store

Constructor Summary

Constructors

Constructor and Description
KeySource(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store, KeyLocation keyLoc, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache, int cacheTTL)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<KeySource>	_typeDescriptor()
static KeySource	create_KeySource(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store, KeyLocation keyLoc, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache, int cacheTTL)
static KeySource	create(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store, KeyLocation keyLoc, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache, int cacheTTL)
static KeySource	Default()
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache	dtor_cache()
int	dtor_cacheTTL()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	dtor_client()
KeyLocation	dtor_keyLoc()
software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient	dtor_store()
boolean	equals(java.lang.Object other)
Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error>	getAllKeys(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames, dafny.DafnySequence<? extends java.lang.Byte> key)
Wrappers_Compile.Result<MaybeKeyMap,Error>	getKeyMap(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames, MaybeKeyId keyId)
Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error>	getKeysCache(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames, dafny.DafnySequence<? extends java.lang.Character> keyId)
Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error>	getKeysLiteral()
int	hashCode()
boolean	is_KeySource()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_client

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

_store

public software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient _store

_keyLoc

public KeyLocation _keyLoc

_cache

public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache _cache

_cacheTTL

public int _cacheTTL

Constructor Detail

KeySource

public KeySource(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                 software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store,
                 KeyLocation keyLoc,
                 software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache,
                 int cacheTTL)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static KeySource Default()

_typeDescriptor

public static dafny.TypeDescriptor<KeySource> _typeDescriptor()

create

public static KeySource create(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                               software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store,
                               KeyLocation keyLoc,
                               software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache,
                               int cacheTTL)

create_KeySource

public static KeySource create_KeySource(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                         software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient store,
                                         KeyLocation keyLoc,
                                         software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache cache,
                                         int cacheTTL)

is_KeySource

public boolean is_KeySource()

dtor_client

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

dtor_store

public software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient dtor_store()

dtor_keyLoc

public KeyLocation dtor_keyLoc()

dtor_cache

public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache dtor_cache()

dtor_cacheTTL

public int dtor_cacheTTL()

getKeyMap

public Wrappers_Compile.Result<MaybeKeyMap,Error> getKeyMap(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames,
                                                            MaybeKeyId keyId)

getKeysLiteral

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

getKeysCache

public Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error> getKeysCache(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames,
                                                                                                                                                                                        dafny.DafnySequence<? extends java.lang.Character> keyId)

getAllKeys

public Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error> getAllKeys(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames,
                                                                                                                                                                                      dafny.DafnySequence<? extends java.lang.Byte> key)