Improve SimB Stage

[favu100]

• Implement refresh of SimB Simulation. This could then be improved by a File Watcher similar to the B Editor
• Fix focus of editing SimB items
• Implement opening in external editor
• Implement additional guards for SETUP CONSTANTS
• Provide more feedback for better usability

[leuschel]

1. Possibly: allow list of predicates for additionalGuards in JSON.
2. Try and improve error message: if you use list of guards you get a SimB file not found error (even though the file was found) and
   this error, which will not be helpful to end users:

com.fasterxml.jackson.databind.exc.MismatchedInputException: Cannot deserialize value of type `java.lang.String` from Array value (token `JsonToken.START_ARRAY`)
 at [Source: REDACTED (`StreamReadFeature.INCLUDE_SOURCE_IN_LOCATION` disabled); line: 7, column: 28] (through reference chain: de.prob2.ui.simulation.configuration.SimulationModelConfiguration["activations"]->java.util.ArrayList[0]->de.prob2.ui.simulation.configuration.ActivationOperationConfiguration["additionalGuards"])
	at com.fasterxml.jackson.databind.exc.MismatchedInputException.from(MismatchedInputException.java:59)
	at com.fasterxml.jackson.databind.DeserializationContext.reportInputMismatch(DeserializationContext.java:1767)
	at com.fasterxml.jackson.databind.DeserializationContext.handleUnexpectedToken(DeserializationContext.java:1541)
	at com.fasterxml.jackson.databind.deser.std.StdDeserializer._deserializeFromArray(StdDeserializer.java:222)
	at com.fasterxml.jackson.databind.deser.std.StringDeserializer.deserialize(StringDeserializer.java:46)
	at com.fasterxml.jackson.databind.deser.std.StringDeserializer.deserialize(StringDeserializer.java:11)
	at com.fasterxml.jackson.databind.deser.SettableBeanProperty.deserialize(SettableBeanProperty.java:543)
	at com.fasterxml.jackson.databind.deser.BeanDeserializer._deserializeWithErrorWrapping(BeanDeserializer.java:585)
	at com.fasterxml.jackson.databind.deser.BeanDeserializer._deserializeUsingPropertyBased(BeanDeserializer.java:447)
	at 

3. provide feedback about the status of the SimB execution (number of steps executed, current activation diagram status,...)

[favu100]

"Implement opening in external editor" is solved now

[favu100]

"Implement refresh of SimB Simulation. " is also solved now

[favu100]

line 375 in DiagramConfigurationListCell might cause the problem related with "Fix focus of editing SimB items"

[leuschel]

I have a few more requests for improvement:

• it would be nice to have dropdown menus for things like "Transition Selection", or if not possible a small info field giving possible choices. The help page is quite big and it takes quite a while to find the possible values.
• when an activation is selected in the stage the background colour is a dark green, making it very difficult to read the black labels on the left (like Execute, ...)
• maybe the default configuration can have more default values filled in (like btrue for Additional Guards), so that when you open the JSON file in an external editor the available fields are already present (and one does not have to look up or guess and type the field names); not sure if btrue would work for XTL mode though.

[leuschel]

Also it is unclear to me what the small cancel button to the right of the chosen JSON file is in the top right of the pane.

Another more complicated feature: would it be possible to start a simulation not from root, but from the current animator state?

[leuschel]

It would also be useful to have "Activation Id" to the left of each activation id field in the pane.

[leuschel]

Ah, I see there is a hover that explains possible values for the fields. Somehow I had not seen them until now.

Concerning the + button : maybe one could have a single dialog to add activations, which explains the different choices (direct activation, choice activation,...). Or maybe add a hover to the menu item to explain the difference?

[favu100]

"Also it is unclear to me what the small cancel button to the right of the chosen JSON file is in the top right of the pane."

The explanation was wrong and should be fixed now

[favu100]

"It would also be useful to have "Activation Id" to the left of each activation id field in the pane."

This should also be fixed now

[favu100]

"when an activation is selected in the stage the background colour is a dark green, making it very difficult to read the black labels on the left (like Execute, ...)"

This issue is also there for other list cells. Concerning the SimB View, it seems that the labels loses the focus when a TextField gets the focus

[favu100]

"Fix focus of editing SimB items"

This should hopefully be fixed now