The ORDER section defines a regular expression of method call events. The parser translates this expression into a finite state machine that is then fed into the analysis. Right now, one can only provide this expression textually.
Implement an editor that displays the finite state machine and allows it to be edited. That is, changes made in this editor should also be reflected in the corresponding ORDER section of the CrySL rule. As a first step, one could implement an FSM viewer and extend it to an editor late on.
The ORDER section defines a regular expression of method call events. The parser translates this expression into a finite state machine that is then fed into the analysis. Right now, one can only provide this expression textually.
Implement an editor that displays the finite state machine and allows it to be edited. That is, changes made in this editor should also be reflected in the corresponding ORDER section of the CrySL rule. As a first step, one could implement an FSM viewer and extend it to an editor late on.