telemetry

package
v0.3.1 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Mar 1, 2024 License: MIT Imports: 6 Imported by: 0

Documentation

Index

Constants

View Source
const RpcHost = "localhost:9823"

Variables

This section is empty.

Functions

func MonitorTransitions

func MonitorTransitions(m *am.Machine, url string) error

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.

func (*MsgStruct) Clock

func (d *MsgStruct) Clock(_ am.S, _ string) uint64

func (*MsgStruct) Is

func (d *MsgStruct) Is(_ am.S, _ am.S) bool

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.

func (*MsgTx) Clock

func (d *MsgTx) Clock(statesIndex am.S, state string) uint64

func (*MsgTx) Is

func (d *MsgTx) Is(statesIndex am.S, states am.S) bool

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL