UoY-RoboStar / robocert-textual

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

Should unnamed Groups insert into global scope? #83

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

Currently, some types of Group inject into the global scope always (AssertionGroup and currently CSPGroup), and some wrap into a module (SequenceGroup and TargetGroup). This issue proposes (ie, not a definite decision) that all groups bar AssertionGroup (which doesn't create anything with scope at the CSP level) should only wrap into a module when named. I think this is in keeping with the semantics of Xtext scoping.

This may make GroupNamer irrelevant.