search

UoY-RoboStar / robocert-textual

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

Add arguments to events and operations #3

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

The metamodel and grammar don't yet allow events and operations to have parameters; the grammar just accepts () but rejects anything being put inside it.

This issue tracks adding basic argument expressions, either using our own grammar or trying to accept one of RoboChart's. This will require semantics rules for handling those arguments, again possibly pulling in any existing work. Separate issues will track binding, don't-care, etc.

MattWindsor91 commented 3 years ago

Basic argument expressions are implemented now, closing.