Documentation
¶
Index ¶
Constants ¶
View Source
const ( // TODO rename to SchemaFocused TreeFocused = "TreeFocused" LogFocused = "LogFocused" TimelineTxsFocused = "TimelineTxsFocused" TimelineStepsFocused = "TimelineStepsFocused" TimelineHidden = "TimelineHidden" TimelineStepsHidden = "TimelineStepsHidden" MatrixFocused = "MatrixFocused" DialogFocused = "DialogFocused" Toolbar1Focused = "Toolbar1Focused" Toolbar2Focused = "Toolbar2Focused" LogReaderFocused = "LogReaderFocused" AddressFocused = "AddressFocused" // ClientListFocused is client list focused. // TODO rename to ClientListFocused ClientListFocused = "ClientListFocused" TimelineStepsScrolled = "TimelineStepsScrolled" ClientMsg = "ClientMsg" // StateNameSelected states that a state name is selected somehwere in the // tree (and possibly other places). // TODO support a list of states StateNameSelected = "StateNameSelected" // NarrowLayout activates when resized or started in a narrow TUI viewport. NarrowLayout = "NarrowLayout" ClientListVisible = "ClientListVisible" Start = "Start" Healthcheck = "Healthcheck" GcMsgs = "GcMsgs" Playing = "Playing" Paused = "Paused" // TailMode always shows the latest transition TailMode = "TailMode" // UserFwd is a user generated event UserFwd = "UserFwd" // Fwd moves to the next transition Fwd = "Fwd" // UserBack is a user generated event UserBack = "UserBack" // Back moves to the previous transition Back = "Back" // UserFwdStep is a user generated event UserFwdStep = "UserFwdStep" // UserBackStep is a user generated event UserBackStep = "UserBackStep" // FwdStep moves to the next transition's steps FwdStep = "FwdStep" // BackStep moves to the previous transition's steps BackStep = "BackStep" ConnectEvent = "ConnectEvent" DisconnectEvent = "DisconnectEvent" RemoveClient = "RemoveClient" ClientSelected = "ClientSelected" SelectingClient = "SelectingClient" HelpDialog = "HelpDialog" ExportDialog = "ExportDialog" MatrixView = "MatrixView" TreeLogView = "TreeLogView" TreeMatrixView = "TreeMatrixView" LogReaderVisible = "LogReaderVisible" LogReaderEnabled = "LogReaderEnabled" UpdateLogReader = "UpdateLogReader" UpdateFocus = "UpdateFocus" AfterFocus = "AfterFocus" UpdateStatusBar = "UpdateStatusBar" ToolRain = "ToolRain" LogUserScrolled = "LogUserScrolled" // ScrollToTx scrolls to a specific transition. ScrollToTx = "ScrollToTx" ScrollToStep = "ScrollToStep" // Ready is an async result of start Ready = "Ready" FilterCanceledTx = "FilterCanceledTx" FilterAutoTx = "FilterAutoTx" FilterHealthcheck = "FilterHealthcheck" // FilterEmptyTx is a filter for txes which didn't change state and didn't // run any self handler either FilterEmptyTx = "FilterEmptyTx" FilterSummaries = "FilterSummaries" FilterTraces = "FilterTraces" ToggleTool = "ToggleTool" // SwitchingClientTx switches to the given client and scrolls to the given // transaction (1-based tx index). Accepts Client.id and Client.cursorTx. SwitchingClientTx = "SwitchingClientTx" // SwitchedClientTx is a completed SwitchingClientTx. SwitchedClientTx = "SwitchedClientTx" // ScrollToMutTx scrolls to a transition which mutated or called the // passed state, // If fwd is true, it scrolls forward, otherwise backwards. ScrollToMutTx = "ScrollToMutTx" MatrixRain = "MatrixRain" SetCursor = "SetCursor" GraphsRendering = "GraphsRendering" GraphsScheduled = "GraphsScheduled" InitClient = "InitClient" )
Variables ¶
View Source
var ( GroupFocused = S{ TreeFocused, LogFocused, TimelineTxsFocused, TimelineStepsFocused, ClientListFocused, MatrixFocused, DialogFocused, Toolbar1Focused, Toolbar2Focused, LogReaderFocused, AddressFocused, } GroupPlaying = S{ Playing, Paused, TailMode, } GroupDialog = S{ HelpDialog, ExportDialog, } GroupViews = S{ MatrixView, TreeLogView, TreeMatrixView, } GroupSwitchedClientTx = S{ SwitchingClientTx, SwitchedClientTx, } GroupFilters = S{ FilterAutoTx, FilterCanceledTx, FilterEmptyTx, FilterHealthcheck, } )
View Source
var Names = S{ am.Exception, ClientMsg, ConnectEvent, DisconnectEvent, UserFwd, UserBack, UserFwdStep, UserBackStep, TreeFocused, LogFocused, LogReaderFocused, AddressFocused, ClientListFocused, TimelineTxsFocused, TimelineStepsFocused, TimelineHidden, TimelineStepsHidden, Toolbar1Focused, Toolbar2Focused, MatrixFocused, DialogFocused, StateNameSelected, NarrowLayout, ClientListVisible, HelpDialog, ExportDialog, LogUserScrolled, Ready, TimelineStepsScrolled, Start, Healthcheck, GcMsgs, TreeLogView, MatrixView, TreeMatrixView, TailMode, Playing, Paused, FilterAutoTx, FilterCanceledTx, FilterEmptyTx, FilterSummaries, FilterTraces, FilterHealthcheck, ToggleTool, SwitchingClientTx, SwitchedClientTx, ScrollToMutTx, MatrixRain, LogReaderVisible, LogReaderEnabled, UpdateLogReader, UpdateFocus, AfterFocus, UpdateStatusBar, ToolRain, Fwd, Back, FwdStep, BackStep, ScrollToTx, ScrollToStep, ClientSelected, SelectingClient, RemoveClient, SetCursor, GraphsRendering, GraphsScheduled, InitClient, }
Names is an ordered list of all the state names.
View Source
var States = am.Schema{ ClientMsg: {Multi: true}, ConnectEvent: {Multi: true}, DisconnectEvent: {Multi: true}, UserFwd: { Add: S{Fwd}, Remove: GroupPlaying, }, UserBack: { Add: S{Back}, Remove: GroupPlaying, }, UserFwdStep: { Add: S{FwdStep}, Require: S{ClientSelected}, Remove: SAdd(GroupPlaying, S{LogUserScrolled}), }, UserBackStep: { Add: S{BackStep}, Require: S{ClientSelected}, Remove: SAdd(GroupPlaying, S{LogUserScrolled}), }, TreeFocused: {Remove: GroupFocused}, LogFocused: {Remove: GroupFocused}, ClientListFocused: {Remove: GroupFocused}, TimelineTxsFocused: {Remove: GroupFocused}, TimelineStepsFocused: {Remove: GroupFocused}, MatrixFocused: {Remove: GroupFocused}, DialogFocused: {Remove: GroupFocused}, Toolbar1Focused: {Remove: GroupFocused}, Toolbar2Focused: {Remove: GroupFocused}, LogReaderFocused: { Require: S{LogReaderVisible}, Remove: GroupFocused, }, AddressFocused: {Remove: GroupFocused}, TimelineHidden: {Require: S{TimelineStepsHidden}}, TimelineStepsHidden: {}, NarrowLayout: { Require: S{Ready}, Remove: S{ClientListVisible}, }, ClientListVisible: { Require: S{Ready}, Auto: true, }, StateNameSelected: {Require: S{ClientSelected}}, TimelineStepsScrolled: {Require: S{ClientSelected}}, HelpDialog: {Remove: GroupDialog}, ExportDialog: { Require: S{ClientSelected}, Remove: GroupDialog, }, LogUserScrolled: { Remove: S{Playing, TailMode}, Require: S{LogFocused}, }, Ready: { Require: S{Start}, Add: S{UpdateFocus}, }, FilterAutoTx: {}, FilterCanceledTx: {}, FilterEmptyTx: {}, FilterSummaries: {}, FilterTraces: {}, FilterHealthcheck: {}, Start: {Add: S{FilterSummaries, FilterHealthcheck, FilterEmptyTx}}, Healthcheck: { Multi: true, Require: S{Start}, }, GcMsgs: {Remove: S{SelectingClient, SwitchedClientTx, ScrollToTx, ScrollToMutTx}}, TreeLogView: { Auto: true, Require: S{Start}, Remove: SAdd(GroupViews, S{TreeMatrixView, MatrixView, MatrixRain}), }, MatrixView: {Remove: GroupViews}, TreeMatrixView: {Remove: GroupViews}, TailMode: { Require: S{ClientSelected}, Remove: SAdd(GroupPlaying, S{LogUserScrolled}), }, Playing: { Require: S{ClientSelected}, Remove: SAdd(GroupPlaying, S{LogUserScrolled}), }, Paused: { Auto: true, Require: S{ClientSelected}, Remove: GroupPlaying, }, ToggleTool: {}, SwitchingClientTx: { Require: S{Ready}, Remove: GroupSwitchedClientTx, }, SwitchedClientTx: { Require: S{Ready}, Remove: GroupSwitchedClientTx, }, ScrollToMutTx: {Require: S{ClientSelected}}, MatrixRain: {}, LogReaderVisible: { Auto: true, Require: S{TreeLogView, LogReaderEnabled}, }, LogReaderEnabled: {}, UpdateLogReader: {Require: S{Ready, LogReaderEnabled}}, UpdateFocus: { Multi: true, Require: S{Ready}, }, AfterFocus: { Multi: true, Require: S{Ready}, Add: S{UpdateStatusBar}, }, UpdateStatusBar: { Multi: true, Require: S{Ready}, After: S{AfterFocus}, }, ToolRain: { Multi: true, Require: S{Ready}, }, Fwd: { Require: S{ClientSelected}, }, Back: { Require: S{ClientSelected}, }, FwdStep: { Require: S{ClientSelected}, }, BackStep: { Require: S{ClientSelected}, }, ScrollToTx: { Require: S{ClientSelected}, Remove: S{TailMode, Playing, TimelineStepsScrolled}, }, ScrollToStep: { Require: S{ClientSelected}, Remove: S{TailMode, Playing}, }, SelectingClient: { Require: S{Start}, Remove: S{ClientSelected}, }, ClientSelected: { Require: S{Start}, Remove: S{SelectingClient}, }, RemoveClient: {Require: S{ClientSelected}}, SetCursor: { Multi: true, Require: S{Ready}, }, GraphsScheduled: { Multi: true, Require: S{Ready}, }, GraphsRendering: { Require: S{Ready}, }, InitClient: {Multi: true}, }
States map defines relations and properties of states.
Functions ¶
This section is empty.
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.