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

Class SearchConfig

java.lang.Object

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

public class SearchConfig
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends BeaconVersion>	_versions
int	_writeVersion

Constructor Summary

Constructors

Constructor and Description
SearchConfig(dafny.DafnySequence<? extends BeaconVersion> versions, int writeVersion)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<SearchConfig>	_typeDescriptor()
static SearchConfig	create_SearchConfig(dafny.DafnySequence<? extends BeaconVersion> versions, int writeVersion)
static SearchConfig	create(dafny.DafnySequence<? extends BeaconVersion> versions, int writeVersion)
static SearchConfig	Default()
dafny.DafnySequence<? extends BeaconVersion>	dtor_versions()
int	dtor_writeVersion()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_SearchConfig()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_versions

public dafny.DafnySequence<? extends BeaconVersion> _versions

_writeVersion

public int _writeVersion

Constructor Detail

SearchConfig

public SearchConfig(dafny.DafnySequence<? extends BeaconVersion> versions,
                    int writeVersion)

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

_typeDescriptor

public static dafny.TypeDescriptor<SearchConfig> _typeDescriptor()

create

public static SearchConfig create(dafny.DafnySequence<? extends BeaconVersion> versions,
                                  int writeVersion)

create_SearchConfig

public static SearchConfig create_SearchConfig(dafny.DafnySequence<? extends BeaconVersion> versions,
                                               int writeVersion)

is_SearchConfig

public boolean is_SearchConfig()

dtor_versions

public dafny.DafnySequence<? extends BeaconVersion> dtor_versions()

dtor_writeVersion

public int dtor_writeVersion()