Expand description
#2196: bynk/agentStateModel — the agent state view’s custom LSP request
(agent-state-views track, slice 2).
Agent-scoped, not handler-scoped: the cursor anywhere inside an agent
declaration (its header, a store field, a handler body) selects that
agent, and the response is the whole agent’s state model
(bynk_ide::agent_state). Served from the committed round by
re-parsing the snapshot, like bynk/sequenceModel (ADR 0301’s posture); no
refresh nudge, since the client re-pulls (ADR 0504).
Also here: the sites of the per-agent Show State lens, and the wire
shape — a serde mirror of the model with Spans lowered to LSP Ranges,
plus each handler’s name and range (the table’s rows, and what the client
highlights for the handler under the cursor).
Structs§
- Agent
State Model Params - The
bynk/agentStateModelrequest payload.rename_all = "camelCase"is load-bearing — the client sendstextDocument/position(seesequence_request::SequenceModelParams). - Wire
Agent State Model - Wire
Edge - Wire
Effect Row - Wire
Effect Write - Wire
Handler - Wire
Handler Effects - Wire
Named - Wire
State Machine - Wire
Violation - #2197: a
transitionthis edge can violate at commit.
Enums§
Functions§
- agent_
lens_ sites - Every agent’s name, for the per-agent
Show Statelens. - agent_
state_ at - The agent enclosing
offset, with its model built againsttypes(the unit’s combined type table).Noneoutside every agent. - effects_
of - #2198: the effects of
agent’s handlers, withagentsnaming the agents a handler can call (the context’s agent table). - to_wire