search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Make gaps a form of Step #102

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

Instead of gap being a field on every ActionStep, it should be a separate UntilStep that wraps an ActionStep.

This is because the semantics of an empty gap before an action and that of an action itself are now distinct: in collection sequences, the presence of the former prevents any progress on any lifeline until the action occurs. (It occurs to me that this is similar to the UML strict operator; maybe we can encode the latter in terms of the former.)

MattWindsor91 commented 2 years ago

This has been done, but there are still unsolved semantics/well-formedness issues.