UoY-RoboStar / robocert-textual

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

Generalise world to context #87

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

In discussion with Ana today we identified three different items that serve as a form of 'context' in a sequence diagram:

All of these are different variations on the same idea of a 'context', so to me it feels like there should be a generalisation of WorldActor to become, say, a ContextActor with an enum of different meanings for the context.

MattWindsor91 commented 2 years ago

Decided against doing this; the 'world' actor is now just a blanket form of context.