Documentation
¶
Index ¶
Constants ¶
View Source
const RpcHost = "localhost:9823"
Variables ¶
This section is empty.
Functions ¶
Types ¶
type Msg ¶
type Msg interface {
// Clock returns the state's clock, using the passed index
Clock(statesIndex am.S, state string) uint64
// Is true if the state is active, using the passed index
Is(statesIndex am.S, states am.S) bool
}
Msg is the interface for the messages to be sent to the am-dbg server.
type MsgStruct ¶
type MsgStruct struct {
// Machine ID
ID string
// state names defining the indexes for diffs
StatesIndex am.S
// all the states with relations
States am.States
// log level of the machine
LogLevel am.LogLevel
}
MsgStruct contains the state and relations data.
type MsgTx ¶
type MsgTx struct {
// Transition ID
ID string
// StatesIndex-based active indicators
StatesActive []bool
// map of positions from the index to state clocks
Clocks []uint64
// result of the transition
Accepted bool
// all the transition steps
Steps []*am.TransitionStep
// log entries created during the transition
LogEntries []string
// log entries before the transition, which happened after the prev one
PreLogEntries []string
// transition was triggered by an auto state
IsAuto bool
// queue length at the start of the transition
Queue int
}
MsgTx contains transition data.
Click to show internal directories.
Click to hide internal directories.