DdbMiddlewareConfig_Compile

Class TableConfig

java.lang.Object

DdbMiddlewareConfig_Compile.TableConfig

public class TableConfig
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
DynamoDbItemEncryptorClient	_itemEncryptor
dafny.DafnySequence<? extends java.lang.Character>	_logicalTableName
dafny.DafnySequence<? extends java.lang.Character>	_partitionKeyName
dafny.DafnySequence<? extends java.lang.Character>	_physicalTableName
Wrappers_Compile.Option<SearchInfo>	_search
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_sortKeyName

Constructor Summary

Constructors

Constructor and Description
TableConfig(dafny.DafnySequence<? extends java.lang.Character> physicalTableName, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, DynamoDbItemEncryptorClient itemEncryptor, Wrappers_Compile.Option<SearchInfo> search)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<TableConfig>	_typeDescriptor()
static TableConfig	create_TableConfig(dafny.DafnySequence<? extends java.lang.Character> physicalTableName, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, DynamoDbItemEncryptorClient itemEncryptor, Wrappers_Compile.Option<SearchInfo> search)
static TableConfig	create(dafny.DafnySequence<? extends java.lang.Character> physicalTableName, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, DynamoDbItemEncryptorClient itemEncryptor, Wrappers_Compile.Option<SearchInfo> search)
static TableConfig	Default()
DynamoDbItemEncryptorClient	dtor_itemEncryptor()
dafny.DafnySequence<? extends java.lang.Character>	dtor_logicalTableName()
dafny.DafnySequence<? extends java.lang.Character>	dtor_partitionKeyName()
dafny.DafnySequence<? extends java.lang.Character>	dtor_physicalTableName()
Wrappers_Compile.Option<SearchInfo>	dtor_search()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	dtor_sortKeyName()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_TableConfig()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_physicalTableName

public dafny.DafnySequence<? extends java.lang.Character> _physicalTableName

_logicalTableName

public dafny.DafnySequence<? extends java.lang.Character> _logicalTableName

_partitionKeyName

public dafny.DafnySequence<? extends java.lang.Character> _partitionKeyName

_sortKeyName

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _sortKeyName

_itemEncryptor

public DynamoDbItemEncryptorClient _itemEncryptor

_search

public Wrappers_Compile.Option<SearchInfo> _search

Constructor Detail

TableConfig

public TableConfig(dafny.DafnySequence<? extends java.lang.Character> physicalTableName,
                   dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                   dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                   DynamoDbItemEncryptorClient itemEncryptor,
                   Wrappers_Compile.Option<SearchInfo> search)

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

_typeDescriptor

public static dafny.TypeDescriptor<TableConfig> _typeDescriptor()

create

public static TableConfig create(dafny.DafnySequence<? extends java.lang.Character> physicalTableName,
                                 dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                 dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                 DynamoDbItemEncryptorClient itemEncryptor,
                                 Wrappers_Compile.Option<SearchInfo> search)

create_TableConfig

public static TableConfig create_TableConfig(dafny.DafnySequence<? extends java.lang.Character> physicalTableName,
                                             dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                             dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                             DynamoDbItemEncryptorClient itemEncryptor,
                                             Wrappers_Compile.Option<SearchInfo> search)

is_TableConfig

public boolean is_TableConfig()

dtor_physicalTableName

public dafny.DafnySequence<? extends java.lang.Character> dtor_physicalTableName()

dtor_logicalTableName

public dafny.DafnySequence<? extends java.lang.Character> dtor_logicalTableName()

dtor_partitionKeyName

public dafny.DafnySequence<? extends java.lang.Character> dtor_partitionKeyName()

dtor_sortKeyName

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_sortKeyName()

dtor_itemEncryptor

public DynamoDbItemEncryptorClient dtor_itemEncryptor()

dtor_search

public Wrappers_Compile.Option<SearchInfo> dtor_search()