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.