pbftpbdsl

Documentation

Index

• func ProposeTimeout(m dsl.Module, destModule types.ModuleID, proposeTimeout uint64)
• func UponCatchUpRequestReceived(m dsl.Module, ...)
• func UponCatchUpResponseReceived(m dsl.Module, handler func(from types1.NodeID, resp *types.Preprepare) error)
• func UponCommitReceived(m dsl.Module, ...)
• func UponDoneReceived(m dsl.Module, handler func(from types1.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 types1.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 types.ModuleID, view types1.ViewNr, ...)
• func ViewChangeSegTimeout(m dsl.Module, destModule types.ModuleID, viewChangeSegTimeout uint64)

Functions

func ProposeTimeout

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

func UponCatchUpRequestReceived

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

func UponCatchUpResponseReceived

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

func UponCommitReceived

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

func UponDoneReceived

func UponDoneReceived(m dsl.Module, handler func(from types1.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 types1.NodeID, msg *M) error)

func UponMissingPreprepareReceived

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

func UponNewViewReceived

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

func UponPrepareReceived

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

func UponPreprepareReceived

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

func UponPreprepareRequestReceived

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

func UponProposeTimeout

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

func UponSignedViewChangeReceived

func UponSignedViewChangeReceived(m dsl.Module, handler func(from types1.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 types.ModuleID, view types1.ViewNr, numCommitted uint64)

func ViewChangeSegTimeout

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