software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Class BeaconKeySource

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.BeaconKeySource

Direct Known Subclasses:

BeaconKeySource_multi, BeaconKeySource_single

public abstract class BeaconKeySource
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BeaconKeySource()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<BeaconKeySource>	_typeDescriptor()
static BeaconKeySource	create_multi(MultiKeyStore multi)
static BeaconKeySource	create_single(SingleKeyStore single)
static BeaconKeySource	Default()
MultiKeyStore	dtor_multi()
SingleKeyStore	dtor_single()
boolean	is_multi()
boolean	is_single()

Methods inherited from class java.lang.Object

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

Constructor Detail

BeaconKeySource

public BeaconKeySource()

Method Detail

Default

public static BeaconKeySource Default()

_typeDescriptor

public static dafny.TypeDescriptor<BeaconKeySource> _typeDescriptor()

create_single

public static BeaconKeySource create_single(SingleKeyStore single)

create_multi

public static BeaconKeySource create_multi(MultiKeyStore multi)

is_single

public boolean is_single()

is_multi

public boolean is_multi()

dtor_single

public SingleKeyStore dtor_single()

dtor_multi

public MultiKeyStore dtor_multi()