Documentation
¶
Index ¶
- Variables
- func GarbleValue() testlib.Action
- func IsAccept() sm.Condition
- func IsDecided() sm.Condition
- func IsDecidedOf(epoch int) sm.Condition
- func IsEpoch(epoch int) sm.Condition
- func IsMessageFromRandom() sm.Condition
- func IsMessageToRandom() sm.Condition
- func IsMessageType(t string) sm.Condition
- func IsNewEpoch() sm.Condition
- func IsNewEpochOf(epoch int) sm.Condition
- func IsPropose() sm.Condition
- func IsView(view int) sm.Condition
- func IsWrite() sm.Condition
- func PickRandomProcess() func(*testlib.Context) error
- func PrintMessage() testlib.Action
- type BFTSmartMessage
- type BFTSmartParser
Constants ¶
This section is empty.
Variables ¶
View Source
var AcceptMessageType string = "ACCEPT"
View Source
var ProposeMessageType string = "PROPOSE"
View Source
var StopDataMessageType string = "STOPDATA"
View Source
var StopMessageType string = "STOP"
View Source
var SyncMessageType string = "SYNC"
View Source
var WriteMessageType string = "WRITE"
Functions ¶
func GarbleValue ¶
func IsDecidedOf ¶
func IsMessageFromRandom ¶
func IsMessageToRandom ¶
func IsMessageType ¶
func IsNewEpoch ¶
func IsNewEpochOf ¶
func PickRandomProcess ¶
func PrintMessage ¶
Types ¶
type BFTSmartMessage ¶
type BFTSmartMessage struct {
Sender int
Type int
Ts int
Payload []byte
Number int
Epoch int
PaxosType int
Value []byte
Proof []byte
}
func GetParsedMessage ¶
func (*BFTSmartMessage) Clone ¶
func (m *BFTSmartMessage) Clone() types.ParsedMessage
func (*BFTSmartMessage) Marshal ¶
func (m *BFTSmartMessage) Marshal() ([]byte, error)
func (*BFTSmartMessage) String ¶
func (m *BFTSmartMessage) String() string
func (*BFTSmartMessage) TypeString ¶
func (m *BFTSmartMessage) TypeString() string
type BFTSmartParser ¶
type BFTSmartParser struct {
}
func (*BFTSmartParser) Parse ¶
func (*BFTSmartParser) Parse(data []byte) (types.ParsedMessage, error)
Source Files
Click to show internal directories.
Click to hide internal directories.