search

UoY-RoboStar / robocert-textual

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

Nested RoboChart def names are not resolved properly #109

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

If I have a controller ObstacleAvoidance with a nested stm Avoid, I expect the sem__events to be ObstacleAvoidance::Avoid::sem__events, but RoboCert is resolving it to Avoid::sem__events. Oops.

This will likely just be using a name where a FQID is necessary.

MattWindsor91 commented 2 years ago

Yep, this is precisely using a name where a FQID is necessary.