Repository navigation
Highlight state errors in the relevant @StateSet diagram #116
Description
When a class has multiple @StateSet groups and the State Machine view shows one diagram per group (#115), “View error on state machine” should bring the relevant diagram into view and highlight the failing call there.
For example, if ImageWriteParam.setTiling(...) fails because of a tiling state, highlight the relevant state and transition in the tiling diagram; leave the compression diagram unhighlighted. If a failed condition involves both state sets, show the relevant error context in both diagrams.
Keep the existing error highlighting behavior for classes with one state set.
Activity
CatarinaGamboa commentedon Oct 25, 2026
An update on where the data comes from: the verifier's
StateErrorContext(liquid-java/liquidjava#421) gives the receiver's possible states and the states that allow the call. Each state is a list with one name per@StateSet, in declaration order, so the i-th name belongs to diagram i (liquid-java/liquidjava-fsm#8).To keep the highlighting from ever being false when several sets are combined:
The upcoming vscode PR (verifier 0.0.36 and fsm 0.2.0) applies these rules to the first set, the one diagram shown today. This issue extends them to every diagram.
🤖 Generated with Claude Code