UoY-RoboStar / robocert-textual

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

Add, or insist on, 'anything in S from X (to Y)' gaps #101

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

Gaps, but the TCHAOS only occurs on lifeline X and, perhaps, only permits message specs that head towards Y. There would be a filtering of the set S.

There is no concrete 'needs' example for this yet, but it seems like a logical progression of gaps.

I'm unsure how easy these will be able to make -- it depends on how we resolve the issue of n-lifetime gaps (#92). It might even be the way we initially solve that problem.

Possibility of redundancy here: anything in { event foo from X to Y } from X to Y.