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
dafny.DafnySequence<? extends java.lang.Byte>	_logicalKeyStoreNameBytes
dafny.DafnySequence<? extends java.lang.Byte>	_partitionIdBytes
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, dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes, dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<KeySource>	_typeDescriptor()
boolean	cacheEntryWithinLimits(long creationTime, long now, long ttlSeconds)
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, dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes, dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)
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, dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes, dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)
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()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_logicalKeyStoreNameBytes()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_partitionIdBytes()
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(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames, dafny.DafnySequence<? extends java.lang.Character> keyId, long cacheTTL, dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes, dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes, long now)
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()
long	PosLongAdd(long x, long y)
long	PosLongSub(long x, long y)
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

_partitionIdBytes

public dafny.DafnySequence<? extends java.lang.Byte> _partitionIdBytes

_logicalKeyStoreNameBytes

public dafny.DafnySequence<? extends java.lang.Byte> _logicalKeyStoreNameBytes

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,
                 dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes,
                 dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)

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

_typeDescriptor

public static dafny.TypeDescriptor<KeySource> _typeDescriptor()

Default

public static KeySource Default()

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,
                               dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes,
                               dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)

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,
                                         dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes,
                                         dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes)

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

dtor_partitionIdBytes

public dafny.DafnySequence<? extends java.lang.Byte> dtor_partitionIdBytes()

dtor_logicalKeyStoreNameBytes

public dafny.DafnySequence<? extends java.lang.Byte> dtor_logicalKeyStoreNameBytes()

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

PosLongAdd

public long PosLongAdd(long x,
                       long y)

PosLongSub

public long PosLongSub(long x,
                       long y)

cacheEntryWithinLimits

public boolean cacheEntryWithinLimits(long creationTime,
                                      long now,
                                      long ttlSeconds)

getKeysCache

public Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error> getKeysCache(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                                                                                                                                                                        dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> stdNames,
                                                                                                                                                                                        dafny.DafnySequence<? extends java.lang.Character> keyId,
                                                                                                                                                                                        long cacheTTL,
                                                                                                                                                                                        dafny.DafnySequence<? extends java.lang.Byte> partitionIdBytes,
                                                                                                                                                                                        dafny.DafnySequence<? extends java.lang.Byte> logicalKeyStoreNameBytes,
                                                                                                                                                                                        long now)

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)