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

Class BeaconVersion

java.lang.Object

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

public class BeaconVersion
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>>	_compoundBeacons
BeaconKeySource	_keySource
software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient	_keyStore
dafny.DafnySequence<? extends StandardBeacon>	_standardBeacons
int	_version
Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>>	_virtualFields

Constructor Summary

Constructors

Constructor and Description
BeaconVersion(int version, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore, BeaconKeySource keySource, dafny.DafnySequence<? extends StandardBeacon> standardBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<BeaconVersion>	_typeDescriptor()
static BeaconVersion	create_BeaconVersion(int version, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore, BeaconKeySource keySource, dafny.DafnySequence<? extends StandardBeacon> standardBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)
static BeaconVersion	create(int version, software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore, BeaconKeySource keySource, dafny.DafnySequence<? extends StandardBeacon> standardBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons, Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)
static BeaconVersion	Default()
Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>>	dtor_compoundBeacons()
BeaconKeySource	dtor_keySource()
software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient	dtor_keyStore()
dafny.DafnySequence<? extends StandardBeacon>	dtor_standardBeacons()
int	dtor_version()
Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>>	dtor_virtualFields()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_BeaconVersion()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_version

public int _version

_keyStore

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

_keySource

public BeaconKeySource _keySource

_standardBeacons

public dafny.DafnySequence<? extends StandardBeacon> _standardBeacons

_compoundBeacons

public Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> _compoundBeacons

_virtualFields

public Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> _virtualFields

Constructor Detail

BeaconVersion

public BeaconVersion(int version,
                     software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore,
                     BeaconKeySource keySource,
                     dafny.DafnySequence<? extends StandardBeacon> standardBeacons,
                     Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons,
                     Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)

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

_typeDescriptor

public static dafny.TypeDescriptor<BeaconVersion> _typeDescriptor()

create

public static BeaconVersion create(int version,
                                   software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore,
                                   BeaconKeySource keySource,
                                   dafny.DafnySequence<? extends StandardBeacon> standardBeacons,
                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons,
                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)

create_BeaconVersion

public static BeaconVersion create_BeaconVersion(int version,
                                                 software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient keyStore,
                                                 BeaconKeySource keySource,
                                                 dafny.DafnySequence<? extends StandardBeacon> standardBeacons,
                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> compoundBeacons,
                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> virtualFields)

is_BeaconVersion

public boolean is_BeaconVersion()

dtor_version

public int dtor_version()

dtor_keyStore

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

dtor_keySource

public BeaconKeySource dtor_keySource()

dtor_standardBeacons

public dafny.DafnySequence<? extends StandardBeacon> dtor_standardBeacons()

dtor_compoundBeacons

public Wrappers_Compile.Option<dafny.DafnySequence<? extends CompoundBeacon>> dtor_compoundBeacons()

dtor_virtualFields

public Wrappers_Compile.Option<dafny.DafnySequence<? extends VirtualField>> dtor_virtualFields()