StateMachineValidator class
State machine family — class
Validates state-machine diagrams: initial/final states, reachability, and guards/triggers on transitions (read from ConnectionLine.GuardCondition/TriggerEvent, falling back to Label1/Label2 for older diagrams).
Members
| Member | Kind | Description |
|---|---|---|
List<StateMachineIssue> Issues | Property | Gets or sets the issues. |
bool Validate(IReadOnlyList<SkiaComponent> components, IReadOnlyList<IConnectionLine> lines) | Method | Runs all checks. Returns true when no errors were found (warnings are allowed). |
static string? GetGuard(IConnectionLine line) | Method | Gets the guard condition for a transition, falling back to Label1 for legacy diagrams. |
static string? GetTrigger(IConnectionLine line) | Method | Gets the trigger event for a transition, falling back to Label2 for legacy diagrams. |
static bool SetTransition(IConnectionLine line, string trigger, string guard, string action) | Method | Sets guard/action/trigger fields on a concrete connection line. |