The JKI State Machine Editor is a tool to make it easy for developers to use the JKI State Machine. It makes common tasks extremely easy to perform and exposes the user to more “advanced” (non-obvious) JKI SM features (because they are first-class features of the Helper), as well as JKI SM best practices (since the helper can enforce them: left-justification of strings, avoiding chaining states, etc.).
BSD 3-Clause "New" or "Revised" License
17
stars
10
forks
source link
If the state case has multiple state names, then right click->Find callers shows no results. #38
As shown below, this is default JKI state machine which has multiple state names (Event Structure, Idle) for the same state. On right clicking on the case head and finding callers give no result.
I think it should give the combined result of all state names used for this single case.
jimkring
commented
7 years ago
As shown below, this is default JKI state machine which has multiple state names (Event Structure, Idle) for the same state. On right clicking on the case head and finding callers give no result.
I think it should give the combined result of all state names used for this single case.