search

UoY-RoboStar / robocert-textual

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

Implement call topic #97

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

When creating in-controller sequences, we will need to be able to capture the ability for machines to call into, and return from, operations expressed as lifelines. This will necessitate the creation of a topic for calling into an unnamed operation. (There will also be a return, but that doesn't take arguments as far as I understand, and so it will likely be an action.)

Tentative syntax: call(arg1, arg2) (compare to op foo(arg1, arg2))

MattWindsor91 commented 2 years ago

Punting to version 2 because, in discussion with Ana, there are semantics issues with regards to having operations expressed as lifelines.