World resolution is not going to work properly for references

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert

Eclipse Public License 2.0

2 stars 0 forks source link

World resolution is not going to work properly for references #116

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

The code assumes that, to get from a ControllerDef to its containing RCModule, you can simply just traverse up the containment graph. Not so! The RCModule could instead have a ControllerRef, and the ControllerDef could have no enclosing module at all. This is going to be fairly difficult to work out how to fix...

MattWindsor91 commented 2 years ago

Fixed by rethinking how we use worlds.