pbftpbdsl

Documentation

Index

• func ProposeTimeout(m dsl.Module, destModule stdtypes.ModuleID, proposeTimeout uint64)
• func UponCatchUpRequestReceived(m dsl.Module, ...)
• func UponCatchUpResponseReceived(m dsl.Module, handler func(from stdtypes.NodeID, resp *types.Preprepare) error)
• func UponCommitReceived(m dsl.Module, ...)
• func UponDoneReceived(m dsl.Module, handler func(from stdtypes.NodeID, digests [][]uint8) error)
• func UponEvent[W types.Event_TypeWrapper[Ev], Ev any](m dsl.Module, handler func(ev *Ev) error)
• func UponMessageReceived[W types.Message_TypeWrapper[M], M any](m dsl.Module, handler func(from stdtypes.NodeID, msg *M) error)
• func UponMissingPreprepareReceived(m dsl.Module, ...)
• func UponNewViewReceived(m dsl.Module, ...)
• func UponPrepareReceived(m dsl.Module, ...)
• func UponPreprepareReceived(m dsl.Module, ...)
• func UponPreprepareRequestReceived(m dsl.Module, ...)
• func UponProposeTimeout(m dsl.Module, handler func(proposeTimeout uint64) error)
• func UponSignedViewChangeReceived(m dsl.Module, ...)
• func UponViewChangeSNTimeout(m dsl.Module, handler func(view types2.ViewNr, numCommitted uint64) error)
• func UponViewChangeSegTimeout(m dsl.Module, handler func(viewChangeSegTimeout uint64) error)
• func ViewChangeSNTimeout(m dsl.Module, destModule stdtypes.ModuleID, view types.ViewNr, ...)
• func ViewChangeSegTimeout(m dsl.Module, destModule stdtypes.ModuleID, viewChangeSegTimeout uint64)

Functions

func ProposeTimeout

func ProposeTimeout(m dsl.Module, destModule stdtypes.ModuleID, proposeTimeout uint64)

func UponCatchUpRequestReceived

func UponCatchUpRequestReceived(m dsl.Module, handler func(from stdtypes.NodeID, digest []uint8, sn types2.SeqNr) error)

func UponCatchUpResponseReceived

func UponCatchUpResponseReceived(m dsl.Module, handler func(from stdtypes.NodeID, resp *types.Preprepare) error)

func UponCommitReceived

func UponCommitReceived(m dsl.Module, handler func(from stdtypes.NodeID, sn types2.SeqNr, view types3.ViewNr, digest []uint8) error)

func UponDoneReceived

func UponDoneReceived(m dsl.Module, handler func(from stdtypes.NodeID, digests [][]uint8) error)

func UponEvent

func UponEvent[W types.Event_TypeWrapper[Ev], Ev any](m dsl.Module, handler func(ev *Ev) error)

func UponMessageReceived

func UponMessageReceived[W types.Message_TypeWrapper[M], M any](m dsl.Module, handler func(from stdtypes.NodeID, msg *M) error)

func UponMissingPreprepareReceived

func UponMissingPreprepareReceived(m dsl.Module, handler func(from stdtypes.NodeID, preprepare *types.Preprepare) error)

func UponNewViewReceived

func UponNewViewReceived(m dsl.Module, handler func(from stdtypes.NodeID, view types3.ViewNr, viewChangeSenders []stdtypes.NodeID, signedViewChanges []*types.SignedViewChange, preprepareSeqNrs []types2.SeqNr, preprepares []*types.Preprepare) error)

func UponPrepareReceived

func UponPrepareReceived(m dsl.Module, handler func(from stdtypes.NodeID, sn types2.SeqNr, view types3.ViewNr, digest []uint8) error)

func UponPreprepareReceived

func UponPreprepareReceived(m dsl.Module, handler func(from stdtypes.NodeID, sn types2.SeqNr, view types3.ViewNr, data []uint8, aborted bool) error)

func UponPreprepareRequestReceived

func UponPreprepareRequestReceived(m dsl.Module, handler func(from stdtypes.NodeID, digest []uint8, sn types2.SeqNr) error)

func UponProposeTimeout

func UponProposeTimeout(m dsl.Module, handler func(proposeTimeout uint64) error)

func UponSignedViewChangeReceived

func UponSignedViewChangeReceived(m dsl.Module, handler func(from stdtypes.NodeID, viewChange *types.ViewChange, signature []uint8) error)

func UponViewChangeSNTimeout

func UponViewChangeSNTimeout(m dsl.Module, handler func(view types2.ViewNr, numCommitted uint64) error)

func UponViewChangeSegTimeout

func UponViewChangeSegTimeout(m dsl.Module, handler func(viewChangeSegTimeout uint64) error)

func ViewChangeSNTimeout

func ViewChangeSNTimeout(m dsl.Module, destModule stdtypes.ModuleID, view types.ViewNr, numCommitted uint64)

func ViewChangeSegTimeout

func ViewChangeSegTimeout(m dsl.Module, destModule stdtypes.ModuleID, viewChangeSegTimeout uint64)