search

UoY-RoboStar / robocert-textual

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

Singleton groups #69

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 3 years ago

When we only have one item in an unnamed group, it should be possible to telescope it into a singleton that looks like it's just one element.

I'm not sure if this would be a metamodel distinction or a syntactic one; I think just syntactic, eg

csp {
  process xyz
}

csp process xyz
MattWindsor91 commented 2 years ago

We have singleton groups for assertions and CSP now, but they're not metamodel-distinct. (No such thing for a sequence group yet, maybe I'll change this.)

MattWindsor91 commented 2 years ago

Closing because I'm not convinced that a singleton specification group (as they are now) would be useful.