CreateKeyStoreTable

Documentation

Index

• Variables
• func Type_KeyStoreDescription_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) ATTRIBUTE__DEFINITIONS() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) CreateKeyStoreTable(tableName _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyKeyStoreTypes.Error
  • func (_static *CompanionStruct_Default___) KEY__SCHEMA() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) KeyStoreHasExpectedConstruction_q(t m_ComAmazonawsDynamodbTypes.TableDescription) bool
• type CompanionStruct_KeyStoreDescription_
  • func (_this *CompanionStruct_KeyStoreDescription_) Is_(__source m_ComAmazonawsDynamodbTypes.TableDescription) bool
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type KeyStoreDescription
  • func New_KeyStoreDescription_() *KeyStoreDescription
  • func (*KeyStoreDescription) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_KeyStoreDescription_ = CompanionStruct_KeyStoreDescription_{}

Functions

func Type_KeyStoreDescription_

func Type_KeyStoreDescription_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) ATTRIBUTE__DEFINITIONS

func (_static *CompanionStruct_Default___) ATTRIBUTE__DEFINITIONS() _dafny.Sequence

func (*CompanionStruct_Default___) CreateKeyStoreTable

func (_static *CompanionStruct_Default___) CreateKeyStoreTable(tableName _dafny.Sequence, ddbClient m_ComAmazonawsDynamodbTypes.IDynamoDBClient) m_Wrappers.Result

func (*CompanionStruct_Default___) E

func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyKeyStoreTypes.Error

func (*CompanionStruct_Default___) KEY__SCHEMA

func (_static *CompanionStruct_Default___) KEY__SCHEMA() _dafny.Sequence

func (*CompanionStruct_Default___) KeyStoreHasExpectedConstruction_q

func (_static *CompanionStruct_Default___) KeyStoreHasExpectedConstruction_q(t m_ComAmazonawsDynamodbTypes.TableDescription) bool

type CompanionStruct_KeyStoreDescription_

type CompanionStruct_KeyStoreDescription_ struct {
}

func (*CompanionStruct_KeyStoreDescription_) Is_

func (_this *CompanionStruct_KeyStoreDescription_) Is_(__source m_ComAmazonawsDynamodbTypes.TableDescription) bool

type Default__

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}

type KeyStoreDescription

type KeyStoreDescription struct {
}

Definition of class KeyStoreDescription

func New_KeyStoreDescription_

func New_KeyStoreDescription_() *KeyStoreDescription

func (*KeyStoreDescription) String

func (*KeyStoreDescription) String() string