search

UoY-RoboStar / robocert-textual

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

Add ability to reference constants in sequences #25

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Specifically, constants in expressions, which in turn can appear in loop bounds, arrows, etc. This might be a special case of variables in expressions (which implies the use of a memory process), or it might be implementable by parameterising the sequence; I presume the former.

As we're using the RoboChart expression generator, whatever we do here should be compatible with it. I'll need to make enquiries.

MattWindsor91 commented 3 years ago

One thing I can probably do is fix the Xtext scoping so it can find the constants, then see what the expression generator generates.