Visually indicate enabled events in simulation with SVG input mode
Consider the FIFO example. This simulation is run in GUI mode, and the auto-generated list of GUI buttons nicely indicates during the simulation which actions are enabled by the supervisor (actually the complete model being simulated). See for example the screenshot below in which actions c_do1
, c_do2
, and c_enter
are enabled. Therefore, the user simulating the system nicely knows which actions to choose from.
I run a lot of simulations in SVG input mode, where the SVG image contains buttons that, once clicked, generate the events. Now I'm looking for a way to visually indicate during the simulation which buttons are 'enabled' (clicking on a button for which the corresponding event is disabled by the supervisor will cause a warning), similar to what the GUI mode is doing.
But I don't want to hardcode a boolean variable with the precise condition, as ideally I would like to be flexible to the event conditions in the supervisor synthesized with data-based synthesis. More concretely, I'm thinking about how to model and write a statement like svgout id "button_c_do_1" attr "fill" if <enabled>: "green" else "grey" end;
where <enabled>
is a way to obtain the information whether that event is enabled in the current state.
I'm not seeing a modeling trick to achieve this. Am I missing something, or is this not currently not possible?