DDBKeystoreOperations

Documentation

Index

• Variables
• func Type_ConditionExpression_() _dafny.TypeDescriptor
• type CompanionStruct_ConditionExpression_
  • func (_ CompanionStruct_ConditionExpression_) AllSingletonConstructors() _dafny.Iterator
  • func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__EXISTS_() ConditionExpression
  • func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__NOT__EXIST_() ConditionExpression
  • func (CompanionStruct_ConditionExpression_) Default() ConditionExpression
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) BRANCH__KEY__EXISTS__CONDITION() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAME() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES() _dafny.Map
  • func (_static *CompanionStruct_Default___) BRANCH__KEY__NOT__EXIST__CONDITION() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) CreateTransactWritePutItem(item _dafny.Map, tableName _dafny.Sequence, ...) m_ComAmazonawsDynamodbTypes.TransactWriteItem
  • func (_static *CompanionStruct_Default___) GetActiveBranchKeyItem(branchKeyIdentifier _dafny.Sequence, tableName _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetBeaconKeyItem(branchKeyIdentifier _dafny.Sequence, tableName _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) GetVersionBranchKeyItem(branchKeyIdentifier _dafny.Sequence, branchKeyVersion _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteNewBranchKeyVersionToKeystore(versionBranchKeyItem _dafny.Map, activeBranchKeyItem _dafny.Map, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) WriteNewKeyToStore(versionBranchKeyItem _dafny.Map, activeBranchKeyItem _dafny.Map, ...) m_Wrappers.Result
• type ConditionExpression
  • func (_this ConditionExpression) Equals(other ConditionExpression) bool
  • func (_this ConditionExpression) EqualsGeneric(other interface{}) bool
  • func (_this ConditionExpression) Get_() Data_ConditionExpression_
  • func (_this ConditionExpression) Is_BRANCH__KEY__EXISTS() bool
  • func (_this ConditionExpression) Is_BRANCH__KEY__NOT__EXIST() bool
  • func (_this ConditionExpression) ParentTraits_() []*_dafny.TraitID
  • func (_this ConditionExpression) String() string
• type ConditionExpression_BRANCH__KEY__EXISTS
• type ConditionExpression_BRANCH__KEY__NOT__EXIST
• type Data_ConditionExpression_
• 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__

Variables

var Companion_ConditionExpression_ = CompanionStruct_ConditionExpression_{}

var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_ConditionExpression_

func Type_ConditionExpression_() _dafny.TypeDescriptor

Types

type CompanionStruct_ConditionExpression_

type CompanionStruct_ConditionExpression_ struct {
}

func (CompanionStruct_ConditionExpression_) AllSingletonConstructors

func (_ CompanionStruct_ConditionExpression_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__EXISTS_

func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__EXISTS_() ConditionExpression

func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__NOT__EXIST_

func (CompanionStruct_ConditionExpression_) Create_BRANCH__KEY__NOT__EXIST_() ConditionExpression

func (CompanionStruct_ConditionExpression_) Default

func (CompanionStruct_ConditionExpression_) Default() ConditionExpression

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) BRANCH__KEY__EXISTS__CONDITION

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

func (*CompanionStruct_Default___) BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAME

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

func (*CompanionStruct_Default___) BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES

func (_static *CompanionStruct_Default___) BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES() _dafny.Map

func (*CompanionStruct_Default___) BRANCH__KEY__NOT__EXIST__CONDITION

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

func (*CompanionStruct_Default___) CreateTransactWritePutItem

func (_static *CompanionStruct_Default___) CreateTransactWritePutItem(item _dafny.Map, tableName _dafny.Sequence, conditionExpression ConditionExpression) m_ComAmazonawsDynamodbTypes.TransactWriteItem

func (*CompanionStruct_Default___) GetActiveBranchKeyItem

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

func (*CompanionStruct_Default___) GetBeaconKeyItem

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

func (*CompanionStruct_Default___) GetVersionBranchKeyItem

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

func (*CompanionStruct_Default___) WriteNewBranchKeyVersionToKeystore

func (_static *CompanionStruct_Default___) WriteNewBranchKeyVersionToKeystore(versionBranchKeyItem _dafny.Map, activeBranchKeyItem _dafny.Map, tableName _dafny.Sequence, ddbClient m_ComAmazonawsDynamodbTypes.IDynamoDBClient) m_Wrappers.Result

func (*CompanionStruct_Default___) WriteNewKeyToStore

func (_static *CompanionStruct_Default___) WriteNewKeyToStore(versionBranchKeyItem _dafny.Map, activeBranchKeyItem _dafny.Map, beaconKeyItem _dafny.Map, tableName _dafny.Sequence, ddbClient m_ComAmazonawsDynamodbTypes.IDynamoDBClient) m_Wrappers.Result

type ConditionExpression

type ConditionExpression struct {
	Data_ConditionExpression_
}

Definition of datatype ConditionExpression

func (ConditionExpression) Equals

func (_this ConditionExpression) Equals(other ConditionExpression) bool

func (ConditionExpression) EqualsGeneric

func (_this ConditionExpression) EqualsGeneric(other interface{}) bool

func (ConditionExpression) Get_

func (_this ConditionExpression) Get_() Data_ConditionExpression_

func (ConditionExpression) Is_BRANCH__KEY__EXISTS

func (_this ConditionExpression) Is_BRANCH__KEY__EXISTS() bool

func (ConditionExpression) Is_BRANCH__KEY__NOT__EXIST

func (_this ConditionExpression) Is_BRANCH__KEY__NOT__EXIST() bool

func (ConditionExpression) ParentTraits_

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

func (ConditionExpression) String

func (_this ConditionExpression) String() string

type ConditionExpression_BRANCH__KEY__EXISTS

type ConditionExpression_BRANCH__KEY__EXISTS struct {
}

type ConditionExpression_BRANCH__KEY__NOT__EXIST

type ConditionExpression_BRANCH__KEY__NOT__EXIST struct {
}

type Data_ConditionExpression_

type Data_ConditionExpression_ interface {
	// contains filtered or unexported methods
}

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{}